| dc.contributor | 資管系 | |
| dc.creator (作者) | Chao, Daniel Yuh | |
| dc.creator (作者) | 趙玉 | zh_TW |
| dc.date (日期) | 2014 | |
| dc.date.accessioned | 11-Jun-2015 13:37:26 (UTC+8) | - |
| dc.date.available | 11-Jun-2015 13:37:26 (UTC+8) | - |
| dc.date.issued (上傳時間) | 11-Jun-2015 13:37:26 (UTC+8) | - |
| dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/75684 | - |
| dc.description.abstract (摘要) | All current design approaches of maximally permissive supervisors assume that forbidden and legal markings are linearly separable. Based on that implicit assumption, Liu et al. propose a novel method of optimal control of a problematic siphon to synthesise maximally permissive controllers. However, there are counter examples for which we could not produce optimal solutions. This occurs when forbidden and legal markings are not linearly separable even though it rarely happens. Verifying linear separability involves solving a large set of linear inequalities and is quite time consuming. This paper aims to relieve this problem via enhancing our critical-siphon approach. Specifically, we propose to: (1) find an efficient method to detect linear inseparability; (2) construct best suboptimal control models; (3) find all lost legal markings; and (4) identify the linear equations that violate linear separability. Each above contribution is unique and pioneering. © 2014 © 2014 Taylor & Francis. | |
| dc.format.extent | 176 bytes | - |
| dc.format.mimetype | text/html | - |
| dc.relation (關聯) | International Journal of Production Research | |
| dc.subject (關鍵詞) | deadlock prevention; flexible manufacturing system (FMS); Petri net | |
| dc.title (題名) | Revision on `Maximally permissive deadlock prevention via an Invariant Controlled Method` | |
| dc.type (資料類型) | article | en |
| dc.identifier.doi (DOI) | 10.1080/00207543.2014.949897 | |
| dc.doi.uri (DOI) | http://dx.doi.org/10.1080/00207543.2014.949897 | |
