TY - CPAPER AU - Prabhakar, Pavithra AU - GarcĂ­a Soto, Miriam PY - 2014 DO - 10.1109/ACC.2014.6859056 UR - https://hdl.handle.net/20.500.14352/114487 AB - We present an algorithmic approach for analyzing Lyapunov and asymptotic stability of polyhedral switched systems. A polyhedral switched system is a hybrid system in which the continuous dynamics is specified by polyhedral differential inclusions, the... LA - eng TI - An algorithmic approach to stability verification of polyhedral switched systems TY - conference paper ER -