• 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