Shen Zeng: On Systems Theoretic Aspects of Koopman Operator Theoretic Frameworks. CDC 2018: 6422-6427