| Presentation | 2015-01-26 Approximate Simulation Based Verification of Automation Surprises in Human-machine Systems Daiki ISHII, Toshimitsu USHIO, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | We consider a human-machine system where a user operates a machine by using a user interface. The user interface provides the user machine's information that is abstracted and simplified by the user interface. Then, the user observes the machine's state and operates the machine. If the user interface provcides inadequate information for the user, the machine's response to the operation may be different from his/her expected one. Such a situation is called an automation surprise, which may lead to a serious accident. In this report, we model the human-machine system as a transition system with temporal information and define the automation surprises formally. We propose an approximate simulation based method for the verification of the existence of the automation surprises. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Human-machine system / Transition system / Automation surprise / Approximate simulation relation / Approximate alternating simulation relation |
| Paper # | MSS2014-73,SS2014-37 |
| Date of Issue |
| Conference Information | |
| Committee | MSS |
|---|---|
| Conference Date | 2015/1/19(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Mathematical Systems Science and its applications(MSS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Approximate Simulation Based Verification of Automation Surprises in Human-machine Systems |
| Sub Title (in English) | |
| Keyword(1) | Human-machine system |
| Keyword(2) | Transition system |
| Keyword(3) | Automation surprise |
| Keyword(4) | Approximate simulation relation |
| Keyword(5) | Approximate alternating simulation relation |
| 1st Author's Name | Daiki ISHII |
| 1st Author's Affiliation | Graduate school of Engineering Science, Osaka university() |
| 2nd Author's Name | Toshimitsu USHIO |
| 2nd Author's Affiliation | Graduate school of Engineering Science, Osaka university |
| Date | 2015-01-26 |
| Paper # | MSS2014-73,SS2014-37 |
| Volume (vol) | vol.114 |
| Number (no) | 415 |
| Page | pp.pp.- |
| #Pages | 5 |
| Date of Issue | |