An algorithmic approach to stability verification of polyhedral switched systems | IEEE Conference Publication | IEEE Xplore