Pages that link to "Item:Q3586060"
From MaRDI portal
The following pages link to Quantified Differential Dynamic Logic for Distributed Hybrid Systems (Q3586060):
Displaying 8 items.
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Numerically-aided deductive safety proof for a powertrain control system (Q2520674) (← links)
- A Distributed Logic for Networked Cyber-Physical Systems (Q2894562) (← links)
- Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (Q2964462) (← links)
- Logics of Dynamical Systems (Q2986778) (← links)
- Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems (Q3455848) (← links)
- Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (Q5200042) (← links)