Construction of Lyapunov functions using Grobner bases

The author shows how Grobner bases can be used when choosing parameters in Lyapunov functions for nonlinear dynamic systems in an optimal way. The method requires the nonlinearities of the system and the Lyapunov function to be of a polynomial type. Some concrete examples of how to apply the method are provided.<<ETX>>