An efficient technique for translating mixed logical dynamical systems into piecewise affine systems

For linear hybrid systems consisting of linear dynamic equations interacting with linear threshold events, automata, and logic propositions, provided in mixed-logical dynamical (MLD) form, this paper describes an efficient technique for transforming such systems into an equivalent piecewise affine (PWA) form, where equivalent means that for the same initial conditions and input sequences the trajectories of the system are identical.