Operator functional state modelling and adaptive control of automation in human-machine systems