Reducing computational load in Moving-Horizon Observers using partial explicit map inversion | IEEE Conference Publication | IEEE Xplore