Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis

DOI10.1007/978-3-642-33512-9_8MaRDI QIDQ4899145zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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

Describes a project that uses

Uses Software

• SpaceEx
• HyTech
• PHAVer
• KeYmaera

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)