Lyapunov-based robustness analysis techniques for clearance