Control design along trajectories with sums of squares programming
Motivated by the need for formal guarantees on the stability and safety of controllers for challenging robot control tasks, we present a control design procedure that explicitly seeks to maximize the size of an invariant “funnel” that leads to a predefined goal set. Our certificates of invariance ar...
Main Authors: | Majumdar, Anirudha, Ahmadi, Amir Ali, Tedrake, Russell Louis |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
Format: | Article |
Language: | en_US |
Published: |
Institute of Electrical and Electronics Engineers (IEEE)
2014
|
Online Access: | http://hdl.handle.net/1721.1/90910 https://orcid.org/0000-0002-9383-6071 https://orcid.org/0000-0002-8712-7092 |
Similar Items
-
Complexity of ten decision problems in continuous time dynamical systems
by: Ahmadi, Amir Ali, et al.
Published: (2014) -
Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems
by: Shen, Shen, et al.
Published: (2022) -
Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization
by: Shen, Shen, et al.
Published: (2021) -
Balancing and Step Recovery Capturability via Sums-of-Squares Optimization
by: Posa, Michael Antonio, et al.
Published: (2020) -
Synthesis and Optimization of Force Closure Grasps via Sequential Semidefinite Programming
by: Dai, Hongkai, et al.
Published: (2021)