Avoiding geometric intersection operations in reachability analysis of hybrid systems

DOI10.1145/2185632.2185643MaRDI QIDQ2986751zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

hybrid systemsreachability analysiszonotopessafetyguard intersection

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Hybrid systems of ordinary differential equations (34A38)

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

Cited in

(12)

• Hybrid tools for hybrid systems -- proving stability and safety at once
• Set-based control for disturbed piecewise affine systems with state and actuation constraints
• Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
• Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis
• Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
• Verification of Hybrid Systems
• Time-triggered conversion of guards for reachability analysis of hybrid automata
• Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
• Rigorous simulation-based analysis of linear hybrid systems
• Safe \& robust reachability analysis of hybrid systems
• Set operations and order reductions for constrained zonotopes
• A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability

Describes a project that uses

Uses Software

• HyTech
• PPL
• SpaceEx

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)