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 journalConference article

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 languageEnglish (US)
Article number7039734
Pages (from-to)2272-2281
Number of pages10
JournalProceedings of the IEEE Conference on Decision and Control
Volume2015-February
Issue numberFebruary
DOIs
StatePublished - Jan 1 2014
Event2014 53rd IEEE Annual Conference on Decision and Control, CDC 2014 - Los Angeles, United States
Duration: Dec 15 2014Dec 17 2014

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Modeling and Simulation
  • Control and Optimization

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