| 講演名 | 2016-11-25 時間情報をもつユーザモデルを用いた人間機械系におけるモードコンフュージョンの検出 前田 佳樹(阪大), 潮 俊光(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 人間機械系におけるユーザとマシンの振舞いをオートマトンでモデル化して，オートメーションサプライズを形式的に検証する方法が提案されている．また，物理システムのように連続変数を持つマシンとユーザによって構成された人間機械系においても，ハイブリッドオートマトンを用いた解析方法が提案されている．一般に，ユーザにとって望ましい状態にマシンの状態を遷移させるには，ユーザが実行する操作の種類とその操作を実行するタイミングが重要となる．そこで，本稿では，ユーザの操作タイミングに焦点を絞ってユーザモデルを提案する．さらに，提案したモデルにおけるモードコンフュージョンの発生条件を示し，交替模倣関係に基づくモードコンフュージョン検出法を提案する． |
| 抄録(英) | To verify automation surprises in human-machine systems, methods using automaton models of dynamics for a user and a machine have been proposed. Moreover, if the machine is a physical system which is described by continuous variables, analysis methods using hybrid automaton models have been proposed. Generally, it is an important issue how and when the user operates the machine to reach a desirable machine state. In this report, first, we propose a user model focusing on operation timings. Next, we derive an occurrence condition for mode confusion. Finally, we propose a detection method for the mode confusion based on an alternating simulation relation. |
| キーワード(和) | 人間機械系 / ハイブリッドシステム / オートメーションサプライズ / モードコンフュージョン / 模倣関係 |
| キーワード(英) | human-machine system / hybrid system / automation surprise / mode confusion / simulation relation |
| 資料番号 | CAS2016-75,MSS2016-55 |
| 発行日 | 2016-11-17 (CAS, MSS) |
| 研究会情報 | |
| 研究会 | MSS / CAS / IPSJ-AL |
|---|---|
| 開催期間 | 2016/11/24(から2日開催) |
| 開催地（和） | 神戸情報大学院大学 |
| 開催地（英） | Kobe Institute of Computing |
| テーマ（和） | グラフ、ペトリネット、ニューラルネット及び一般 |
| テーマ（英） | |
| 委員長氏名（和） | 山根 智(金沢大) / 高橋 俊彦(新潟大) |
| 委員長氏名（英） | Satoshi Yamane(Kanazawa Univ.) / Toshihiko Takahashi(Niigata Univ.) |
| 副委員長氏名（和） | 名嘉村 盛和(琉球大) / 平木 充(ルネサス エレクトロニクス) |
| 副委員長氏名（英） | Morikazu Nakamura(Univ. of Ryukyus) / Mitsuru Hiraki(Renesas) |
| 幹事氏名（和） | 中田 充(山口大) / 豊嶋 伊知郎(東芝) / 越田 俊介(東北大) / 山口 基(ルネサスシステムデザイン) |
| 幹事氏名（英） | Mitsuru Nakata(Yamaguchi Univ.) / Ichiro Toyoshima(Toshiba) / Shunsuke Koshita(Tohoku Univ.) / Motoi Yamaguchi(Renesas) |
| 幹事補佐氏名（和） | 金城 秀樹(沖縄大) / 橘 俊宏(湘南工科大) / 中村 洋平(日立) |
| 幹事補佐氏名（英） | Hideki Kinjo(Okinawa Univ.) / Toshihiro Tachibana(Shonan Inst. of Tech.) / Yohei Nakamura(Hitachi) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Special Interest Group on Algorithms |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 時間情報をもつユーザモデルを用いた人間機械系におけるモードコンフュージョンの検出 |
| サブタイトル（和） | |
| タイトル（英） | Detection of mode confusion in human machine systems using user models with time information. |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 人間機械系 / human-machine system |
| キーワード(2)（和/英） | ハイブリッドシステム / hybrid system |
| キーワード(3)（和/英） | オートメーションサプライズ / automation surprise |
| キーワード(4)（和/英） | モードコンフュージョン / mode confusion |
| キーワード(5)（和/英） | 模倣関係 / simulation relation |
| 第 1 著者 氏名（和/英） | 前田 佳樹 / Yoshiki Maeda |
| 第 1 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 2 著者 氏名（和/英） | 潮 俊光 / Toshimitsu Ushio |
| 第 2 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 発表年月日 | 2016-11-25 |
| 資料番号 | CAS2016-75,MSS2016-55 |
| 巻番号（vol） | vol.116 |
| 号番号（no） | CAS-315,MSS-316 |
| ページ範囲 | pp.109-112(CAS), pp.109-112(MSS), |
| ページ数 | 4 |
| 発行日 | 2016-11-17 (CAS, MSS) |