A generalization of state avoidance policies for controlled Petri nets

被引：58

作者：

Holloway, LE

Guan, XY

Zhang, L

机构：

[1] UNIV KENTUCKY, CTR MFG SYST, LEXINGTON, KY 40506 USA

[2] NEXTLINK SOLUT INC, LIVONIA, MI 48152 USA

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 1996年 / 41卷 / 06期

基金：

美国国家科学基金会; 美国国家航空航天局;

关键词：

D O I：

10.1109/9.506233

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper presents a generalization of forbidden state control synthesis methods for a broad class of controlled Petri nets (CtlPN), An algebra is defined for characterizing the interaction of paths in the Petri net. Given a specification of a forbidden marking set, the net structure is analyzed to determine an algebraic expression to represent the specification. For ang net marking (state), evaluation of the expression will indicate whether forbidden markings are reachable and whether control is necessary, The expression is then used for determining the maximally permissive feedback control law.

引用

页码：804 / 816

页数：13

共 21 条

[1] 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

[2]

CHEN HX, 1994, IEEE DECIS CONTR P, P3098, DOI 10.1109/CDC.1994.411309

[3] PETRI NETS FOR MODELING OF DYNAMIC-SYSTEMS - A SURVEY [J].

DAVID, R ;

ALLA, H .

AUTOMATICA, 1994, 30 (02) :175-202

[4]

FINKEL A, 1994, ADV PETRI NETS, P210

[5]

GIUA A, 1994, IEEE T ROBOTICS AUTO

[6]

HIRIYANNAIAH M, 1994, P 32 ALL C COMM CONT

[7]

HO Y, 1992, DISCRETE EVENT DYNAM

[8] SYNTHESIS OF FEEDBACK-CONTROL LOGIC FOR A CLASS OF CONTROLLED PETRI NETS [J].

HOLLOWAY, LE ;

KROGH, BH .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (05) :514-523

[9]

HOLLOWAY LE, 1995, CRMSTR932 U KENT CTR

[10]

HOLLOWAY LE, 1994, P 11 INT C AN OPT SY

← 1 2 3 →