Koopman Resolvents of Nonlinear Discrete-Time Systems: Formulation and Identification | IEEE Conference Publication | IEEE Xplore