A Temporal Dynamic Logic for Verifying Hybrid System Invariants
From MaRDI portal
Recommendations
- Differential Dynamic Logic for Verifying Parametric Hybrid Systems
- Differential dynamic logic for hybrid systems
- Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems
- Towards a hybrid dynamic logic for hybrid dynamic systems
- Differential Logic for Reasoning About Hybrid Systems
Cited in
(20)- Differential dynamic logic for hybrid systems
- Bellerophon: tactical theorem proving for hybrid systems
- Time robustness in MTL and expressivity in hybrid system falsification
- Hybrid diagrams
- Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions
- A SOC-based formal specification and verification of hybrid systems
- Towards a hybrid dynamic logic for hybrid dynamic systems
- Simulation logic validation method of hybrid systems applying classical first-order logic
- dTL\(^{2}\): differential temporal dynamic logic with nested temporalities for hybrid systems
- A dynamic logic with traces and coinduction
- Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems
- Differential Logic for Reasoning About Hybrid Systems
- Requirements Validation for Hybrid Systems
- Compositional Hoare-style reasoning about hybrid CSP in the duration calculus
- Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
- Trace analysis using an event-driven interval temporal logic
- Differential Dynamic Logic for Verifying Parametric Hybrid Systems
- A dynamic logic with branching modalities
- Embedding differential dynamic logic in PVS
- HRELTL: a temporal logic for hybrid systems
This page was built for publication: A Temporal Dynamic Logic for Verifying Hybrid System Invariants
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5434526)
