Quantified Differential Dynamic Logic for Distributed Hybrid Systems
From MaRDI portal
Publication:3586060
DOI10.1007/978-3-642-15205-4_36zbMath1287.03075OpenAlexW1590730808MaRDI QIDQ3586060
Publication date: 3 September 2010
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_36
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Related Items (6)
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems ⋮ Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata ⋮ From post-conditions to post-region invariants ⋮ Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs ⋮ Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application ⋮ Numerically-aided deductive safety proof for a powertrain control system
This page was built for publication: Quantified Differential Dynamic Logic for Distributed Hybrid Systems
