Design of a live and maximally permissive Petri net controller using the theory of regions

被引：261

作者：

Ghaffari, A ^{[1
]}

Rezg, N ^{[1
]}

Xie, XL ^{[1
]}

机构：

[1] INRIA Lorraine, MACSI Team, F-57045 Metz, France

来源：

IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION | 2003年 / 19卷 / 01期

关键词：

controllability; Petri nets (PN); supervisory control; theory of regions;

D O I：

10.1109/TRA.2002.807555

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper addresses the forbidden state problem of Petri nets (PN) with liveness requirement and uncontrollable transitions. The proposed approach computes a maximally permissive PN controller, whenever such a controller exists. The first step, based on a Ramadge-Wonham-like reasoning, determines the legal and live maximal behavior the controlled PN should have. In the second step, the theory of regions is used to design control places to add to the original model to realize the desired behavior. Furthermore, necessary and sufficient conditions for the existence of control places realizing the maximum permissive control are given. A parameterized manufacturing application of significant state space is used to show the efficiency of the proposed approach.

引用

页码：137 / 142

页数：6

共 10 条

[1]

BADOUEL E, 1995, SPRINGER VERLAG LNCS, V915, P364

[2]

BASILE F, 1998, P WODES 98 CAGL IT, P85

[3]

Giua A, 2001, IEEE DECIS CONTR P, P5004, DOI 10.1109/CDC.2001.981003

[4]

Giva A., 1993, P 12 IFAC WORLD C SI, P267

[5]

Gondran M., 1985, GRAPHES ALGORITHMES

[6]

Iordache MV, 2000, P AMER CONTR CONF, P3167, DOI 10.1109/ACC.2000.879149

[7] SYNTHESIS OF FEEDBACK-CONTROL LOGIC FOR DISCRETE MANUFACTURING SYSTEMS [J].

KROGH, BH ;

HOLLOWAY, LE .

AUTOMATICA, 1991, 27 (04) :641-651

[8]

LI Y, 1988, PROCEEDINGS OF THE 22ND CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS, VOLS 1 & 2, P57

[9] THE CONTROL OF DISCRETE EVENT SYSTEMS [J].

RAMADGE, PJG ;

WONHAM, WM .

PROCEEDINGS OF THE IEEE, 1989, 77 (01) :81-98

[10]

SCHRIJER A, 1999, THEORY LINEAR INTEGE

← 1 →