Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/75684
題名: | Revision on `Maximally permissive deadlock prevention via an Invariant Controlled Method` | 作者: | Chao, Daniel Yuh 趙玉 |
貢獻者: | 資管系 | 關鍵詞: | deadlock prevention; flexible manufacturing system (FMS); Petri net | 日期: | 2014 | 上傳時間: | 11-Jun-2015 | 摘要: | 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. | 關聯: | International Journal of Production Research | 資料類型: | article | DOI: | http://dx.doi.org/10.1080/00207543.2014.949897 |
Appears in Collections: | 期刊論文 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
index.html | 176 B | HTML2 | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.