Verification and optimization of a PLC control schedule

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

Volumn 1885, Issue , 2000, Pages 73-92

  Brinksma, Ed ^a   Mader, Angelika ^b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL PLANTS; CONTROLLERS; HYBRID SYSTEMS;

ABSTRACTION TECHNIQUES; PROGRAMMABLE LOGIC CONTROLLERS (PLC); REAL TIME MODELING; REAL-TIME PROPERTIES; SPACE REQUIREMENTS; SYMBOLIC CALCULATION; THE STANDARD MODEL; VERIFICATION OF HYBRID SYSTEMS;

MODEL CHECKING;

EID: 84947292222     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722468_5     Document Type: Conference Paper

References (17)

1. Dtspin homepage. http://www.win.tue.nl/dragan/DTSpin.html.
2. VHS: Case study 1 sources. http://www.cs.kun.nl/mader/vhs/cs1.html.
3. R. Alur and D.L. Dill. A theory of timed automata. Th. Computer Science, (138):183-335, 1994.
4. A. Fehnker. Scheduling a steel plant with timed automata. In Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99). IEEE Computer Society Press, 1999.
5. A. Fehnker. Bounding and heuristics in forward reachability algorithms. Technical Report CSI-R0002, University of Nijmegen, Netherlands, February 2000.
6. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. Hytech: a model checker for hybrid systems. Software Tools for Technology Transfer, (1):110-123, 1997.
7. G.J. Holzmann. The model cheker SPIN. IEEE Trans. on Software Eng., 23(5):279-295, May 1997.
8. International Electrotechnical Commission. IEC International Standard 1131-3, Programmable Controllers, Part 3, Programming Languages, 1993.
9. S. Kowalewski. Description of case study cs1 "experimental batch plant". http://www-verimag. imag.fr/VHS/main.html, July 1998.
10. K.G. Larsen, P. Petterson, and W. Yi. Uppaal in a nutshell. Software Tools for Technology Transfer, (1):134-153, 1997.
11. A. Mader. A classification of PLC models and applications. submitted to WODES,2000.
12. A. Mader, E. Brinksma, H. Wupper, and N. Bauer. Design of a plc control program for a batch plant - vhs case study 1. submitted for publication, http://www.cs.kun.nl/m mader/papers.html, 2000.
13. Peter Niebert and Sergio Yovine. Computing optimal operation schemes for multi batch operation of chemical plants. VHS deliverable, May 1999. http://www-verimag.imag.fr/VHS/main.html.
14. Th. Ruys and E. Brinksma. Experience with literate programming in the modelling and validation of systems. In B. Steffen, editor, Tools and Algorithms for the Construction and Analysis ofSystems, volume 1384 of Lecture Notes in Computer Science, pages 393-408. Springer-Verlag, 1998.
15. G.S. Shedler. Regenerative Stochastic Simulation. Academic Press, 1993.
16. F.W. Vaandrager and J.H van, Schuppen Hybrid. Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
17. S. Yovine. Kronos: a verification tool for real-time systems. Software Tools for Technology Transfer, (1):123-134, 1997.