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.

  

Verification of Mixed Logical Dynamical Models - The Batch Evaporator Process Benchmark

Author(s):

A. Bemporad, F.D. Torrisi, M. Morari
Conference/Journal:

vol. AUT00-04
Abstract:

In this paper we show how the MLD modeling framework introduced in (Bemporad, Morari, 1999) and the reachability analysis algorithm presented in (Bemporad, Morari, 1999 and Bemporad, Torrisi, Morari, 2000)can be successfully used to solve the batch evaporator benchmark verification problem (Kowalewski, 1998). MLD models describe hybrid systems where discrete-time linear dynamic equations, logic rules, and automata interact. The reachability analysis algorithm is based on linear and mixed-integer linear programming. After reviewing MLD models and the algorithm, we detail the modeling of the batch evaporator benchmark process and its verification in order to illustrate the versatility of the analysis tool.

Further Information
Year:

2000
Type of Publication:

(04)Technical Report
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@TechReport { BemTor:2000:IFA_24,
    author={A. Bemporad and F.D. Torrisi and M. Morari},
    title={{Verification of Mixed Logical Dynamical Models - The Batch
	  Evaporator Process Benchmark}},
    institution={},
    year={2000},
    number={},
    address={},
    month=feb,
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=24}
}
Permanent link