Model-based Control in Adaptive Optics Systems