Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization
Author(s)Ahmadi, Amir Ali; Parrilo, Pablo A.
MetadataShow full item record
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.
DepartmentMassachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Proceedings of the 53rd IEEE Conference on Decision and Control
Institute of Electrical and Electronics Engineers (IEEE)
Ahmadi, Amir Ali, and Pablo A. Parrilo. “Towards Scalable Algorithms with Formal Guarantees for Lyapunov Analysis of Control Systems via Algebraic Optimization.” 53rd IEEE Conference on Decision and Control (December 2014).
Author's final manuscript