Assertion-based analysis of hybrid systems with PVS

DOI10.1007/3-540-45654-6_8MaRDI QIDQ4433933zbMATH OpenFDO

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

Publication date 3 November 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

deductive methodshybrid systemsmachine-assisted verification

Mathematics Subject Classification ID

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

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

Cited in

(5)

• 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
• Elements of mathematical analysis in PVS
• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL

Describes a project that uses

Uses Software

• PVS

This page was built for publication: Assertion-based analysis of hybrid systems with PVS

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