A Differential Operator Approach to Equational Differential Invariants
From MaRDI portal
Publication:2914730
DOI10.1007/978-3-642-32347-8_3zbMath1360.68596OpenAlexW946807928MaRDI QIDQ2914730
Publication date: 20 September 2012
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32347-8_3
Symmetries, invariants of ordinary differential equations (34C14) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Symmetries, invariants, etc. in context of PDEs (35B06) Hybrid systems of ordinary differential equations (34A38)
Related Items (5)
Verification of Hybrid Systems ⋮ Pegasus: sound continuous invariant generation ⋮ Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems ⋮ A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets ⋮ Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants
This page was built for publication: A Differential Operator Approach to Equational Differential Invariants
