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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.