zbMATH — the first resource for mathematics

Theories, models, and human-machine systems. (English) Zbl 0572.90061
The paper briefly reviews different approaches of describing human behaviour in complex human-machine systems, as air traffic control systems, nuclear reactor control rooms, automated office systems. Each of these methods uses one of the following theories: classical control theory, information theory, queueing theory or Petri nets, but it is only able to describe a narrow aspect of the operator’s behaviour. The author argues that ”there is a need for a theory of the human operator rich enough to consider the human’s complex behaviour in diverse situations” and suggests such a theory based on predicate calculus.
The human operator’s behaviour is described as a dynamic system in terms of a relation between its input and output in dependence to the initial state. Special attention is given to procedures (some well defined forms of the operator’s behaviour). Axioms are suggested which describe the way how active procedures influence the operator’s behaviour in this complex setting. The formation of the theory as well as its usefulness is demonstrated on a very carefully treated example of bicycle riding.
Reviewer: O.Štěpánková

90B99 Operations research and management science
03C65 Models of other mathematical theories
68U20 Simulation (MSC2010)
Full Text: DOI