Data-Driven Prediction of Magnetic Miniature Soft Robots States Based on Koopman Operator Theory | IEEE Conference Publication | IEEE Xplore