Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming

Wang Lin, Zhengfeng Yang, Zuohua Ding. Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming. J. Systems Science & Complexity, 35(3):1154-1172, 2022. [doi]

Abstract

Abstract is missing.