Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
From MaRDI portal
Publication:988780
DOI10.1016/j.nahs.2009.03.009zbMath1201.93017MaRDI 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
93B03: Attainable sets, reachability
65Y20: Complexity and performance of numerical algorithms
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Abstractions Refinement for Hybrid Systems Diagnosability Analysis, Real-time reachable set estimation for linear time-delay systems based on zonotopes, New conditions on finite-time stability of linear discrete-time system, 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, Constrained zonotopes: a new tool for set-based estimation and fault detection, Closed-loop input design for guaranteed fault diagnosis using set-valued observers, Input design for guaranteed fault diagnosis using zonotopes, Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems, A comparison of zonotope order reduction techniques, 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, Vertical hierarchical MPC for constrained linear systems, Refinements of behavioural abstractions for the supervisory control of hybrid 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
Uses Software
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
