Differential Equation Invariance Axiomatization

DOI10.1145/3380825zbMath1494.03079arXiv1905.13429OpenAlexW3124336112WikidataQ115244277 ScholiaQ115244277MaRDI QIDQ5133962

André Platzer, Yong Kiam Tan

Publication date: 11 November 2020

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1905.13429

zbMATH Keywords

invariantsdifferential dynamic logicNoetherian functionsdifferential equation axiomatizationdifferential ghosts

Mathematics Subject Classification ID

Symmetries, invariants of ordinary differential equations (34C14) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Proof theory in general (including proof-theoretic semantics) (03F03) Other applications of logic (03B80) Hybrid systems of ordinary differential equations (34A38)

Related Items (8)

Characterizing positively invariant sets: inductive and topological methods ⋮ Pegasus: sound continuous invariant generation ⋮ Verifying Switched System Stability With Logic ⋮ \textsf{HHLPy}: practical verification of hybrid systems using Hoare logic ⋮ Deductive stability proofs for ordinary differential equations ⋮ An axiomatic approach to existence and liveness for differential equations ⋮ Constructive hybrid games ⋮ Implicit definitions with differential equations for KeYmaera X (system description)

This page was built for publication: Differential Equation Invariance Axiomatization