id: 06084479
dt: a
an: 06084479
au: Platzer, André
ti: A differential operator approach to equational differential invariants.
    (Invited paper).
so: Beringer, Lennart (ed.) et al., Interactive theorem proving. Third
    international conference, ITP 2012, Princeton, NJ, USA, August 13‒15,
    2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32346-1/pbk).
    Lecture Notes in Computer Science 7406, 28-48 (2012).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-32347-8_3
ab: Summary: Hybrid systems, i.e., dynamical systems combining discrete and
    continuous dynamics, have a complete axiomatization in differential
    dynamic logic relative to differential equations. Differential
    invariants are a natural induction principle for proving properties of
    the remaining differential equations. We study the equational case of
    differential invariants using a differential operator view. We relate
    differential invariants to Lie’s seminal work and explain important
    structural properties resulting from this view. Finally, we study the
    connection of differential invariants with partial differential
    equations in the context of the inverse characteristic method for
    computing differential invariants.
rv: