lyapunov function

Input interpretation

Lyapunov function