Verification and Optimization of a PLC Control Schedule-Reference-Cited by-同舟云学术

Verification and Optimization of a PLC Control Schedule

Published:2000 Issue: Volume: Page:73-92
ISSN:0302-9743
Container-title:SPIN Model Checking and Software Verification
language:
Short-container-title:

Author:

Brinksma Ed,Mader Angelika

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10722468_5

Reference17 articles.

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. Alur, R., Dill, D.L.: A theory of timed automata. Th. Computer Science 138, 183–335 (1994)

4. Fehnker, A.: Scheduling a steel plant with timed automata. In: Sixth Internatio- nal Conference on Real-Time Computing Systems and Applications (RTCSA 1999). IEEE Computer Society Press, Los Alamitos (1999)

5. Fehnker, A.: Bounding and heuristics in forward reachability algorithms. Technical Report CSI-R0002, University of Nijmegen, Netherlands (February 2000)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Two Model Checking Approaches to Branch-and-Bound Optimization of a Flow Production System;Lecture Notes in Computer Science;2017

2. An overview of model checking practices on verification of PLC software;Software & Systems Modeling;2014-12-25

3. A universal planning system for hybrid domains;Applied Intelligence;2011-06-29

4. Survey on Directed Model Checking;Model Checking and Artificial Intelligence;2009

5. Introducing Time in an Industrial Application of Model-Checking;Formal Methods for Industrial Critical Systems;2008