A case study in tool-aided analysis of discretely controlled continuous systems: The two tanks problem

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1567, Issue , 1999, Pages 163-185

  Kowalewski, S ^a   Stursberg, O ^a   Fritz, M ^a   Graf, H ^a   Hoffmann, I ^a   Preussig J ^a   Remelhe, M ^a   Simon, S ^a   Treseler, H ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BARIUM COMPOUNDS; HYBRID SYSTEMS; SILICON COMPOUNDS;

COMPUTER TOOLS; CONTINUOUS DYNAMICS; CONTINUOUS PROCESS; CONTINUOUS SYSTEM; LOGIC CONTROL PROGRAMS; NUMERICAL PERFORMANCE; SIMULATION PACKAGES; VERIFICATION TOOLS;

PROCESS CONTROL;

EID: 33646758669     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49163-5_9     Document Type: Conference Paper

References (21)

1. 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.
2. 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.
3. E. M. Clarke, O. Grumberg, and D. E. Long. Model Checking and Abstraction. ACM Trans. on Programming Languages and Systems, 16:1512-1542, 1994.
4. A. Deshpande, A. Göllü, and L. Semenzato. The SHIFT Programming Lan-guage and Run-time System for Dynamic Networks of Hybrid Automata. PATH-Report, http://www. path. berkeley. edu/shift/, 1996.
5. 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.
6. H. Elmquist. Object-Oriented Modeling and Automatic Formula Manipulation in Dymola. SIMS'93, Scandinavian Simulation Society, 1993.
7. 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.
8. 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.
9. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, 1987.
10. T. Heckenthaler and S. Engell. Approximately time-optimal control of a two-tank system. IEEE Control Systems Magazine, 14(3), 1994.
11. 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.
12. I. Hoffmann and K.-U. Klatt. Hybrid Systems III, chapter Modeling Hybrid Dynamical Systems. LNCS 1066. Springer, 1996.
13. International Electrotechnical Comission, Geneva. International Standard 1131: Programmable Logic Controllers, Part 3: Programming Languages, 1993.
14. N. Leveson and J. L. Stolzy. Safety analysis using petri nets. IEEE Trans-actions on Software Engineering, 13(3):386-397, 1987.
15. MathWorks. Matlab User Guide. Natwick, USA, 1997.
16. C. C. Pantelides and P. I. Barton. Modeling of combined discrete/continuous processes. AIChE Journal, 40:966-979, 1994.
17. O. Stursberg, S. Kowalewski, I. Hoffmann, and J. Preufiig. Hybrid System IV, chapter Comparing Timed and Hybrid Automata as Approximations of Continous Systems, pages 361-377. LNCS 1273. Springer, 1997.
18. 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 pro-cess systems, April 1995.
19. 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.
20. 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.
21. 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.