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

被引：0
|
作者：
Yamada, Hiroki [1 ]
Takai, Shigemasa [1 ]
机构：
[1] Osaka Univ, Div Elect Elect & Informat Engn, Suita, Osaka, Japan
来源：
2017 56TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE) | 2017年
关键词：
nondeterministic discrete event system; similarity control; nonblocking supervisor;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we consider a similarity control problem for nondeterministic discrete event systems, which requires us to synthesize a nonblocking supervisor such that the supervised plant is simulated by a given specification. We assume that a supervisor can observe not only the event occurrence but also the current state of the plant. We present a necessary and sufficient condition for the existence of a nonblocking supervisor that solves the similarity control problem. This necessary and sufficient condition can be verified in polynomial time.
引用
收藏
页码：160 / 163
页数：4
相关论文
共 50 条
  • [1] Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
    Li, Jinglun
    Takai, Shigemasa
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2019, E102A (02) : 399 - 403
  • [2] 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
  • [3] 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
  • [4] Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems
    Li, Jinglun
    Takai, Shigemasa
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (06) : 3529 - 3544
  • [5] Maximally Permissive Nonblocking Similarity Control of Nondeterministic Discrete Event Systems
    Li, Jinglun
    Takai, Shigemasa
    [J]. 2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 73 - 78
  • [6] 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
  • [7] Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems
    Kushi, Naoki
    Takai, Shigemasa
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 63 (05) : 1457 - 1464
  • [8] Supervisory Control Of Discrete Event Systems Under Nondeterministic Observations
    Zhou, Lei
    Shu, Shaolong
    Lin, Feng
    [J]. 2019 18TH EUROPEAN CONTROL CONFERENCE (ECC), 2019, : 4192 - 4197
  • [9] On robust and nonblocking supervisor for nondeterministic discrete event systems
    Park, SJ
    Lim, JT
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2003, E86D (02): : 330 - 333
  • [10] Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Partial Observation
    Li, Jinglun
    Takai, Shigemasa
    [J]. 2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 1037 - 1042
12345