We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Optimization and Control

Title: Rotational controls and uniqueness of constrained viscosity solutions of Hamilton-Jacobi PDE

Abstract: The classical inward pointing condition (IPC) for a control system whose state $x$ is constrained in the closure $C:=\bar\Omega$ of an open set $\Omega$ prescribes that at each point of the boundary $x\in \partial \Omega$ the intersection between the dynamics and the interior of the tangent space of $\bar \Omega$ at $x$ is nonempty. Under this hypothesis, for every system trajectory $x(.)$ on a time-interval $[0,T]$, possibly violating the constraint, one can construct a new system trajectory $\hat x(.)$ that satisfies the constraint and whose distance from $x(.)$ is bounded by a quantity proportional to the maximal deviation $d:=\mathrm{dist}(\Omega,x([0,T]))$. When (IPC) is violated, the construction of such a constrained trajectory is not possible in general. However, for a control system of the form $\dot{x}=f_1(x)u_1+f_2(x)u_2$, we prove in this paper that a "higher order" inward pointing condition involving Lie brackets of the dynamics' vector fields allows for a novel construction of a constrained trajectory $\hat x(.)$ whose distance from the reference trajectory $x(.)$ is bounded by a quantity proportional to $\sqrt{d}$. Our method requires a further assumption of non-positiveness of a sort of curvature and is based on the implementation of a suitable "rotating" control strategy. As an application, we establish the continuity up to the boundary of the value function $V$ of a classical optimal control problem, a continuity that allows to regard $V$ as the unique constrained viscosity solution of the corresponding Bellman equation.
Comments: 25 pages
Subjects: Optimization and Control (math.OC)
MSC classes: 34H05, 49L25
Cite as: arXiv:2110.08530 [math.OC]
  (or arXiv:2110.08530v2 [math.OC] for this version)

Submission history

From: Nathalie T. Khalil [view email]
[v1] Sat, 16 Oct 2021 09:46:48 GMT (847kb,D)
[v2] Tue, 26 Oct 2021 10:06:42 GMT (86kb,D)

Link back to: arXiv, form interface, contact.