Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming
Crossref DOI link: https://doi.org/10.1007/s11424-022-1121-9
Published Online: 2022-06-25
Published Print: 2022-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lin, Wang
Yang, Zhengfeng
Ding, Zuohua
Text and Data Mining valid from 2022-06-01
Version of Record valid from 2022-06-01
Article History
Received: 19 April 2021
Revised: 14 July 2021
First Online: 25 June 2022