TY - CHAP CY - Arlington, VA June 25-27, 2001 Y1 - 2001/// A1 - Bemporad, Alberto A1 - Morari, Manfred PB - IEEE SP - 1689 ID - eprints577 T2 - American Control Conference EP - 1703 AV - none TI - Optimization-based hybrid control tools KW - HYSDEL; MLD models; Mixed Logical Dynamical systems; Model Predictive Control; controller design; modeling language; multiparametric programming; piecewise linear control; control system CAD; linear systems; optimal control; piecewise linear techniques; predictive control; reachability analysis UR - http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=945973&isnumber=20470 SN - 0-7803-6495-3 N2 - The paper discusses a framework for modeling, analyzing and controlling systems whose behavior is governed by interdependent physical laws, logic rules, and operating constraints, denoted as Mixed Logical Dynamical (MLD) systems. They are described by linear dynamic equations subject to linear inequalities involving real and integer variables. MLD models are equivalent to various other system descriptions like Piecewise Affine (PWA) systems and Linear Complementarity (LC) systems. They have the advantage, however, that many problems of system analysis (like reachability/controllability, observability, and verification) and many problems of synthesis (like controller design and filter design) can be readily expressed as mixed integer linear or quadratic programs, for which many commercial software packages exist. In this paper we first recall MLD models and the modeling language HYSDEL (HYbrid Systems DEscription Language). Subsequently, we illustrate the use of Model Predictive Control (MPC) based on mixed-integer programming for hybrid MLD models, and the use of multiparametric programming for obtaining explicitly the equivalent piecewise linear control form of MPC. The eventual practical success of these methods will depend on progress in the development of the various optimization algorithms and tools so that problems of realistic size can be tackled M1 - 2 ER -