Keyword : automation surprises


Automatic Generation of User Manuals without Automation Surprises for Human-Machine Systems Modeled by Discrete Event Systems
Toshimitsu USHIO Satoshi TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/11/01
Vol. E91-A  No. 11 ; pp. 3237-3244
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
discrete event systemshuman-machine systemsuser manualautomation surprises
 Summary | Full Text:PDF(261.7KB)

Analysis of Automation Surprises in Human-Machine Systems with Time Information
Masakazu ADACHI Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/04/01
Vol. E89-A  No. 4 ; pp. 1027-1034
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 18th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
automation surpriseshuman-machine systemstimed automatatimed simulationcomposite model
 Summary | Full Text:PDF(347.9KB)

Formal Detection of Three Automation Surprises in Human-Machine Interaction
Yoshitaka UKAWA Toshimitsu USHIO Masakazu ADACHI Shigemasa TAKAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11 ; pp. 2878-2884
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems)
Category: Concurrent Systems
Keyword: 
human-machine interactioncomposite modelautomation surprisesmode confusionrefusal stateblocking state
 Summary | Full Text:PDF(347.2KB)