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

by A Majumdar, A A Ahmadi, R Tedrake
Venue:In Proceedings of the 53rd IEEE Conference on Decision and Control