Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons
There have been a variety of deadlock control strategies proposed for automated manufacturing systems (AMSs) without taking unreliable resources into account in the framework of Petri nets. However, in addition to deadlocks, resource malfunction problems may also arise to make a system collapse in t...
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2019-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8742562/ |
| _version_ | 1828412039873167360 |
|---|---|
| author | Gaiyun Liu Lingchun Zhang Yuting Liu Yufeng Chen Zhiwu Li Naiqi Wu |
| author_facet | Gaiyun Liu Lingchun Zhang Yuting Liu Yufeng Chen Zhiwu Li Naiqi Wu |
| author_sort | Gaiyun Liu |
| collection | DOAJ |
| description | There have been a variety of deadlock control strategies proposed for automated manufacturing systems (AMSs) without taking unreliable resources into account in the framework of Petri nets. However, in addition to deadlocks, resource malfunction problems may also arise to make a system collapse in the real world. This paper develops a new deadlock control method for a generalized system of simple sequential processes with resources (GS<sup>3</sup>PR), where a class of unreliable GS<sup>3</sup>PR (U-GS<sup>3</sup>PR) is considered. Recovery subnets are used to describe an unreliable resource failure and its recovery process in a Petri net model. First, we compute all the strict minimal siphons (SMSs) in a GS<sup>3</sup>PR net. Second, with the concept of max-controllability of siphons, a monitor is added to each SMS. However, the net loses liveness when unreliable resources are taken into consideration with recovery nets being added for their operation places. Then, by using the concept of constraint set, we add related arcs between the transitions in recovery subnets and original monitors. Finally, a robust deadlock controller is designed for the AMSs according to the max-controllability of siphons. |
| first_indexed | 2024-12-10T12:41:58Z |
| format | Article |
| id | doaj.art-0f75dbea6c784d6dac2753168a38534b |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-12-10T12:41:58Z |
| publishDate | 2019-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-0f75dbea6c784d6dac2753168a38534b2022-12-22T01:48:30ZengIEEEIEEE Access2169-35362019-01-017885798859110.1109/ACCESS.2019.29240218742562Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of SiphonsGaiyun Liu0Lingchun Zhang1Yuting Liu2Yufeng Chen3https://orcid.org/0000-0002-1568-3444Zhiwu Li4https://orcid.org/0000-0003-1547-5503Naiqi Wu5https://orcid.org/0000-0001-6782-458XInstitute of Systems Engineering, Macau University of Science and Technology, Taipa, MacauSchool of Electro-Mechanical Engineering, Xidian University, Xi’an, ChinaSchool of Electro-Mechanical Engineering, Xidian University, Xi’an, ChinaInstitute of Systems Engineering, Macau University of Science and Technology, Taipa, MacauInstitute of Systems Engineering, Macau University of Science and Technology, Taipa, MacauInstitute of Systems Engineering, Macau University of Science and Technology, Taipa, MacauThere have been a variety of deadlock control strategies proposed for automated manufacturing systems (AMSs) without taking unreliable resources into account in the framework of Petri nets. However, in addition to deadlocks, resource malfunction problems may also arise to make a system collapse in the real world. This paper develops a new deadlock control method for a generalized system of simple sequential processes with resources (GS<sup>3</sup>PR), where a class of unreliable GS<sup>3</sup>PR (U-GS<sup>3</sup>PR) is considered. Recovery subnets are used to describe an unreliable resource failure and its recovery process in a Petri net model. First, we compute all the strict minimal siphons (SMSs) in a GS<sup>3</sup>PR net. Second, with the concept of max-controllability of siphons, a monitor is added to each SMS. However, the net loses liveness when unreliable resources are taken into consideration with recovery nets being added for their operation places. Then, by using the concept of constraint set, we add related arcs between the transitions in recovery subnets and original monitors. Finally, a robust deadlock controller is designed for the AMSs according to the max-controllability of siphons.https://ieeexplore.ieee.org/document/8742562/Automated manufacturing systemPetri netsupervisormax-controllability of siphonsrobust deadlock control |
| spellingShingle | Gaiyun Liu Lingchun Zhang Yuting Liu Yufeng Chen Zhiwu Li Naiqi Wu Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons IEEE Access Automated manufacturing system Petri net supervisor max-controllability of siphons robust deadlock control |
| title | Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons |
| title_full | Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons |
| title_fullStr | Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons |
| title_full_unstemmed | Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons |
| title_short | Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons |
| title_sort | robust deadlock control for automated manufacturing systems based on the max controllability of siphons |
| topic | Automated manufacturing system Petri net supervisor max-controllability of siphons robust deadlock control |
| url | https://ieeexplore.ieee.org/document/8742562/ |
| work_keys_str_mv | AT gaiyunliu robustdeadlockcontrolforautomatedmanufacturingsystemsbasedonthemaxcontrollabilityofsiphons AT lingchunzhang robustdeadlockcontrolforautomatedmanufacturingsystemsbasedonthemaxcontrollabilityofsiphons AT yutingliu robustdeadlockcontrolforautomatedmanufacturingsystemsbasedonthemaxcontrollabilityofsiphons AT yufengchen robustdeadlockcontrolforautomatedmanufacturingsystemsbasedonthemaxcontrollabilityofsiphons AT zhiwuli robustdeadlockcontrolforautomatedmanufacturingsystemsbasedonthemaxcontrollabilityofsiphons AT naiqiwu robustdeadlockcontrolforautomatedmanufacturingsystemsbasedonthemaxcontrollabilityofsiphons |