Lyapunov analysis of sliding motions: Application to bounded control | Synapse