Logics of Dynamical Systems

DOI10.1109/LICS.2012.13zbMath1362.68178WikidataQ130896621 ScholiaQ130896621MaRDI QIDQ2986778

André Platzer

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

hybrid systemsdynamic logicdeductionaxiomatizationdifferential dynamic logiclogic of dynamical systems

Mathematics Subject Classification ID

Application models in control theory (93C95) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Symbolic dynamics (37B10)

Related Items (14)

Differential Game Logic ⋮ Skill-Based Verification of Cyber-Physical Systems ⋮ Verification of Hybrid Systems ⋮ KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems ⋮ Pegasus: sound continuous invariant generation ⋮ ROSCoq: Robots Powered by Constructive Reals ⋮ Bellerophon: tactical theorem proving for hybrid systems ⋮ A program logic to verify signal temporal logic specifications of hybrid systems ⋮ Verifiably safe exploration for end-to-end reinforcement learning ⋮ Algebra, Coalgebra, and Minimization in Polynomial Differential Equations ⋮ ModelPlex: verified runtime validation of verified cyber-physical system models ⋮ Automatic pre- and postconditions for partial differential equations ⋮ \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic ⋮ On the Coalgebra of Partial Differential Equations

This page was built for publication: Logics of Dynamical Systems