Skip to main content
We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.
Log in
(current)
MIT Open Scholarship
DSpace@MIT
Search
Home
MIT Open Access Articles
MIT Open Access Articles
Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization
This is not the latest version of this item. The latest version can be found
here
.
Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization
Download
Name
Shen17.pdf
Description
Accepted version
Show more
Size
285.32 KB
Format
Adobe PDF
Checksum
(MD5)
1409cc7e1b5643d94fa62f9bb26f9686
Show more
sword-2019-07-15T17:01:56.original.xml (130 B)
Original SWORD entry document
Show more
Author(s)
Shen, Shen
•
Tedrake, Russ
Date Issued
June 2018
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
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
http://creativecommons.org/licenses/by-nc-sa/4.0/
Persistent DSpace Link
https://hdl.handle.net/1721.1/137114
DOI of Published Version
10.23919/acc.2018.8431492
