“…Hybrid systems have attracted the interest of many researchers, because they can capture in a single model the interaction between continuous and discrete-valued dynamics. Various models for hybrid system have been proposed (Labinaz et al, 1997), (Lygeros et al, 1999), and the research focused on the investigation of basic properties such as stability (Branicky, 1998), controllability and observability (Bemporad et al, 2000), and the development of control (Bemporad and Morari, 1999) (Lygeros et al, 1999), state estimation (FerrariTrecate et al, 2002a) and verification (Alur et al, 1996) schemes. We will use discrete-time hybrid systems in the Mixed Logical Dynamical (MLD) form (Bemporad and Morari, 1999) for two reasons: first, they provide a general framework for modelling many discrete features of CCPPs, including the coordination and prioritization between different devices; second, they are suitable to be used in on-line optimization schemes.…”