Bisimulation conversion and verification procedure for goal-based control systems
From MaRDI portal
Recommendations
- Task level specification and formal verification of robotics control systems: State of the art and case study
- Tools and Algorithms for the Construction and Analysis of Systems
- Formal Verification Applied to Robotic Surgery
- Formal verification of control systems software
- Periodically Controlled Hybrid Systems
Cites work
- Approximate bisimulation relations for constrained linear systems
- Bisimilar control affine systems
- Bisimulation relations for dynamical, control, and hybrid systems
- Dynamic partial-order reduction for model checking software
- scientific article; zbMATH DE number 1670555 (Why is no real title available?)
- scientific article; zbMATH DE number 1903357 (Why is no real title available?)
- scientific article; zbMATH DE number 1903365 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- HyTech: A model checker for hybrid systems
- Symbolic model checking: \(10^{20}\) states and beyond
- Uppaal in a nutshell
Cited in
(2)
This page was built for publication: Bisimulation conversion and verification procedure for goal-based control systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q633304)
