Source author record

Yuxi Han

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

eess.SY math.AP Systems and Control

Catalog footprint

Research overview

2works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Global semiconcavity of solutions to first-order Hamilton-Jacobi equations with state constraints

We focus on the global semiconcavity of solutions to first-order Hamilton--Jacobi equations with state constraints, especially for the Hamiltonian $H(x, β):=|β|^p-f(x)$ with $p \in (1, 2]$ . We first show that the solution is locally semiconcave, and the semiconcavity constant at each point depends on the first time a corresponding minimizing curve emanating from this point hits the boundary. Then, with appropriate conditions on $Df$ , we prove that for any such minimizing curve, the time it takes to hit the boundary of the domain is $+\infty$ , and as a consequence, the solution is globally semiconcave. Moreover, the condition on $Df$ is essentially optimal with examples in one-dimensional space. The proofs employ the Euler-Lagrange equations and techniques in weak KAM theory.

preprint2020arXiv

Risk-sensitive safety specifications for stochastic systems using Conditional Value-at-Risk

This paper proposes a safety analysis method that facilitates a tunable balance between the worst-case and risk-neutral perspectives. First, we define a risk-sensitive safe set to specify the degree of safety attained by a stochastic system. This set is defined as a sublevel set of the solution to an optimal control problem that is expressed using the Conditional Value-at-Risk (CVaR) measure. This problem does not satisfy Bellman's Principle, thus our next contribution is to show how risk-sensitive safe sets can be under-approximated by the solution to a CVaR-Markov Decision Process. We adopt an existing value iteration algorithm to find an approximate solution to the reduced problem for a class of linear systems. Then, we develop a realistic numerical example of a stormwater system to show that this approach can be applied to non-linear systems. Finally, we compare the CVaR criterion to the exponential disutility criterion. The latter allocates control effort evenly across the cost distribution to reduce variance, while the CVaR criterion focuses control effort on a given worst-case quantile--where it matters most for safety.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.