Reachability analysis of linear systems using support functions

DOI10.1016/j.nahs.2009.03.002zbMath1201.93018OpenAlexW2042835403MaRDI 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 systemscomputational methodssupport functionsreachability analysis

Mathematics Subject Classification ID

Related Items (35)

Reachability analysis of linear systems with stepwise constant inputs ⋮ Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives ⋮ Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs ⋮ Temporal Logic Verification for Delay Differential Equations ⋮ Conservative time discretization: a comparative study ⋮ Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis ⋮ A note on the Hausdorff distance between norm balls and their linear maps ⋮ A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems ⋮ Symbolic analysis of linear hybrid automata -- 25 years later ⋮ Interval quadratic programming for day-ahead dispatch of uncertain predicted demand ⋮ New conditions on finite-time stability of linear discrete-time system ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ 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 ⋮ Reachability of weakly nonlinear systems using Carleman linearization ⋮ The calculation of discriminating kernel based on viability kernel and reachability ⋮ Detection of actuator faults for continuous-time systems with intermittent state feedback ⋮ Reachability analysis of nonlinear systems using hybridization and dynamics scaling ⋮ Reachability computation for polynomial dynamical systems ⋮ Computing reachable states for nonlinear biological models ⋮ Lagrangian approximations for stochastic reachability of a target tube ⋮ Convergent under-approximations of reachable sets and tubes: a piecewise constant approach ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games ⋮ Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing ⋮ Template polyhedra and bilinear optimization ⋮ Estimation and synthesis of reachable set for delta operator systems ⋮ 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} ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point ⋮ Lagrangian methods for approximating the viability kernel in high-dimensional systems

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

This page was built for publication: Reachability analysis of linear systems using support functions