非決定離散事象システムの模倣制御におけるノンブロッキングスーパバイザの存在性

• Item type: SIG Technical Reports(1)
• 公開日: 2016-11-17
• タイトル: 非決定離散事象システムの模倣制御におけるノンブロッキングスーパバイザの存在性
• タイトル / 言語: en
• タイトル: Existence of Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 大阪大学大学院工学研究科
• 著者所属: 大阪大学大学院工学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Engineering, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Engineering, Osaka University
• 著者名: 山田, 悠貴; 高井, 重昌
• 著者名(英): Hiroki, Yamada; Shigemasa, Takai
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 非決定オートマトンでモデル化された制御対象と制御仕様に対する模倣制御問題では，制御されたシステムが制御仕様に模倣されるような非決定スーパバイザを構成する必要がある．従来研究では，スーパバイザがシステムで生起した事象のみならずシステムの現在の状態も観測できるという仮定のもとで，模倣制御問題の解となるスーパバイザが存在するための必要十分条件が示されている．本稿では，マーク状態を考慮することで，その結果を拡張し，模倣制御問題に対して， ノンブロッキングスーパバイザが存在するための必要十分条件を示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN1009593X
• 書誌情報: 研究報告アルゴリズム（AL）; 巻 2016-AL-160, 号 5, p. 1-6, 発行日 2016-11-17
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8566
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会