Notice

This is not the latest version of this item. The latest version can be found at:https://dspace.mit.edu/handle/1721.1/137114.2

Show simple item record

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

dc.contributor.authorShen, Shen
dc.contributor.authorTedrake, Russ
dc.date.accessioned2021-11-02T17:06:12Z
dc.date.available2021-11-02T17:06:12Z
dc.date.issued2018-06
dc.identifier.urihttps://hdl.handle.net/1721.1/137114
dc.language.isoen
dc.publisherIEEEen_US
dc.relation.isversionof10.23919/acc.2018.8431492en_US
dc.rightsCreative Commons Attribution-Noncommercial-Share Alikeen_US
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/en_US
dc.sourceMIT web domainen_US
dc.titleCompositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimizationen_US
dc.typeArticleen_US
dc.identifier.citationShen, Shen and Tedrake, Russ. 2018. "Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization."
dc.eprint.versionAuthor's final manuscripten_US
dc.type.urihttp://purl.org/eprint/type/ConferencePaperen_US
eprint.statushttp://purl.org/eprint/status/NonPeerRevieweden_US
dc.date.updated2019-07-15T17:01:56Z
dspace.date.submission2019-07-15T17:01:57Z
mit.licenseOPEN_ACCESS_POLICY
mit.metadata.statusAuthority Work and Publication Information Neededen_US


Files in this item

Thumbnail
Name:
Shen17.pdf
Size:
285.3Kb
Format:
PDF
Description:
Accepted version
View/Open

This item appears in the following Collection(s)

Show simple item record

Version History

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

*Selected version