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

DOI10.1007/978-3-642-32347-8_3zbMATH Open1360.68596OpenAlexW946807928MaRDI QIDQ2914730FDOQ2914730

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

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

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)

Cited In (9)

• Differential equation invariance axiomatization
• Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
• The structure of differential invariants and differential cut elimination
• Differential equation axiomatization. The impressive power of differential ghosts
• Pegasus: sound continuous invariant generation
• Verification of Hybrid Systems
• Automatic pre- and postconditions for partial differential equations
• 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 (invited paper)

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