Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events

doi:10.1109/JAS.2020.1003207

CASIA OpenIR > 学术期刊 > IEEE/CAA Journal of Automatica Sinica

	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
ISSN	2329-9266
	2021
卷号	8 期号:3 页码:597-605
摘要	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.
关键词	Deadlock prevention Petri nets robotic manufacturing cells structure-minimized supervisor supervisory control uncontrollability unobservability
DOI	10.1109/JAS.2020.1003207
引用统计	被引频次：30[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	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.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
JAS-2020-0173.pdf（12009KB）	期刊论文	出版稿	开放获取	CC BY-NC-SA	浏览