Monitor design with multiple self-loops for maximally permissive supervisors

YuFeng Chen; ZhiWu Li; Kamel Barkaoui; Murat Uzam

doi:10.1016/j.isatra.2015.12.016

Monitor design with multiple self-loops for maximally permissive supervisors

ISA Trans. 2016 Mar:61:129-140. doi: 10.1016/j.isatra.2015.12.016. Epub 2016 Feb 5.

Authors

YuFeng Chen¹, ZhiWu Li², Kamel Barkaoui³, Murat Uzam⁴

Affiliations

¹ School of Electro-Mechanical Engineering Xidian University No. 2 South Taibai Road Xi׳an 710071, China; Cedric Lab and Computer Science Department Conservatoire National des Arts et Métiers, Paris 75141, France. Electronic address: yfchen@mail.xidian.edu.cn.
² Institute of Systems Engineering Macau University of Science and Technology Taipa, Macau 999078, China; School of Electro-Mechanical Engineering Xidian University No. 2 South Taibai Road Xi׳an 710071, China. Electronic address: zhwli@xidian.edu.cn.
³ Cedric Lab and Computer Science Department Conservatoire National des Arts et Métiers, Paris 75141, France. Electronic address: kamel.barkaoui@cnam.fr.
⁴ Elektrik-Elektronik Muhendislig¨i Bölümü, Muhendislik-Mimarlik Fakültesi Meliksah Universitesi, 38280 Talas/Kayseri, Turkey. Electronic address: murat_uzam@meliksah.edu.tr.

PMID: 26857517
DOI: 10.1016/j.isatra.2015.12.016

Abstract

In this paper, we improve the previous work by considering that a control place can have multiple self-loops. Then, two integer linear programming problems (ILPPs) are formulated. Based on the first ILPP, an iterative deadlock control policy is developed, where a control place is computed at each iteration to implement as many marking/transition separation instances (MTSIs) as possible. The second ILPP can find a set of control places to implement all MTSIs and the objective function is used to minimize the number of control places. It is a non-iterative deadlock control strategy since we need to solve the ILPP only once. Both ILPPs can make all legal markings reachable in the controlled system, i.e., the obtained supervisor is behaviorally optimal. Finally, we provide examples to illustrate the proposed approaches.

Keywords: Deadlock prevention; Flexible manufacturing system (FMS); Petri net; Self-loop; Supervisory control.

Publication types

Research Support, Non-U.S. Gov't