Deadlock prevention and performance oriented supervision in flexible manufacturing cells: A hierarchical approach

Authors:
Sherif Fahmy;Subramaniam Balakrishnan;Tarek ElMekkawy
Affiliations:
Department of Mechanical and Manufacturing Engineering, University of Manitoba, 75A Chancellors Circle, Winnipeg, Manitoba, Canada R3T5V6;Department of Mechanical and Manufacturing Engineering, University of Manitoba, 75A Chancellors Circle, Winnipeg, Manitoba, Canada R3T5V6;Department of Mechanical and Manufacturing Engineering, University of Manitoba, 75A Chancellors Circle, Winnipeg, Manitoba, Canada R3T5V6
Venue:
Robotics and Computer-Integrated Manufacturing
Year:
2011

Citing 10
Cited 0

Supervisory control of a class of discrete event processes

SIAM Journal on Control and Optimization
Petri net modeling and scheduling for cyclic job shops with blocking

Computers and Industrial Engineering
Combined siphon and marking generation for deadlock prevention in Petri nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Performance-oriented integrated control of production scheduling

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Synthesis of a closed-loop combined plant and controller model

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Deadlock control methods in automated manufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Selective Siphon Control for Deadlock Prevention in Petri Nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, a hierarchical control system is proposed for automated flexible manufacturing cells (FMCs) that operate in a job shop flow setting. The control system is made up of a higher level scheduler that optimizes the production flow within the cell, and a lower level supervisor that implements the decisions of the scheduler on the shop floor. To obtain the supervisor, a production schedule is transformed into an augmented Marked Graph (MG) model that can interact with the cell devices. Because of the flow complexities inherent in job shop systems, they are usually prone to deadlocks. Accordingly, this paper also proposes a necessary condition for deadlock occurrence in the scheduling phase. The proposed approach is validated by implementation in an experimental manufacturing cell.