Parallel composition and modular verification of computer controlled systems in differential dynamic logic

DOI10.1007/978-3-030-30942-8_22MaRDI QIDQ6535960zbMATH OpenFDO

Authors Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-30942-8_22

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Logics of dynamical systems
• Differential Dynamic Logic for Verifying Parametric Hybrid Systems
• Differential dynamic logic for hybrid systems
• Quantified Differential Dynamic Logic for Distributed Hybrid Systems
• Differential Logic for Reasoning About Hybrid Systems

Cites work

• A complete uniform substitution calculus for differential dynamic logic
• Differential equation axiomatization. The impressive power of differential ghosts
• scientific article; zbMATH DE number 1794375 (Why is no real title available?)
• Hybrid I/O automata.
• KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
• Logical foundations of cyber-physical systems
• The Complete Proof Theory of Hybrid Systems

Cited in

(1)

• Modular analysis of distributed hybrid systems using post-regions

This page was built for publication: Parallel composition and modular verification of computer controlled systems in differential dynamic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535960)