Sciweavers

2 search results - page 1 / 1
» The MPC elucidator: a case study in the design for human-aut...
Sort
View
TSMC
2002
95views more  TSMC 2002»
13 years 4 months ago
The MPC elucidator: a case study in the design for human-automation interaction
In this paper, we describe the design of a decision support system for operators of model-based predictive controllers (MPC). MPC is a form of advanced automatic control that is in...
Stephanie A. Guerlain, G. A. Jamieson, P. Bullemer...
HF
2002
95views more  HF 2002»
13 years 4 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann