2026-05-14T17:05:55Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00175982 2025-01-20T06:02:49Z 1164:2592:8452:8957

非決定離散事象システムの模倣制御におけるノンブロッキングスーパバイザの存在性 Existence of Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems 山田, 悠貴 高井, 重昌 Hiroki, Yamada Shigemasa, Takai 非決定オートマトンでモデル化された制御対象と制御仕様に対する模倣制御問題では，制御されたシステムが制御仕様に模倣されるような非決定スーパバイザを構成する必要がある．従来研究では，スーパバイザがシステムで生起した事象のみならずシステムの現在の状態も観測できるという仮定のもとで，模倣制御問題の解となるスーパバイザが存在するための必要十分条件が示されている．本稿では，マーク状態を考慮することで，その結果を拡張し，模倣制御問題に対して， ノンブロッキングスーパバイザが存在するための必要十分条件を示す． We consider a similarity control problem for the plant and specification modeled by nondeterministic automata. This problem requires us to synthesize a nondeterministic supervisor such that the supervised plant is simulated by the specification. In the literature, for the similarity control problem, a necessary and sufficient condition for the existence of supervisors was presented under the assumption that a supervisor can observe not only the event occiurence but also the current state of the plant. In this paper, we extend this result by taking the presence of marked states into account and derive a necessary and sufficient condition for the existence of nonblocking supervisors for the similarity control problem. technical report 情報処理学会 2016-11-17 application/pdf 研究報告アルゴリズム（AL） 5 2016-AL-160 1 6 2188-8566 AN1009593X https://ipsj.ixsq.nii.ac.jp/record/175982/files/IPSJ-AL16160005.pdf jpn