Although determining non-negativity of a function could be an NPhard problem, using SOS decomposition is an efficient method for solving this problem. Moreover, by means of the SOSTOOLS computational tool the problem can be simplified to appropriately use the SOS algorithm, taking into account the inherent numerical errors and high computational cost of this tool for relatively high order systems.
Aunque la determinación de la no negatividad de una función polinómica puede resultar en un problema NPHard, al plantear las condiciones de estabilidad por medio de variables SOS el problema puede ser resuelto eficazmente por el toolbox SOSTOOLS, teniendo en cuenta los posibles errores numéricos y el elevado costo computacional de esta herramienta en sistemas con un número de variables elevado.