A differential operator approach to equational differential invariants (invited paper)

DOI10.1007/978-3-642-32347-8_3MaRDI QIDQ2914730zbMATH OpenOpenAlexFDO

Authors André Platzer

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Hybrid systems of ordinary differential equations (34A38) Symmetries, invariants of ordinary differential equations (34C14) Symmetries, invariants, etc. in context of PDEs (35B06) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The structure of differential invariants and differential cut elimination
• Differential equation invariance axiomatization
• Differential equation axiomatization. The impressive power of differential ghosts
• Logics of dynamical systems
• Differential Logic for Reasoning About Hybrid Systems

Cited in

(10)

• Pegasus: sound continuous invariant generation
• Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
• Synthesizing switching controllers for hybrid systems by generating invariants
• Verification of Hybrid Systems
• The structure of differential invariants and differential cut elimination
• Differential equation invariance axiomatization
• Differential equation axiomatization. The impressive power of differential ghosts
• Automatic pre- and postconditions for partial differential equations
• A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
• Differential elimination and algebraic invariants of polynomial dynamical systems

This page was built for publication: A differential operator approach to equational differential invariants (invited paper)

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