Logical analysis of hybrid systems: a complete answer to a complexity challenge

DOI10.25596/JALC-2012-265MaRDI QIDQ5178458zbMATH OpenFDO

Authors André Platzer

Publication date 16 March 2015

zbMATH Keywords

surveycomplexityhybrid systemscompletenessdifferential dynamic logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Hybrid systems of ordinary differential equations (34A38)

Recommendations

• Logical analysis of hybrid systems. A complete answer to a complexity challenge
• The Complete Proof Theory of Hybrid Systems
• scientific article; zbMATH DE number 1522990
• Logics of dynamical systems
• Differential Logic for Reasoning About Hybrid Systems

Cited in

(5)

• Topological aspects of hybrid processes: a proposed treatment using non-standard analysis
• scientific article; zbMATH DE number 2000403 (Why is no real title available?)
• Logical analysis of hybrid systems. A complete answer to a complexity challenge
• scientific article; zbMATH DE number 1522990 (Why is no real title available?)
• Logical analysis of hybrid systems. Proving theorems for complex dynamics.

This page was built for publication: Logical analysis of hybrid systems: a complete answer to a complexity challenge

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