SIAM Journal on Control and Optimization, Vol.47, No.1, 301-326, 2008
Control Lyapunov functions and Zubov's method
For finite-dimensional nonlinear control systems we study the relation between asymptotic null-controllability and control Lyapunov functions. It is shown that control Lyapunov functions (CLFs) may be constructed on the domain of asymptotic null-controllability as viscosity solutions of a first order PDE that generalizes Zubov's equation. The solution is also given as the value function of an optimal control problem from which several regularity results may be obtained.
Keywords:asymptotic null-controllability;control Lyapunov functions;Hamilton-Jacobi-Bellman equation;viscosity solutions;Zubov's method