Robust deadlock detection and control of automated manufacturing systems with multiple unreliable resources using Petri nets
In recent years, the research on robust deadlock control has become increasingly popular in automated manufacturing systems (AMSs) because resource failures may lead any system to stagnation, e.g., deadlock. In this article, we study robust supervisory control issues in AMSs with multiple unreliable...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/160307 |
| _version_ | 1811690875805237248 |
|---|---|
| author | Du, Nan Hu, Hesuan |
| author2 | School of Computer Science and Engineering |
| author_facet | School of Computer Science and Engineering Du, Nan Hu, Hesuan |
| author_sort | Du, Nan |
| collection | NTU |
| description | In recent years, the research on robust deadlock control has become increasingly popular in automated manufacturing systems (AMSs) because resource failures may lead any system to stagnation, e.g., deadlock. In this article, we study robust supervisory control issues in AMSs with multiple unreliable resources. Petri nets are used to model the considered AMSs that allow multi-quantity and multi-type of resource acquisitions. A set of integer linear programming formulations are introduced to detect a class of deadlocks that have the maximal number of dead transitions. By analysis, a deadlock is characterized by a saturated circuit, which only consists of a set of unmarked resources and a set of critical transitions. Based on the circuit, a linear marking constraint is developed to prevent such circuits from being saturated. A control place (monitor) with its control variable is thus designed for the constraint to prevent the deadlock from appearing even if some resource failures occur. Therefore, we can synthesize a robust deadlock supervisor, which can guarantee that the controlled system can implement the continual operations even if some unreliable resources fail. Finally, the theoretical analysis and comparative study are provided to elucidate the effectiveness and efficiency of our proposed method. Note to Practitioners - In practice, resource failures in automated manufacturing systems (AMSs) are common. Deadlock prevention control in AMSs allowing resource failures has gained more and more attention from researchers and practitioners. Most prior research is based on the enumeration of either siphons or perfect resource transition circuits whose number exponentially increases with the system scale. This means that the synthesized supervisor has a much complex structure. In this article, based on a special kind of circuits at a deadlock marking detected by using a set of mathematical formulations, we develop an effective and efficient method for AMSs with multiple unreliable resources to iteratively control deadlocks such that the controlled system can continue to operate smoothly even if some unreliable resources fail. The computational and comparative results show that our proposed approach can acquire more permissive states with a simpler supervisor. |
| first_indexed | 2024-10-01T06:10:57Z |
| format | Journal Article |
| id | ntu-10356/160307 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T06:10:57Z |
| publishDate | 2022 |
| record_format | dspace |
| spelling | ntu-10356/1603072022-07-19T03:13:12Z Robust deadlock detection and control of automated manufacturing systems with multiple unreliable resources using Petri nets Du, Nan Hu, Hesuan School of Computer Science and Engineering Engineering::Computer science and engineering System Recovery Robustness In recent years, the research on robust deadlock control has become increasingly popular in automated manufacturing systems (AMSs) because resource failures may lead any system to stagnation, e.g., deadlock. In this article, we study robust supervisory control issues in AMSs with multiple unreliable resources. Petri nets are used to model the considered AMSs that allow multi-quantity and multi-type of resource acquisitions. A set of integer linear programming formulations are introduced to detect a class of deadlocks that have the maximal number of dead transitions. By analysis, a deadlock is characterized by a saturated circuit, which only consists of a set of unmarked resources and a set of critical transitions. Based on the circuit, a linear marking constraint is developed to prevent such circuits from being saturated. A control place (monitor) with its control variable is thus designed for the constraint to prevent the deadlock from appearing even if some resource failures occur. Therefore, we can synthesize a robust deadlock supervisor, which can guarantee that the controlled system can implement the continual operations even if some unreliable resources fail. Finally, the theoretical analysis and comparative study are provided to elucidate the effectiveness and efficiency of our proposed method. Note to Practitioners - In practice, resource failures in automated manufacturing systems (AMSs) are common. Deadlock prevention control in AMSs allowing resource failures has gained more and more attention from researchers and practitioners. Most prior research is based on the enumeration of either siphons or perfect resource transition circuits whose number exponentially increases with the system scale. This means that the synthesized supervisor has a much complex structure. In this article, based on a special kind of circuits at a deadlock marking detected by using a set of mathematical formulations, we develop an effective and efficient method for AMSs with multiple unreliable resources to iteratively control deadlocks such that the controlled system can continue to operate smoothly even if some unreliable resources fail. The computational and comparative results show that our proposed approach can acquire more permissive states with a simpler supervisor. Ministry of Education (MOE) This work was supported in part by the National Natural Science Foundation of China under Grant 61973242, Grant 61573265, and Grant 61203037; in part by the Academic Research Fund Tier 1 by the Ministry of Education in Singapore under Grant 2014-T1-001-147; in part by New Century Excellent Talents in University under Grant NCET-12-0921; in part by the Fundamental Research Funds for the Central Universities under Grant K5051304021, Grant K7215581201, and Grant K5051304004; in part by the Major Fundamental Research Program of the Natural Science Foundation of Shaanxi Province under Grant 2017ZDJC-34; in part by the Academic Research Fund Tier 2 by the Ministry of Education in Singapore under Grant MOE2015-T2-2-049; and in part by the China Scholarship Council under Scholarship 201906960092. 2022-07-19T03:13:12Z 2022-07-19T03:13:12Z 2020 Journal Article Du, N. & Hu, H. (2020). Robust deadlock detection and control of automated manufacturing systems with multiple unreliable resources using Petri nets. IEEE Transactions On Automation Science and Engineering, 18(4), 1790-1802. https://dx.doi.org/10.1109/TASE.2020.3019684 1545-5955 https://hdl.handle.net/10356/160307 10.1109/TASE.2020.3019684 2-s2.0-85107202241 4 18 1790 1802 en 2014-T1-001-147 MOE2015-T2-2-049 IEEE Transactions on Automation Science and Engineering © 2020 IEEE. All rights reserved. |
| spellingShingle | Engineering::Computer science and engineering System Recovery Robustness Du, Nan Hu, Hesuan Robust deadlock detection and control of automated manufacturing systems with multiple unreliable resources using Petri nets |
| title | Robust deadlock detection and control of automated manufacturing systems with multiple unreliable resources using Petri nets |
| title_full | Robust deadlock detection and control of automated manufacturing systems with multiple unreliable resources using Petri nets |
| title_fullStr | Robust deadlock detection and control of automated manufacturing systems with multiple unreliable resources using Petri nets |
| title_full_unstemmed | Robust deadlock detection and control of automated manufacturing systems with multiple unreliable resources using Petri nets |
| title_short | Robust deadlock detection and control of automated manufacturing systems with multiple unreliable resources using Petri nets |
| title_sort | robust deadlock detection and control of automated manufacturing systems with multiple unreliable resources using petri nets |
| topic | Engineering::Computer science and engineering System Recovery Robustness |
| url | https://hdl.handle.net/10356/160307 |
| work_keys_str_mv | AT dunan robustdeadlockdetectionandcontrolofautomatedmanufacturingsystemswithmultipleunreliableresourcesusingpetrinets AT huhesuan robustdeadlockdetectionandcontrolofautomatedmanufacturingsystemswithmultipleunreliableresourcesusingpetrinets |