Design of optimal sequence controller for a flexible manufacturing system

The optimal controller synthesis problem for discrete event control of a flexible manufacturing system (FMS) is presented in this paper. To explicitly formulate concurrent activities, multiple resources sharing, precedence constraints and dynamic routing in FMS operation, we adopt timed (place) Petri nets for problem representation. The A* based heuristic search algorithm is proposed to search for an optimal event sequence to achieve minimum-time and deadlock-free discrete event control. Based on the obtained event-driven sequence, we use two levels of specification to design the optimal sequence controller. The coordination control level consists of synchronization and parallelism of different sub-systems and is specified by decision-free Petri nets (marked graphs). The local control level consists of running elementary sequences for subsystems and is specified by sequential function charts.

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

[2]  Jean-Marie Proth,et al.  Performance evaluation of job-shop systems using timed event-graphs , 1989 .

[3]  MengChu Zhou,et al.  A hybrid heuristic search algorithm for scheduling flexible manufacturing systems , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[4]  K. Passino,et al.  On the optimal control of discrete event systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[5]  MengChu Zhou,et al.  Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system , 1994, IEEE Trans. Ind. Electron..

[6]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

[7]  Frank DiCesare,et al.  FMS scheduling using Petri nets and heuristic search , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[8]  Stéphane Lafortune,et al.  Optimal Control of a Class of Discrete Event Systems , 1991 .

[9]  Judea Pearl,et al.  Heuristics : intelligent search strategies for computer problem solving , 1984 .

[10]  Frank DiCesare,et al.  Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, IEEE Trans. Robotics Autom..

[11]  Dan Ionescu,et al.  Optimization of Controller Design for Discrete Event Systems in A Temporal Logic Framework , 1992, 1992 American Control Conference.

[12]  Y. Narahari,et al.  Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..