eprintid: 447 rev_number: 11 eprint_status: archive userid: 7 dir: disk0/00/00/04/47 datestamp: 2011-07-27 09:18:01 lastmod: 2014-07-16 14:20:22 status_changed: 2011-07-27 09:18:01 type: article metadata_visibility: show item_issues_count: 0 creators_name: Bemporad, Alberto creators_name: Morari, Manfred creators_id: alberto.bemporad@imtlucca.it creators_id: title: Control of systems integrating logic, dynamics, and constraints ispublished: pub subjects: QA subjects: QA75 divisions: CSA full_text_status: none keywords: Hybrid systems; Predictive control; Dynamic models; Binary logic systems; Boolean logic; Mixed-integer programming; Optimization problems abstract: This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dynamical (MLD) systems. These are described by linear dynamic equations subject to linear inequalities involving real and integer variables. MLD systems include linear hybrid systems, finite state machines, some classes of discrete event systems, constrained linear systems, and nonlinear systems which can be approximated by piecewise linear functions. A predictive control scheme is proposed which is able to stabilize MLD systems on desired reference trajectories while fulfilling operating constraints, and possibly take into account previous qualitative knowledge in the form of heuristic rules. Due to the presence of integer variables, the resulting on-line optimization procedures are solved through mixed integer quadratic programming (MIQP), for which efficient solvers have been recently developed. Some examples and a simulation case study on a complex gas supply system are reported. date: 1999-03 date_type: published publication: Automatica volume: 35 number: 3 publisher: Elsevier pagerange: 407-427 id_number: 10.1016/S0005-1098(98)00178-2 refereed: TRUE issn: 0005-1098 official_url: http://www.sciencedirect.com/science/article/pii/S0005109898001782 citation: Bemporad, Alberto and Morari, Manfred Control of systems integrating logic, dynamics, and constraints. Automatica, 35 (3). pp. 407-427. ISSN 0005-1098 (1999)