A Gradient Condition for the Arrival Cost in Moving Horizon Estimation | IEEE Conference Publication | IEEE Xplore