Computing Invariants for Hybrid Systems
Bin Wu, Xiao Guang Zou · Applied Mechanics and Materials · 2013
This paper address the problem of generating invariants of hybrid systems. We present a new approach, for generating polynomial inequality invariants of hybrid systems through solving semi-algebraic systems and quantifier elimination. From the preliminary experiment results, we demonstrate the feasibility of our approach.