On the stabilization of linear discrete-time hybrid automata. - Marco Zoncu; Andrea Balluchi; Alberto L. Sangiovanni-Vincentelli; Antonio Bicchi (CDC, 2003)