Program solution of supervisory control based on Petri nets

被引：0

作者：

Flochová, J ^{[1
]}

Hrúz, B ^{[1
]}

Jirsák, P ^{[1
]}

机构：

[1] Slovak Univ Technol Bratislava, Fac Elect Engn & Informat Technol, Automat Control Syst Dept, Bratislava 81219, Slovakia

来源：

NEW TRENDS IN DESIGN OF CONTROL SYSTEMS 1997 | 1998年

关键词：

discrete event dynamic systems; supervisory control; Petri-nets; reachability; reachable states; computer control system design; computer testing; programs; program controllers;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper describes methods based on Petri nets analysis techniques for constructing a supervisory controller of discrete event dynamic systems. Two methods (method based on reachability tree analysis and on-line method based on matrix equations) have been designed. Programs in C++ have been written to solve supervisory control problem and real time control of a discrete event dynamic system.

引用

页码：323 / 327

页数：5

共 15 条

[1] SUPERVISORY CONTROL OF A RAPID THERMAL MULTIPROCESSOR
BALEMI, S
HOFFMANN, GJ
GYUGYI, P
WONGTOI, H
FRANKLIN, GF
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1993, 38 (07) : 1040 - 1059
[2] CAPKOVIC F, 1994, 1 IFAC WORKSH NEW TR, P398
[3] PETRI NETS FOR MODELING OF DYNAMIC-SYSTEMS - A SURVEY
DAVID, R
ALLA, H
[J]. AUTOMATICA, 1994, 30 (02) : 175 - 202
[4] FLOCHOVA J, 1996, P INT C PROC CONTR H, V2, P80
[5] BLOCKING AND CONTROLLABILITY OF PETRI NETS IN SUPERVISORY CONTROL
GIUA, A
DICESARE, F
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (04) : 818 - 823
[6] HO YC, 1990, 11 IFAC WORLD C TALL, V1, P66
[7] 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
[8] HRUZ B, 1994, J ELECT ENG, V45, P363
[9] HRUZ B, 1996, P 13 WORLD C SAN FRA
[10] JUHAS G, 1996, P INT C PROC CONTR H, V2, P137

← 1 2 →