Characterization of Safe Stabilization and Control Lyapunov-Barrier Functions via Zubov Equation Formulation

Yiming Meng, Jun Liu

Design and analysis of stabilizing controllers with safety guarantees for nonlinear systems have received considerable attention in recent years. Control Lyapunov-barrier functions…