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

DOI10.25596/JALC-2012-265zbMATH Open1322.68133MaRDI QIDQ5178458FDOQ5178458

Authors: André Platzer 

Publication date: 16 March 2015

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

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)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Topological aspects of hybrid processes: a proposed treatment using non-standard analysis
• Logical analysis of hybrid systems. A complete answer to a complexity challenge
• 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)