Avoiding geometric intersection operations in reachability analysis of hybrid systems
DOI10.1145/2185632.2185643zbMATH Open1362.93012OpenAlexW2040584579MaRDI QIDQ2986751FDOQ2986751
Authors: 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
Recommendations
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
- Reachability Analysis of Hybrid Systems Using Support Functions
- scientific article; zbMATH DE number 2163583
- scientific article; zbMATH DE number 1905117
Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Hybrid systems of ordinary differential equations (34A38)
Cited In (12)
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Set operations and order reductions for constrained zonotopes
- Rigorous simulation-based analysis of linear hybrid systems
- 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
- 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
- Time-triggered conversion of guards for reachability analysis of hybrid automata
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Safe \& robust reachability analysis of hybrid systems
- Hybrid tools for hybrid systems -- proving stability and safety at once
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)
