Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Hybrid system analysis and control via mixed integer optimization

Author(s):

M. Morari
Conference/Journal:

IFAC Symposium on Dynamics and Control of Process Systems, vol. 1, no. 6, pp. 1-12, ed. by Stephanopoulos, G., Lee, J.H., Yoon, E.S.
Abstract:

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 Piece Wise Affine (PWA) systems and Linear Complementarity (LC) systems. They have the advantage, however, that all problems of system analysis (like controllability, observability, stability and verification) and all 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 how to derive MLD models and then illustrate their use in predictive control. Subsequently we define "verification" and show how verification algorithms can be used to solve a variety of practical problems like checking the correctness of an emergency shutdown procedure implemented on a PLC, or assessing the performance of a constrained MPC controller. The eventual practical success of these methods will depend on progress in the development of the various optimization packages so that problems of realistic size can be tackled.

Year:

2001
Type of Publication:

(01)Article
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@InProceedings { Xxx:2001:IFA_134,
    author={M. Morari},
    title={{Hybrid system analysis and control via mixed integer
	  optimization}},
    booktitle={IFAC Symposium on Dynamics and Control of Process Systems},
    pages={1--12},
    year={2001},
    address={},
    month=jun,
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=134}
}
Permanent link