However, recently established methods based on semidefinite programming and SOS decomposition allow very efficiently verifying Lyapunov inequalities of form 24in the case where G, V, r are assumed to be polynomialsEbenbauer and Allg¨ower, 2004.
Pero justamente los desarrollos que han tenido las técnicas SOS basadas en programación semidefinida permiten verificar las desigualdades de la forma 24 eficientemente en el caso de que todas las funciones implicadas en la desigualdad tengan forma polinomio Ebenbauer y Allg¨ower, 2004.