scientific article; zbMATH DE number 2000404

zbMATH Open1023.93510MaRDI QIDQ4433933FDOQ4433933

Authors: Erika Ábrahám, Ulrich Hannemann, Martin Steffen 

Publication date: 3 November 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2178/21780094.htm

Title of this publication is not available (Why is that?)

Recommendations

• Formal modelling, analysis and verification of hybrid systems
• Differential dynamic logic for hybrid systems
• Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
• scientific article; zbMATH DE number 744075
• Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification

zbMATH Keywords

hybrid systemsdeductive methodsmachine-assisted verification

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83)

Cited In (5)

• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
• Elements of mathematical analysis in PVS
• Formal modelling, analysis and verification of hybrid systems
• Formalization of the integral calculus in the PVS theorem prover
• A Formalized Theory for Verifying Stability and Convergence of Automata in PVS

Uses Software

• PVS

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 Q4433933)