Computation of polytopic invariants for polynomial dynamical systems using linear programming

Mohamed Amin Ben Sassi, Antoine Girard. Computation of polytopic invariants for polynomial dynamical systems using linear programming. Automatica, 48(12):3114-3121, 2012. [doi]