Discrete models of the human operator in a control system