Avoiding geometric intersection operations in reachability analysis of hybrid systems
DOI10.1145/2185632.2185643zbMATH Open1362.93012OpenAlexW2040584579MaRDI QIDQ2986751FDOQ2986751
Bruce H. Krogh, Matthias Althoff
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)
Cited In (10)
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Set operations and order reductions for constrained zonotopes
- Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems
- Verification of Hybrid Systems
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
Uses Software
This page was built for publication: Avoiding geometric intersection operations in reachability analysis of hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986751)
