Bemporad, Alberto Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form. IEEE Transactions on Automatic Control , 49 (5). pp. 832-838. ISSN 0018-9286 (2004)