Title: On the use of a Lyapunov function to determine logic for a saturating type control of a non-linear system