Verification of Supervisory Control Software Using State Proximity and Merging

DOI10.1007/978-3-540-78929-1_25MaRDI QIDQ3523120zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• Symbolic-numeric reachability analysis of closed-loop control software
• Formal verification of control systems software
• scientific article; zbMATH DE number 2163583
• Co-verification approach to control software program for CPS
• Compositional verification in supervisory control

Cited in

(8)

• Co-verification approach to control software program for CPS
• Trajectory Based Verification Using Local Finite-Time Invariance
• Finite abstractions for hybrid systems with stable continuous dynamics
• Verification of Hybrid Systems
• Approximate bisimulation: a bridge between computer science and control theory
• Bounded and Unbounded Safety Verification Using Bisimulation Metrics
• Symbolic-numeric reachability analysis of closed-loop control software
• Parameter Synthesis for Hybrid Systems with an Application to Simulink Models

Describes a project that uses

Uses Software

• SMV

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

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