Automatic Verification of Hybrid Systems with Large Discrete State Space

DOI10.1007/11901914_22MaRDI QIDQ3522915zbMATH OpenOpenAlexFDO

Authors Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Publication date 4 September 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11901914_22

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
• Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
• scientific article; zbMATH DE number 1956581
• Verifying industrial hybrid systems with \textsc{MathSAT}
• CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems

Cited in

(10)

• SMT-based scenario verification for hybrid systems
• Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
• Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
• CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems
• Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
• Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
• Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models
• Hybrid Systems: From Verification to Falsification
• Hybrid Systems: Computation and Control
• Automated Machine-Checked Hybrid System Safety Proofs

Describes a project that uses

Uses Software

• PHAVer
• d/dt
• HyTech

This page was built for publication: Automatic Verification of Hybrid Systems with Large Discrete State Space

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