Brevet FR3137450A1 — publié le 20240105

L’invention concerne un procédé de mesure de la position d’un dispositif à partir d’un réseau de satellites dans un système prédictif à filtre de gain K variable, ledit gain K étant représenté par un vecteur de coefficients de gain variables, ledit procédé, mis en œuvre par le dispositif, comprenant notamment à chaque itération suivant un instant t les étapes de minimisation de l’espérance du carré de l’innovation du filtre à l’instant t+1, l’innovation étant calculée à partir des coefficients du gain, afin d’améliorer la précision du positionnement. Figure pour l’abrégé : Figure 1 Procédé de détermination de la position d’un dispositif à partir d’un réseau de satellites dans un système prédictif La présente invention se rapporte au domaine du positionnement par satellite et concerne plus particulièrement un procédé et un dispositif de géolocalisation. Au fil des années, les techniques de positionnement et de navigation ont été révolutionnées grâce aux systèmes mondiaux de navigation par satellite (Global Navigation Satellite Systems ou GNSS). Aujourd'hui, le positionnement et la navigation par satellite sont des outils importants pour la sécurité, notamment la sécurité maritime, les systèmes de guidage balistique ou le suivi de véhicules et de personnels. Notamment, diverses phases de vol, circulation des navires, en route, en approche ou à l'atterrissage sont réalisées par positionnement par satellite étant donné que les systèmes mondiaux de navigation par satellite ont une couverture planétaire et ne nécessitent pas d'aide à la navigation au sol, ce qui permet une planification d'itinéraire optimale, un espace aérien et océanique amélioré et une réduction des coûts opérationnels. La principale préoccupation dans les applications utilisant le positionnement par satellite concerne la fiabilité et la continuité. Les algorithmes de positionnement par satellite sont maintenant conçus et évalués à l'aide d'une métrique de performance importante appelée intégrité pour prévenir ses dysfonctionnements et assurer sa fiabilité - gage de confiance placée dans un système. Ceci est réalisé en émettant des alertes lorsque l'utilisation du système de positionnement par satellite n'est pas sûre. Dans ces systèmes mondiaux de navigation par satellite, les satellites émettent des signaux permettant aux récepteurs de calculer leur position. Ces signaux sont obtenus par modulation de phase d’une porteuse avec des messages codés et sont disponibles sur plusieurs fréquences. Le récepteur, par exemple présent dans un smartphone ou un système de localisation embarqué dans un véhicule, comprend une puce à faible coût qui permet la réception d'une seule fréquence et assure le positionnement sur les mesures de code uniquement, sans inclure d’algorithme de mesure de correction. Cette méthode de positionnement permet d'obtenir une précision de la commande de l’ordre de cinq mètres dans les zones ouvertes. En incluant un algorithme de correction de mesure par exemple basé sur un filtre de Kalman, il est possible d’obtenir une précision de l'ordre du mètre. Cependant, cette précision est insuffisante pour certaines applications qui nécessitent une précision centimétrique telles que, par exemple, les véhicules autonomes et semi-autonomes, quel que soit l'environnement (autoroute, urbain, etc.) dans lequel ils opèrent. L’obtention d’une précision centimétrique de la géolocalisation s’avère compliquée lorsque le signal est perturbé, notamment en milieu urbain avec la présence d'obstacles qui peuvent bloquer ou réfléchir les signaux provenant des satellites. Cette précision, déjà obtenue en milieu ouvert grâce à l'utilisation d'un filtre fusionnant, peut être obtenue en zone urbaine en combinant les mesures obtenues à l’aide des signaux satellites avec des données de plusieurs capteurs et avec un choix de filtre approprié associé à un modèle dynamique. Cependant, de tels systèmes multi-capteurs sont complexes et onéreux. Dans ce contexte, il est essentiel de concevoir le meilleur algorithme de filtrage possible pour le positionnement GNSS du véhicule. Jusqu'à présent, l'algorithme de positionnement par satellite basé sur le filtre de Kalman étendu est reconnu comme l'outil le plus puissant et le plus largement utilisé pour le traitement des signaux satellites afin d’assurer une estimation de position fiable. La raison en est que le filtre de Kalman est récursif dans le temps et prend en compte la contribution de toutes les mesures de manière optimale, en ne traitant que les mesures actuelles sans avoir besoin de mémoriser toutes les données passées. Notamment, pour les systèmes d'entrée-sortie linéaires, le filtre de Kalman est le meilleur estimateur linéaire au sens de l'erreur quadratique moyenne minimale (MMSE) à condition que les covariances de processus et de mesure soient connues exactement. La difficulté d'avoir des statistiques précises est un obstacle important et pratiquement insurmontable pour garantir un positionnement précis du véhicule par le filtre de Kalman. Il existe de nombreuses tentatives pour surmonter cette difficulté et la plupart d'entre elles sont basées sur l'estimation en ligne des matrices de covariance pour améliorer les performances du filtre de Kalman qui est alors dit « adaptatif » (AKF). Il existe donc un besoin d’une solution permettant de remédier au moins en partie à ces inconvénients. Un des buts de l’invention est de proposer une solution simple, efficace et précise de géolocalisation. Un autre but de l’invention est de proposer une solution alternative de filtre adapté à la géolocalisation. Un autre but de l’invention est de proposer une solution technique permettant d’améliorer la précision de la géolocalisation par rapport à une solution utilisant un filtre de Kalman, notamment en présence d’obstacles qui rendent le traitement non linéaire. Un autre but de l’invention est de proposer une solution de détection précoce de la dégradation de la qualité des signaux de géolocalisation. A cette fin, l’invention a tout d’abord pour objet un procédé de mesure de la position géographique d’un dispositif à partir d’un réseau de satellites dans un système de prévision (i.e. prédictif) à filtre de gain variable, ledit gain étant représenté par un vecteur de coefficients de gain variables, ledit procédé, mis en œuvre par le dispositif, comprenant, pour une itération à un instant t+1, les étapes de : - réception de signaux émis par une pluralité de satellites du réseau de satellites, - détermination de la position et/ou de la vitesse du dispositif à un instant (t+1) à partir des signaux reçus, appelée « observation à l’instant (t+1) », - calcul de la meilleure prédiction de l’état du système à l’instant (t+1) à partir d’une estimation prédéterminée de l’état du système à l’instant t et d’un modèle représentatif du système entre l’instant t et l’instant (t+1), - calcul de la prédiction de l’observation à l’instant (t+1) comme étant le produit d’une matrice d’observation prédéterminée et de la meilleure prédiction de l’état du système à l’instant (t+1) calculée, - calcul de l’innovation du filtre à l’instant (t+1) comme étant la différence entre l’observation à l’instant (t+1) et la prédiction de l’observation à l’instant (t+1), - détermination du vecteur de coefficients du gain à l’instant (t+1) par minimisation du carré de la norme de l’innovation du filtre à l’instant (t+1) calculée à l’étape précédente, - calcul du gain à l’instant (t+1) en faisant une correction par approximation stochastique par moyennage des coefficients de gain du vecteur de coefficients du gain déterminé, - calcul de l’estimation de l’état du système à l’instant (t+1) comme étant la somme de la meilleure prédiction de l’état du système à l’instant (t+1) calculée et du produit du gain à l’instant (t+1) par l’innovation du filtre à l’instant (t+1) calculée, - détermination de la position du dispositif à partir de l’estimation de l’état du système à l’instant (t+1) calculée. Le procédé selon l’invention permet une précision de géolocalisation importante grâce à l’utilisation d’un filtre adaptatif stable. La minimisation de l’espérance du carré de l’innovation du filtre à l’instant t+1 calculée à partir des paramètres du gain correspond à la minimisation de l’espérance mathématique du carré de la distance entre l’observation à l’instant t et sa prédiction calculée, ce qui rend les calculs simples et nécessitant donc moins de puissance de calcul que pour un filtre de Kalman. Le vecteur de coefficients de gain est un vecteur de paramètres à définir à chaque étape (paramètres de contrôle) dans le gain du filtre. Sous une condition dite d'ergodicité, la minimisation de l'espérance mathématique du carré de la norme de l’innovation du filtre dans l'espace des probabilités est équivalente à la minimisation de la moyenne temporelle du carré de la norme de l’innovation du filtre. Cela permet de déduire l’équation de récurrence pour calculer les paramètres du contrôle dans le gain. Ainsi, avantageusement, le problème de minimisation d'origine peut être remplacé par la minimisation en moyenne temporelle, ce qui n’est pas le cas dans un filtre de Kalman. Le procédé selon l’invention ne nécessite pas de spécification de statistiques d'entrée de variables aléatoires (en particulier, l’erreur du modèle, l’erreur d’observation, …). Le procédé selon l’invention s’approche du régime optimal au fur que le processus de filtrage progresse. En outre, le moyennage du gain dans le temps permet un lissage qui stabilise le filtre et donc réduit l'erreur. Le filtre de Kalman est théoriquement optimal uniquement lorsque les statistiques des erreurs de mesure et de modèle sont connues avec précision exacte et que, de plus, le modèle est linéaire, ce qui est rarement le cas en pratique. Le procédé selon l’invention n’est pas contraint par cette restriction, l'utilisation de l'AF permet ainsi une géolocalisation très précise, notamment en présence d’obstacles autour du dispositif qui font perdre la connaissance des statistiques d’erreur et rendraient le filtrage de Kalman non linéaire. En pratique, la majorité des systèmes dynamiques et d'observation sont non linéaires. Le filtre de Kalman n'est optimal que pour les problèmes de filtrage linéaire. Le filtre de Kalman étendu (EKF), extension du KF pour les systèmes non linéaires, n'est pas optimal. Du fait de la minimisation itérative temporelle de l’espérance mathématiques du carré de la norme de l’innovation, le procédé selon l’invention ne nécessite pas de linéarisation pour les systèmes non linéaires, il conserve une optimalité des filtres non linéaires. Pour les grandes erreurs de modèle et d'observation, les écarts importants entre les statistiques introduites et les statistiques réelles conduisent à une spécification de gain plus mauvaise dans le filtre de Kalman. Par conséquent, les erreurs d'estimation, voire les divergences, peuvent devenir importantes avec un filtre de Kalman. Le procédé selon l’invention apprend les incertitudes du modèle et les statistiques d'erreur d'observation grâce à des réalisations d'innovation du filtre et est capable de maintenir les erreurs d'estimation à un niveau faible, synonyme de robustesse. Le filtre utilisé dans le procédé selon l’invention est stable, notamment car il n’est pas contraint par la solution des équations de Riccati pour les matrices de covariance d'erreur comme cela est le cas avec un filtre de Kalman. Le procédé selon l’invention constitue un procédé à la fois simple et efficace pour le positionnement par satellite, sous de faibles conditions de la connaissance des statistiques de bruit. Le procédé selon l’invention permet notamment une estimation plus précise dans le cadre du positionnement par satellites, avec une charge de calcul et une exigence de stockage limitées. De préférence, le procédé comprend en outre, à chaque itération, une étape de bornage des coefficients de gain variables entre un minimum et un maximum afin d’améliorer le lissage tout en étant plus simple qu’une solution évidente utilisant un Hessien. De préférence encore, les coefficients du gain sont bornés entre une valeur minimale égale à une variable de bornage ε (petite et positive) et une valeur maximale égale à (2 - ε). Dans une forme de réalisation, les calculs, notamment sur les coefficients de gain, sont réalisés par un réseau de neurones à partir d’un échantillon prédéterminé. Avantageusement, le modèle représentatif du système est dépourvu du paramètre « accélération », qui est considéré comme un forçage, c’est-à-dire qu’elle est traitée mathématiquement. Cela permet d’optimiser la taille du modèle, donc de réduire le nombre de traitements et donc d’erreurs, augmentant ainsi la précision des prédictions et donc de la localisation. L’invention concerne également un produit programme d’ordinateur remarquable en ce qu’il comporte un ensemble d’instructions de code de programme qui, lorsqu’elles sont exécutées par un ou plusieurs processeurs, configurent le ou les processeurs pour mettre en œuvre un procédé tel que présenté précédemment. L’invention concerne également un module de mesure de la position géographique d’un dispositif à partir d’un réseau de satellites dans un système prédictif à filtre de gain variable, ledit gain étant représenté par un vecteur de paramètres variables, ledit module, embarqué dans ledit dispositif, étant configuré pour : - recevoir des signaux émis par une pluralité de satellites du réseau de satellites, - déterminer la position et/ou de la vitesse du dispositif à un instant (t+1) à partir des signaux reçus, appelée « observation à l’instant (t+1) », - calculer la meilleure prédiction de l’état du système à l’instant (t+1) à partir d’une estimation prédéterminée de l’état du système à l’instant (t) et d’un modèle représentatif du système entre l’instant (t) et l’instant (t+1), - calculer la prédiction de l’observation à l’instant (t+1) comme étant le produit d’une matrice d’observation prédéterminée et de la meilleure prédiction de l’état du système à l’instant (t+1) calculée, - calculer l’innovation du filtre à l’instant (t+1) comme étant la différence entre l’observation à l’instant (t+1) et la prédiction de l’observation à l’instant (t+1), - déterminer le vecteur de coefficients du gain à l’instant (t+1) par minimisation du carré de la norme de l’innovation du filtre à l’instant (t+1) calculée, - calculer le gain à l’instant (t+1) en faisant une correction par approximation stochastique par moyennage des coefficients de gain du vecteur de coefficients du gain déterminé, - calculer l’estimation de l’état du système à l’instant (t+1) comme étant la somme de la meilleure prédiction de l’état du système à l’instant (t+1) calculée et du produit du gain (K) à l’instant (t+1) par l’innovation du filtre à l’instant (t+1) calculée, - déterminer la position du dispositif à partir de l’estimation de l’état du système à l’instant (t+1) calculée. De préférence, le module de mesure est configuré pour borner les coefficients de gain variables entre un minimum et un maximum. De préférence, le module de mesure est configuré pour borner entre un minimum égal à une variable de bornage ε et un maximum égal à une variable de bornage (2 - ε). Avantageusement, le module de mesure comprend un réseau de neurones configuré pour réaliser les calculs en étant optimisé à partir d’un échantillon prédéterminé. Avantageusement, le module de mesure est configuré pour stocker et utiliser un modèle, représentatif du système, dépourvu du paramètre « accélération ». L’invention concerne également un dispositif, notamment mobile, comprenant un module de mesure tel que présenté précédemment. L’invention concerne également un système de géolocalisation par satellites, ledit système comprenant une pluralité de satellites, configurés pour émettre chacun des signaux de géolocalisation, et au moins un module tel que présenté précédemment et/ou au moins un dispositif tel que présenté précédemment. D’autres caractéristiques et avantages de l’invention apparaîtront encore à la lecture de la description qui va suivre. Celle-ci est purement illustrative et doit être lue en regard des dessins annexés sur lesquels : La illustre schématiquement une forme de réalisation du système selon l’invention. La illustre schématiquement un mode de réalisation du procédé selon l’invention. La illustre un premier exemple de comparaison entre le filtre de Kalman et le procédé selon l’invention avec les mêmes données d’entrée. La illustre un exemple d’erreur sur la trajectoire d’un véhicule avec un filtre de Kalman (art antérieur). La illustre un exemple d’erreur sur la trajectoire d’un véhicule avec le procédé selon l’invention. On a représenté à la un exemple de système 1 de géolocalisation par satellites. Le système 1 comprend une constellation de satellites S1, S2, S3, S4 et un dispositif 10 selon l’invention. Sur la , seuls quatre satellites S1, S2, S3, S4 ont été représentés par souci de clarté, mais il va de soi que le système 1 peut comprendre plus de quatre satellites S1, S2, S3, S4, notamment des dizaines de satellites pour pouvoir géolocaliser un dispositif 10 dans la plupart des régions du globe, voire dans toutes les régions du globe. Chaque satellite S1, S2, S3, S4 est configuré pour émettre des signaux S10, S20, S30, S40 de géolocalisation. Le dispositif 10, par exemple un smartphone ou un véhicule, comprend un module de mesure 100 configuré pour mesurer la position dudit dispositif 10 à partir des signaux S10, S20, S30, S40 émis par les satellites S1, S2, S3, S4. Le module de mesure 100, embarqué dans le dispositif 10, est configuré pour recevoir des signaux S10, S20, S30, S40 émis par une pluralité de satellites S1, S2, S3, S4 de l’ensemble de satellites S1, S2, S3, S4. Le module de mesure 100 est configuré pour déterminer la position et/ou la vitesse du dispositif 10 à un instant (t+1) à partir des signaux S10, S20, S30, S40 reçus, appelée « observation à l’instant (t+1) ». Le module de mesure 100 est configuré pour déterminer la position p(t+1) et/ou la vitesse v(t+1) du dispositif 10 à l’instant (t+1) en utilisant des mesures et un modèle prédictif basé sur un filtre spécifique. Le modèle prédictif permet de déterminer l’état du système par itérations successives. A cette fin, le module de mesure 100 est configuré pour déterminer une prédiction de l’état du système à un instant t+1 à partir de la prédiction réalisé à l’itération précédente à l’instant t, d’un gain K du filtre à l’instant t, d’un modèle Φ représentatif du système entre l’instant t et l’instant t+1 et de l’innovation du filtre à l’instant t+1. Le gain K est paramétré par un vecteur de coefficients de gain θ1, θ2, …, θn variables. Une structure de gain possible, employée dans la présente mise en œuvre, est donnée par les équations [Math 36] et [Math 37] ci-après. Les fonctions du module de mesure 100 permettant de mettre en œuvre ce modèle prédictif vont maintenant être décrites pour une itération réalisée à un instant t+1. Le module de mesure 100 est configuré pour calculer la meilleure prédiction de l’état du système à l’instant t+1, notée , à partir d’une estimation prédéterminée de l’état du système à l’instant t, notée , et d’un modèle Φ de paramètres représentatifs du système. Le module de mesure 100 est configuré pour calculer la prédiction de l’observation à l’instant t+1, notée , comme étant le produit d’une matrice d’observation H prédéterminée et de la meilleure prédiction de l’état du système à l’instant t+1 calculée. Le module de mesure 100 est configuré pour calculer l’erreur de prédiction du filtre, appelée « innovation », notée , à l’instant t+1 comme étant la différence entre l’observation à l’instant t+1 et la prédiction de l’observation à l’instant t+1. Le module de mesure 100 est configuré pour calculer l’estimation de l’état du système à l’instant t+1 comme étant la somme de la meilleure prédiction de l’état du système à l’instant t+1 calculée et du produit du gain K à l’instant (t+1) par l’innovation du filtre à l’instant t+1 calculée. Le module de mesure 100 est configuré pour déterminer le vecteur de coefficients du gain θ1, θ2, … θn à l’instant (t+1) par minimisation du carré de la norme de l’innovation du filtre à l’instant (t+1). A cette fin, le module de mesure 100 peut être configuré pour calculer le gradient du carré de l’innovation du filtre à l’instant t+1 à partir des coefficients de gain θ1, θ2, … θn variables du gain K. Le module de mesure 100 est configuré pour calculer le gain K à l’instant (t+1), de préférence en faisant une correction par approximation stochastique par moyennage des coefficients de gain θ1, θ2, … θn du vecteur de coefficients du gain déterminé afin d’améliorer la précision de la localisation. Dans le présent exemple, l’approximation stochastique par moyennage comprend la détermination d’un vecteur des coefficients de gain θ(t+1) à l’instant (t+1) par minimisation du carré de la norme de l’innovation du filtre à l’instant (t+1) comme décrit ci-avant et sa mise en jour en le remplaçant par la moyenne des vecteurs de coefficients de gain mis à jour aux itérations précédentes θ(1), θ(2), … θ(t). Dans le cas où le modèle Φ est linéaire, cela revient à calculer le gain K(t+1) à l’instant (t+1) pour l’itération suivante par approximation stochastique par moyennage des gains K(1), …, K(t) entre l’instant 1 et l’instant t. Le module de mesure 100 est configuré pour borner à chaque itération les coefficients de gain θ1, θ2, … θn variables entre un minimum et un maximum. De préférence, le minimum est égal à une variable de bornage ε et le maximum est égal à (2 - ε). Le modèle Φ est une matrice qui décrit la transition de l’état du système de l’instant t à l’instant (t+1). De préférence, le modèle Φ sert à calculer la position et/ou la vitesse, de préférence à la fois la position et la vitesse, dans le vecteur d’état x(t+1) mais est dépourvu de paramètre d’accélération, ce qui augmente la précision des prédictions et donc de la localisation. L’accélération présente dans le modèle est calculée en utilisant la vitesse estimée. Il est possible d’ajouter d’autres paramètres (associés ou non à des capteurs supplémentaires). Si le modèle est non-linéaire, cette matrice est obtenue par linéarisation. Elle peut être calculée une fois à la première itération puis conservée pour les itérations ultérieures. Le module de mesure 100 est configuré pour déterminer l’estimation de l’état du système à l’instant (t+1), notée , comme étant la somme de la meilleure prédiction de l’état du système à l’instant t+1 et du produit du gain K à l’instant t+1 par l’innovation du filtre à l’instant t+1: . Le module de mesure 100 est configuré pour déterminer la position du dispositif 10 à l’instant (t+1) à partir de l’estimation de l’état du système à l’instant (t+1), notée . L'état du système x(t+1) est un vecteur colonne comportant les coordonnées de position du dispositif 10 à l’instant (t+1) et les coordonnées de vitesse du dispositif 10 à l’instant (t+1) : Le module de mesure 100 est configuré pour déterminer l'estimation des coordonnées de position au temps (t+1) par projection de l’estimation de l’état du système à l’instant (t+1). Dans ce cas, l'évolution de la position du dispositif 10 peut être décrite selon l’équation suivante : De même, l'évolution de la vitesse du dispositif 10 peut être décrite selon l’équation suivante : Il existe donc une matrice Φ telle que x(t+1) = Φ. x(t) + A(t) + W(t), où le bruit W(t) est le vecteur colonne (w(t), w'(t)), et où A(t) est une fonction qui ne dépend que de l'accélération. Cette matrice Φ est le modèle intervenant dans l'algorithme et est définie de préférence une seule fois avant ou lors de la première itération. Le module de mesure 100 comprend au moins un processeur apte à mettre en œuvre un ensemble d’instructions permettant de réaliser ces fonctions. Exemple de mise en œuvre Un exemple de mise en œuvre du procédé de mesure de la position du dispositif 10 va maintenant être décrit en référence notamment à la . On considère que le procédé a été préalablement mis en œuvre pendant t itérations entre un instant 1 et un instant (t). Les étapes du procédé sont décrites ci-après pour l’instant (t+1). Dans une étape E1, le dispositif reçoit les signaux S10, S20, S30, S40 émis par les satellites S1, S2, S3, S4 puis le module de mesure 100 détermine, dans une étape E2 la position et la vitesse du dispositif à l’instant (t+1) à partir des signaux reçus, appelée « observation à l’instant (t+1) » notée de manière connue en soi. Le module de mesure 100 calcule ensuite, dans une étape E3, la meilleure prédiction de l’état du système à l’instant (t+1), notée , à partir d’une estimation prédéterminée de l’état du système à l’instant (t) (déterminée à l’itération précédente t), notée , et d’un modèle représentatif du système entre l’instant (t) et l’instant (t+1), noté Φ : . où est l’estimation de l’accélération et B est la matrice des coefficients issue du développement limité à l’ordre 2 des positions et à l’ordre 1 des vitesses. Le module de mesure 100 calcule ensuite, dans une étape E4, la prédiction de l’observation à l’instant t+1 comme étant le produit d’une matrice d’observation H prédéterminée et de la meilleure prédiction de l’état du système à l’instant t+1 calculée à l’étape E3: . Le module de mesure 100 calcule ensuite, dans une étape E5, l’innovation du filtre à l’instant t+1, notée comme étant la différence entre l’observation à l’instant t+1, notée calculée à l’étape E2, et la prédiction de l’observation à l’instant t+1 calculée à l’étape E4 : . A l’itération courante (t+1), le dispositif calcule ensuite, dans une étape E6, les coefficients du gain K à l’instant t+1. A cette fin, le module de mesure 100 minimise l’espérance du carré de la norme de l’innovation du filtre à l’instant t+1 à partir de l’équation : . Cette équation peut par exemple être résolue numériquement à partir de la méthode connue SPSA (Simultaneous Perturbation Stochastic Approximation), cette méthode connue nécessitant le calcul du gradient de la norme au carré de l’innovation à l’instant (t+1) pour déterminer le minimum. La résolution de cette équation permet de déterminer le vecteur θ(t+1) = (θ1, θ2, … θn) qui minimise l’espérance du carré de la norme de l’innovation à l’instant (t+1). Le module de mesure 100 calcule ensuite, dans une étape E7, le gain K(θ(t+1)) à l’instant t+1 de préférence à partir du vecteur θ calculé à l’étape E6 selon la formule suivante : où Où , P 0 peut être la matrice de covariance initiale utilisée de manière connue dans une filtre de Kalman de l’art antérieur, Q est une matrice symétrique semi-définie positive arbitraire, mais de préférence choisie proche de la matrice de covariance du bruit du modèle, c'est-à-dire du bruit W(t) dans l'équation x(t+1) = Φ.x(t) + W(t) décrite ci-avant. Le dispositif calcule ensuite, dans une étape E8, l’estimation de l’état du système à l’instant (t+1), notée , comme étant la somme de la meilleure prédiction de l’état du système à l’instant t+1 calculée à l’étape E3, et du produit du gain K à l’instant t+1 (calculé à l’étape E7) par l’innovation du filtre à l’instant t+1 (calculée à l’étape E5: . Cette estimation de l’état du système à l’instant t+1 sera ensuite utilisée lors de l’étape E3 de l’itération suivante à l’instant t+2. La position p(t+1) du dispositif 10 est déterminée à l’instant (t+1) dans une étape E9. L'état du système x(t+1) est un vecteur colonne comportant les coordonnées de position du dispositif 10 à l’instant (t+1) et les coordonnées de vitesse du dispositif 10 à l’instant (t+1) : L'estimation des coordonnées de position au temps (t+1) est obtenue par projection de l’estimation de l’état du système à l’instant (t+1). Ainsi, l'évolution de la position du dispositif 10 est décrite selon l’équation suivante : De même, l'évolution de la vitesse du dispositif 10 est décrite selon l’équation suivante : Il existe donc une matrice Φ telle que x(t+1) = Φ. x(t) + A(t) + W(t), où le bruit W(t) est le vecteur colonne (w(t), w'(t)), et où A(t) est une fonction qui ne dépend que de l'accélération. Cette matrice Φ est le modèle décrit précédemment intervenant dans l'algorithme et est définie de préférence une seule fois avant ou lors de la première itération. Exemples de simulations On a représenté sur la un exemple de comparaison de l'erreur quadratique entre la trajectoire réelle et la trajectoire estimée (c'est-à-dire la norme au carré de la différence des trajectoires réelle et estimée à chaque instant) avec un procédé de l’art antérieur basé sur un filtre de Kalman (courbe du haut AA, légendée « Error NN TKF ») et avec le procédé selon l’invention (courbe du bas INV, légendée « Error NN TAF ») pour un dispositif 10 mobile passant sous un pont entre deux instants t1 et t2. L’axe des abscisses représente le nombre d’itérations du procédé. L’axe des ordonnées représente l'erreur quadratique (en mètre), c’est-à-dire le carré de l'écart entre la trajectoire estimée et la trajectoire de référence. On constate que le procédé de l’art antérieur basé sur un filtre de Kalman génère une erreur atteignant plus de cinq mètres alors que le procédé selon l’invention génère une erreur ne dépassant pas 0,3 mètre. La illustre un exemple montrant l’erreur obtenu sur une trajectoire donnée avec un filtre de Kalman de l’art antérieur. L’axe des abscisses représente une distance (en mètre) selon une première direction. L’axe des ordonnées représente une distance (en mètre) selon une deuxième direction. Le trait noir représente la trajectoire réelle REAL suivie par le dispositif 10 mobile (ensemble des positions réelles). Le trait clair représente les positions mesurées en l’absence de filtrage MEAS. Le trait gris intermédiaire représente les positions mesurées avec un filtrage de Kalman de l’art antérieur AA. La illustre un exemple montrant l’erreur obtenu sur la même trajectoire donnée avec un filtre selon l’invention. L’axe des abscisses représente une distance (en mètre) selon une première direction. L’axe des ordonnées représente une distance (en mètre) selon une deuxième direction. Le trait noir représente la trajectoire réelle REAL suivie par le dispositif 10 mobile (ensemble des positions réelles). Le trait clair représente les positions mesurées en l’absence de filtrage MEAS. Le trait gris intermédiaire représente les positions mesurées avec un filtrage selon l’invention INV. On constate que les positions déterminées avec le filtre selon l’invention sont significativement plus proches de la trajectoire réelle que celles déterminées avec un filtre de Kalman de l’art antérieur. Procédé de mesure de la position géographique d’un dispositif (10) à partir d’un réseau de satellites (S1, S2, S3, S4) dans un système prédictif à filtre de gain (K) variable, ledit gain (K) étant représenté par un vecteur de coefficients de gain variables, ledit procédé, mis en œuvre par le dispositif (10), comprenant à chaque itération suivant un instant t les étapes de : - réception (E1) de signaux (S10, S20, S30, S40) émis par une pluralité de satellites (S1, S2, S3, S4) du réseau de satellites (S1, S2, S3, S4), - détermination (E2) de la position et/ou de la vitesse du dispositif (10) à un instant (t+1) à partir des signaux (S10, S20, S30, S40) reçus, appelée « observation à l’instant (t+1) », - calcul (E3) de la meilleure prédiction de l’état du système à l’instant (t+1) à partir d’une estimation prédéterminée de l’état du système à l’instant (t) et d’un modèle représentatif du système entre l’instant (t) et l’instant (t+1), - calcul (E4) de la prédiction de l’observation à l’instant (t+1) comme étant le produit d’une matrice d’observation prédéterminée et de la meilleure prédiction de l’état du système à l’instant (t+1) calculée, - calcul (E5) de l’innovation du filtre à l’instant (t+1) comme étant la différence entre l’observation à l’instant (t+1) et la prédiction de l’observation à l’instant (t+1), - détermination (E6) le vecteur de coefficients du gain à l’instant (t+1) par minimisation du carré de la norme de l’innovation du filtre à l’instant (t+1) calculée à l’étape précédente, - calcul (E7) du gain à l’instant (t+1) en faisant une correction par approximation stochastique par moyennage des coefficients de gain du vecteur de coefficients du gain déterminé, - calcul (E8) de l’estimation de l’état du système à l’instant (t+1) comme étant la somme de la meilleure prédiction de l’état du système à l’instant (t+1) calculée et du produit du gain (K) à l’instant (t+1) par l’innovation du filtre à l’instant (t+1) calculée, - détermination (E9) de la position du dispositif (10) à partir de l’estimation de l’état du système à l’instant (t+1) calculée. Procédé selon la revendication 1, comprenant en outre, à chaque itération, une étape de bornage des coefficients de gain variables entre un minimum et un maximum. Procédé selon la revendication précédente, dans lequel le minimum est égal à une variable de bornage ε et le maximum est égal à (2 - ε). Procédé selon l’une quelconque des revendications précédentes, dans lequel les calculs sont réalisés par un réseau de neurones à partir d’un échantillon prédéterminé. Procédé selon l’une quelconque des revendications précédentes, dans lequel le modèle décrivant le passage de l’état du système à l’instant t à l’état à l’instant (t+1), est dépourvu de l’accélération. Produit programme d’ordinateur caractérisé en ce qu’il comporte un ensemble d’instructions de code de programme qui, lorsqu’elles sont exécutées par un ou plusieurs processeurs, configurent le ou les processeurs pour mettre en œuvre un procédé selon l’une quelconque des revendications précédentes. Module de mesure (100) de la position géographique d’un dispositif (10) à partir d’un réseau de satellites dans un système prédictif à filtre de gain K variable, ledit gain K étant représenté par un vecteur de paramètres variables, ledit module de mesure (100), embarqué dans ledit dispositif (100), étant configuré pour : - recevoir des signaux émis par une pluralité de satellites du réseau de satellites, - déterminer la position et/ou de la vitesse du dispositif à un instant (t+1) à partir des signaux reçus, appelée « observation à l’instant (t+1) », - calculer la meilleure prédiction de l’état du système à l’instant (t+1) à partir d’une estimation prédéterminée de l’état du système à l’instant (t) et d’un modèle représentatif du système entre l’instant (t) et l’instant (t+1), - calculer la prédiction de l’observation à l’instant (t+1) comme étant le produit d’une matrice d’observation prédéterminée et de la meilleure prédiction de l’état du système à l’instant (t+1) calculée, - calculer l’innovation du filtre à l’instant (t+1) comme étant la différence entre l’observation à l’instant (t+1) et la prédiction de l’observation à l’instant (t+1), - déterminer le vecteur de coefficients du gain à l’instant (t+1) par minimisation du carré de la norme de l’innovation du filtre à l’instant (t+1), - calculer le gain à l’instant (t+1) en faisant une correction par approximation stochastique par moyennage des coefficients de gain du vecteur de coefficients du gain déterminé, - calculer l’estimation de l’état du système à l’instant (t+1) comme étant la somme de la meilleure prédiction de l’état du système à l’instant (t+1) calculée et du produit du gain (K) à l’instant (t+1) par l’innovation du filtre à l’instant (t+1) calculée, - déterminer la position du dispositif (10) à partir de l’estimation de l’état du système à l’instant (t+1) calculée. Module de mesure (100) selon la revendication précédente, ledit module étant configuré pour borner les coefficients de gain variables entre un minimum et un maximum. Dispositif (10), notamment mobile, comprenant un module de mesure (100) selon l’une quelconque des revendications 7 ou 8. Système (1) de géolocalisation par satellites, ledit système (1) comprenant une pluralité de satellites, configurés pour émettre chacun des signaux de géolocalisation, et au moins un module de mesure (100) selon l’une quelconque des revendications 7 ou 8 et/ou au moins un dispositif (10) selon la revendication 9.