| Presentation | 2016-11-25 Detection of mode confusion in human machine systems using user models with time information. Yoshiki Maeda, Toshimitsu Ushio, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | 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. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | human-machine system / hybrid system / automation surprise / mode confusion / simulation relation |
| Paper # | CAS2016-75,MSS2016-55 |
| Date of Issue | 2016-11-17 (CAS, MSS) |
| Conference Information | |
| Committee | MSS / CAS / IPSJ-AL |
|---|---|
| Conference Date | 2016/11/24(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Kobe Institute of Computing |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Satoshi Yamane(Kanazawa Univ.) / Toshihiko Takahashi(Niigata Univ.) |
| Vice Chair | Morikazu Nakamura(Univ. of Ryukyus) / Mitsuru Hiraki(Renesas) |
| Secretary | Morikazu Nakamura(Yamaguchi Univ.) / Mitsuru Hiraki(Toshiba) / (Tohoku Univ.) |
| Assistant | Hideki Kinjo(Okinawa Univ.) / Toshihiro Tachibana(Shonan Inst. of Tech.) / Yohei Nakamura(Hitachi) |
| Paper Information | |
| Registration To | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Special Interest Group on Algorithms |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Detection of mode confusion in human machine systems using user models with time information. |
| Sub Title (in English) | |
| Keyword(1) | human-machine system |
| Keyword(2) | hybrid system |
| Keyword(3) | automation surprise |
| Keyword(4) | mode confusion |
| Keyword(5) | simulation relation |
| 1st Author's Name | Yoshiki Maeda |
| 1st Author's Affiliation | Osaka University(Osaka Univ.) |
| 2nd Author's Name | Toshimitsu Ushio |
| 2nd Author's Affiliation | Osaka University(Osaka Univ.) |
| Date | 2016-11-25 |
| Paper # | CAS2016-75,MSS2016-55 |
| Volume (vol) | vol.116 |
| Number (no) | CAS-315,MSS-316 |
| Page | pp.pp.109-112(CAS), pp.109-112(MSS), |
| #Pages | 4 |
| Date of Issue | 2016-11-17 (CAS, MSS) |