Control and verification of high-dimensional systems via DSOS and SDSOS optimization (2014)

by Anirudha Majumdar, Amir Ali Ahmadi, Russ Tedrake
Venue:In Proceedings of the 53rd IEEE Conference on Decision and Control