Modèles de Markov triplet et filtrage de Kalman
Résumé
Kalman filtering enables to estimate a multivariate unobservable process $x = \{x_n\}_{n \in N}$ from an observed multivariate process $y = \{y_n\}_{n \in N}$. It admits a lot of applications, in particular in signal processing. In its classical framework, it is based on a dynamic stochastic model in which x satisfies a linear evolution equation and the conditional law of $y$ given $x$ is given by the laws $p(y_n|x_n)$. In this Note, we propose two successive generalizations of the classical model. The first one, which leads to the "Pairwise" model, consists in assuming that the evolution equation of $x$ is indeed satisfied by the pair $(x, y)$. We show that the new model is strictly more general than the classical one, and yet still enables Kalman-like filtering. The second one, which leads to the "Triplet" model, consists in assuming that the evolution equation of $x$ is satisfied by a triplet $(x, r, y)$, in which $r = \{r_n\}_{n \in N}$ is an (artificial) auxiliary process. We show that the Triplet model is strictly more general than the Pairwise one, and yet still enables Kalman filtering.
Le filtrage de Kalman permet d'estimer un processus multivarié inobservable $x = \{x_n\}_{n \in N}$ à partir d'un processus multivarié observé $y = \{y_n\}_{n \in N}$. Cet outil admet de multiples applications, en particulier en traitement du signal. Dans sa formulation classique, il s'appuie sur un modèle stochastique dynamique dans lequel x vérifie une équation d'évolution linéaire et la loi de $y$ conditionnelle à $x$ est donnée par les lois $p(y_n|x_n)$. Nous proposons dans cette Note deux généralisations successives du modèle classique. La première, qui mène au modèle dit "Couple", consiste à supposer que l'équation d'évolution de $x$ est en fait vérifiée par le couple $(x, y)$. Nous montrons que le nouveau modèle est strictement plus général que le modèle classique et qu'il peut, néanmoins, servir de support à la mise en place d'un filtrage de type Kalman. La deuxième, qui mène au modèle dit "Triplet", consiste à supposer que l'équation d'état est vérifiée par un triplet $(x, r, y)$, où $r = \{r_n\}_{n \in N}$ est un processus auxiliaire, éventuellement sans existence physique. Nous montrons que le modèle Triplet est strictement plus général que le modèle Couple, et permet encore la mise en place du filtrage de Kalman