If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference article
2014

Control and verification of high-dimensional systems with DSOS and SDSOS programming

Majumdar, A., Ahmadi, A. A. & Tedrake, R., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 394-401 8 p., 7039413.

Research output: Contribution to journalConference article

39 Scopus citations

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

Ahmadi, A. A. & Parrilo, P. A., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 2272-2281 10 p., 7039734.

Research output: Contribution to journalConference article

12 Scopus citations
2012

Joint spectral radius of rank one matrices and the maximum cycle mean problem

Ahmadi, A. A. & Parrilo, P. A., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 731-733 3 p., 6425992.

Research output: Contribution to journalConference article

7 Scopus citations