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

被引：21
作者：
Endsley, E. W. [1 ]
Almeida, E. E. [1 ]
Tilbury, D. M. [1 ]
机构：
[1] Univ Michigan, Dept Mech Engn, Ann Arbor, MI 48109 USA
来源：
CONTROL ENGINEERING PRACTICE | 2006年 / 14卷 / 10期
关键词：
logic control; finite state machines; manufacturing cell controller;
D O I：
10.1016/j.conengprac.2006.02.001
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a new framework developed for logic control of manufacturing systems based on finite state machines (FSMs) and a method to automatically generate the control logic for manufacturing cell controllers using this framework. The framework is modular; FSMs are encapsulated into modules with well-defined communication between them. Events in the finite state machines are of two types, triggers and responses, allowing FSMs to react to events and to force events to occur. The automatic generation method is based on a library of predefined modules. Its application to and implementation on a manufacturing testbed is described. (c) 2006 Elsevier Ltd. All rights reserved.
引用
收藏
页码：1127 / 1142
页数：16
相关论文
共 32 条
[11]   Modular verification of modular finite state machines [J].
Endsley, EW ;
Tilbury, DM .
2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, :972-979
[12]  
ENDSLEY EW, 2004, THESIS U MICHIGAN AN
[13]  
ENDSLEY EW, 2000, P JAP US S FLEX AUT
[14]  
ENDSLEY EW, 2004, P IFAC WORKSH DISCR, P403
[15]  
Frey G, 2000, IEEE SYS MAN CYBERN, P2431, DOI 10.1109/ICSMC.2000.884356
[16]   STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS [J].
HAREL, D .
SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (03) :231-&
[17]  
KOREN Y, 1999, CIRP ANN-MANUF TECHN, V2, P6
[18]  
LAUZON SC, 1995, IEEE INT CONF ROBOT, P1429, DOI 10.1109/ROBOT.1995.525478
[19]  
Lewis R. W., 1998, Iet.
[20]  
Lucas MR, 2004, P AMER CONTR CONF, P1350
1234