Hamiltonian-type Lyapunov functions

A flexible and systematic way for the construction of Lyapunov functions which lends itself to the use of nonlinear programming techniques is presented. The class of Lyapunov functions obtained is shown to be energy functions (Hamiltonians) for an equivalent system.