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

DOI Web Site 被引用文献3件 参考文献24件
  • YAMADA Hiroki
    Division of Electrical, Electronic and Information Engineering, Osaka University
  • TAKAI Shigemasa
    Division of Electrical, Electronic and Information Engineering, Osaka University

抄録

<p>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 and show how to verify it in polynomial time. Moreover, when the existence condition of a nonblocking supervisor is satisfied, we synthesize such a supervisor as a solution to the similarity control problem.</p>

収録刊行物

被引用文献 (3)*注記

もっと見る

参考文献 (24)*注記

もっと見る

関連プロジェクト

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ