Giancarlo Ferrari-Trecate Francesco Alessandro Cuzzola Manfred Morari Analysis of Discrete-Time PWA Systems with Logic States. 194-208 2002 conf/hybrid/2002 HSCC http://dx.doi.org/10.1007/3-540-45873-5_17 db/conf/hybrid/hscc2002.html#Ferrari-TrecateCM02