Top Tension Control of a Flexible Marine Riser by Using Integral-Barrier Lyapunov Function | Synapse