Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Code Generation for Embedded Second-Order Cone Programming

Author(s):

Eric Chu, Neal Parikh, A. Domahidi, Stephen P. Boyd
Conference/Journal:

European Control Conference (ECC), Zurich
Abstract:

This paper describes a framework for generating easily verifiable code to solve convex optimization problems in embedded applications by transforming them into equivalent second-order cone programs. In embedded applications, it is critical to be able to verify code correctness, but it is also desirable to be able to rapidly prototype and deploy high- performance solvers for different problems. To balance these two requirements, we propose a code generation system that takes high-level descriptions of convex optimization problems and generates code that maps the parameters in the original problem to data in an equivalent second-order cone program, which is then solved by a single, external solver that can be verified once and for all. A novel aspect is that we restrict the parameters in the original problem to only appear in affine functions, which lets us map the parameters to problem data without performing any floating point operations. As a result, the generated code is lightweight, fast, and trivial to verify. The approach thus marries the benefits of high-level parser/solvers with custom, high-performance, high-reliability solvers for embedded applications.

Year:

2013
Type of Publication:

(01)Article
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@InProceedings { ChuEtal:2013:IFA_4404,
    author={Eric Chu and Neal Parikh and A. Domahidi and Stephen P. Boyd},
    title={{Code Generation for Embedded Second-Order Cone Programming}},
    booktitle={European Control Conference (ECC)},
    pages={},
    year={2013},
    address={Zurich},
    month=jul,
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=4404}
}
Permanent link