Generating Invariants for Hybrid Systems by Computing Vanishing Ideals of Sample Points
Bin Wu, FU Yong-jun · International Journal of Digital Content Technology and its Applications · 2012
In this paper, we investigate the problem of generating invariants of hybrid systems. We present a new approach, for generating polynomial equation invariants of hybrid systems through computing vanishing ideal of sample points. The challenge is to deal with the continuous consecution of hybrid systems because of the existence of differential equations. Our approach avoids first-order quantifier elimination and cylindrical algebraic decomposition (CAD). From the preliminary experiment results, we demonstrate the feasibility of our approach.