Reachability analysis of linear systems using support functions
From MaRDI portal
Publication:988781
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
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, A note on the Hausdorff distance between norm balls and their linear maps, Symbolic analysis of linear hybrid automata -- 25 years later, New conditions on finite-time stability of linear discrete-time system, Optimization of the reachable set of a linear system with respect to another set, Constrained polynomial zonotopes, Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes, Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions, Safe Self-Triggered Control Based on Precomputed Reachability Sequences, Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes, 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, Reachability analysis of nonlinear systems using hybridization and dynamics scaling, Lagrangian approximations for stochastic reachability of a target tube, Convergent under-approximations of reachable sets and tubes: a piecewise constant approach, Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing, Robust data-driven predictive control using reachability analysis, Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version), Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}, Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives, Conservative time discretization: a comparative study, Detection of actuator faults for continuous-time systems with intermittent state feedback, Template polyhedra and bilinear optimization, Estimation and synthesis of reachable set for delta operator systems, Lagrangian methods for approximating the viability kernel in high-dimensional systems, Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis, A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems, Reachability of weakly nonlinear systems using Carleman linearization, Temporal Logic Verification for Delay Differential Equations
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item