scientific article; zbMATH DE number 1794375

MaRDI QIDQ4552473zbMATH OpenFDO

Authors M. Minea, Vinayak S. Prabhu, Thomas A. Henzinger

Publication date 3 September 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2034/20340275

Mathematics Subject Classification ID

Hierarchical systems (93A13) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Assume-guarantee reasoning with local specifications
• Assume-guarantee contracts for continuous-time systems
• Hierarchical reasoning and model generation for the verification of parametric hybrid systems
• Assume-guarantee verification for probabilistic systems
• scientific article; zbMATH DE number 1701775

Cited in

(12)

• Hybrid I/O automata.
• Process algebra for hybrid systems
• Assume-guarantee contracts for continuous-time systems
• Assume-guarantee reasoning with local specifications
• Programmed strategies for program verification
• Towards Component Based Design of Hybrid Systems: Safety and Stability
• From post-conditions to post-region invariants
• Assume-guarantee reasoning for additive hybrid behaviour
• Parallel composition and modular verification of computer controlled systems in differential dynamic logic
• A computable and compositional semantics for hybrid systems
• Modular analysis of distributed hybrid systems using post-regions
• Automatic assume-guarantee reasoning for safety and liveness using passive learning

This page was built for publication:

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