A Discrete-time Optimal Filtering Approach for Non-linear Systems as a Stable Discretization of the Mortensen Observer

Philippe Moireau (1, 2)

1 M3DISIM - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
2 Université Paris-Saclay

In this work, we seek exact formulations of the optimal estimator and filter for a non-linear framework, as the Kalman filter is for a linear framework. The solution is well established with the Mortensen filter in a continuous-time setting, but we seek here its counterpart in a discrete-time context. We demonstrate that it is possible to pursue at the discrete-time level an exact dynamic programming strategy and we find an optimal estimator combining a prediction step using the model and a correction step using the data. This optimal estimator reduces to the discrete-time Kalman estimator when the operators are in fact linear. Furthermore, the strategy that consists of discretizing the least square criterion and then finding the exact estimator at the discrete level allows to determine a new time-scheme for the Mortensen filter which is proven to be consistent and unconditionally stable, with also a consistent and stable discretization of the underlying Hamilton-Jacobi-Bellman equation.

Mots clés: optimal filtering; Hamilton-Jacobi-Bellman; time-discrete non-linear systems; deterministic observer

Domaines: Optimisation et contrôle [math.OC]; Systèmes dynamiques [math.DS]; Analyse numérique [math.NA]

Philippe Moireau. A Discrete-time Optimal Filtering Approach for Non-linear Systems as a Stable Discretization of the Mortensen Observer. ESAIM: Control, Optimisation and Calculus of Variations, 2018, 24 (4), pp.1815 - 1847. ⟨10.1051/cocv/2017077⟩. ⟨hal-01671271v2⟩