[2406.16094] Proper Implicit Discretization of the Super-Twisting Controller -- without and with Actuator Saturation