Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization
Toyota Research Institute (Award ID LP- C000765-SR)
Main Authors: | Shen, Shen, Tedrake, Russell L |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
Format: | Article |
Language: | English |
Published: |
IEEE
2021
|
Online Access: | https://hdl.handle.net/1721.1/137114.2 |
Similar Items
-
Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization
by: Shen, Shen, et al.
Published: (2021) -
Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems
by: Shen, Shen, et al.
Published: (2022) -
Balancing and Step Recovery Capturability via Sums-of-Squares Optimization
by: Posa, Michael Antonio, et al.
Published: (2020) -
Control design along trajectories with sums of squares programming
by: Majumdar, Anirudha, et al.
Published: (2014) -
Nonlinear control synthesis by sum of squares optimization: A Lyapunov-based approach
by: Prajna, S, et al.
Published: (2004)