中国科学院数学与系统科学研究院期刊网
JSSC
Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming
LIN Wang, YANG Zhengfeng, DING Zuohua
Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming
LIN Wang, YANG Zhengfeng, DING Zuohua
系统科学与复杂性 . 2022, (3): 1154 -1172 .  DOI: 10.1007/s11424-022-1121-9