TY - RPRT TI - On input-to-state stability verification of identified models obtained by Koopman operator AU - Wenjie Mei AU - Dongzhe Zheng AU - Yu Zhou AU - Ahmad Taha AU - Chengyan Zhao PY - 2024 UR - https://arxiv.org/abs/2309.01242 ID - 2309.01242 ER -