Comparing industrial logic design methods used in the automotive industry

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 1, Issue , 2003, Pages 530-537

  Lucas, M R ^a   Tilbury, D M ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE INDUSTRY; CONTROL SYSTEM SYNTHESIS; INDUSTRIAL APPLICATIONS; INTEGRATED CONTROL; LOGIC DESIGN; PETRI NETS;

FUNCTION BLOCK DIAGRAMS; INDUSTRIAL LOGIC DESIGN; LADDER DIAGRAMS; SEQUENTIAL FUNCTION CHARTS;

COMPUTER AIDED DESIGN;

EID: 0242492275     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. S. K. Card, T. P. Moran, and A. Newell. The keystroke-level model for user performance time with interactive systems. Communications of the ACM, 23(7):396 - 410, July 1980.
2. M. S. Castor and D. L. Hurd. A case for ladder logic. Control Engineering, 152-166, November 1988.
3. S. Conte, H. Dunsmore, and V. Shen. Software Engineering Metrics and Models. The Benamin/Cummings Publishing Company Inc., 1986.
4. E. W. Endsley, M. R. Lucas, and D. M. Tilbury. Software tools for verification of modular FSM based logic control for use in reconfigurable machining systems. Japan - U.S.A. Symposium on Flexible Automation, 2000.
5. C. Gollapudi and D. M. Tilbury. Logic control design and implementation for a machining line testbed using Petri nets. In Proceedings of the ASME International Mechanical Engineering Congress and Exposition (Dynamic Systems and Control Division), New York, November 2001.
6. L. E. Holloway, X. Guan, R. Sundaravadivelu, and J. Ashley, Jr. Automated synthesis and composition of taskblocks for control of manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics, 30(5), October 2000.
7. Y. Itoh, I. Miyazawa, and T. Sekiguchi. Modeling of a sequential control system with cyclic scan by Petri net. Electrical Engineering in Japan, 139(4):461-467, 2002.
8. D. Johnson. Nano devices lead assault on traditional PLC applications. Control Engineering, pages 43-44, August 2002.
9. B. S. Kang and K. H. Cho. Design of PLCs for automated industrial systems based on discrete event models. IEEE International Symposium on Industrial Electronics, 8:1431-1434, 2001.
10. D. E. Kieras, Towards a practical GOMS model methodology for user interface design. In Handbook of Human-Computer Interaction, chapter 7, 135-157. Elsevier Science Publishers B.V., 1988.
11. D. E. Kieras. Task analysis and the design of functionality. In A. B. Tucker, editor, The Computer Science and Engineering Handbook. CRC Press, 1997.
12. S. Klein, X. Weng, G. Frey, J. Lesage, and L. Litz. Controller design for a FMS using signal interpreted Petri nets and SFC: Validation of both descriptions via model checking. In Proceedings of the American Control Conference, pages 4141-4146, 2002.
13. J. S. Lee and P. L. Hsu. A new approach to evaluate ladder diagrams and Petri nets via the if-then transformation. In IEEE Conference on Systems, Man and Cybernetics, pages 2711-2716, Tucson, AZ, 2001.
14. R. W. Lewis. Programming Industrial Control Systems Using IEC 1131-3 Revised Edition. The Instution of Electrical Engineers, 1998.
15. M. R. Lucas, E. W. Endsley, and D. M. Tilbury. Coordinated logic control for reconfigurable machine tools. In Proceedings of the American Control Conference, pages 2107-2113, 1999.
16. M. R. Lucas and D. M. Tilbury. Quantative and qualitative comparisons of PLC programs for a small testbed with a focus on human issues. In Proceedings of the American Control Conference, May 2002.
17. M. R. Lucas and D. M. Tilbury. A study of current logic design practices in the automotive industry. International Journal of Human-Computer Studies, 2003. Accepted for publication.
18. M. Minas and G. Frey. Visual PLC-programming using signal interpreted Petri nets. In Proceedings of the American Control Conference, pages 5019-5024, 2002.
19. J. R. Olson and G. M. Olson. The growth of cognitive modeling in human-computer interaction since GOMS. Human-Computer Interaction, 5:221 - 265, 1990.
20. E. Park, D. M. Tilbury, and P. P. Khargonekar. Modular logic controller for machining systems: Formal representation and performance analysis using Petri nets. IEEE Transactions on Robotics and Automation, 15(6):1046:1046-1061, December 1999.
21. E. Park, D. M. Tilbury, and P. P. Khargonekar. A modeling and analysis methodology for modular logic controllers of machining systems using Petri net formalism. IEEE Transactions on Systems, Man, and Cybernetics - Part C: Applications and Reviews, 31(2):168-188, 2001.
22. S. Peng and M. Zhou. Conversion between ladder diagrams and PNs in discrete-event control design - a survey. In IEEE conference on Systems, Man and Cybernetics, pages 2682-2687, 2001.
23. J. R. Pollard. Ladder logic remains the PLC language of choice. Control Engineering, pages 77-79, April 1999.
24. P. J. G. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization, pages 206 - 230, January 1987.
25. S. S. Shah, E. W. Endsley, M. R. Lucas, and D. M. Tilbury. Reconfigurable logic control using modular finite state machines: Design, verification, implementation, and integrated error handling. In Proceedings of the American Control Conference, 2002.
26. M. Uzam, A. H. Jones, and I. Yücel. Using a Petri-net-based approach for the real-time supervisory control of an experimental manufacturing system. International Journal of Advanced Manufacturing Technology, 16:498-515, 2000.
27. K. Vankatesh, M. Zhou, and R. J. Caudill. Comparing ladder logic diagrams and petri nets for sequence controller design through a discrete manufacturing system. IEEE Transactions on Industrial Electronics, 41(6):611-619, December 1994.