Computing Robust Controlled Invariant Sets of Linear Systems

Abstract

We consider controllable linear discrete-time systems with bounded perturbations and present two methods to compute robust controlled invariant sets. The first method tolerates an arbitrarily small constraint violation to compute an arbitrarily precise outer approximation of the maximal robust controlled invariant set, while the second method provides an inner approximation. The outer approximation scheme is $\delta$-complete, given that the constraint sets are formulated as finite unions of polytopes.

Cited by in corpus (11)

• Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
• Using control synthesis to generate corner cases: A case study on autonomous driving
• Provably Safe Cruise Control of Vehicular Platoons
• Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems
• Computing robust control invariant sets of constrained nonlinear systems: A graph algorithm approach
• Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach
• Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
• Parameter Dependent Robust Control Invariant Sets for LPV Systems with Bounded Parameter Variation Rate
• Compositional synthesis of almost maximally permissible safety controllers
• SIT-LMPC: Safe Information-Theoretic Learning Model Predictive Control for Iterative Tasks
• From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes