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 Mat-lab-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
This work is supported by the German Research Council (DFG) in the temporary graduate school Modeling and Model-Based Design of Complex Technical Systems (2nd, 4th and 8th author) and as a part of the special program Continuous-Discrete Dynamics of Technical Systems (KONDISK) under the grants En 152/19, En 152/22 and Ko 1430/3 (5th, 6th, 7th and 9th author). The third author is funded by the Volkswagen Foundation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.-R. Abrial, E. Börger, and H. Langmaack. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. LNCS 1165. Springer, 1996.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.
E.M. Clarke, O. Grumberg, and D.E. Long. Model Checking and Abstraction. ACM Trans. on Programming Languages and Systems, 16:1512–1542, 1994.
A. Deshpande, A. Göllü, and L. Semenzato. The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata. PATH-Report, http://www.path.berkeley.edu/shift/, 1996.
A. Deshpande, A. Göllü, and P. Varaiya. Hybrid Systems IV, chapter SHIFT-A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata, pages 113–133. LNCS 1273. Springer, 1997.
H. Elmquist. Object-Oriented Modeling and Automatic Formula Manipulation in Dymola. SIMS’93, Scandinavian Simulation Society, 1993.
M. Fritz and S. Engell. An open software architecture for batch process simulation. Comp. Chem. Eng., 21,Suppl. (Proc. PSE’ 97/ESCAPE-7): 769–773, 1997.
A. Göllü, M. Kourjanski, and P. Varaiya. The SHIFT simulation framework: Language, model and implementation. In Proc. 5th Int. Hybrid Systems Workshop, Notre Dame, Indiana, September 1997.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231–274, 1987.
T. Heckenthaler and S. Engell. Approximately time-optimal control of a two-tank system. IEEE Control Systems Magazine, 14(3), 1994.
T.A. Henzinger, P.H. Ho, and H. Wong-Toi. HyTech: A model checker for hybrid systems. Software Tools for Technology Transfer, 1(1,2):110–122, 1997.
I. Hoffmann and K.-U. Klatt. Hybrid Systems III, chapter Modeling Hybrid Dynamical Systems. LNCS 1066. Springer, 1996.
International Electrotechnical Comission, Geneva. International Standard 1131: Programmable Logic Controllers, Part 3: Programming Languages, 1993.
N. Leveson and J. L. Stolzy. Safety analysis using petri nets. IEEE Transactions on Software Engineering, 13(3):386–397, 1987.
MathWorks. Matlab User Guide. Natwick, USA, 1997.
C.C. Pantelides and P.I. Barton. Modeling of combined discrete/continuous processes. AIChE Journal, 40:966–979, 1994.
O. Stursberg, S. Kowalewski, I. Ho_mann, and J. Preußig. Hybrid System IV, chapter Comparing Timed and Hybrid Automata as Approximations of Continous Systems, pages 361–377. LNCS 1273. Springer, 1997.
N. Shah, C.C. Pantelides, and V.D. Dimitriadis. Modeling and safety verification of discrete/continuous processing systems using discrete time domain models. Workshop on analysis and design of event-driven operations in process systems, April 1995.
J. H. Taylor and D. Kebede. Modeling and simulation of hybrid systems in Matlab. In Proc. IFAC World Congress, San Francisco, USA, volume J, pages 275–280. IFAC, July 96.
A. L. Turk, S. T. Probst, and G. J. Powers. Hybrid and Real-Time Systems, chapter Verification of Real-Time Chemical Processing Systems, pages 259–272. LNCS 1201. Springer, 1997.
K. Wöllhaf, M. Fritz, C. Schulz, and S. Engell. BaSiP-Batch Process Simulation With Dynamically Reconfigured Process Dynamics. Comp. Chem. Eng., 20(972), suppl. (Proc. ESCAPE-6): 1281–1286, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kowalewski, S. et al. (1999). A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem. In: Antsaklis, P., Lemmon, M., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems V. HS 1997. Lecture Notes in Computer Science, vol 1567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49163-5_9
Download citation
DOI: https://doi.org/10.1007/3-540-49163-5_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65643-2
Online ISBN: 978-3-540-49163-7
eBook Packages: Springer Book Archive