1 |
M. Zhou and E Twiss, "Design of Industrial automated systems via relay ladder logic programming and Petrinets", IEEE Trans on Systems, Man and Cybernetics -part C ; Applications and Reviews, Vol 28, No 1, pp137- 150, 1998. DOI: http://dx.doi.org/10.1109/5326.661096
DOI
ScienceOn
|
2 |
Giuseppe Casalino, Giorgio Cannata, Giorgio Panin, Adrea Caffaz "On a Two level Hierarchical Structure for the Dynamic Control of Multifingered Manipulation", Proceedings of the 2001 IEEE, International Conference on Robotics & Automation Seoul Korea, 2001. DOI: http://dx.doi.org/10.1109/ROBOT.2001.932533
DOI
|
3 |
Bong-Suk Kang and Kwang-Hjun Cho, "Discrete Event Model Conversion Algorithm for Systematic Analysis of Ladder Diagrams in PLCs" Journal of Control, Automation and systems Engineering, Vol 8. No5, p401- 406, May, 2002. DOI: http://dx.doi.org/10.5302/J.ICROS.2002.8.5.401
DOI
ScienceOn
|
4 |
G.Frey and L.Litz, Formal methods in PLC Programming, Proceedings for the IEEE Conference on Systems Man and Cybernetics SMC 2000, Nachville, Oct. 8-11, 2000. DOI: http://dx.doi.org/10.1109/ICSMC.2000.884356
DOI
|
5 |
"Operating Manual (SFC)", Mitsubishi GX Developer Version 8, 2006
|
6 |
Jeong-Bong You, "Improvement Implementation of Interlock Using Management Step Described by SFC", The Korean Institute of Illuminating and Electrical Installation Engineers, Vol. 19, No.3, May 2005.
|