Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes

DOI10.1016/j.nahs.2009.03.009zbMath1201.93017OpenAlexW2071775092MaRDI QIDQ988780

Martin Buss, Matthias Althoff, Olaf Stursberg

Publication date: 19 August 2010

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

Full work available at URL: http://mediatum.ub.tum.de/doc/1287515/document.pdf

zbMATH Keywords

hybrid systemspolytopesreachability analysiszonotopessafety verification

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Complexity and performance of numerical algorithms (65Y20) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (21)

Constrained zonotopes: a new tool for set-based estimation and fault detection ⋮ Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems ⋮ A comparison of zonotope order reduction techniques ⋮ Closed-loop input design for guaranteed fault diagnosis using set-valued observers ⋮ Vertical hierarchical MPC for constrained linear systems ⋮ Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis ⋮ Active fault diagnosis: a multi-parametric approach ⋮ A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems ⋮ Solutions and reachable sets of hybrid dynamical systems: semicontinuous dependence on initial conditions, time, and perturbations ⋮ Real-time reachable set estimation for linear time-delay systems based on zonotopes ⋮ New conditions on finite-time stability of linear discrete-time system ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems ⋮ Towards optimal space-time discretization for reachable sets of nonlinear control systems ⋮ Abstractions Refinement for Hybrid Systems Diagnosability Analysis ⋮ Input design for guaranteed fault diagnosis using zonotopes ⋮ A zonotopic set-invariance analysis of replay attacks affecting the supervisory layer ⋮ Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing ⋮ On the co-NP-completeness of the zonotope containment problem ⋮ Hierarchical clustering of constrained dynamic systems using robust positively invariant sets ⋮ Set operations and order reductions for constrained zonotopes

Uses Software

• MPT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Guaranteed state estimation by zonotopes
• A note on a method for generating points uniformly on n -dimensional spheres
• Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
• Systematic Simulation Using Sensitivity Analysis
• Robust Test Generation and Coverage for Hybrid Systems
• Lectures on Polytopes
• n-Dimensional Cross Product and its Application to the Matrix Eigenanalysis
• Minkowski Addition of Polytopes: Computational Complexity and Applications to Gröbner Bases
• Computational techniques for hybrid system verification
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes