Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
From MaRDI portal
Publication:3523109
DOI10.1007/978-3-540-78929-1_16zbMath1144.93324OpenAlexW1546282418MaRDI QIDQ3523109
Antoine Girard, Colas Le Guernic
Publication date: 2 September 2008
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_16
Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (20)
A comparison of zonotope order reduction techniques ⋮ Finite data-rate feedback stabilization of switched and hybrid linear systems ⋮ Geometric Model Checking of Continuous Space ⋮ A verified ODE solver and the Lorenz attractor ⋮ Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once ⋮ A Verified Enclosure for the Lorenz Attractor (Rough Diamond) ⋮ Compositional abstraction refinement for control synthesis ⋮ Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis ⋮ On the decidability of reachability in continuous time linear time-invariant systems ⋮ Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions ⋮ Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes ⋮ Finite abstractions for hybrid systems with stable continuous dynamics ⋮ Model reduction of switched affine systems ⋮ A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability ⋮ Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes ⋮ Reachability analysis of linear systems using support functions ⋮ A zonotopic framework for functional abstractions ⋮ Proving the Correctness of the Implementation of a Control-Command Algorithm ⋮ Runge-Kutta Methods for Differential Equations with Variable Time of Impulses ⋮ Set operations and order reductions for constrained zonotopes
Uses Software
This page was built for publication: Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
