Computing finite abstractions with robustness margins via local reachable set over-approximation

Yinan Li, Jun Liu, Necmiye Ozay

This paper proposes a method to compute finite abstractions that can be used for synthesizing robust hybrid control strategies for nonlinear systems. Most existing methods for comp…