%I Cambridge University Press %P 297-324 %T Tools for modeling, simulation, control, and verification of piecewise affine systems %B Handbook of Hybrid Systems Control: Theory, Tools, and Applications %E Jan Lunze %E Fran?oise Lamnabhi-Lagarrigue %J Handbook of Hybrid Systems Control: Theory, Tools, and Applications %D 2009 %C Cambridge %L eprints623 %A Alberto Bemporad %A Stefano Di Cairano %A Giancarlo Ferrari-Trecate %A Michal Kvasnica %A Manfred Morari %A Simone Paoletti