Bounded and Unbounded Safety Verification Using Bisimulation Metrics

DOI10.1007/978-3-642-00602-9_30zbMath1237.68128OpenAlexW1574619476MaRDI QIDQ3624590

Gang Zheng, Antoine Girard

Publication date: 30 April 2009

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Uses Software

• SMV

Cites Work

• Unnamed Item
• Unnamed Item
• Verification of Supervisory Control Software Using State Proximity and Merging
• Systematic Simulation Using Sensitivity Analysis
• Robust Test Generation and Coverage for Hybrid Systems
• Automata Based Interfaces for Control and Scheduling
• Approximation Metrics for Discrete and Continuous Systems
• Hybrid Systems: Computation and Control