Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems

DOI10.1007/s11424-017-6226-1zbMath1420.68244MaRDI QIDQ2402231

Naijun Zhan, Bican Xia, Qiuye Wang, Yangjia Li

Publication date: 6 September 2017

Published in: Journal of Systems Science and Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11424-017-6226-1

zbMATH Keywords

invariants; hybrid systems; polynomial ideals; non-autonomous systems; semi-algebraic sets

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

93B25: Algebraic methods

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

Uses Software

• DISCOVERER