Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources
Resources in a real-world automated manufacturing system may be unreliable, thus paralyzing many existing deadlock control strategies. This paper defines robust legal markings and proposes a two-step robust deadlock control policy for systems of the simple sequential process with resources based on...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2019-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8635470/ |
| _version_ | 1818558438701006848 |
|---|---|
| author | Xiaoyan Li Gaiyun Liu Zhiwu Li Naiqi Wu Kamel Barkaoui |
| author_facet | Xiaoyan Li Gaiyun Liu Zhiwu Li Naiqi Wu Kamel Barkaoui |
| author_sort | Xiaoyan Li |
| collection | DOAJ |
| description | Resources in a real-world automated manufacturing system may be unreliable, thus paralyzing many existing deadlock control strategies. This paper defines robust legal markings and proposes a two-step robust deadlock control policy for systems of the simple sequential process with resources based on elementary siphons. The first step, called elementary siphons control, derives a live controlled system without considering resource failures. The second step deals with failure-induced deadlocks control issues. With resource failures taken into account, recovery subnets modeling resource failures and recoveries are added to the first-step-derived system, which may cause the occurrence of failure-induced deadlocks, resulting in an unreliable controlled system. In order to make the system reliable, the definition that a resource failure is observed by a monitor is developed. A scenario is exposed that a resource failure does not need to be observed while can be observed by the added monitors. Arcs connecting recovery places and transitions of the initial system are added based on the obtained scenario. The concept of the extend the adjoint set of a siphon is presented due to a resource failure that needs to be observed while cannot be observed by the added monitors, leading to the modification of the arcs added in the first step. Consequently, a robust controlled system is acquired. Finally, examples are presented to demonstrate the proposed method. |
| first_indexed | 2024-12-14T00:12:28Z |
| format | Article |
| id | doaj.art-3185256ab98d46dc9f9fe6ee7c3ce4d3 |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-12-14T00:12:28Z |
| publishDate | 2019-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-3185256ab98d46dc9f9fe6ee7c3ce4d32022-12-21T23:25:41ZengIEEEIEEE Access2169-35362019-01-017210062101910.1109/ACCESS.2019.28977538635470Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable ResourcesXiaoyan Li0Gaiyun Liu1https://orcid.org/0000-0002-4947-6267Zhiwu Li2Naiqi Wu3https://orcid.org/0000-0001-6782-458XKamel Barkaoui4School of Electro-Mechanical Engineering, Xidian University, Xi’an, ChinaSchool 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, Macau, ChinaComputer Science Department, Cedric Lab, Conservatoire National des Arts et Métiers, Paris, FranceResources in a real-world automated manufacturing system may be unreliable, thus paralyzing many existing deadlock control strategies. This paper defines robust legal markings and proposes a two-step robust deadlock control policy for systems of the simple sequential process with resources based on elementary siphons. The first step, called elementary siphons control, derives a live controlled system without considering resource failures. The second step deals with failure-induced deadlocks control issues. With resource failures taken into account, recovery subnets modeling resource failures and recoveries are added to the first-step-derived system, which may cause the occurrence of failure-induced deadlocks, resulting in an unreliable controlled system. In order to make the system reliable, the definition that a resource failure is observed by a monitor is developed. A scenario is exposed that a resource failure does not need to be observed while can be observed by the added monitors. Arcs connecting recovery places and transitions of the initial system are added based on the obtained scenario. The concept of the extend the adjoint set of a siphon is presented due to a resource failure that needs to be observed while cannot be observed by the added monitors, leading to the modification of the arcs added in the first step. Consequently, a robust controlled system is acquired. Finally, examples are presented to demonstrate the proposed method.https://ieeexplore.ieee.org/document/8635470/Automated manufacturing systemPetri netdeadlock preventionrobust control |
| spellingShingle | Xiaoyan Li Gaiyun Liu Zhiwu Li Naiqi Wu Kamel Barkaoui Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources IEEE Access Automated manufacturing system Petri net deadlock prevention robust control |
| title | Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources |
| title_full | Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources |
| title_fullStr | Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources |
| title_full_unstemmed | Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources |
| title_short | Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources |
| title_sort | elementary siphon based robust control for automated manufacturing systems with multiple unreliable resources |
| topic | Automated manufacturing system Petri net deadlock prevention robust control |
| url | https://ieeexplore.ieee.org/document/8635470/ |
| work_keys_str_mv | AT xiaoyanli elementarysiphonbasedrobustcontrolforautomatedmanufacturingsystemswithmultipleunreliableresources AT gaiyunliu elementarysiphonbasedrobustcontrolforautomatedmanufacturingsystemswithmultipleunreliableresources AT zhiwuli elementarysiphonbasedrobustcontrolforautomatedmanufacturingsystemswithmultipleunreliableresources AT naiqiwu elementarysiphonbasedrobustcontrolforautomatedmanufacturingsystemswithmultipleunreliableresources AT kamelbarkaoui elementarysiphonbasedrobustcontrolforautomatedmanufacturingsystemswithmultipleunreliableresources |