For more general systems, SOS techniques facilitate finding an appropriate Lyapunov function using a computational tool and fixed algorithm.
Esta tarea generalmente resulta difícil, excepto para ciertos sistemas con reducido número de variables y dependiendo de pruebas para funciones conocidas e. g., funciones de energía o de métodos específicos como el del gradiente o Krasovskii, aplicados a campos vectoriales especiales Khalil, 2002.