Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization

Author(s)
Shen, Shen; Tedrake, Russell L
Thumbnail
DownloadAccepted version (285.3Kb)
Open Access Policy
Terms of use
Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/
Metadata
Show full item record
Date issued
2018-06
URI
https://hdl.handle.net/1721.1/137114.2
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
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
ISBN
9781538654293
9781538654286
Collections

Version History

VersionItemDateSummary
21721.1/137114.2*2021-12-14T12:49:04ZVerified or entered authority and publication metadata
11721.1/1371142021-11-02T17:06:12Z

*Selected version