Modular finite state machines for logic control

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 37, Issue 18, 2004, Pages 393-398

  Endsiey, E W ^a   Tilbury, D M ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Finite state machines; Logic control

Indexed keywords

DISCRETE EVENT SIMULATION; FINITE AUTOMATA; MANUFACTURE;

FINITE STATE; LOGIC CONTROL;

COMPUTER CIRCUITS;

EID: 85063008560     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/S1474-6670(17)30778-4     Document Type: Conference Paper

References (15)

1. E. Almeida and D. M. Tilbury. Automatic logic generation for reconfigurable cell-based manufacturing systems. In Proceedings of the IFAC Workshop on Discrete Event Systems (WODES). Reims, September 2004.
2. S. Balemi. Input/output discrete event processes and communication delays. Journal of Discrete Event Dynamic Systems: Theory and Applications, 4:41 - 85, 1994.
3. D Brand and P. Zafiropulo. On communcating finite-state machines. Journal of the ACM. 30(2):323-342. Apnl 1983.
4. B. A. Brandin. Error-recovering supervisory control of automated manufacturing systems. Integrated Computer-Aided Engineering, 3(4):255 -267, 1996.
5. W. Damm. B. Josko, H. Hungar. and A. Pnueli. A compositional real-time semantics of statemate designs. In Proceedings of COMPOS, pages 186-238, 1997.
6. W. Endsley. Modular Finite State Machines for Logic Control: Theory. Verification and Applications to Reconfigurable Manufacturing Systems. PhD thesis. University of Michigan, Ann Arbor. MI, May 2004.
7. E. W. Endsley, M. R. Lucas, and D. M. Tilbury. 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, 2000.
8. D. Harel. Statecharts: A visual formalization for complex systems. Science of Compter Programming. 8(3):231 - 274. 1987.
9. Y. Koren, U. Heisel, F. Jovane, T. Moriwaki, G. Pritschow, G. Ulsoy. and H Van Brussel. Reconfigurable manufacturing systems. In CIRP Annals, volume 2. pages 6-12. November 1999. Keynote Paper.
10. S. C. Lauzon, A. K. L. Ma, J. K. Mills, and B. Benhabib. 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, volume 2, pages 1429 - 1434. IEEE. May 1995.
11. M. R. Lucas and D. M. Tilbury. Comparing industrial logic design methods used in the automotive industry. In Proceedings of the IEEE International Conference on Systems. Man. and Cybernetics, pages 530 - 537, Washington, DC, October 2003.
12. S. L. Pollice. E. W. Endsley, and D. M. Tilbury. Logic control using modular FSMs: An evaluation of code re-use. In Proceedings of the 2nd IFAC Conference on Mechatronic Systems. 2002.
13. P. J. G. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE. 77(1):81 - 98. January 1989.
14. M. Rausch and B. H. Kiogh. Symbolic verification of statefiow logic. In Proceedings of the IFAC Workshop on Discrete Event Systems (WODES). Cagliari. 1998.
15. S. S. Shah, E. W. Endsley, M. R. Lucas, and D. M. Tilbury. Reconfigurable logic control using modular FSMs: Design, verification. implementation, and integrated error handling. In Pro Proceedrngs oJ the AmerIcan Control Conference. 2002.