Real-Time Synthesis of Robust Controlled Invariant Sets for Monotone Systems
A threshold-function reformulation is introduced in which a lower-closed set on a d-dimensional grid is represented by its column heights along a designated axis and reformulates the greatest-fixed-point iteration as independent one-dimensional binary searches, yielding an embarrassingly parallel iteration with asympto...
Yasin Sonmez, M. Khaled, Majid Zamani et al.
· IEEE Control Systems Letters · 0 citations