Turbulence modeling and Kalman prediction for the control of large AO systems | IEEE Conference Publication | IEEE Xplore