Data-driven Koopman operators for model-based shared control of human–machine systems. (August 2020)