Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events
文献类型：期刊论文
| 作者 | Bo Huang; MengChu Zhou; Cong Wang ; Abdullah Abusorrah; Yusuf Al-Turki
|
| 刊名 | IEEE/CAA Journal of Automatica Sinica
 |
| 出版日期 | 2021 |
| 卷号 | 8期号:3页码:597-605 |
| 关键词 | Deadlock prevention Petri nets robotic manufacturing cells structure-minimized supervisor supervisory control uncontrollability unobservability |
| ISSN号 | 2329-9266 |
| DOI | 10.1109/JAS.2020.1003207 |
| 英文摘要 | In this paper, a deadlock prevention policy for robotic manufacturing cells with uncontrollable and unobservable events is proposed based on a Petri net formalism. First, a Petri net for the deadlock control of such systems is defined. Its admissible markings and first-met inadmissible markings (FIMs) are introduced. Next, place invariants are designed via an integer linear program (ILP) to survive all admissible markings and prohibit all FIMs, keeping the underlying system from reaching deadlocks, livelocks, bad markings, and the markings that may evolve into them by firing uncontrollable transitions. ILP also ensures that the obtained deadlock-free supervisor does not observe any unobservable transition. In addition, the supervisor is guaranteed to be admissible and structurally minimal in terms of both control places and added arcs. The condition under which the supervisor is maximally permissive in behavior is given. Finally, experimental results with the proposed method and existing ones are given to show its effectiveness. |
| 源URL | [http://ir.ia.ac.cn/handle/173211/43933]  |
| 专题 | 自动化研究所_学术期刊_IEEE/CAA Journal of Automatica Sinica |
| 推荐引用方式 GB/T 7714 | Bo Huang,MengChu Zhou,Cong Wang,et al. Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events[J]. IEEE/CAA Journal of Automatica Sinica,2021,8(3):597-605. |
| APA | Bo Huang,MengChu Zhou,Cong Wang,Abdullah Abusorrah,&Yusuf Al-Turki.(2021).Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events.IEEE/CAA Journal of Automatica Sinica,8(3),597-605. |
| MLA | Bo Huang,et al."Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events".IEEE/CAA Journal of Automatica Sinica 8.3(2021):597-605. |
入库方式： OAI收割
来源：自动化研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。