An Introduction to the Verification of Hybrid Systems Using Ariadne

DOI10.1007/978-3-319-10407-2_39zbMath1403.93108OpenAlexW294500880MaRDI QIDQ4560619

Luca Geretti, Davide Bresolin, Tiziano Villa, Peter J. Collins

Publication date: 12 December 2018

Published in: Coordination Control of Distributed Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10407-2_39

zbMATH Keywords

hybrid systemshybrid automatareachability analysis\textsc{Ariadne} C\(++\)

Mathematics Subject Classification ID

Related Items (1)

Computable analysis with applications to dynamic systems

Uses Software

• PHAVer
• HyTech
• RSOLVER
• Ariadne
• HSolver
• SpaceEx

Cites Work

• Unnamed Item
• Counterexample-guided predicate abstraction of hybrid systems
• Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
• Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>
• Hybrid Systems: Computation and Control

This page was built for publication: An Introduction to the Verification of Hybrid Systems Using Ariadne