Although the Lyapunov functions found in examples 3.1 and 3.2 have a high number of terms, these functions are in the Matlab symbolic environment which facilitates plotting and verifying stability conditions.
A pesar de que las funciones de Lyapunov halladas para los ejemplos 3.1 y 3.2 tienen un elevado número de términos, poseen la ventaja de encontrarse directamente en el entorno del toolbox symbolic de Matlab, permitiendo facilidad en la manipulación, graficación y verificación de las condiciones de las expresiones.