Secondary Controller Design for the Safety of Nonlinear Systems via Sum-of-Squares Programming

Yankai Lin, Michelle S. Chong, Carlos Murguia

We consider the problem of ensuring the safety of nonlinear control systems under adversarial signals. Using Lyapunov based reachability analysis, we first give sufficient conditio…