Avoiding geometric intersection operations in reachability analysis of hybrid systems
From MaRDI portal
Publication:2986751
DOI10.1145/2185632.2185643zbMath1362.93012OpenAlexW2040584579MaRDI QIDQ2986751
Matthias Althoff, Bruce H. Krogh
Publication date: 16 May 2017
Published in: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: http://mediatum.ub.tum.de/doc/1285848/document.pdf
Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Hybrid systems of ordinary differential equations (34A38)
Related Items (9)
Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs ⋮ Verification of Hybrid Systems ⋮ Set-based control for disturbed piecewise affine systems with state and actuation constraints ⋮ Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once ⋮ Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes ⋮ A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability ⋮ Rigorous Simulation-Based Analysis of Linear Hybrid Systems ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point ⋮ Set operations and order reductions for constrained zonotopes
Uses Software
This page was built for publication: Avoiding geometric intersection operations in reachability analysis of hybrid systems
