Characterization, verification and computation of robust controlled invariants for monotone dynamical systems

Lazy controller synthesis for monotone transition systems and directed safety specifications

(2021) Elena Ivanova et al.   AUTOMATICA

Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models

(2018) Pierre-Jean Meyer et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models

(2017)   IEEE CONTROL SYSTEMS MAGAZINE

Computing Robust Controlled Invariant Sets of Linear Systems

(2017) Matthias Rungger et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Safety Barrier Certificates for Collisions-Free Multirobot Systems

(2017) Li Wang et al.   IEEE Transactions on Robotics

Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis

(2017) Mohammad Al Khatib et al.   Nonlinear Analysis-Hybrid Systems

Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings

(2016) Pierre-Jean Meyer et al.   AUTOMATICA

Safety in human-robot collaborative manufacturing environments: Metrics and control

(2016) Andrea Maria Zanchettin et al.   IEEE Transactions on Automation Science and Engineering

Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems

(2014) Milan Korda et al.   SIAM JOURNAL ON CONTROL AND OPTIMIZATION

Computation of polytopic invariants for polynomial dynamical systems using linear programming

(2012) Mohamed Amin Ben Sassi et al.   AUTOMATICA

Parameterized Robust Control Invariant Sets for Linear Systems: Theoretical Advances and Computational Remarks

(2010) Saša V Rakovic et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Box invariance in biologically-inspired dynamical systems

(2009) Alessandro Abate et al.   AUTOMATICA