DocumentCode
646135
Title
ECOS: An SOCP solver for embedded systems
Author
Domahidi, Alexander ; Chu, Eric ; Boyd, Stephen
Author_Institution
Autom. Control Lab., ETH Zurich, Zurich, Switzerland
fYear
2013
fDate
17-19 July 2013
Firstpage
3071
Lastpage
3076
Abstract
In this paper, we describe the embedded conic solver (ECOS), an interior-point solver for second-order cone programming (SOCP) designed specifically for embedded applications. ECOS is written in low footprint, single-threaded, library-free ANSI-C and so runs on most embedded platforms. The main interior-point algorithm is a standard primal-dual Mehrotra predictor-corrector method with Nesterov-Todd scaling and self-dual embedding, with search directions found via a symmetric indefinite KKT system, chosen to allow stable factorization with a fixed pivoting order. The indefinite system is solved using Davis´ SparseLDL package, which we modify by adding dynamic regularization and iterative refinement for stability and reliability, as is done in the CVXGEN code generation system, allowing us to avoid all numerical pivoting; the elimination ordering is found entirely symbolically. This keeps the solver simple, only 750 lines of code, with virtually no variation in run time. For small problems, ECOS is faster than most existing SOCP solvers; it is still competitive for medium-sized problems up to tens of thousands of variables.
Keywords
convex programming; embedded systems; iterative methods; predictor-corrector methods; CVXGEN code generation system; ECOS; Mehrotra predictor-corrector method; Nesterov-Todd scaling; SOCP solver; SparseLDL package; dynamic regularization; embedded conic solver; embedded systems; fixed pivoting order; interior-point solver; iterative refinement; library-free ANSI-C; second-order cone programming; self-dual embedding; single-threaded ANSI-C; stable factorization; symmetric indefinite KKT system; Embedded systems; Linear systems; Numerical stability; Sparse matrices; Standards; System-on-chip; Vectors;
fLanguage
English
Publisher
ieee
Conference_Titel
Control Conference (ECC), 2013 European
Conference_Location
Zurich
Type
conf
Filename
6669541
Link To Document