講演抄録/キーワード |
講演名 |
2010-01-22 13:25
時間付き離散事象システムにおけるスーパバイザの存在条件の簡単化 ○野村雅司・高井重昌(阪大) CST2009-52 |
抄録 |
(和) |
時間付き離散事象システムのスーパバイザ制御において,スーパバイザは,与えられた制御仕様が満足されるように,その生起を許容する事象の集合だけでなく,生起を強制する事象の集合をも決定する.そして,部分観測のもとでの時間付き離散事象システムに対するスーパバイザの存在条件はすでに示されている.しかし,この存在条件を判定するには,ある条件を満足する強制可能事象集合の存在性を判定する必要があるが,そのような強制可能事象集合を探す指針は示されておらず,見通しのよい条件にはなっていない.本稿では,強制可能事象集合の探索を必要としないスーパバイザの存在条件を導出し,既存の存在条件を簡単化する. |
(英) |
In the framework of supervisory control of timed discrete event systems (TDESs), a supervisor decides not only the set of events to be enabled to occur but also the set of events to be forced to occur in order for a given specification to be satisfied. Necessary and sufficient conditions for the existence of a supervisor under partial observation have been presented. In order to test these conditions we have to verify the existence of a set of a forcible events that satisfies a certain condition. However, there is no clue to find such a set of forcible events. In this paper, we derive simplified existence conditions of a supervisor which do not require a search for a set of forcible events. |
キーワード |
(和) |
時間付き離散事象システム / スーパバイザ制御 / 部分観測 / / / / / |
(英) |
Timed discrete event system / Supervisory control / Partial observation / / / / / |
文献情報 |
信学技報, vol. 109, 2010年1月. |
資料番号 |
|
発行日 |
2010-01-14 (CST) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
CST2009-52 |