Title | ||
---|---|---|
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem |
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. |
Year | Venue | Keywords |
---|---|---|
1997 | Hybrid Systems V | basip,smv.,case study,hytech,logic control program,non-trivial continuous dynamic,application result,gproms,simulation and verification of hybrid systems,benchmark example,discretely controlled continuous systems,continuous process,matlab,tool-aided analysis,computer tool,detailed description,single process control example,tanks problem,matlab-based simulator,shift,model error,hybrid system,natural language |
Field | DocType | Volume |
Software tool,Logic Control,MATLAB,Computer science,Simulation,Control engineering,Computer tools,Process control,Stateflow,Hybrid system,Hybrid automaton,Distributed computing | Conference | 1567 |
ISSN | ISBN | Citations |
0302-9743 | 3-540-65643-X | 19 |
PageRank | References | Authors |
4.15 | 12 | 9 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stefan Kowalewski | 1 | 61 | 10.19 |
Olaf Stursberg | 2 | 458 | 58.41 |
Martin Fritz | 3 | 19 | 4.15 |
Holger Graf | 4 | 56 | 15.10 |
Ingo Hoffmann | 5 | 37 | 7.11 |
Jörg Preußig | 6 | 76 | 13.24 |
M. Remelhe | 7 | 19 | 4.15 |
Silke Simon | 8 | 19 | 4.15 |
Heinz Treseler | 9 | 21 | 4.61 |