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: Chapter in Book/Report/Conference proceeding › Conference contribution

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)
Title of host publication	53rd IEEE Conference on Decision and Control,CDC 2014
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	2272-2281
Number of pages	10
Edition	February
ISBN (Electronic)	9781479977468
DOIs	https://doi.org/10.1109/CDC.2014.7039734
State	Published - 2014
Event	2014 53rd IEEE Annual Conference on Decision and Control, CDC 2014 - Los Angeles, United States Duration: Dec 15 2014 → Dec 17 2014

Publication series

Name	Proceedings of the IEEE Conference on Decision and Control
Number	February
Volume	2015-February
ISSN (Print)	0743-1546
ISSN (Electronic)	2576-2370

Other

Other	2014 53rd IEEE Annual Conference on Decision and Control, CDC 2014
Country/Territory	United States
City	Los Angeles
Period	12/15/14 → 12/17/14

All Science Journal Classification (ASJC) codes

Control and Systems Engineering
Modeling and Simulation
Control and Optimization

Access to Document

10.1109/CDC.2014.7039734

Cite this

Ahmadi, A. A., & Parrilo, P. A. (2014). Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization. In 53rd IEEE Conference on Decision and Control,CDC 2014 (February ed., pp. 2272-2281). Article 7039734 (Proceedings of the IEEE Conference on Decision and Control; Vol. 2015-February, No. February). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/CDC.2014.7039734

Ahmadi, Amir Ali ; Parrilo, Pablo A. / Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization. 53rd IEEE Conference on Decision and Control,CDC 2014. February. ed. Institute of Electrical and Electronics Engineers Inc., 2014. pp. 2272-2281 (Proceedings of the IEEE Conference on Decision and Control; February).

@inproceedings{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.}",

note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 2014 53rd IEEE Annual Conference on Decision and Control, CDC 2014 ; Conference date: 15-12-2014 Through 17-12-2014",

year = "2014",

doi = "10.1109/CDC.2014.7039734",

language = "English (US)",

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

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

number = "February",

pages = "2272--2281",

booktitle = "53rd IEEE Conference on Decision and Control,CDC 2014",

address = "United States",

edition = "February",

}

Ahmadi, AA & Parrilo, PA 2014, Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization. in 53rd IEEE Conference on Decision and Control,CDC 2014. February edn, 7039734, Proceedings of the IEEE Conference on Decision and Control, no. February, vol. 2015-February, Institute of Electrical and Electronics Engineers Inc., pp. 2272-2281, 2014 53rd IEEE Annual Conference on Decision and Control, CDC 2014, Los Angeles, United States, 12/15/14. https://doi.org/10.1109/CDC.2014.7039734

Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization. / Ahmadi, Amir Ali; Parrilo, Pablo A.
53rd IEEE Conference on Decision and Control,CDC 2014. February. ed. Institute of Electrical and Electronics Engineers Inc., 2014. p. 2272-2281 7039734 (Proceedings of the IEEE Conference on Decision and Control; Vol. 2015-February, No. February).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

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

Y1 - 2014

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 contribution

AN - SCOPUS:84988306388

T3 - Proceedings of the IEEE Conference on Decision and Control

SP - 2272

EP - 2281

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

PB - Institute of Electrical and Electronics Engineers Inc.

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

Y2 - 15 December 2014 through 17 December 2014

ER -

Ahmadi AA, Parrilo PA. Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization. In 53rd IEEE Conference on Decision and Control,CDC 2014. February ed. Institute of Electrical and Electronics Engineers Inc. 2014. p. 2272-2281. 7039734. (Proceedings of the IEEE Conference on Decision and Control; February). doi: 10.1109/CDC.2014.7039734

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

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this