A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Control and verification of high-dimensional systems with DSOS and SDSOS programming
2014
53rd IEEE Conference on Decision and Control
In this paper, we consider linear programming (LP) and second order cone programming (SOCP) based alternatives to sum of squares (SOS) programming and apply this framework to high-dimensional problems arising in control applications. Despite the wide acceptance of SOS programming in the control and optimization communities, scalability has been a key challenge due to its reliance on semidefinite programming (SDP) as its main computational engine. While SDPs have many appealing features, current
doi:10.1109/cdc.2014.7039413
dblp:conf/cdc/MajumdarAT14
fatcat:jxh2f3l3mza7ponnwjjprxrk4m