Finite automata decomposition for flexible manufacturing systems control and scheduling

Despite the efforts in scheduling and control of flexible manufacturing systems (FMSs) with resource constraints, the current pool of scheduling techniques faces two major drawbacks: modeling and complexity. Modeling is the task of converting the FMS data to a set of information, ready to be processed by a scheduling algorithm. Complexity has a direct relation with the amount of effort required to execute a scheduling algorithm successfully on the information set generated in the modeling phase. In this paper, we use finite automata (FA) theory to develop a modeling formalism and its accompanying scheduling algorithm for control and scheduling of FMS with resource constraints. While the FA-based modeling is completely automatic and does not need any human-designer interference, its related algorithm is both effective and efficient. We use IDEF3 standard to capture the FMS activities and resource data. We propose a three-step procedure. In the first step, the IDEF3 data set is converted to a finite automaton, preserving the activity precedence relationships. In the second step, the resulted finite automaton is decomposed to smaller (in size) scheduling problems that can be independently optimized. In the third step, a heuristic scheduling algorithm is used to handle each problem separately. We applied the developed procedure to 100 problems. The results are satisfactory and promising.

[1]  A. Hodgkin,et al.  A quantitative description of membrane current and its application to conduction and excitation in nerve , 1952, The Journal of physiology.

[2]  Samuel Corenstein.  An Algorithm for Project (Job) Sequencing with Resource Constraints , 1972, Oper. Res..

[3]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[4]  J. M. Tamarit,et al.  Project scheduling with resource constraints: A branch and bound approach , 1987 .

[5]  Stephen Grossberg,et al.  Nonlinear neural networks: Principles, mechanisms, and architectures , 1988, Neural Networks.

[6]  J. Carlier,et al.  An algorithm for solving the job-shop problem , 1989 .

[7]  Mohsen A. Jafari.  Petri net based shop floor controller and recovery analysis , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[8]  Jean-Claude Latombe,et al.  Robot motion planning , 1970, The Kluwer international series in engineering and computer science.

[9]  MengChu Zhou,et al.  Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..

[10]  Richard J. Mayer,et al.  Information Integration for Concurrent Engineering (IICE) IDEF3 Process Description Capture Method Report , 1992 .

[11]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[12]  Tomoichi Takahashi,et al.  Robotic assembly operation teaching in a virtual environment , 1994, IEEE Trans. Robotics Autom..

[13]  Jean-Claude Latombe,et al.  Geometric Reasoning About Mechanical Assembly , 1994, Artif. Intell..

[14]  Michael Pinedo,et al.  Scheduling: Theory, Algorithms, and Systems , 1994 .

[15]  Chi-Haur Wu,et al.  Modeling of Part-Mating Strategies for Automating Assembly Operations for Robots , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[16]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[17]  Y. Regev.  The evolution of offline programming , 1995 .

[18]  L. Wyard-Scott,et al.  A potential maze solving algorithm for a micromouse robot , 1995, IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing. Proceedings.

[19]  A. Kusiak,et al.  Resource constrained scheduling of hierarchically structured design activity networks , 1995 .

[20]  H. Tolle,et al.  Automatic transformation of simple user commands to hierarchical Petri nets , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[21]  Shimon Y. Nof,et al.  Minimal precedence constraints for integrated assembly and execution planning , 1996, IEEE Trans. Robotics Autom..

[22]  K. S. Al-Sultan,et al.  A new potential field-based algorithm for path planning , 1996, J. Intell. Robotic Syst..

[23]  Avinash C. Kak,et al.  Integrating sensing, task planning, and execution for robotic assembly , 1996, IEEE Trans. Robotics Autom..

[24]  Myung Hwan Yun,et al.  An instrumented glove for grasp specification in virtual-reality-based point-and-direct telerobotics , 1997, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[25]  Kevin W. Lyons,et al.  Virtual assembly using virtual reality techniques , 1997, Comput. Aided Des..

[26]  Michael J. Shaw,et al.  Adaptive scheduling in dynamic flexible manufacturing systems: a dynamic rule selection approach , 1997, IEEE Trans. Robotics Autom..

[27]  Katsushi Ikeuchi,et al.  Toward automatic robot instruction from perception-mapping human grasps to manipulator grasps , 1997, IEEE Trans. Robotics Autom..

[28]  Tamio Arai,et al.  A graphical robot language developed in Japan , 1997, Robotica.

[29]  Kendall Scott,et al.  UML distilled - applying the standard object modeling language , 1997 .

[30]  Peter J. Werkhoven,et al.  Manipulation Performance in Interactive Virtual Environments , 1998, Hum. Factors.

[31]  E. Gilbert,et al.  Robot path planning with penetration growth distance , 1998 .

[32]  Chelsea C. White,et al.  A heuristic search algorithm for path determination with learning , 1998, IEEE Trans. Syst. Man Cybern. Part A.

[33]  Patrizia Palamidese.  A Virtual Reality Interface for Space Planning Tasks , 1999, J. Vis. Lang. Comput..

[34]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[35]  Yong Wang,et al.  VADE: A Virtual Assembly Design Environment , 1999, IEEE Computer Graphics and Applications.

[36]  George Baciu,et al.  Direct Virtual-hand Interface in Robot Assembly Programming , 1999, J. Vis. Lang. Comput..

[37]  Daniel E. Whitney.  Research issues in manufacturing flexibility-an invited review paper for ICRA 2000 symposium on flexibility , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[38]  Andrew Kusiak,et al.  Decomposition in automatic generation of Petri nets for manufacturing system control and scheduling , 2000 .

[39]  Pierre Borne,et al.  Pareto-optimality approach for flexible job-shop scheduling problems: hybridization of evolutionary algorithms and fuzzy logic , 2002, Math. Comput. Simul..