A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Automatic invariant generation for hybrid systems using ideal fixed points
2010
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differential equations with multivariate polynomial right-hand sides. Our approach casts the problem of generating invariants for differential equations as the greatest fixed point of a monotone operator over the lattice of ideals in a polynomial ring. We provide an algorithm to compute this monotone operator using basic ideas
doi:10.1145/1755952.1755984
dblp:conf/hybrid/Sankaranarayanan10
fatcat:7xyoisqu75axfbiwyopa5a5hja