Formal verification of control systems software
From MaRDI portal
Publication:4554783
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Control/observation systems involving computers (process control, etc.) (93C83) Automated systems (robots, etc.) in control theory (93C85)
Recommendations
Cited in
(14)- On the correctness of upper layers of automotive systems
- Verifying autonomous systems
- Co-verification approach to control software program for CPS
- Verification of Supervisory Control Software Using State Proximity and Merging
- Verification and Integration of Real-Time Control Software
- scientific article; zbMATH DE number 1982196 (Why is no real title available?)
- scientific article; zbMATH DE number 1759738 (Why is no real title available?)
- Task level specification and formal verification of robotics control systems: State of the art and case study
- Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems
- scientific article; zbMATH DE number 1897216 (Why is no real title available?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Formal Methods for Control of Nonlinear Systems
- A comprehensive software verification technology for onboard control systems of spacecraft
- Bisimulation conversion and verification procedure for goal-based control systems
This page was built for publication: Formal verification of control systems software
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4554783)
