Koopman operator-based model identification and control of hydraulic fracture propagation | IEEE Conference Publication | IEEE Xplore