A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem

Authors:
Stefan Kowalewski;Olaf Stursberg;Martin Fritz;Holger Graf;Ingo Hoffmann;Jörg Preußig;M. Remelhe;Silke Simon;Heinz Treseler
Affiliations:
-;-;-;-;-;-;-;-;-
Venue:
Hybrid Systems V
Year:
1999

Citing 8
Cited 7

Safety Analysis Using Petri Nets

IEEE Transactions on Software Engineering
Statecharts: A visual formalism for complex systems

Science of Computer Programming
Model checking and abstraction

ACM Transactions on Programming Languages and Systems (TOPLAS)
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Modeling hybrid dynamical systems

Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata

Hybrid Systems IV
Comparing Timed and Hybrid Automata as Approximations of Continuous Systems

Hybrid Systems IV
Verification of Real Time Chemical Processing Systems

HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems

An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages

HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis

HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems

HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Accurate Event Detection for Simulating Hybrid Systems

HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Proving the Correctness of the Implementation of a Control-Command Algorithm

SAS '09 Proceedings of the 16th International Symposium on Static Analysis
Assessment of excited oscillation in controller parameter setting

ICOSSE'06 Proceedings of the 5th WSEAS international conference on System science and simulation in engineering

Quantified Score

Hi-index	0.00

Visualization

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.