Quantified Differential Dynamic Logic for Distributed Hybrid Systems

DOI10.1007/978-3-642-15205-4_36MaRDI QIDQ3586060zbMATH OpenOpenAlexFDO

Authors André Platzer

Publication date 3 September 2010

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15205-4_36

Mathematics Subject Classification ID

Logic in computer science (03B70) Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems
• Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems
• Differential dynamic logic for hybrid systems
• Differential Logic for Reasoning About Hybrid Systems
• Differential Dynamic Logic for Verifying Parametric Hybrid Systems
• Towards a hybrid dynamic logic for hybrid dynamic systems
• Stochastic differential dynamic logic for stochastic hybrid programs
• Models for quantitative distributed systems and multi-valued logics
• Models for quantitative distributed systems and multi-valued logics

Cited in

(15)

• Differential dynamic logic for hybrid systems
• Numerically-aided deductive safety proof for a powertrain control system
• A Distributed Logic for Networked Cyber-Physical Systems
• Decidability of verification of safety properties of spatial families of linear hybrid automata
• Quantified differential invariants
• Logics of dynamical systems
• Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems
• A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems
• Relational differential dynamic logic
• Stochastic differential dynamic logic for stochastic hybrid programs
• Differential Dynamic Logic for Verifying Parametric Hybrid Systems
• From post-conditions to post-region invariants
• Parallel composition and modular verification of computer controlled systems in differential dynamic logic
• Embedding differential dynamic logic in PVS
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application

This page was built for publication: Quantified Differential Dynamic Logic for Distributed Hybrid Systems

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