Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations

被引：3

作者：

Li, Jinglun ^{[1
]}

Takai, Shigemasa ^{[1
]}

机构：

[1] Osaka Univ, Grad Sch Engn, Suita, Osaka 5650871, Japan

来源：

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES | 2019年 / E102A卷 / 02期

关键词：

discrete event system; nondeterministic automaton; similarity control; maximally permissive nonblocking supervisor;

D O I：

10.1587/transfun.E102.A.399

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

We consider a similarity control problem for discrete event systems modeled as nondeterministic automata. A nonblocking supervisor was synthesized in the previous work under the assumption that the event occurrence and the current state of the plant are observable. In this letter, we prove that the synthesized supervisor is a maximally permissive nonblocking one.

引用

页码：399 / 403

页数：5

共 8 条

[1] Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
Kimura, Katsuyuki
Takai, Shigemasa
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2014, E97D (05): : 1140 - 1148
[2] Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations
Kimura, Katsuyuki
Takai, Shigemasa
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2014, E97A (07): : 1500 - 1507
[3] SUPERVISORY CONTROL OF A CLASS OF DISCRETE EVENT PROCESSES
RAMADGE, PJ
WONHAM, WM
[J]. SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1987, 25 (01) : 206 - 230
[4] Tabuada P., 2009, Verification and Control of Hybrid Systems: A Symbolic Approach
[5] Synthesis of Bisimilarity Enforcing Supervisors for Nondeterministic Discrete Event Systems
Takai, Shigemasa
[J]. IFAC PAPERSONLINE, 2018, 51 (07): : 1 - 6
[6] ON THE SUPREMAL CONTROLLABLE SUBLANGUAGE OF A GIVEN LANGUAGE
WONHAM, WM
RAMADGE, PJ
[J]. SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1987, 25 (03) : 637 - 659
[7] Nonblocking Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
Yamada, Hiroki
Takai, Shigemasa
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2018, E101A (02): : 328 - 337
[8] Control of nondeterministic discrete-event systems for bisimulation equivalence
Zhou, Changyan
Kumar, Ratnesh
Jiang, Shengbing
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 51 (05) : 754 - 765

← 1 →