Existence of Lipschitz and semiconcave control-Lyapunov functions

Ludovic Rifford (1)

1 JAD - Laboratoire Jean Alexandre Dieudonné

Given a locally Lipschitz control system which is globally asymptotically controllable at the origin, we construct a control-Lyapunov function for the system which is Lipschitz on bounded sets, and we deduce the existence of another one which is semiconcave (and so locally Lipschitz) outside the origin. The proof relies on value functions and nonsmooth calculus.

Domaines: Optimisation et contrôle [math.OC]

Ludovic Rifford. Existence of Lipschitz and semiconcave control-Lyapunov functions. SIAM Journal on Control and Optimization, 2000, 39 (4), pp.1043-1064. ⟨hal-00768995⟩