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.

  

Discrete-Time Hybrid Modeling and Verification of the Batch Evaporator Process Benchmark

Author(s):

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

European Journal of Control, vol. 7, no. 4, pp. 382-399
Abstract:

For hybrid systems described by interconnections of linear discrete-time dynamical systems, automata, and propositional logic rules, we recently proposed the Mixed Logical Dynamical (MLD) systems formalism and the language HYSDEL (Hybrid System Description Language) as a modeling tool. For MLD models, we developed a reachability analysis algorithm which combines forward reach set computation and feasibility analysis of trajectories by linear and mixed-integer linear programming. In this paper the versatility of the overall analysis tool is illustrated on the batch evaporator benchmark process.

Further Information
Year:

2001
Type of Publication:

(01)Article
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@Article { BemTor:2001:IFA_230,
    author={A. Bemporad and F.D. Torrisi and M. Morari},
    title={{Discrete-Time Hybrid Modeling and Verification of the Batch
	  Evaporator Process Benchmark}},
    journal={European Journal of Control},
    year={2001},
    volume={7},
    number={4},
    pages={382--399},
    month=sep,
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=230}
}
Permanent link