An introduction to the verification of hybrid systems using \textsc{Ariadne}

DOI10.1007/978-3-319-10407-2_39MaRDI QIDQ4560619zbMATH OpenOpenAlexFDO

Authors Davide Bresolin, Luca Geretti, Tiziano Villa, Pieter 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

\textsc{Ariadne} C\(++\)hybrid automatahybrid systemsreachability analysis

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
• Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis
• scientific article; zbMATH DE number 7361375
• scientific article; zbMATH DE number 1905118
• Hybrid Systems: Computation and Control

Cites work

• Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis
• Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
• Counterexample-guided predicate abstraction of hybrid systems
• Hybrid Systems: Computation and Control
• Improving HyLTL model checking of hybrid systems

Cited in

(8)

• Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
• Verifying industrial hybrid systems with \textsc{MathSAT}
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• Applications of MetiTarski in the Verification of Control and Hybrid Systems
• scientific article; zbMATH DE number 1905118 (Why is no real title available?)
• Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis
• Computable analysis with applications to dynamic systems
• Assume-guarantee verification of nonlinear hybrid systems with ARIADNE

Describes a project that uses

Uses Software

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

This page was built for publication: An introduction to the verification of hybrid systems using \textsc{Ariadne}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4560619)