Interval Reachability Analysis

DOI10.1007/978-3-030-65110-7MaRDI QIDQ5879373zbMATH OpenOpenAlexFDO

Authors Pierre-Jean Meyer, Alex Devonport, Murat Arcak

Publication date 28 February 2023

Published in SpringerBriefs in Electrical and Computer Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-65110-7

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Attainable sets, reachability (93B03) Control/observation systems with incomplete information (93C41) Discrete-time control/observation systems (93C55) Sampled-data control/observation systems (93C57)

Recommendations

• Interval methods for verification and implementation of robust controllers
• Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities
• Bounds on the reachable sets of nonlinear control systems
• Reachability analysis using dissipation inequalities for uncertain nonlinear systems
• Efficient polyhedral enclosures for the reachable set of nonlinear control systems

Cited in

(11)

• Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities
• Trajectory Based Verification Using Local Finite-Time Invariance
• TIRA
• The BOXES Methodology Second Edition
• TIRA
• Theoretical Computer Science
• Inner-outer approximation of robust control invariant sets
• Verified propagation of imprecise probabilities in non-linear ODEs
• Nonlinear model predictive control based on K-step control invariant sets
• Approximation of the reachability set of a nonlinear controlled system with discrete time
• Target output feedback control problem for a monotone system

This page was built for publication: Interval Reachability Analysis

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