Positivity certificates in optimal control - Edouard Pauwels; Didier Henrion; Jean-Bernard Lasserre (2016)