IBM / High-Dimensional Systems / Artificial Intelligence Laboratory / Hybrid Systems / SIAM Journal / Intel / Boston Dynamics Inc. / /
Currency
SOS / / /
Facility
Princeton University / Massachusetts Institute of Technology / California Institute of Technology / /
IndustryTerm
spotless isos software package / bisection search / interior point algorithm / polynomial control systems / real-world control applications / iterative algorithm / dimensional control applications / oscillator network / node network / continuous time dynamical systems / numerical tools / The search / software package / delayed linear systems / http /
OperatingSystem
DSOS / /
Organization
California Institute of Technology / Princeton University / Massachusetts Institute of Technology / Society for Industrial and Applied Mathematics / American Mathematical Society / Department of Operations Research and Financial Engineering / /
Person
Anirudha Majumdar / Frank Permenter / Amir Ali Ahmadi / Pablo Parrilo / Mark Tobenkin / Russ Tedrake / / /
Position
LQR controller / balancing controller for the system / polynomial feedback controller / balancing controller / linear controller / resulting controller / degree controller / open-loop controller / time-varying LQR controller / controller / /
Control and Verification of High-Dimensional Systems with DSOS and SDSOS Programming Anirudha Majumdar, Amir Ali Ahmadi, and Russ Tedrake Abstract— In this paper, we consider linear programming (LP) and second order co