Lyapunov Functions for the Problem of Lur'e in Automatic Control | Synapse