Feedback control logic for backward conflict free choice nets

被引:35
作者
Basile, Francesco [1 ]
Carbone, Ciro [1 ]
Chiacchio, Pasquale [1 ]
机构
[1] Univ Salerno, Dipartimento Ingn Informaz & Ingn Elettr, I-84084 Fisciano, SA, Italy
关键词
backward conflict free net; free choice net; Petri nets; state feedback; supervisory control;
D O I
10.1109/TAC.2007.893969
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper discusses the forbidden state problem, as specified by generalized mutual exclusion constraints, in the context of supervisory control of discrete event systems modelled by Petri nets. The case of backward-conflict-free and free-choice uncontrollable subnets is considered and it is shown how to transform such subnets in well-formed free-choice nets. Then, the well-formed free-choice nets are decomposed in marked graph components by recurring to minimal T-invariants. The forbidden state problem is so reformulated for the obtained marked graph components into an equivalent one which is shown to be a linear programming problem. Thus, improving existing results in literature, a polynomial complexity solution, suitable for on-line control, is achieved. Free-choice relationship and cycle modelling, that frequently occur in real-life situations, are so allowed in the uncontrollable subnet.
引用
收藏
页码:387 / 400
页数:14
相关论文
共 18 条
[1]   Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places [J].
Basile, F ;
Chiacchio, P ;
Giua, A .
AUTOMATICA, 2006, 42 (06) :995-1004
[2]   ON FORBIDDEN STATE PROBLEMS FOR A CLASS OF CONTROLLED PETRI NETS [J].
BOEL, RK ;
BENNAOUM, L ;
VANBREUSEGEM, V .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (10) :1717-1731
[3]   Net structure and control logic synthesis of controlled Petri nets [J].
Chen, HX .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (10) :1446-1450
[4]  
CHEN HX, 1994, IEEE DECIS CONTR P, P3098, DOI 10.1109/CDC.1994.411309
[5]  
Desel Jorg, 1995, CAMBRIDGE TRACTS THE, V40
[6]   Feedback control logic for forbidden-state problems of marked graphs: Application to a real manufacturing system [J].
Ghaffari, A ;
Rezg, N ;
Xie, XL .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (01) :18-29
[7]  
GIUA A, 1992, 1992 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1 AND 2, P974, DOI 10.1109/ICSMC.1992.271666
[8]   A generalization of state avoidance policies for controlled Petri nets [J].
Holloway, LE ;
Guan, XY ;
Zhang, L .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1996, 41 (06) :804-816
[9]   SYNTHESIS OF FEEDBACK-CONTROL LOGIC FOR DISCRETE MANUFACTURING SYSTEMS [J].
KROGH, BH ;
HOLLOWAY, LE .
AUTOMATICA, 1991, 27 (04) :641-651
[10]   CONTROL OF VECTOR DISCRETE-EVENT SYSTEMS-II - CONTROLLER SYNTHESIS [J].
LI, Y ;
WONHAM, WM .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (03) :512-531