TY  - JOUR
AV  - none
TI  - Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
ID  - eprints458
IS  - 4
UR  - http://ejc.revuesonline.com/article.jsp?articleId=826
JF  - European Journal of Control
N2  - 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. 
PB  - Lavoisier
EP  - 399
VL  - 7
SN  - 0947-3580
SP  - 382
Y1  - 2001/04//
A1  - Bemporad, Alberto
A1  - Torrisi, Fabio Danilo
A1  - Morari, Manfred
ER  -