Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization

Amir Ali Ahmadi; Pablo A. Parrilo

doi:10.1109/CDC.2014.7039734

Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization

Amir Ali Ahmadi, Pablo A. Parrilo

Research output: Contribution to journal › Conference article › peer-review

12 Scopus citations

Abstract

Exciting recent developments at the interface of optimization and control have shown that several fundamental problems in dynamics and control, such as stability, collision avoidance, robust performance, and controller synthesis can be addressed by a synergy of classical tools from Lyapunov theory and modern computational techniques from algebraic optimization. In this paper, we give a brief overview of our recent research efforts (with various coauthors) to (i) enhance the scalability of the algorithms in this field, and (ii) understand their worst case performance guarantees as well as fundamental limitations. Our results are tersely surveyed and challenges/opportunities that lie ahead are stated.

Original language	English (US)
Article number	7039734
Pages (from-to)	2272-2281
Number of pages	10
Journal	Proceedings of the IEEE Conference on Decision and Control
Volume	2015-February
Issue number	February
DOIs	https://doi.org/10.1109/CDC.2014.7039734
State	Published - Jan 1 2014
Event	2014 53rd IEEE Annual Conference on Decision and Control, CDC 2014 - Los Angeles, United States Duration: Dec 15 2014 → Dec 17 2014

All Science Journal Classification (ASJC) codes

Control and Systems Engineering
Modeling and Simulation
Control and Optimization

Access to Document

10.1109/CDC.2014.7039734

Fingerprint Dive into the research topics of 'Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization'. Together they form a unique fingerprint.

Cite this

@article{ceb797e209434a2c88bba6a033e64c38,

title = "Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization",

abstract = "Exciting recent developments at the interface of optimization and control have shown that several fundamental problems in dynamics and control, such as stability, collision avoidance, robust performance, and controller synthesis can be addressed by a synergy of classical tools from Lyapunov theory and modern computational techniques from algebraic optimization. In this paper, we give a brief overview of our recent research efforts (with various coauthors) to (i) enhance the scalability of the algorithms in this field, and (ii) understand their worst case performance guarantees as well as fundamental limitations. Our results are tersely surveyed and challenges/opportunities that lie ahead are stated.",

author = "Ahmadi, {Amir Ali} and Parrilo, {Pablo A.}",

year = "2014",

month = jan,

day = "1",

doi = "10.1109/CDC.2014.7039734",

language = "English (US)",

volume = "2015-February",

pages = "2272--2281",

journal = "Proceedings of the IEEE Conference on Decision and Control",

issn = "0191-2216",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "February",

note = "2014 53rd IEEE Annual Conference on Decision and Control, CDC 2014 ; Conference date: 15-12-2014 Through 17-12-2014",

}

TY - JOUR

T1 - Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization

AU - Ahmadi, Amir Ali

AU - Parrilo, Pablo A.

PY - 2014/1/1

Y1 - 2014/1/1

N2 - Exciting recent developments at the interface of optimization and control have shown that several fundamental problems in dynamics and control, such as stability, collision avoidance, robust performance, and controller synthesis can be addressed by a synergy of classical tools from Lyapunov theory and modern computational techniques from algebraic optimization. In this paper, we give a brief overview of our recent research efforts (with various coauthors) to (i) enhance the scalability of the algorithms in this field, and (ii) understand their worst case performance guarantees as well as fundamental limitations. Our results are tersely surveyed and challenges/opportunities that lie ahead are stated.

AB - Exciting recent developments at the interface of optimization and control have shown that several fundamental problems in dynamics and control, such as stability, collision avoidance, robust performance, and controller synthesis can be addressed by a synergy of classical tools from Lyapunov theory and modern computational techniques from algebraic optimization. In this paper, we give a brief overview of our recent research efforts (with various coauthors) to (i) enhance the scalability of the algorithms in this field, and (ii) understand their worst case performance guarantees as well as fundamental limitations. Our results are tersely surveyed and challenges/opportunities that lie ahead are stated.

UR - http://www.scopus.com/inward/record.url?scp=84988306388&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84988306388&partnerID=8YFLogxK

U2 - 10.1109/CDC.2014.7039734

DO - 10.1109/CDC.2014.7039734

M3 - Conference article

AN - SCOPUS:84988306388

VL - 2015-February

SP - 2272

EP - 2281

JO - Proceedings of the IEEE Conference on Decision and Control

JF - Proceedings of the IEEE Conference on Decision and Control

SN - 0191-2216

IS - February

M1 - 7039734

T2 - 2014 53rd IEEE Annual Conference on Decision and Control, CDC 2014

Y2 - 15 December 2014 through 17 December 2014

ER -

Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this