Reachability analysis of linear systems using support functions

DOI10.1016/j.nahs.2009.03.002zbMath1201.93018MaRDI QIDQ988781

Antoine Girard, Colas Le Guernic

Publication date: 19 August 2010

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2009.03.002

zbMATH Keywords

linear systems; computational methods; support functions; reachability analysis

Mathematics Subject Classification ID

93C05: Linear systems in control theory

93B03: Attainable sets, reachability

65Y20: Complexity and performance of numerical algorithms

Related Items

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games, Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point, Reachability analysis of linear systems with stepwise constant inputs, Reachability computation for polynomial dynamical systems, Computing reachable states for nonlinear biological models, Interval quadratic programming for day-ahead dispatch of uncertain predicted demand, Change-of-bases abstractions for non-linear hybrid systems, Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs, The calculation of discriminating kernel based on viability kernel and reachability, Lagrangian methods for approximating the viability kernel in high-dimensional systems, Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis, Temporal Logic Verification for Delay Differential Equations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
• Variational Analysis
• Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control