A verification-driven framework for iterative design of controllers
From MaRDI portal
Publication:2335947
Recommendations
- Supporting verification-driven incremental distributed design of components
- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
- Programming Languages and Systems
- Incremental verification for on-the-fly controller synthesis
- Towards Component Based Design of Hybrid Systems: Safety and Stability
Cites work
- Antichains: A New Algorithm for Checking Universality of Finite Automata
- Automata for Specifying and Orchestrating Service Contracts
- Compatibility in a multi-component environment
- Compositional synthesis of reactive controllers for multi-agent systems
- Concurrency verification. Introduction to compositional and noncompositional methods
- Constraint-Based Verification
- Dafny: an automatic program verifier for functional correctness
- Data structures for symbolic multi-valued model-checking
- Dealing with incompleteness in automata-based model checking
- Distribution of Modal Transition Systems
- Experimental Evaluation of Classical Automata Constructions
- Formal verification of parallel programs
- From Model Checking to a Temporal Proof for Partial Models
- scientific article; zbMATH DE number 3926220 (Why is no real title available?)
- scientific article; zbMATH DE number 4011894 (Why is no real title available?)
- scientific article; zbMATH DE number 4110131 (Why is no real title available?)
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- scientific article; zbMATH DE number 1283472 (Why is no real title available?)
- scientific article; zbMATH DE number 1956591 (Why is no real title available?)
- scientific article; zbMATH DE number 2086523 (Why is no real title available?)
- scientific article; zbMATH DE number 1852915 (Why is no real title available?)
- scientific article; zbMATH DE number 1903365 (Why is no real title available?)
- scientific article; zbMATH DE number 2102712 (Why is no real title available?)
- scientific article; zbMATH DE number 774417 (Why is no real title available?)
- scientific article; zbMATH DE number 1444727 (Why is no real title available?)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- Multi-robot LTL planning under uncertainty
- Pattern-based refinement of assume-guarantee specifications in reactive synthesis
- Reasoning about infinite computations
- Software Product Line Engineering
- Statecharts: a visual formalism for complex systems
- Supporting verification-driven incremental distributed design of components
- Tentative steps toward a development method for interfering programs
- Verification of evolving software via component substitutability analysis
- Viper: a verification infrastructure for permission-based reasoning
- Weak, strong, and strong cyclic planning via symbolic model checking
- Why3 -- where programs meet provers
Cited in
(6)- TOrPEDO : witnessing model correctness with topological proofs
- Supporting verification-driven incremental distributed design of components
- A contribution to the validation of grafcet controlled systems
- Incremental verification for on-the-fly controller synthesis
- Integrating topological proofs with model checking to instrument iterative design
- Verifying stabilizing controllers for performance improvement using closed‐loop data
Describes a project that uses
Uses Software
This page was built for publication: A verification-driven framework for iterative design of controllers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2335947)
