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

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

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

(9)

• Differential equation invariance axiomatization
• 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
• Differential equation axiomatization. The impressive power of differential ghosts
• Verification of Hybrid Systems
• Synthesizing switching controllers for hybrid systems by generating invariants
• The structure of differential invariants and differential cut elimination
• Pegasus: sound continuous invariant generation
• Automatic pre- and postconditions for partial differential equations

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)