Learning system abstractions for human operators
Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary · 2011
This paper is concerned with the use of formal techniques for the analysis of human-machine interactions (HMI). The focus is on generating system abstractions for human operators. Such abstractions, once expressed in rigorous, formal notations, can be used for analysis or for user training. They should ideally be minimal in order to concisely capture the system behaviour. They should also contain enough information to allow full-control of the system.