Koopman Linearization for Data-Driven Batch State Estimation of Control-Affine Systems | IEEE Journals & Magazine | IEEE Xplore