Deadlock and Blockage Control of Automated Manufacturing Systems with an Unreliable Resource
Abstract
This work studies the deadlock and blockage control problem of an automated manufacturing system (AMS) with a single unreliable resource. It aims to develop a robust control policy to ensure that AMS can produce all parts in the absence of resource failures, and when the unreliable resource fails, the system can continuously produce all parts that do not require the failed resource. To this end, we divide the system into two regions, continuous and non‐continuous, based on whether all parts in them can be produced continuously or not. For the non‐continuous region, dominating region constraints are established to ensure that all parts in it do not block the production of parts in the continuous region, and an optimal deadlock avoidance policy based on a Petri net model is introduced to guarantee its deadlock‐free operation. For the continuous region, we configure a resource order policy to ensure the smooth productions of AMS. By integrating the dominating region constraints and deadlock avoidance policy with the configured resource order policy, we propose a novel robust control policy. It is proven to be of polynomial complexity and more permissive than the existing one with the same resource order policy. Also, it is tested to be more permissive than other existing policies.
References
[1]
Chen, Y. F., Z. W. Li, and M. C. Zhou, “Behaviorally optimal and structurally simple liveness‐enforcing supervisors of flexible manufacturing systems,” IEEE Trans Syst Man Cybern Part A Syst Hum, Vol. 42, No. 42, p. 615–629 (2012).
[2]
Chew, S. F., and M. A. Lawley, “Robust supervisory control for production systems with multiple resource failures,” IEEE Trans Autom Sci Eng, Vol. 3, No. 3, p. 309–323 (2006).
[3]
Chew, S. F., S. Y. Wang, and M. A. Lawley, “Robust supervisory control for product routings with multiple unreliable resources,” IEEE Trans Autom Sci Eng, Vol. 6, No. 1, p. 195–200 (2009).
[4]
Chew, S. F., S. Wang, and M. A. Lawley, “Resource failure and blockage control for production systems,” Int J Computer Integr Manuf, Vol. 24, No. 3, p. 229–241 (2011).
[5]
Ezpeleta, J., J. M. Colom, and J. Martinez, “A Petri net based deadlock prevention policy for flexible manufacturing systems,” IEEE Trans Robot Autom, Vol. 11, No. 2, p. 173–184 (1995).
[6]
Fanti, M. P., and M. C. Zhou, “Deadlock control methods in automated manufacturing systems,” IEEE Trans Syst Man Cybern Part A Syst Hum, Vol. 34, No. 1, p. 5–22 (2004).
[7]
Hsieh, F., “Fault‐tolerant deadlock avoidance algorithm for assembly processes,” IEEE Trans Syst Man Cybern Part A Syst Hum, Vol. 34, No. 1, p. 65–79 (2004).
[8]
Hsieh, F., “Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources,” Automatica, Vol. 42, No. 42, p. 1159–1166 (2006).
[9]
Hsieh, F., “Analysis of flexible assembly processes based on structural decomposition of Petri nets,” IEEE Trans Syst Man Cybern Part A Syst Hum, Vol. 37, No. 5, p. 792–803 (2007).
[10]
Lawley, M. A., “Control of deadlock and blocking for production systems with unreliable workstations,” Int J Prod. Res., Vol. 40, No. 17, p. 4563–4582 (2002).
[11]
Lawley, M. A., S. A. Reveliotis, and P. M. Ferreira, “A correct and scalable deadlock avoidance policy for flexible manufacturing systems,” IEEE Trans Robot Autom, Vol. 14, No. 5, p. 796–809 (1998).
[12]
Lawley, M. A., and W. Sulistyono, “Robust supervisory control policies for manufacturing systems with unreliable resources,” IEEE Trans Robot Autom, Vol. 18, No. 3, p. 346–359 (2002).
[13]
Li, Z. W., G. Liu, H. Hanisch, and M. Zhou, “Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems,” IEEE Trans Syst Man Cybern Part A Syst Hum, Vol. 42, No. 1, p. 178–191 (2012).
[14]
Pan, L., Z. Ding, and M. C. Zhou, “A configurable state class method for temporal analysis of time Petri nets,” IEEE Trans Syst Man Cybern Part A Syst Hum, Vol. 44, No. 4, p. 482–493 (2014).
[15]
Park, S., and J. Lim, “Fault‐tolerant robust supervisor for discrete event systems with model uncertainty and its application to a workcell,” IEEE Trans Robot Autom, Vol. 15, No. 2, p. 386–391 (1999).
[16]
Piroddi, L., R. Cordone, and I. Fumagalli, “Selective siphon control for deadlock prevention in Petri nets,” IEEE Trans Syst Man Cybern Part A Syst Hum, Vol. 38, No. 6, p. 1337–1348 (2008).
[17]
Wang, S. Y., S. F. Chew, and M. A. Lawley, “Using shared‐resource capacity for robust control of failure‐prone manufacturing systems,” IEEE Trans Syst Man Cybern Part A Syst Hum, Vol. 38, No. 3, p. 605–627 (2008).
[18]
Wu, N. Q., M. C. Zhou, and Z. Li, “Resource‐oriented Petri net for deadlock avoidance in flexible assembly systems,” IEEE Trans Syst Man Cybern Part A Syst Hum, Vol. 38, No. 1, p. 56–69 (2008).
[19]
Xing, K. Y., B. S. Hu, and H. X. Chen, “Deadlock avoidance policy for Petri‐net modeling of flexible manufacturing systems with shared resources,” IEEE Trans Autom Control, Vol. 41, No. 2, p. 289–295 (1996).
[20]
Xing, K. Y., M. C. Zhou, H. X. Liu, and F. Tian, “Optimal Petri‐Net‐based polynomial‐complexity deadlock‐avoidance policies for automated manufacturing systems,” IEEE Trans Syst Man Cybern Part A Syst Hum, Vol. 39, No. 1, p. 188–199 (2009).
[21]
Yue, H., and K. Y. Xing, “Robust supervisory control for avoiding deadlocks in automated manufacturing systems with one specified unreliable resource,” Trans Inst Meas Control, Vol. 36, No. 4, p. 435–444 (2014).
[22]
Zhou, M. C., and K. Venkatesh, Modeling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach, World Scientific, Singapore (1998).
[23]
Yue, H., K. Xing, and Z. Hu, “Robust supervisory control policy for avoiding deadlock in automated manufacturing systems with unreliable resources,” Int J Prod. Res., Vol. 52, No. 6, p. 1573–1591 (2013).
[24]
Liu, H. X., K. Y. Xing, M. C. Zhou, L. B. Han, and F. Wang, “Transition cover‐based design of Petri Net controllers for automated manufacturing systems,” IEEE Trans Syst Man Cybern Part A Syst Hum, Vol. 44, No. 2, p. 196–208 (2014).
[25]
Chen, Y. F., and K. Barkaoui, “Maximally permissive Petri Net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions,” Asian J Control, Vol. 16, No. 6, p. 1646–1658 (2014).
[26]
Chao, D., and G. J. Liu, “A simple suboptimal siphon‐based control model of a well‐known S3PR,” Asian J Control, Vol. 14, No. 1, p. 163–172 (2012).
[27]
Chen, Y. F., Z. W. Li, M. Khalgui, and O. Mosbahi, “Design of a maximally permissive liveness‐enforcing Petri net supervisor for flexible manufacturing systems,” IEEE Trans Autom Sci Eng, Vol. 8, No. 2, p. 374–393 (2011).
[28]
Chen, Y. F., and Z. W. Li, “Design of a maximally permissive liveness‐enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems,” Automatica, Vol. 47, No. 5, p. 1028–1034 (2011).
[29]
Chen, Y. F., Z. W. Li, and M. C. Zhou, “Optimal supervisory control of flexible manufacturing systems by Petri nets: A set classification approach,” IEEE Trans Autom Sci Eng, Vol. 11, No. 2, p. 549–563 (2014).
[30]
Hu, H., Y. Liu, and M. C. Zhou, “Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets,” IEEE Trans Control Syst Technol, Vol. 23, No. 5, p. 2026–2034 (2015).
[31]
Hu, H., and M. C. Zhou, “A Petri net‐based discrete event control of automated manufacturing systems with assembly operations,” IEEE Trans Control Syst Technol, Vol. 23, No. 2, p. 513–524 (2015).
[32]
Hu, H., R. Su, Y. Liu, and M. C. Zhou, “Polynomially complex synthesis of distributed supervisors for large scale AMS using Petri nets,” IEEE Trans Control Syst Technol, Vol. 24, No. 5, p. 1610–1622 (2016).
[33]
Cong, X. Y., C. Gu, M. Uzam, et al., “Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs,” Asian J Control, Vol. 20, No. 1, p. 511–530 (2018).
[34]
Liu, H. X., W. Wu, H. Su, and Z. Zhang, “Design of optimal Petri net controllers for a class of flexible manufacturing systems with key resources,” Inf. Sci, Vol. 363, No. C, p. 221–234 (2015).
[35]
Xing, K. Y., F. Wang, M. C. Zhou, H. Lei, and J. C. Luo, “Deadlock characterization and control of flexible assembly systems with Petri nets,” Automatica, Vol. 87, p. 358–364 (2018).
[36]
Luo, J. C., K. Y. Xing, and Y. C. Wu, “Robust supervisory control policy for automated manufacturing systems with a single unreliable resource,” Trans Inst Meas Control, Vol. 39, No. 6, p. 793–806 (2017).
[37]
Feng, Y. X., K. Y. Xing, Z. X. Gao, and Y. C. Wu, “Transition cover‐based robust Petri net controllers for automated manufacturing systems with a type of unreliable resources,” IEEE Trans Syst Man Cybern Part A Syst Hum, Vol. 47, No. 11, p. 3019–3029 (2017).
[38]
Wu, Y. C., K. Y. Xing, J. C. Luo, and Y. X. Feng, “Robust deadlock control for automated manufacturing systems with an unreliable resource,” Inf. Sci, Vol. 346‐347, p. 17–28 (2016).
[39]
Yue, H., K. Y. Xing, H. S. Hu, W. M. Wu, and H. Y. Su, “Petri‐net‐based robust supervisory control of automated manufacturing systems,” Control Eng Practice, Vol. 54, p. 176–189 (2016).
Index Terms
- Deadlock and Blockage Control of Automated Manufacturing Systems with an Unreliable Resource
Index terms have been assigned to the content through auto-classification.
Recommendations
Robust deadlock control for automated manufacturing systems with an unreliable resource
So far, most of deadlock control policies are proposed based on the assumption that automated manufacturing systems (AMSs) have no unreliable resources. While in real manufacturing systems, resource failure is inevitable and will reduce the number of ...
Resource failure and buffer space allocation control for automated manufacturing systems
Blockage and deadlock are undesirable in an automated manufacturing system (AMS). Thus, addressing these issues is essential to ensure smooth production evolution via system supervisory control. If an AMS contains unreliable resources which may break ...
Robust supervision using shared-buffers in automated manufacturing systems with unreliable resources
Try to resolve deadlock issues in a class of AMSs with unreliable resources.Our policy is of the so-called distributing type.Our policy is capable of handling simultaneous multi-resource failures. It has been an active area of research to solve the ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
© 2018 Chinese Automatic Control Society and John Wiley & Sons Australia, Ltd.
Publisher
John Wiley & Sons, Inc.
United States
Publication History
Published: 24 January 2020
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 15 Jan 2025