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

DOI10.1007/s00498-023-00368-zarXiv2306.13822MaRDI QIDQ6188526

Adnane Saoud, Arcak, Murat

Publication date: 7 February 2024

Published in: MCSS. Mathematics of Control, Signals, and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2306.13822

zbMATH Keywords

controlled invariancesafetymonotone systems

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Discrete-time control/observation systems (93C55)

Cites Work

• Unnamed Item
• Unnamed Item
• Robust controlled invariance for monotone systems: application to ventilation regulation in buildings
• Box invariance in biologically-inspired dynamical systems
• Computation of polytopic invariants for polynomial dynamical systems using linear programming
• Lazy controller synthesis for monotone transition systems and directed safety specifications
• Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
• Approximating the Pareto Front of Multi-criteria Optimization Problems
• Verification and Control of Hybrid Systems
• Conflict resolution for air traffic management: a study in multiagent hybrid systems
• Parameterized Robust Control Invariant Sets for Linear Systems: Theoretical Advances and Computational Remarks
• Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models
• Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems
• Monotone control systems
• Computing Robust Controlled Invariant Sets of Linear Systems
• Set-theoretic methods in control
• Viability theory

This page was built for publication: Characterization, verification and computation of robust controlled invariants for monotone dynamical systems