Problem solving in control of discrete-event systems

Human performance in problem solving in the context of supervisory control of discrete-event systems is discussed. Software packages for such problems usually offer only rudimentary support in the form of visual data entry and algorithmic computations. Other activities such as system modeling and verification of the solution have to be done without computer support. This work is a first step in understanding how humans approach discrete-event control problems. An observational study is described, where subjects are video-taped solving supervisory control problems. One video recording is used to construct a taxonomy of the task and then the different activities of the subject are encoded accordingly. The data are analysed to discover patterns of human activity. These results can be used to guide the design of software for computer-aided problem solving in this context.