Robust Deadlock Avoidance Policy for Automated Manufacturing System With Multiple Unreliable Resources  

作　　者：Jianchao Luo Zhiqiang Liu Shuogang Wang Keyi Xing 

机构地区：[1]School of Software,Northwestern Polytechnical University,Xi’an 710072,China [2]State Key Laboratory for Manufacturing Systems Engineering,and Systems Engineering Institute,Xi’an Jiaotong University,Xi’an 710049,China

出　　处：《IEEE/CAA Journal of Automatica Sinica》2020年第3期812-821,共10页自动化学报（英文版）

基　　金：supported in part by the Fundamental Research Funds for the Central Universities(3102017OQD110);the Natural Science Basic Research Plan in Shaanxi Province of China(2019JQ-435);the Project Funded by China Postdoctoral Science Foundation(2019M663818);the National Key Research and Development Program of China(2019YFB1703800);Guangdong Basic and Applied Basic Research Foundation(2019A1515111076);the National Natural Science Foundation of China(71931007)。

摘　　要：This work studies the robust deadlock control of automated manufacturing systems with multiple unreliable resources. Our goal is to ensure the continuous production of the jobs that only require reliable resources. To reach this goal, we propose a new modified Banker's algorithm(MBA) to ensure that all resources required by these jobs can be freed. Moreover,a Petri net based deadlock avoidance policy(DAP) is introduced to ensure that all jobs remaining in the system after executing the new MBA can complete their processing smoothly when their required unreliable resources are operational. The new MBA together with the DAP forms a new DAP that is robust to the failures of unreliable resources. Owing to the high permissiveness of the new MBA and the optimality of the DAP, it is tested to be more permissive than state-of-the-art control policies.

关 键 词：Automated manufacturing system(AMS) DEADLOCK avoidamce policy(DAP) modified Banker's algorithm(MBA) PETRINET 

分 类 号：TP271[自动化与计算机技术—检测技术与自动化装置]