relation: http://eprints.imtlucca.it/458/
title: Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
creator: Bemporad, Alberto
creator: Torrisi, Fabio Danilo
creator: Morari, Manfred
subject: QA Mathematics
subject: QA75 Electronic computers. Computer science
subject: TJ Mechanical engineering and machinery
description: 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. 
publisher: Lavoisier
date: 2001-04
type: Article
type: PeerReviewed
identifier:   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)  
relation: http://ejc.revuesonline.com/article.jsp?articleId=826