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.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.
| Item Type: | Article |
|---|---|
| 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 |
| URI: | http://eprints.imtlucca.it/id/eprint/458 |
Actions (login required)
 |
Edit Item |
