Towards a hybrid dynamic logic for hybrid dynamic systems

DOI10.1016/J.ENTCS.2006.11.026MaRDI QIDQ2867948zbMATH OpenOpenAlexFDO

Authors André Platzer

Publication date 20 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.11.026

zbMATH Keywords

compositional verificationdynamic logicsequent calculushybrid logicreal-time hybrid dynamic systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• Differential Logic for Reasoning About Hybrid Systems
• Differential dynamic logic for hybrid systems
• A Temporal Dynamic Logic for Verifying Hybrid System Invariants
• Logics of dynamical systems
• scientific article; zbMATH DE number 1301613

Cites work

• scientific article; zbMATH DE number 1215461 (Why is no real title available?)
• scientific article; zbMATH DE number 1303067 (Why is no real title available?)
• scientific article; zbMATH DE number 1157649 (Why is no real title available?)
• scientific article; zbMATH DE number 1950252 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• An essay in combinatory dynamic logic
• Computer Aided Verification
• Concurrency verification. Introduction to compositional and noncompositional methods
• Dynamic Logic with Non-rigid Functions
• First-order modal logic
• HyTech: A model checker for hybrid systems
• Hybrid action systems
• Internalizing labelled deduction
• Model Checking Duration Calculus: A Practical Approach
• Verification of cooperating traffic agents

Cited in

(11)

• Quantified Differential Dynamic Logic for Distributed Hybrid Systems
• Differential dynamic logic for hybrid systems
• Logics of dynamical systems
• Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
• Hybrid specification of reactive systems: an institutional approach
• Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
• Introducing interval differential dynamic logic
• A Temporal Dynamic Logic for Verifying Hybrid System Invariants
• A dynamic hybrid logic for followership
• Birkhoff completeness for hybrid-dynamic first-order logic
• Differential Logic for Reasoning About Hybrid Systems

Describes a project that uses

Uses Software

• HyTech

This page was built for publication: Towards a hybrid dynamic logic for hybrid dynamic systems

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