- 期刊
- OpenAccess
Weighted Characteristic P-vector and Deadlock Control of WS3PR
並列摘要
Current deadlock control approaches for S^3PGR^2 (systems of simple sequential processes with general resources requirement) suffer from incorrect or restricted liveness characterization based on the concept of deadly marked siphons (DMS) and max-controlled siphons. Dead transitions may exist when there are no DMS and the net model is in livelock states. A new liveness condition is developed based on the so-called max^*-controlled siphons to replace that of the restrictive max-controlled siphons. A deadlock control policy is further proposed for WS^3PR (weighted S^3PR (systems of simple sequential processes with resources)) by adding control nodes and arcs for elementary siphons only, reducing significantly the number of monitors compared with existing methods. A counter example is shown to indicate that Li's characteristic P-vector must be weighted. The controlled model for WS^3PR is proposed and its liveness property is proved.
被引用紀錄
延伸閱讀
- Xia, Z. (2014). Weighted Stepanov-Like Pseudoperiodicity and Applications. Abstract and Applied Analysis, 2014(), 1047-1060. https://doi.org/10.1155/2014/980869
- Komolafe, B., & MamounMedraj (2014). Progress in Wettability Study of Reactive Systems. Journal of Metallurgy, 2014(), e1-14. https://doi.org/10.1155/2014/387046
- 郭天祐（2007）。Optimal Design of Switching-Type PD-PI Controller〔碩士論文，淡江大學〕。華藝線上圖書館。https://doi.org/10.6846/TKU.2007.00728
- Chiang, M. L. (2010). Adaptive Control of Switched Systems with Unknown Parameters: Analysis and Design [doctoral dissertation, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU.2010.00859
- Chen, J., & Lin, C. (2015). Static Output Feedback Control for Discrete-Time Switched Systems via Improved Path-Following Method. Discrete Dynamics in Nature and Society, 2015(), 197-204-319. https://doi.org/10.1155/2015/869012