Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/75230
DC Field | Value | Language |
---|---|---|
dc.contributor | 資管系 | |
dc.creator | Chao, Daniel Yuh;Chen, Jiun-Ting;Huang, J.-S. | |
dc.creator | 趙玉;陳俊廷 | zh_TW |
dc.date | 2013 | |
dc.date.accessioned | 2015-05-21T08:16:13Z | - |
dc.date.available | 2015-05-21T08:16:13Z | - |
dc.date.issued | 2015-05-21T08:16:13Z | - |
dc.identifier.uri | http://nccur.lib.nccu.edu.tw/handle/140.119/75230 | - |
dc.description.abstract | Monitors are added upon problematic siphons to avoid deadlocks. Li and Zhou add monitors to elementary siphons only while controlling the rest dependent siphons to save cost. After failing a Marking Linear Inequality (MLI) test, they perform a Linear Integer Programming (LIP) test (NP-hard). We proposed a new MLI test earlier to avoid the LIP and extended it to S3PR2 (systems of simple sequential processes with general resource requirements) for strongly dependent siphons (SDS). The control policy for weakly dependent siphons (WDS) is rather conservative due to some negative terms in the MLI. This paper shows that WDS and SDS have the same controllability (i.e., MLI). As a result, the control for WDS needs no longer be that conservative. We also develop an optimization (by redundancy elimination) of the computation required for LIP test to ensure deadlock prevention of S3PR (Systems of Simple Sequential Processes with Resources). A favorable result for this policy is that any n-dependent (n>2) WDS (similar to SDS) needs no monitor and hence the complexity for synthesizing a controller becomes polynomial. © (2013) Trans Tech Publications, Switzerland. | |
dc.format.extent | 176 bytes | - |
dc.format.mimetype | text/html | - |
dc.relation | Applied Mechanics and Materials, 373-375, 1413-1427 | |
dc.subject | Deadlock prevention; Dependent siphon; Elementary siphon; Linear inequalities; Linear integer programming; Redundancy elimination; Resource requirements; Sequential process; Integer programming; Petri nets; Siphons; Robotics | |
dc.title | Controllability of weakly dependent siphons under elementary-siphon control | |
dc.type | article | en |
dc.identifier.doi | 10.4028/www.scientific.net/AMM.373-375.1413 | |
dc.doi.uri | http://dx.doi.org/10.4028/www.scientific.net/AMM.373-375.1413 | |
item.fulltext | With Fulltext | - |
item.cerifentitytype | Publications | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.grantfulltext | restricted | - |
item.openairetype | article | - |
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.