This paper presents an agent model of the dynamics of a human’s functional state in relation to task performance and environment. It can be used in agent systems that support humans in demanding circumstances. Simulation experiments under different parameter settings pointed out that the model is able to produce realistic behaviour of different types of personalities. Moreover, by a mathematical analysis the equilibria of the model have been determined, and by automated checking a number of expected properties of the model have been confirmed.