Real-Time Synthesis of Robust Controlled Invariant Sets for Monotone Systems

Yasin Sonmez, Mahmoud Khaled, Majid Zamani +1

Safety-critical control of autonomous systems requires formal safety certificates, such as controlled invariant sets, that must be computed online as conditions change. Although st…