Nonblocking supervisory control of nondeterministic systems based on multiple deterministic model approach

被引：0

作者：

Park, SJ ^{[1
]}

Lim, JT ^{[1
]}

机构：

[1] Korea Adv Inst Sci & Technol, Dept Elect Engn, Taejon 305701, South Korea

来源：

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | 2000年 / E83D卷 / 05期

关键词：

nondeterministic DESs; nonblocking supervisor; multiple deterministic model;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper presents a framework for the nonblocking supervisory control of nondeterministic discrete event systems (DESs) using multiple deterministic model. Necessary and sufficient conditions for the existence of a multiple model nonblocking supervisor are obtained for a multiple deterministic model. We show that a multiple model nonblocking supervisor guarantees the nonblockingness of an original nondeterministic system.

引用

页码：1177 / 1180

页数：4

共 50 条

[1] Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
Kumar, R
Shayman, MA
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1996, 41 (08) : 1160 - 1175
[2] Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models
Park, SJ
Lim, JT
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (04) : 655 - 658
[3] Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation
Park, Seong-Jin
[J]. INTERNATIONAL JOURNAL OF CONTROL, 2012, 85 (01) : 58 - 68
[4] Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Ushio, Toshimitsu
Takai, Shigemasa
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (03) : 799 - 804
[5] Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
Park, Seong-Jin
Cho, Kwang-Hyun
[J]. AUTOMATICA, 2007, 43 (02) : 377 - 383
[6] Metric Based Nonblocking Supervisory Control of Discrete Event Systems
Park, Jun-Sang
Jo, Hyun-Wook
Oh, Jun-Han
Lim, Jong-Tae
[J]. INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS (ICCAS 2010), 2010, : 627 - 630
[7] Decentralized Supervisory Control: Nondeterministic Transitions Versus Deterministic Moves
Karimadini, Mohammad
Lin, Hai
Lee, Tong Heng
[J]. 2009 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS, VOLS 1-3, 2009, : 1281 - +
[8] Language model approach to nonblocking supervisor synthesis for nondeterministic discrete event systems
Park, SJ
Lim, JT
[J]. 2001 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2001, : 650 - 655
[9] Mutually nonblocking supervisory control of discrete event systems
Fabian, M
Kumar, R
[J]. AUTOMATICA, 2000, 36 (12) : 1863 - 1869
[10] A deterministic approach for design of supervisory control of LPV systems with delay
Zahid, Ch Nauman
Salim, Mina
Riaz, Raja Ali
Iqbal, Jamshed
[J]. PLOS ONE, 2021, 16 (08):

← 1 2 3 4 5 →