Publication [WangLXZ17] Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems Wang, Q.; Li, Y.; Xia, B. and Zhan, N. In J. Systems Science & Complexity, 30: 234-252, 2017.Downloads: bib
