eprintid: 458
rev_number: 11
eprint_status: archive
userid: 7
dir: disk0/00/00/04/58
datestamp: 2011-07-27 09:08:46
lastmod: 2014-07-17 12:39:43
status_changed: 2011-07-27 09:08:46
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Bemporad, Alberto
creators_name: Torrisi, Fabio Danilo
creators_name: Morari, Manfred
creators_id: alberto.bemporad@imtlucca.it
creators_id: 
creators_id: 
title: Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
ispublished: pub
subjects: QA
subjects: QA75
subjects: TJ
divisions: CSA
full_text_status: none
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 Descrip- tion 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. 
date: 2001-04
date_type: published
publication: European Journal of Control
volume: 7
number: 4
publisher: Lavoisier
pagerange: 382-399
refereed: TRUE
issn: 0947-3580
official_url: http://ejc.revuesonline.com/article.jsp?articleId=826
citation:   Bemporad, Alberto and Torrisi, Fabio Danilo and Morari, Manfred  Discrete-time hybrid modeling and verification of the batch evaporator process benchmark.  European Journal of Control, 7 (4).  pp. 382-399.  ISSN 0947-3580      (2001)