Robustness Verification and Optimization of Nonlinear Systems
Nonlinear systems allow us to describe and analyze physical and virtual systems, including dynamical systems, power grids, robots, and neural networks. The problems involving nonlinearity pose challenges in providing safety guarantees and robustness in the presence of uncertainty. This thesis provid...
Main Author: | |
---|---|
Other Authors: | |
Format: | Thesis |
Published: |
Massachusetts Institute of Technology
2022
|
Online Access: | https://hdl.handle.net/1721.1/144602 |