Towards a hybrid dynamic logic for hybrid dynamic systems
From MaRDI portal
Publication:2867948
DOI10.1016/J.ENTCS.2006.11.026zbMATH Open1278.03048OpenAlexW2070013285MaRDI QIDQ2867948FDOQ2867948
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
Recommendations
Cites Work
- HyTech: A model checker for hybrid systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Concurrency verification. Introduction to compositional and noncompositional methods
- First-order modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- An essay in combinatory dynamic logic
- Computer Aided Verification
- Hybrid action systems
- Dynamic Logic with Non-rigid Functions
- Model Checking Duration Calculus: A Practical Approach
- Internalizing labelled deduction
- 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
Uses Software
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)
