Reachability Analysis of Nonlinear Systems Using Matrix Measures

DOI10.1109/TAC.2014.2325635zbMath1360.65190MaRDI QIDQ2982909

Arcak, Murat, John N. Maidens

Publication date: 16 May 2017

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

Mathematics Subject Classification ID

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

Related Items

Bounded invariant verification for time-delayed nonlinear networked dynamical systems, Improved reachable set bounding for linear time-delay systems with disturbances, Viability, viscosity, and storage functions in model-predictive control with terminal constraints, Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis, Controlled descent training, The computation of the viability kernel for switched systems, 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