title: Monitor design with multiple self-loops for maximally permissive supervisors.
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.
authors: 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.
authors: YuFeng
authors: Y
authors: Chen
authors: 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.
authors: ZhiWu
authors: Z
authors: Li
authors: Cedric Lab and Computer Science Department Conservatoire National des Arts et Métiers, Paris 75141, France. Electronic address: kamel.barkaoui@cnam.fr.
authors: Kamel
authors: K
authors: Barkaoui
authors: Elektrik-Elektronik Muhendislig¨i Bölümü, Muhendislik-Mimarlik Fakültesi Meliksah Universitesi, 38280 Talas/Kayseri, Turkey. Electronic address: murat_uzam@meliksah.edu.tr.
authors: Murat
authors: M
authors: Uzam
keywords: Deadlock prevention; Flexible manufacturing system (FMS); Petri net; Self-loop; Supervisory control