Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation

Control Engineering Practice

Volumn 14, Issue 10, 2006, Pages 1127-1142

  Endsley, E W ^a   Almeida, E E ^a   Tilbury, D M ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Finite state machines; Logic control; Manufacturing cell controller

Indexed keywords

CONTROL EQUIPMENT; FINITE AUTOMATA;

FINITE STATE MACHINES; LOGIC CONTROL; MANUFACTURING CELL CONTROLLER;

CELLULAR MANUFACTURING;

CELLULAR MANUFACTURING; CONTROL EQUIPMENT; FINITE AUTOMATA;

EID: 33744928901     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.conengprac.2006.02.001     Document Type: Article

References (32)

1. Almeida, E., Luntz, J., & Tilbury, D. M. (July 2005). Modular finite state machines implemented as event-condition-action systems. In Proceedings of the IFAC world congress. Prague.
2. Almeida, E., & Tilbury, D. M. (2004). Automatic logic generation for cell-based manufacturing systems. In J. Zaytoon, V. Carre-Menetrier, C. Cassandras, & X. Cao (Eds.), Proceedings of the IFAC workshop on discrete event systems (WODES) (pp. 31-36), Reims, France.
3. Balemi S. Input/output discrete event processes and communication delays. Journal of Discrete Event Dynamic Systems: Theory and Applications 4 (1994) 41-85
4. Bani Younis M., & Frey, G. (July 2003). Formalization of existing PLC programs: A survey. In Proceedings of the conference on computing engineering in systems applications (CESA), Lille, France.
5. Berard B., Bidoit M., Finkel A., Laroussinie F., Petit A., Petrucci L., et al. Systems and software verification: Model-checking techniques and tools (2001), Springer, New York
6. Brand D., and Zafiropulo P. On communicating finite-state machines. Journal of the ACM 30 2 (April 1983) 323-342
7. Brandin B.A. Error-recovering supervisory control of automated manufacturing systems. Integrated Computer-Aided Engineering 3 4 (1996) 255-267
8. Brandin B.A., Malik R., and Malik P. Incremental verification and synthesis of discrete-event systems guided by counter examples. IEEE Transactions on Control Systems Technology 12 3 (May 2004) 387-401
9. Cassandras C.G., and Lafortune S.L. Introduction to discrete event systems (1999), Kluwer, Boston
10. Clarke E., Grumberg O., and Peled D. Model checking (1999), MIT Publishers
11. Damm, W., Josko, B., Hungar, H., & Pnueli, A. (1997). A compositional real-time semantics of statemate designs. In Proceedings of COMPOS (pp. 186-238).
12. Endsley, E. W. (May 2004). Modular finite state machines for logic control: Theory, verification and applications to reconfigurable manufacturing systems. Ph.D. thesis, University of Michigan, Ann Arbor, MI.
13. Endsley, E. W., & Tilbury, D. M. (2004a). Modular finite state machines for logic control. In J. Zaytoon, V. Carre-Menetrier, C. Cassandras, & X. Cao (Eds.), Proceedings of the IFAC workshop on discrete event systems (WODES) (pp. 403-408), Reims, France.
14. Endsley, E. W., & Tilbury, D. M. (2004b). Modular verification of modular finite state machines. In Proceedings of the IEEE conference on decision and control (pp. 972-979), The Bahamas.
15. Endsley, E. W., Lucas, M. R., & Tilbury, D. M. (July 2000). Software tools for verification of modular FSM based logic control for use in reconfigurable machine tools. In Proceedings of the Japan-U.S.A. symposium on flexible automation. Ann Arbor, MI: American Society of Mechanical Engineers (ASME).
16. Frey, G., & Litz, L. (October 2000). Formal methods in PLC programming. In Proceedings of the IEEE international conference on systems, man, and cybernetics (pp. 2431-2436), Nashville, TN.
17. Harel D. Statecharts: A visual formalization for complex systems. Science of Computer Programming 8 3 (1987) 231-274
18. Koren, Y., Heisel, U., Jovane, F., Moriwaki, T., Pritschow, G., Ulsoy, G. et al. (November 1999). Reconfigurable manufacturing systems. In CIRP Annals (Vol. 2. pp. 6-12).
19. Lauzon, S. C., Ma, A. K. L., Mills, J. K., & Benhabib, B. (May 1995). Implementing a discrete-event-system-based supervisory controller for a flexible manufacturing workcell. In Proceedings of the 1995 IEEE international conference on robotics and automation (Vol. 2, pp. 1429-1434). Silver Spring, MD: IEEE Press.
20. Lewis, R. W. (1998). Programming industrial control systems using IEC 1131-3, Revised edition. The Institution of Electrical Engineers.
21. Lucas, M.R., & Tilbury, D.M. (October 2003). Comparing industrial logic design methods used in the automotive industry. In Proceedings of the IEEE international conference on systems, man, and cybernetics (pp. 530-537), Washington, DC.
22. Lucas, M.R., & Tilbury, D.M. (June 2004). The practice of industrial logic design. In Proceedings of the American control conference (pp. 1350-1355), Boston.
23. Malik R., and Mühlfeld R. A case study in verification of UML statecharts: The PROFIsafe protocol. Journal of Universal Computer Science 9 2 (2003) 138-151
24. Moon I., Powers G.J., Burch J.R., and Clarke E.M. Automatic verification of sequential control systems using temporal logic. AIChE Journal 38 1 (1992) 67-75
25. Moyne, J., Korsakas, J., & Tilbury, D. M. (July 2004). Reconfigurable factory testbed (RFT): A distributed testbed for reconfigurable manufacturing systems. In Proceedings of the Japan-U.S.A. symposium on flexible automation. Denver, CO: American Society of Mechanical Engineers (ASME).
26. Ramadge P.J.G., and Wonham W.M. The control of discrete event systems. Proceedings of the IEEE 77 1 (1989) 81-98
27. Rausch, M., & Krogh, B. H. (1998a). Formal verification of PLC programs. In Proceedings of the American control conference (pp. 234-238), Philadelphia, PA, USA, June 1998.
28. Rausch, M., & Krogh, B. H. (1998b). Symbolic verification of stateflow logic. In Proceedings of the IFAC workshop on discrete event systems (WODES), Cagliari.
29. Sreenivas R.S., and Krogh B.K. On condition/event systems with discrete state realizations. Journal of Discrete Event Dynamic Systems: Theory and Applications 1 (1991) 209-236
30. Völker N., and Krämer B.J. Automated verification of function block-based industrial control systems. Science of Computer Programming 42 (2002) 101-113
31. Vyatkin, V., & Hanisch, H.-M. (2001). Formal-modeling and verification in the software engineering framework of IEC61499: A way to self-verifying systems. In Proceedings of the IEEE conference on Emerging Technologies in Factory Automation (ETFA'01), Nice.
32. Wright, P. K., & Bourne, D. A. (1998). Manufacturing intelligence. Reading, MA: Addison-Wesley.