Verification of Supervisory Control Software Using State Proximity and Merging

DOI10.1007/978-3-540-78929-1_25zbMath1143.68457OpenAlexW2099551858MaRDI QIDQ3523120

Flavio Lerda, James Kapinski, Bruce H. Krogh, Edmund M. Clarke

Publication date: 2 September 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_25

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Application models in control theory (93C95) Automated systems (robots, etc.) in control theory (93C85) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Verification of Hybrid Systems ⋮ Finite abstractions for hybrid systems with stable continuous dynamics ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Parameter Synthesis for Hybrid Systems with an Application to Simulink Models ⋮ Trajectory Based Verification Using Local Finite-Time Invariance ⋮ Bounded and Unbounded Safety Verification Using Bisimulation Metrics

Uses Software

• SMV

This page was built for publication: Verification of Supervisory Control Software Using State Proximity and Merging