Bemporad, Alberto and Bianchini, Gianni and Brogi, Filippo Passivity analysis and passification of discrete-time hybrid systems. IEEE Transactions on Automatic Control , 54 (4). pp. 1004-1009. ISSN 0018-9286 (2008)