A Koopman-operator-theoretical approach for anomaly recognition and detection of multi-variate EEG system. (August 2021)