SOURCE-LINKED INTELLIGENCE

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

arXiv · AI, language, vision and robotics · article · Sep 12, 2026 · UTC

Safety-critical control of autonomous systems requires formal safety certificates, such as controlled invariant sets, that must be computed online as conditions change. Although standard synthesis algorithms scale poorly with state dimension, monotone dynamical systems with lower-closed safety specifications allow for accelerated computation of controlled invariant sets. In particular, lazy fixed-point algorithms exploit monotonicity and track only the antichain basis of the set. However, membership tests and redundancy checks against an evolving basis remain major bottlenecks. We introduce a

Read original source ↗ Open in workspace

recordType

paper

region

Global