Automatic Generation of User Manuals without Automation Surprises for Human-Machine Systems Modeled by Discrete Event Systems
スポンサーリンク
概要
- 論文の詳細を見る
In human-machine systems, a user gets abstracted information of a machine via an interface and operates it referring to a manual. If a manual has an erroneous description leading to automation surprises, the user may be lost in his/her operations so that he/she may make a serious human error. In this paper, we propose an algorithm for generating a manual by which automation surprises never occur. We model the machine and the interface as a discrete event system and a mapping from machines state to a display of the interface, respectively. First, we represent a manual as a finite language and model behavior of the system operated by the user with the manual as a tree called an operational tree. Next, we characterize three automation surprises using the tree. Finally, we propose an algorithm for generating an operational tree by which the machine reaches a target state.
- （社）電子情報通信学会の論文
- 2008-11-01
著者
-
Ushio Toshimitsu
Graduate School Of Engineering Science Osaka University
-
Ushio Toshimitsu
Graduate School Of Engineering Science At Osaka University
-
TAKAHASHI Satoshi
Mitsubishi Research Institute, Inc.
-
Takahashi Satoshi
Mitsubishi Research Institute Inc.
関連論文
- Adaptive Fair Resource Allocation for Energy and QoS Trade-Off Management
- Adaptive Fair Sharing Control in Real-Time Systems Using Nonlinear Elastic Task Models(Nonlinear Problems)
- Synthesis of Nonautonomous Systems with Specified Limit Cycles(Oscillation, Dynamics and Chaos,Nonlinear Theory and its Applications)
- Analysis of Automation Surprises in Human-Machine Systems with Time Information(Selected Papers from the 18th Workshop on Circuits and Systems in Karuizawa)
- Special Section on Nonlinear Theory and its Applications
- Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate
- Scheduling of Periodic Tasks on a Dynamically Reconfigurable Device Using Timed Discrete Event Systems(Concurrent Systems,Concurrent/Hybrid Systems: Theory and Applications)
- Optimal Configuration for Multiversion Real-Time Systems Using Slack Based Schedulability
- Automatic Generation of User Manuals without Automation Surprises for Human-Machine Systems Modeled by Discrete Event Systems
- Synthesis of Hybrid Systems with Limit Cycles Satisfying Piecewise Smooth Constraint Equations(Selected Papers from the 16th Workshop on Circuits and Systems in Karuizawa)
- PID Congestion Control in ATM with Propagation Delay
- Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters(Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa)
- On-Line Control of Discrete Event Systems with a Maximally Controllable and Observable Sublanguage
- Controlling Chaos in a Hogg-Huberman Model of a Manufacturing System
- Decentralized Supervisory Control of Discrete Event Systems Based on Reinforcement Learning(Concurrent/Hybrid Systems : Theory and Applications)
- Co-scheduling of Communication and Control of Multi-Hop Control Networks
- An Application of Game Automaton to Quantitative Supervisory Control
- An Application of Game Automaton to Quantitative Supervisory Control
- A-12-2 An Approximate Method for Solving Optimal Control Problems of MLD systems