Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
Wang, Han, Kostas Margellos, Antonis Papachristodoulou · arXiv (Cornell University) · 2022
Safety is closely related to set invariance for dynamical systems. However, synthesizing a safe invariant set and at the same time synthesizing the associated safe controller still remains challenging. In this note we introduce a simple invariance-based method for linear systems with safety guarantee. The proposed method uses sum-of-squares programming.