Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
Institute of Electrical and Electronics Engineers (IEEE)
2022
|
| Online Access: | https://hdl.handle.net/1721.1/143980 |
| _version_ | 1811072765291134976 |
|---|---|
| author | Shen, Shen Tedrake, Russ |
| author2 | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science |
| author_facet | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Shen, Shen Tedrake, Russ |
| author_sort | Shen, Shen |
| collection | MIT |
| first_indexed | 2024-09-23T09:12:06Z |
| format | Article |
| id | mit-1721.1/143980 |
| institution | Massachusetts Institute of Technology |
| language | English |
| last_indexed | 2024-09-23T09:12:06Z |
| publishDate | 2022 |
| publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| record_format | dspace |
| spelling | mit-1721.1/1439802023-01-23T17:47:29Z Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems Shen, Shen Tedrake, Russ Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory 2022-07-22T16:25:38Z 2022-07-22T16:25:38Z 2020 2022-07-22T16:18:59Z Article http://purl.org/eprint/type/ConferencePaper https://hdl.handle.net/1721.1/143980 Shen, Shen and Tedrake, Russ. 2020. "Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems." 2020 59th IEEE Conference on Decision and Control (CDC). en 10.1109/CDC42340.2020.9304028 2020 59th IEEE Conference on Decision and Control (CDC) Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/ application/pdf Institute of Electrical and Electronics Engineers (IEEE) MIT web domain |
| spellingShingle | Shen, Shen Tedrake, Russ Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems |
| title | Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems |
| title_full | Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems |
| title_fullStr | Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems |
| title_full_unstemmed | Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems |
| title_short | Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems |
| title_sort | sampling quotient ring sum of squares programs for scalable verification of nonlinear systems |
| url | https://hdl.handle.net/1721.1/143980 |
| work_keys_str_mv | AT shenshen samplingquotientringsumofsquaresprogramsforscalableverificationofnonlinearsystems AT tedrakeruss samplingquotientringsumofsquaresprogramsforscalableverificationofnonlinearsystems |