| 講演名 | 2008-06-02 Mealyオートマトンを用いた離散事象システムのモデリング(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般) 潮 俊光, 高井 重昌, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 離散事象システムにおける論理的な制御手法として,スーパバイザ制御がある.スーパバイザは観測された事象列に対して生起を禁止する可制御事象の集合を指定することで望ましい振る舞いのみを生成するように制御する.従来のスーパバイザ制御では,この観測事象は生起した内部事象によって一意に決定されると仮定されている.しかしながら,センサ故障やモバイルシステムのようにシステムの状態と生起した内部事象に対して非決定的に決まるような離散事象システムがある.本報告では,このような離散事象システムを非決定出力関数を持つ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 observed 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 automata / nondeterministic output function / observability |
| 資料番号 | CST2008-4 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2008/5/26(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | Mealyオートマトンを用いた離散事象システムのモデリング(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Modeling of Discrete Event Systems by Mealy Automata |
| サブタイトル（和） | |
| キーワード(1)（和/英） | スーパバイザ制御 / supervisory control |
| キーワード(2)（和/英） | 部分観測 / partial observation |
| キーワード(3)（和/英） | Mealyオートマトン / Mealy automata |
| キーワード(4)（和/英） | 非決定出力関数 / nondeterministic output function |
| キーワード(5)（和/英） | 可観測性 / observability |
| 第 1 著者 氏名（和/英） | 潮 俊光 / Toshimitsu USHIO |
| 第 1 著者 所属（和/英） | 大阪大学大学院基礎工学研究科 Graduate School of Engineering Science, Osaka University |
| 第 2 著者 氏名（和/英） | 高井 重昌 / Shigemasa TAKAI |
| 第 2 著者 所属（和/英） | 京都工芸繊維大学大学院工芸科学研究科 Department of Information Science, Kyoto Institute of Technology |
| 発表年月日 | 2008-06-02 |
| 資料番号 | CST2008-4 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | 78 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |