Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis

DOI10.1007/978-3-642-33512-9_8zbMATH Open1374.68271OpenAlexW71055736MaRDI QIDQ4899145FDOQ4899145

Authors: Luca Benvenuti, Davide Bresolin, Alberto Ferrari, Luca Geretti, Tiziano Villa, Pieter Collins 

Publication date: 7 January 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33512-9_8

Recommendations

• Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
• An introduction to the verification of hybrid systems using \textsc{Ariadne}
• The algorithmic analysis of hybrid systems
• Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming
• scientific article; zbMATH DE number 6720711

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (5)

• A probabilistic calculus of cyber-physical systems
• Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
• Ariadne
• An introduction to the verification of hybrid systems using \textsc{Ariadne}
• Parameter synthesis of polynomial dynamical systems

Uses Software

• KeYmaera
• PHAVer
• HyTech
• SpaceEx

This page was built for publication: Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis

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