Joint spectral radius and path-complete graph Lyapunov functionsAmir Ali AhmadiRaphaël M. Jungerset al.2014SICON