中国科学院数学与系统科学研究院期刊网
Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems
WANG Qiuye,LI Yangjia,XIA Bican,ZHAN Naijun
Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems
WANG Qiuye,LI Yangjia,XIA Bican,ZHAN Naijun
Journal of Systems Science and Complexity . 2017, (1): 234 -252 .  DOI: 10.1007/s11424-017-6226-1