_id,doi,title
7426,10.1016/j.nahs.2020.100856,Abstraction based verification of stability of polyhedral switched systems