2020 (modified: 26 Feb 2022)CoRL 2020Readers: Everyone
Abstract:Many existing tools in nonlinear control theory for establishing stability or safety of a dynamical system can be distilled to the construction of a certificate function which guarantees a desired ...