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 条
  • [31] N-Step Nonblocking Supervisory Control of Discrete-Event Systems
    Zhang, Renyuan
    Wang, Zenghui
    Cai, Kai
    [J]. 2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2021, : 339 - 344
  • [32] A new approach to deterministic and nondeterministic decisional systems minimization - principles and results
    Stefanescu, Ion
    Zafiu, Adrian
    [J]. ADVANCES IN APPLIED MATHEMATICS, SYSTEMS, COMMUNICATIONS AND COMPUTERS, 2008, : 240 - 251
  • [33] Maximally Permissive Distributed Supervisory Control of Nondeterministic Discrete-Event Systems
    Su, Rong
    van Schuppen, Jan H.
    Rooda, Jacobus E.
    [J]. 2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 1155 - 1160
  • [34] Deterministic Networked Control of Discrete Event Systems With Nondeterministic Communication Delays
    Shu, Shaolong
    Lin, Feng
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (01) : 190 - 205
  • [35] Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
    Yamada, Hiroki
    Takai, Shigemasa
    [J]. 2017 56TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE), 2017, : 160 - 163
  • [36] Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications
    Shimatani, Kohei
    Takai, Shigemasa
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2021, E104A (02) : 438 - 446
  • [37] Weak normality for nonblocking supervisory control of discrete event systems under partial observation
    Takai, S
    Ushio, T
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2001, E84A (11): : 2822 - 2828
  • [38] Weak normality for nonblocking supervisory control of discrete event systems under partial observation
    Takai, Shigemasa
    Ushio, Toshimitsu
    [J]. 2001, Institute of Electronics, Information and Communication, Engineers, IEICE (E84-A)
  • [39] Robust nonblocking supervisory control of discrete-event systems under partial observation
    Saboori, Anooshiravan
    Zad, Shahin Hashtrudi
    [J]. 2005 ICSC CONGRESS ON COMPUTATIONAL INTELLIGENCE METHODS AND APPLICATIONS (CIMA 2005), 2005, : 162 - 166
  • [40] Robust nonblocking supervisory control of discrete-event systems under partial observation
    Saboori, Anooshiravan
    Zad, Shahin Hashtrudi
    [J]. SYSTEMS & CONTROL LETTERS, 2006, 55 (10) : 839 - 848
12345