An experimental batch plant as a test case for the verification of hybrid systems

European Journal of Control

Volumn 7, Issue 4, 2001, Pages 366-381

  Kowalewski, Stefan ^a,b   Stursberg, Olaf ^a   Bauer, Nanette ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

^b ROBERT BOSCH GMBH   (Germany)

Author keywords

Batch processes; Hybrid systems; Programmable logic controllers; Safety analysis; Scheduling; Verification

Indexed keywords

EID: 20344383569     PISSN: 09473580     EISSN: None     Source Type: Journal    
DOI: 10.3166/ejc.7.361-381     Document Type: Article

References (7)

1. Hanisch HM, Lautenbach K, Simon C, Thieme J. Timestamp Petri-Nets in technical applications. In: Proceedings of the 4th International Workshop on discrete event systems (WoDES'98), Cagliari. 1998, pp 321-326
2. IEC. Intern. Standard 1131 A: Programmable Logic Controllers, Part 3: Programming Languages, 1992
3. Klein E, Raisch J. Safety enforcement in process control systems - a batch evaporator example. In: Proceedings of the 4th International Workshop on discrete event systems (WoDES'98), Cagliari. 1998, pp 327-333.
4. Kowalewski S, Engell S, Preußig J, Stursberg O. Verification of logic controllers for continuous plants using timed condition/event-system models. Automatica 1999; 35: 505-518
5. Kowalewski S, Gesthuisen R, Roßmann V. Model-based verification of batch process control software. In: Proceedings of the IEEE Conf. SMC, San Antonio (USA). 1994, pp 331-336
6. Kowalewski S, Stursberg O. The batch evaporator: a benchmark example for safety analysis of processing systems under logic control. In: Proceedings of the 4th International Workshop on discrete event systems (WoDES'98), Cagliari. 1998, pp 302-307
7. Yang SH, Chung PW. The application of the HAZAPS methodology to an automated semi-batch evaporator. Proceedings of the 4th International Workshop on discrete event systems (WoDES'98), Cagliari. 1998, pp 308-313