Didier Henrion Jean B. Lasserre Carlo Savorgnan Nonlinear optimal control synthesis via occupation measures. 4749-4754 2008 CDC http://dx.doi.org/10.1109/CDC.2008.4739136 conf/cdc/2008 db/conf/cdc/cdc2008.html#HenrionLS08