Towards physical hybrid systems
From MaRDI portal
Publication:2305415
DOI10.1007/978-3-030-29436-6_13OpenAlexW2945379992MaRDI QIDQ2305415
André Platzer, Katherine Cordwell
Publication date: 10 March 2020
Full work available at URL: https://arxiv.org/abs/1905.09520
Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Hybrid systems
- Robustness of temporal logic specifications for continuous-time signals
- CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
- Some remarks on stabilization by means of discontinuous feedbacks
- Safe \& robust reachability analysis of hybrid systems
- Towards physical hybrid systems
- Delta-Decidability over the Reals
- Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
- dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems
- The measure quantifier
- Logical Foundations of Cyber-Physical Systems
- Logical Analysis of Hybrid Systems
- Differential Equation Axiomatization
- Discontinuous dynamical systems
- Hybrid dynamical systems
This page was built for publication: Towards physical hybrid systems
