A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: the Two Tanks Problem (1997)
Cached
Download Links
- [astwww.chemietechnik.uni-dortmund.de]
- [astwww.chemietechnik.uni-dortmund.de]
- DBLP
Other Repositories/Bibliography
| Citations: | 18 - 0 self |
BibTeX
@MISC{Kowalewski97acase,
author = {Stefan Kowalewski and Olaf Stursberg and Martin Fritz and Holger Graf and Ingo Hoffmann and Jörg Preuß and Silke Simon and Manuel Remelhe and Heinz Treseler},
title = {A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: the Two Tanks Problem},
year = {1997}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. This case study compares the usefulness and applicability of eight computer tools with respect to the validation of logic control programs for continuous processes. Six simulation packages (Taylor's MATLAB-based simulator, SIMULINK/STATEFLOW, GPROMS, SHIFT, DYMOLA, and BASIP) and two verification tools (SMV and HYTECH) were applied to a single process control example with non-trivial continuous dynamics. The paper presents a detailed description of this benchmark example. Short introductions to the tools are given and the application results are decribed and discussed with emphasis on the suitability to the problem and the numerical performance. 1 Introduction This contribution reports on a case study in the application of tool-based methods for a systematic analysis of hybrid systems. In particular, the study is focussed on continuous processes controlled by logic controllers, as this class of hybrid systems is widespread among process industry plants. To achieve comparable results...
