Robust Stability: a Relaxation Method for the Generation of Polyhedral Lyapunov Functions