Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation
Analysis and control of deadlocks play an important role in the design and operation of automated flexible manufacturing systems (FMSs). In FMS, deadlocks are highly undesirable situations, which always cause unnecessary cost. The design problem of an optimal supervisor is in general NP-hard. A comp...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2013-01-01
|
| Series: | Journal of Applied Mathematics |
| Online Access: | http://dx.doi.org/10.1155/2013/315894 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849683845808390144 |
|---|---|
| author | Miao Liu Shouguang Wang Zhiwu Li |
| author_facet | Miao Liu Shouguang Wang Zhiwu Li |
| author_sort | Miao Liu |
| collection | DOAJ |
| description | Analysis and control of deadlocks play an important role in the design and operation of automated flexible manufacturing systems (FMSs). In FMS, deadlocks are highly undesirable situations, which always cause unnecessary cost. The design problem of an optimal supervisor is in general NP-hard. A computationally efficient method often ends up with a suboptimal one. This paper develops a deadlock prevention policy based on resources reallocation and supervisor reconfiguration. First, given a plant model, we reallocate the marking of each resource place to be one, obtaining a net model whose reachable states are much less than that of the original one. In this case, we find a controlled system for it by using the theory of regions. Next, the markings of the resource places in the controlled system are restored to their original ones. Without changing the structure of the obtained controlled system, we compute the markings of the monitors gradually, which can be realized by two algorithms proposed in this paper. Finally, we decide a marking for each monitor such that it makes the controlled system live with nearly optimal permissive behavior. Two FMS examples are used to illustrate the application of the proposed method and show its superior efficiency. |
| format | Article |
| id | doaj-art-d6bd25fffe814a76a6c6fb9f9855799e |
| institution | DOAJ |
| issn | 1110-757X 1687-0042 |
| language | English |
| publishDate | 2013-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Journal of Applied Mathematics |
| spelling | doaj-art-d6bd25fffe814a76a6c6fb9f9855799e2025-08-20T03:23:39ZengWileyJournal of Applied Mathematics1110-757X1687-00422013-01-01201310.1155/2013/315894315894Supervisor Reconfiguration for Deadlock Prevention by Resources ReallocationMiao Liu0Shouguang Wang1Zhiwu Li2School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, ChinaSchool of Information & Electronic Engineering, Zhejiang Gongshang University, Hangzhou 310018, ChinaSchool of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, ChinaAnalysis and control of deadlocks play an important role in the design and operation of automated flexible manufacturing systems (FMSs). In FMS, deadlocks are highly undesirable situations, which always cause unnecessary cost. The design problem of an optimal supervisor is in general NP-hard. A computationally efficient method often ends up with a suboptimal one. This paper develops a deadlock prevention policy based on resources reallocation and supervisor reconfiguration. First, given a plant model, we reallocate the marking of each resource place to be one, obtaining a net model whose reachable states are much less than that of the original one. In this case, we find a controlled system for it by using the theory of regions. Next, the markings of the resource places in the controlled system are restored to their original ones. Without changing the structure of the obtained controlled system, we compute the markings of the monitors gradually, which can be realized by two algorithms proposed in this paper. Finally, we decide a marking for each monitor such that it makes the controlled system live with nearly optimal permissive behavior. Two FMS examples are used to illustrate the application of the proposed method and show its superior efficiency.http://dx.doi.org/10.1155/2013/315894 |
| spellingShingle | Miao Liu Shouguang Wang Zhiwu Li Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation Journal of Applied Mathematics |
| title | Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation |
| title_full | Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation |
| title_fullStr | Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation |
| title_full_unstemmed | Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation |
| title_short | Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation |
| title_sort | supervisor reconfiguration for deadlock prevention by resources reallocation |
| url | http://dx.doi.org/10.1155/2013/315894 |
| work_keys_str_mv | AT miaoliu supervisorreconfigurationfordeadlockpreventionbyresourcesreallocation AT shouguangwang supervisorreconfigurationfordeadlockpreventionbyresourcesreallocation AT zhiwuli supervisorreconfigurationfordeadlockpreventionbyresourcesreallocation |