Milan Korda, Didier Henrion, Colin N. Jones. Convex computation of the maximum controlled
invariant set for polynomial control systems. SIAM Journal on Control and Optimization,
Society for Industrial and Applied Mathematics, 2014, 52 (5), pp.2944-2969. (hal-00804816)