Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/66889
題名: | A Merging Method for Reducing The Number of Monitors for Siphon-Based FMS Maximally Permissive Controllers | 作者: | 趙玉 Chao, Daniel Yuh |
貢獻者: | 資管系 | 關鍵詞: | Deadlock Prevention, Discrete Event System, Flexible Manufacturing System, Petri Net | 日期: | 2012 | 上傳時間: | 24-Jun-2014 | 摘要: | It has been a hot race to design optimal controllers to be maximally permissive with fewest monitors in the shortest amount of time. Recent maximally permissive deadlock prevention controls for S3PR (Systems of Simple Sequential Processes with Resources) reduce the computation burden by considering only a small portion of all forbidding markings and employs much fewer monitors by a linear integer programming method. However, it still requires costly reachability analysis. This paper proposes a method (the first of its kind) to merge several monitors into a single one while not losing states. It achieves the same best results in the literature while avoiding the time-consuming reachability analysis which does not scale well with the size of the nets. | 關聯: | Advanced Materials Research (Volumes 605 - 607) , Chapter 11: Control Technologies and Intelligent Systems , pp.1819-1822 | 資料類型: | article |
Appears in Collections: | 期刊論文 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
index.html | 106 B | HTML2 | View/Open |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.