Control synthesis of Petri nets based on S-decreases

被引：65

作者：

Chen, HX ^{[1
]}

机构：

[1] Xian Jiao Tong Univ, Syst Engn Inst, Xian 710049, Peoples R China

来源：

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 2000年 / 10卷 / 03期

关键词：

discrete event system; controlled Petri net; forbidden state; control synthesis;

D O I：

10.1023/A:1008397810443

中图分类号：

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

学科分类号：

0812 ;

摘要：

A method for constructing a controller for a discrete event system modeled by a Petri net is presented in this paper. The control specification of the system is given by a set of linear inequality constraints defined on the marking of the net. The controller that forces the net to obey the constraints is an extended Petri net, which is synthesized based on minimal support S-decreases. The method can deal with general Petri nets with uncontrollable transitions, and then provides a systematic way for synthesizing net-based controllers for discrete event systems.

引用

页码：233 / 249

页数：17

共 15 条

[1] CHEN H, 1994, P 33 IEEE C DEC CONT
[2] CHEN H, 1994, P 3 INT C AUT ROB CO
[3] Net structure and control logic synthesis of controlled Petri nets
Chen, HX
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (10) : 1446 - 1450
[4] Giua A, 1993, P 12 IFAC WORLD C SI, V1, P267
[5] Giua A., 1992, P IEEE INT C SYST MA, P947
[6] SYNTHESIS OF FEEDBACK-CONTROL LOGIC FOR A CLASS OF CONTROLLED PETRI NETS
HOLLOWAY, LE
KROGH, BH
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (05) : 514 - 523
[7] SYNTHESIS OF FEEDBACK-CONTROL LOGIC FOR DISCRETE MANUFACTURING SYSTEMS
KROGH, BH
HOLLOWAY, LE
[J]. AUTOMATICA, 1991, 27 (04) : 641 - 651
[8] CONTROL OF VECTOR DISCRETE-EVENT SYSTEMS .1. THE BASE MODEL
LI, Y
WONHAM, WM
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1993, 38 (08) : 1214 - 1227
[9] CONTROL OF VECTOR DISCRETE-EVENT SYSTEMS-II - CONTROLLER SYNTHESIS
LI, Y
WONHAM, WM
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (03) : 512 - 531
[10] MARTINEZ J, 1981, APPL THEORY PETRI NE

← 1 2 →