Equivalence of hybrid dynamical models

This paper establishes equivalences among five classes of hybrid systems: m ixed logical dynamical (MLD) systems, linear complementarity (LC) systems, extended linear complementarity (ELC) systems, piecewise affine (PWA) syste ms, and max-min-plus-scaling (MMPS) systems. Some of the equivalences are e stablished under (rather mild) additional assumptions. These results are of paramount importance for transferring theoretical properties and tools fro m one class to another, with the consequence that for the study of a partic ular hybrid system that belongs to any of these classes. one can choose the most convenient hybrid modeling framework. (C) 2001 Elsevier Science Ltd. All rights reserved.