This program finds a common lyapunov function for the "Robust Hydraulic Actuator Force Control through Relief Discharge" manuscript