Automatic Verification of Hybrid Systems with Large Discrete State Space

DOI10.1007/11901914_22zbMath1161.68562OpenAlexW1599863298MaRDI QIDQ3522915

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

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)

Related Items (4)

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 ⋮ Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints ⋮ Can we build it: formal synthesis of control strategies for cooperative driver assistance systems

Uses Software

• PHAVer
• HyTech
• d/dt

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