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

DOI10.1007/S00498-023-00368-ZMaRDI QIDQ6188526zbMATH OpenFDO

Authors Adnane Saoud, Murat Arcak

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 invariancemonotone systemssafety

Mathematics Subject Classification ID

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

Abstract: In this paper, we consider the problem of computing robust controlled invariants for discrete-time monotone dynamical systems. We consider different classes of monotone systems depending on whether the sets of states, control inputs and disturbances respect a given partial order. Then, we present set-based and trajectory-based characterizations of robust controlled invariants for the considered class of systems. Based on these characterizations, we propose algorithmic approaches for the verification and computation of robust controlled invariants. Finally, illustrative examples are provided showing the merits of the proposed approach.

Recommendations

• scientific article; zbMATH DE number 1444369
• Robust controlled invariance for monotone systems: application to ventilation regulation in buildings
• Convex computation of the maximum controlled invariant set for polynomial control systems
• On the computation of convex robust control invariant sets for nonlinear systems
• On the computation of robust control invariant sets for piecewise affine systems

Cites work

• Approximating the Pareto front of multi-criteria optimization problems
• Box invariance in biologically-inspired dynamical systems
• Computation of polytopic invariants for polynomial dynamical systems using linear programming
• Computing Robust Controlled Invariant Sets of Linear Systems
• Conflict resolution for air traffic management: a study in multiagent hybrid systems
• Convex computation of the maximum controlled invariant set for polynomial control systems
• Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 6936882 (Why is no real title available?)
• Lazy controller synthesis for monotone transition systems and directed safety specifications
• Monotone control systems
• Parameterized Robust Control Invariant Sets for Linear Systems: Theoretical Advances and Computational Remarks
• Robust controlled invariance for monotone systems: application to ventilation regulation in buildings
• Set-theoretic methods in control
• Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
• Verification and Control of Hybrid Systems
• Viability theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6188526)