Logics of Dynamical Systems
From MaRDI portal
Publication:2986778
DOI10.1109/LICS.2012.13zbMath1362.68178MaRDI QIDQ2986778
Publication date: 16 May 2017
Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
hybrid systemsdynamic logicdeductionaxiomatizationdifferential dynamic logiclogic of dynamical systems
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