Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization
Name
Shen17.pdf
Description
Accepted version
Size
285.32 KB
Format
Unknown
Checksum (MD5)
1409cc7e1b5643d94fa62f9bb26f9686
Author(s)
Shen, Shen
Tedrake, Russell L
Date Issued
June 2018
Journal
2018 Annual American Control Conference (ACC)
Publisher
IEEE
Citation
Shen, Shen and Tedrake, Russ. 2018. "Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization."
Version
Author's final manuscript
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.23919/acc.2018.8431492
