An algorithmic approach to stability verification of polyhedral switched systems | Publicación