Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation

被引：16

作者：

Hanisch, H. -M. ^{[1
]}

Lueder, A. ^{[1
]}

Rausch, M. ^{[2
]}

机构：

[1] Otto von Guericke Univ Magdeburg, Dept Elect Engn, D-39016 Magdeburg, Germany

[2] Carnegie Mellon Univ, Dept Elect & Comp Engn, Pittsburgh, PA 15213 USA

来源：

EUROPEAN JOURNAL OF CONTROL | 1997年 / 3卷 / 04期

关键词：

Condition/event systems; Discrete event systems; Forbidden states; Implementation; Logic controller synthesis;

D O I：

10.1016/S0947-3580(97)70086-4

中图分类号：

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

学科分类号：

0812 ;

摘要：

The paper presents a method for logic controller synthesis based on net condition/event models of the uncontrolled plant and specifications of forbidden states. Plant models are set up in a structured and modular way. Synthesis is performed by means of a complete symbolic local backward search from the forbidden states to the control inputs. The algorithm is performed over the structure of the model; a generation of the complete state space is only required in the worst case. The result is a logic controller which can be directly implemented. Solutions for incomplete observation of states of the plant are given.

引用

页码：280 / 291

页数：12

共 27 条

[1] ON FORBIDDEN STATE PROBLEMS FOR A CLASS OF CONTROLLED PETRI NETS
BOEL, RK
BENNAOUM, L
VANBREUSEGEM, V
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (10) : 1717 - 1731
[2] Charbonnier F, 1995, 34 IEEE CDC NEW ORL
[3] GENRICH HJ, 1976, LECT NOTES COMPUTER, V45, P588
[4] Giva A, 1992, P IEEE INT C SYST MA, P974
[5] Giva A, 1993, P 12 IFAC WORLD C SY, V1, P267
[6] Hanisch H. M., 1996, P 13 IFAC WORLD C SA, VJ, P495
[7] Hanisch H-M, 1997, 2 MATHMOD VIENN AUST, P165
[8] HANISCH HM, 1997, P 6 INT C EM TECHN F, P391
[9] 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
[10] A survey of Petri net methods for controlled discrete event systems
Holloway, LE
Krogh, BH
Giua, A
[J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1997, 7 (02): : 151 - 190

← 1 2 3 →