Near-optimal supervisory control of flexible manufacturing systems using divide-and-conquer iterative method
This article proposes an iterative deadlock resolution method for flexible manufacturing systems modeled with G -systems. To design a non-blocking controlled system with maximally permissive behavior in a G -system ( GS ), a reachability graph-based analysis technology is utilized. Since the reachab...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
SAGE Publishing
2016-03-01
|
Series: | Advances in Mechanical Engineering |
Online Access: | https://doi.org/10.1177/1687814016639823 |
_version_ | 1818491781462884352 |
---|---|
author | Mi Zhao Murat Uzam YiFan Hou |
author_facet | Mi Zhao Murat Uzam YiFan Hou |
author_sort | Mi Zhao |
collection | DOAJ |
description | This article proposes an iterative deadlock resolution method for flexible manufacturing systems modeled with G -systems. To design a non-blocking controlled system with maximally permissive behavior in a G -system ( GS ), a reachability graph-based analysis technology is utilized. Since the reachability graph of a large-scale GS easily becomes unmanageable, an optimal non-blocking supervisor becomes a challenging problem in a GS . To facilitate this problem, the Divide-and-Conquer approach is a good choice for complex G -systems. First, an uncontrolled GS resolves into a number of associated subnets. Then, every subnet suffering from deadlocks is utilized to design the liveness-enforcing supervisor for the original GS . Thus, additional monitors can be obtained if the liveness of all subnets is achieved. Subsequently, a partially controlled GS is derived by including all monitors within the GS , and its liveness can be ensured by designing a new set of monitors. Consequently, a non-blocking GS is derived. The major advantage of the proposed method is that a non-blocking supervisor with near-optimal behavioral permissiveness can be obtained in general. Finally, a typical GS example popularly studied in the literature is applied to demonstrate the validity and the availability of the method in this article. |
first_indexed | 2024-12-10T17:35:12Z |
format | Article |
id | doaj.art-d87c9f34d57c42a28c459d6df5b7e9ba |
institution | Directory Open Access Journal |
issn | 1687-8140 |
language | English |
last_indexed | 2024-12-10T17:35:12Z |
publishDate | 2016-03-01 |
publisher | SAGE Publishing |
record_format | Article |
series | Advances in Mechanical Engineering |
spelling | doaj.art-d87c9f34d57c42a28c459d6df5b7e9ba2022-12-22T01:39:34ZengSAGE PublishingAdvances in Mechanical Engineering1687-81402016-03-01810.1177/168781401663982310.1177_1687814016639823Near-optimal supervisory control of flexible manufacturing systems using divide-and-conquer iterative methodMi Zhao0Murat Uzam1YiFan Hou2Machinery and Electricity College, Shihezi University, Shihezi, P. R. ChinaElektrik-Elektronik Mühendisliği Bölümü, Muhendislik-Mimarlik Fakultesi, Meliksah Universitesi, Kayseri, TurkeySchool of Electro-Mechanical Engineering, Xidian University, Xi’an, P. R. ChinaThis article proposes an iterative deadlock resolution method for flexible manufacturing systems modeled with G -systems. To design a non-blocking controlled system with maximally permissive behavior in a G -system ( GS ), a reachability graph-based analysis technology is utilized. Since the reachability graph of a large-scale GS easily becomes unmanageable, an optimal non-blocking supervisor becomes a challenging problem in a GS . To facilitate this problem, the Divide-and-Conquer approach is a good choice for complex G -systems. First, an uncontrolled GS resolves into a number of associated subnets. Then, every subnet suffering from deadlocks is utilized to design the liveness-enforcing supervisor for the original GS . Thus, additional monitors can be obtained if the liveness of all subnets is achieved. Subsequently, a partially controlled GS is derived by including all monitors within the GS , and its liveness can be ensured by designing a new set of monitors. Consequently, a non-blocking GS is derived. The major advantage of the proposed method is that a non-blocking supervisor with near-optimal behavioral permissiveness can be obtained in general. Finally, a typical GS example popularly studied in the literature is applied to demonstrate the validity and the availability of the method in this article.https://doi.org/10.1177/1687814016639823 |
spellingShingle | Mi Zhao Murat Uzam YiFan Hou Near-optimal supervisory control of flexible manufacturing systems using divide-and-conquer iterative method Advances in Mechanical Engineering |
title | Near-optimal supervisory control of flexible manufacturing systems using divide-and-conquer iterative method |
title_full | Near-optimal supervisory control of flexible manufacturing systems using divide-and-conquer iterative method |
title_fullStr | Near-optimal supervisory control of flexible manufacturing systems using divide-and-conquer iterative method |
title_full_unstemmed | Near-optimal supervisory control of flexible manufacturing systems using divide-and-conquer iterative method |
title_short | Near-optimal supervisory control of flexible manufacturing systems using divide-and-conquer iterative method |
title_sort | near optimal supervisory control of flexible manufacturing systems using divide and conquer iterative method |
url | https://doi.org/10.1177/1687814016639823 |
work_keys_str_mv | AT mizhao nearoptimalsupervisorycontrolofflexiblemanufacturingsystemsusingdivideandconqueriterativemethod AT muratuzam nearoptimalsupervisorycontrolofflexiblemanufacturingsystemsusingdivideandconqueriterativemethod AT yifanhou nearoptimalsupervisorycontrolofflexiblemanufacturingsystemsusingdivideandconqueriterativemethod |