Reachability Analysis of Nonlinear Systems Using Matrix Measures

DOI10.1109/TAC.2014.2325635MaRDI QIDQ2982909zbMATH OpenFDO

Authors Murat Arcak, John N. Maidens

Publication date 16 May 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2014.2325635

Mathematics Subject Classification ID

Numerical methods for initial value problems involving ordinary differential equations (65L05) Attainable sets, reachability (93B03)

Cited in

(18)

• Matrix measures in the qualitative analysis of parametric uncertain systems
• The computation of the viability kernel for switched systems
• Reachability of higher-order logical control networks via matrix method
• Pairs of k-step reachability and m-step observability matrices
• Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
• Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Bounded invariant verification for time-delayed nonlinear networked dynamical systems
• Viability, viscosity, and storage functions in model-predictive control with terminal constraints
• Reachability Analysis of Nonlinear Differential-Algebraic Systems
• Improved reachable set bounding for linear time-delay systems with disturbances
• On Reachability Analysis of Nonlinear Systems with Joint Integral Constraints
• scientific article; zbMATH DE number 1956619 (Why is no real title available?)
• The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
• NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
• Hybrid Systems: Computation and Control
• Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
• Controlled descent training

This page was built for publication: Reachability Analysis of Nonlinear Systems Using Matrix Measures

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