Logics of dynamical systems

DOI10.1109/LICS.2012.13MaRDI QIDQ2986778zbMATH OpenWikidataFDO

Authors André Platzer

Publication date 16 May 2017

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

Full work available at URL https://doi.org/10.1109/LICS.2012.13

zbMATH Keywords

hybrid systemsaxiomatizationdeductiondynamic logicdifferential dynamic logiclogic of dynamical systems

Mathematics Subject Classification ID

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

Recommendations

• Differential dynamic logic for hybrid systems
• Differential Logic for Reasoning About Hybrid Systems
• Differential Dynamic Logic for Verifying Parametric Hybrid Systems
• Towards a hybrid dynamic logic for hybrid dynamic systems
• Quantified Differential Dynamic Logic for Distributed Hybrid Systems

Cited in

(41)

• scientific article; zbMATH DE number 4166881 (Why is no real title available?)
• Logical analysis of hybrid systems: a complete answer to a complexity challenge
• Probabilistic extension and logic of complex unstable dynamical systems
• Synthesis of logical-dynamical systems on the basis of sufficient optimality conditions
• Skill-based verification of cyber-physical systems
• The logic-algebraic equations method in system dynamics
• \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic
• A differential operator approach to equational differential invariants (invited paper)
• On the Coalgebra of Partial Differential Equations
• Deductive stability proofs for ordinary differential equations
• Stochastic differential dynamic logic for stochastic hybrid programs
• KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
• Computer-assisted proofs for Lyapunov stability via sums of squares certificates and constructive analysis
• Deductive verification of continuous dynamical systems
• Introducing interval differential dynamic logic
• Pegasus: sound continuous invariant generation
• Verification of Hybrid Systems
• scientific article; zbMATH DE number 4168191 (Why is no real title available?)
• Automatic pre- and postconditions for partial differential equations
• A program logic to verify signal temporal logic specifications of hybrid systems
• Verifiably safe exploration for end-to-end reinforcement learning
• Axiomatization of compact initial value problems: open properties
• A real-analytic approach to differential-algebraic dynamic logic
• Dynamical properties of logical substitutions
• Dynamic doxastic differential dynamic logic for belief-aware cyber-physical systems
• The intuitionistic temporal logic of dynamical systems
• IsaVODEs: Interactive verification of cyber-physical systems at scale
• Modal logic for qualitative dynamics
• Logical analysis of hybrid systems. Proving theorems for complex dynamics.
• Towards a hybrid dynamic logic for hybrid dynamic systems
• Pansystems logic conservation of bifurcation, catastrophe, chaos and stability
• Differential Logic for Reasoning About Hybrid Systems
• Bellerophon: tactical theorem proving for hybrid systems
• An axiomatic approach to liveness for differential equations
• Parallel composition and modular verification of computer controlled systems in differential dynamic logic
• ROSCoq: robots powered by constructive reals
• Differential Dynamic Logic for Verifying Parametric Hybrid Systems
• Formal controller synthesis for Markov jump linear systems with uncertain dynamics
• ModelPlex: verified runtime validation of verified cyber-physical system models
• Differential game logic
• scientific article; zbMATH DE number 3873232 (Why is no real title available?)

This page was built for publication: Logics of dynamical systems

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