| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2008-06-02 14:25 Mealyオートマトンを用いた離散事象システムのモデリング ○潮 俊光（阪大）・高井重昌（京都工繊大）  CST2008-4 |
|
| 抄録 | （和） | 離散事象システムにおける論理的な制御手法として，スーパバイザ制御がある．スーパバイザは観測された事象列に対して生起を禁止する可制御事象の集合を指定することで望ましい振る舞いのみを生成するように制御する． 従来のスーパバイザ制御では，この観測事象は生起した内部事象によって一意に決定されると仮定されている．しかしながら，センサ故障やモバイルシステムのようにシステムの状態と生起した内部事象に対して非決定的に決まるような離散事象システムがある．本報告では，このような離散事象システムを非決定出力関数を持つMealyオートマトンによってモデル化する．そして，このシステムに対するスーパバイザの制御アクションの選択の仕方として，楽観的方針と悲観的方針を考え，それぞれの方針によるスーパバイザが存在するための必要十分条件を求める．さらに，出力関数が決定的な場合におけるこれらのスーパバイザの間の関係についても検討する． |
| （英） | Supervisory control is a general framework of logical control of discrete event systems. A supervisor assigns a set of control-disabled controllable events based on observations of output events so that the controlled discrete event system generates specified languages. In conventional supervisory control, it is assumed that observed events are determined by internal events deterministically. But, this assumption does not hold in a discrete event system with sensor failures and a mobile system, where each observed event depends on not only an internal event but also a state just before the occurrence of the internal event. In this report, we model such a discrete event systems by a Mealy automaton with a nondeterministic output function. We introduce two kinds of supervisors: one assigns each control action based on a pessimistic policy and the other based on an optimistic one. We show necessary and sufficient conditions for the existence of each supervisor. |
|
| キーワード | （和） | スーパバイザ制御 / 部分観測 / Mealyオートマトン / 非決定出力関数 / 可観測性 / / / |
| （英） | supervisory control / partial observation / Mealy automaton / nondeterministic output function / observability / / / | |
| 文献情報 | 信学技報, vol. 108, 2008年6月. | |
| 資料番号 | ||
| 発行日 | 2008-05-26 (CST) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CST2008-4 |
|
| 研究会情報 | |
| 研究会 | MSS |
| 開催期間 | 2008-06-02 - 2008-06-03 |
| 開催地（和） | 名古屋大学野依記念学術交流館 |
| 開催地（英） | Nagoyo University, Noyori Conference Hall |
| テーマ（和） | コンカレントシステム、離散事象システム、ハイブリッドシステム、および一般 |
| テーマ（英） | Concurrent Systems, Discrete Event Systems, Hybrid Systems, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2008-06-CST |
| 本文の言語 | 日本語 |
| タイトル（和） | Mealyオートマトンを用いた離散事象システムのモデリング |
| サブタイトル（和） | |
| タイトル（英） | Modeling of Discrete Event Systems by Mealy Automata |
| サブタイトル（英） | |
| キーワード(1)（和/英） | スーパバイザ制御 / supervisory control |
| キーワード(2)（和/英） | 部分観測 / partial observation |
| キーワード(3)（和/英） | Mealyオートマトン / Mealy automaton |
| キーワード(4)（和/英） | 非決定出力関数 / nondeterministic output function |
| キーワード(5)（和/英） | 可観測性 / observability |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 潮 俊光 / Toshimitsu Ushio / ウシオ トシミツ |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 高井 重昌 / Shigemasa Takai / タカイ シゲマサ |
| 第2著者 所属（和/英） | 京都工芸繊維大学 (略称： 京都工繊大) Kyoto Institute of Technology (略称： Kyoto Inst. Tech.) |
| 講演者 | 第1著者 |
| 発表日時 | 2008-06-02 14:25:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | CST2008-4 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | no.78 |
| ページ範囲 | pp.19-24 |
| ページ数 | 6 |
| 発行日 | 2008-05-26 (CST) |
[研究会発表申込システムのトップページに戻る]