Abstract:We address the problem of computing a control for a time-dependent nonlinear system to reach a target set in a minimal time. To solve this minimal time control problem, we introduce a hierarchy of linear semi-infinite programs, the values of which converge to the value of the control problem. These semi-infinite programs are increasing restrictions of the dual of the nonlinear control problem, which is a maximization problem over the subsolutions of the Hamilton-Jacobi-Bellman (HJB) equation. Our approach is compatible with generic dynamical systems and state constraints. Specifically, we use an oracle that, for a given differentiable function, returns a point at which the function violates the HJB inequality. We solve the semi-infinite programs using a classical convex optimization algorithm with a convergence rate of O(1/k), where k is the number of calls to the oracle. This algorithm yields subsolutions of the HJB equation that approximate the value function and provide a lower bound on the optimal time. We study the closed-loop control built on the obtained approximate value functions, and we give theoretical guarantees on its performance depending on the approximation error for the value function. We show promising numerical results for three non-polynomial systems with up to 6 state variables and 5 control variables.

The minimal control time for the exact controllability by internal controls of 1D linear hyperbolic balance laws

Minimal time for the exact controllability of one-dimensional first-order linear hyperbolic systems by one-sided boundary controls

Exact Controllability for First Order Quasilinear Hyperbolic Systems with Internal Controls

Minimal controllability time for systems with nonlinear drift under a compact convex state constraint

Approximate Controllability of Infinite Dimensional Linear Systems in Nonreflexive State Spaces

Exact controllability of infinite dimensional linear systems via bounded control functions

Exact internal controllability and exact internal synchronization for a kind of first order hyperbolic system

Minimal Observability of Boolean Control Networks

New Meaning Of Exact Controllability Of Linear Systems In Hilbert Spaces

Minimal-time nonlinear control via semi-infinite programming

On Boundary Control of A Hyperbolic System with A Vanishing Characteristic Speed

Decompositions and bang-bang properties

New Meaning of Exact Controllability of Linear Sytems in Hilbert Spaces

Exact Controllability for First Order Quasilinear Hyperbolic Systems with Vertical Characteristics

On null controllability of linear systems via bounded control functions

Asymptotic Controllability for Linear Hyperbolic Systems

Controllability of Infinite Dimensional Linear Systems in Banach Spaces

On the control of LTI systems with rough control laws

A Note on the Exact Controllability for Nonautonomous Hyperbolic Systems

Controllability properties from the exterior under positivity constraints for a 1-D fractional heat equation

Approximate and exact controllability criteria for linear one-dimensional hyperbolic systems