Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State Automata

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-9 ◽

2014 ◽

pp. 169-195 ◽

Author(s):

Spyros Reveliotis ◽

Ahmed Nazeem

Keyword(s):

Manufacturing Systems ◽

Deadlock Avoidance ◽

Finite State Automata ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Download Full-text

Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State Automata

Formal Methods in Manufacturing ◽

10.1201/9781315216140-6 ◽

2018 ◽

pp. 169-196

Author(s):

Spyros Reveliotis ◽

Ahmed Nazeem

Keyword(s):

Manufacturing Systems ◽

Deadlock Avoidance ◽

Finite State Automata ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Download Full-text

Effective Supervisor Synthesis for Automated Manufacturing Systems Based on Finite State Automata

International Journal of Automation and Smart Technology ◽

10.5875/ausmt.v8i2.1698 ◽

2018 ◽

Vol 8 (2) ◽

pp. 99-105

Author(s):

Yen-Liang Pan

Keyword(s):

Manufacturing Systems ◽

Finite State Automata ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Finite State ◽

Supervisor Synthesis

Download Full-text

Design of Supervisor for Automated Manufacturing Systems Using Finite State Automata

Advanced Science Letters ◽

10.1166/asl.2012.3801 ◽

2012 ◽

Vol 13 (1) ◽

pp. 339-342

Author(s):

Yi-Sheng Huang ◽

Ho-Shan Chiang ◽

Kuang-Hsiung Tan

Keyword(s):

Manufacturing Systems ◽

Finite State Automata ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Download Full-text

Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems

IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans ◽

10.1109/tsmca.2008.2007947 ◽

2009 ◽

Vol 39 (1) ◽

pp. 188-199 ◽

Author(s):

Keyi Xing ◽

Meng Chu Zhou ◽

Huixia Liu ◽

Feng Tian

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Polynomial Complexity ◽

Deadlock Avoidance ◽

Automated Manufacturing ◽

Automated Manufacturing Systems

Download Full-text

Robust Deadlock Avoidance and Control of Automated Manufacturing Systems With Assembly Operations Using Petri Nets

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2020.2983672 ◽

2020 ◽

Vol 17 (4) ◽

pp. 1961-1975 ◽

Author(s):

Nan Du ◽

Hesuan Hu ◽

MengChu Zhou

Keyword(s):

Manufacturing Systems ◽

Deadlock Avoidance ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Assembly Operations ◽

Download Full-text

Modeling and Deadlock Avoidance of Automated Manufacturing Systems With Multiple Automated Guided Vehicles

IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) ◽

10.1109/tsmcb.2005.850141 ◽

2005 ◽

Vol 35 (6) ◽

pp. 1193-1202 ◽

Author(s):

N. Wu ◽

M. Zhou

Keyword(s):

Manufacturing Systems ◽

Automated Guided Vehicles ◽

Deadlock Avoidance ◽

Automated Manufacturing ◽

Automated Manufacturing Systems

Download Full-text

Matrix Controller Design and Deadlock Analysis of Automated Manufacturing Systems. Part 2: Deadlock Avoidance Policy

The International Journal of Advanced Manufacturing Technology ◽

10.1007/s001700170042 ◽

2001 ◽

Vol 18 (7) ◽

pp. 490-501

Author(s):

H.-H. Huang

Keyword(s):

Manufacturing Systems ◽

Controller Design ◽

Deadlock Avoidance ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Deadlock Analysis

Download Full-text

Flexible routing and deadlock avoidance in automated manufacturing systems

Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146) ◽

10.1109/robot.1998.677037 ◽

2002 ◽

Author(s):

M. Lawley

Keyword(s):

Manufacturing Systems ◽

Deadlock Avoidance ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Flexible Routing

Download Full-text

Observations on the interactions among deadlock avoidance policies and dispatching rules in automated manufacturing systems

International Journal of Production Research ◽

10.1080/00207540210163955 ◽

2003 ◽

Vol 41 (1) ◽

pp. 81-95 ◽

Author(s):

H. Aytug ◽

A. Barua ◽

M. Lawley ◽

R. Uzsoy

Keyword(s):

Manufacturing Systems ◽

Dispatching Rules ◽

Deadlock Avoidance ◽

Automated Manufacturing ◽

Automated Manufacturing Systems

Download Full-text

Tractability of deadlock avoidance problem in automated manufacturing systems modeled with Petri Net

2008 IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2008.4811598 ◽

2008 ◽

Author(s):

NaiQi Wu ◽

MengChu Zhou

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Deadlock Avoidance ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Avoidance Problem

Download Full-text