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)Full text not available from this repository.
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.
|Subjects:||Q Science > QA Mathematics
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
T Technology > TJ Mechanical engineering and machinery
|Research Area:||Computer Science and Applications|
|Depositing User:||Professor Alberto Bemporad|
|Date Deposited:||27 Jul 2011 09:08|
|Last Modified:||17 Jul 2014 12:39|
Actions (login required)