FR 3133232 A1 20230908 FR 2201907 A 20220304 Titre de l'invention : Procédé et dispositif d’aide à la navigation basée sur un filtre de Kalman Procédé de contrôle de navigation d’un véhicule (Veh) pour la mise en œuvre d’une manœuvre de navigation (MAN j ), le procédé comprenant les étapes : - d’estimation (E0) d’une grandeur (G) par un filtre de Kalman (FK) à partir de paramètres (Par 1 -Par n ), d’un modèle numérique du véhicule dans son environnement, et d’au moins une mesure (y 1 -y n ) effectuée par au moins un capteur (Cap 1 -Cap k ) et associée à une incertitude (R 1 -R n , Q 1 -Q n ) sur cette mesure (y 1 -y n ), ladite grandeur (G) servant à la mise en œuvre de ladite manœuvre de navigation (MAN j ) ; - de détermination (EDP) d’au moins une valeur de dérivée partielle (D G y 1 -D G y n ) de ladite grandeur (G) par rapport à ladite au moins une mesure (y 1 -y n ) ; - d’obtention (EOV) d’au moins une valeur de criticité (VC) de ladite au moins une mesure (y 1 -y n ) pour ladite estimation (E0), à partir de ladite au moins une valeur de dérivée partielle (D G y 1 -D G y n ). Figure pour l’abrégé : figure 2 Procédé et dispositif d’aide à la navigation basée sur un filtre de Kalman L’invention se rapporte au domaine général des mesures réalisées à l’aide de capteurs, telles que la position et la vitesse d’un véhicule. Elle concerne plus particulièrement le contrôle de la navigation d’un véhicule à l’aide d’un filtre de Kalman. Ce filtre de Kalman sert à estimer une grandeur nécessaire pour la mise en œuvre d’une manœuvre de navigation de ce véhicule. Cette grandeur représente par exemple une caractéristique du véhicule lui-même (ex. la position, la vitesse, l’orientation etc.), ou peut également représenter une caractéristique relative à l’environnement (la présence d’un objet à proximité du véhicule, la vitesse du vent etc.). Par la suite, de telles caractéristiques, qu’elles soient internes ou externes au véhicule, seront appelées « états ». Notons qu’un filtre de Kalman estime également des incertitudes, sous forme de matrices de covariances, sur l’estimation des états. Ces incertitudes estimées peuvent aussi servir à la mise en œuvre d’une manœuvre. Le terme « grandeur » pourra donc également désigner de telles incertitudes estimées par le filtre de Kalman. De façon connue, dans un système de navigation on se sert fréquemment d’un filtre de Kalman en tant qu’estimateur d’état. Le filtre de Kalman évalue l’état x n récursivement, à chaque instant n, à partir d’un modèle numérique (notamment un modèle décrivant comment les différents états évoluent les uns en fonction des autres, et comment les mesures dépendent des états) et d’informations recueillies par des capteurs, ci-après appelées « mesures ». Par exemple, dans un système de navigation qui génère une estimation de la position, de l’orientation et de la vitesse d’un objet cible, le modèle comprend notamment des équations cinématiques régissant la trajectoire d’un véhicule selon sa position, son orientation et sa vitesse. Le modèle peut impliquer certains paramètres dont les valeurs sont connues a priori (ex. l’accélération de la pesanteur) et/ou dont les valeurs peuvent varier selon le pas de temps n. Dans la suite de la demande, pour évoquer la temporalisation n, les expressions « moment », « étape » et « instant » donné seront utilisées indifféremment. L’intervalle de temps entre deux de ces instants successifs est généralement un paramètre ajustable par l’utilisateur. Dans le domaine des systèmes de navigation, les capteurs sont souvent associés à une unité de mesure inertielle. Par exemple, en navigation, il est courant d’utiliser une unité de mesure inertielle couplée à un récepteur GPS pour estimer la position et l’orientation d’un véhicule. L’unité de mesure inertielle, comportant des gyroscopes et des accéléromètres, évalue respectivement les changements d’orientation et les forces successives auxquels est soumis le porteur mobile. Par simple opération mathématique d’intégration, ces mesures permettent d’estimer l’état du véhicule en termes de position, vitesse et orientation. L’information communiquée par les GPS permet de calculer la position du véhicule. Un filtre de Kalman fusionne ces informations pour estimer l’état du véhicule. La qualité de la fusion se fait, entre autres, via un bon calibrage des paramètres du filtre. Les modèles et les méthodes de fusion de données sont connus et ne seront pas exposés plus en détail. La ou les grandeurs estimées par le filtre de Kalman, et l’utilisation de ces estimations, varient selon l’application. Notamment : - l’estimation porte par exemple sur l’état du véhicule et l’estimation peut servir pour mettre à jour une carte routière affichée au conducteur du véhicule et/ou pour décider quelles directions lui seront données pour parvenir au but de son voyage ; - dans un système équipé de capteurs radar, l’estimation peut porter sur les états d’objets à proximité du véhicule et cette estimation peut servir d’indication de la position de ces objets afin que la trajectoire du véhicule soit adaptée ; - dans un véhicule autonome, l’estimation porte par exemple sur le véhicule et peut renseigner un module de commande qui pilote le véhicule permettant à ce dernier de décider de la prochaine manœuvre, etc. Le filtre de Kalman détermine, récursivement, une estimation x n|n de l’état actuel de l’objet cible en se servant de l’estimation précédente ainsi que des mesures fournies par des capteurs jusqu’à l’instant n. Ce calcul récursif est illustré de manière schématique par la . Même avec un modèle mathématique approprié, la qualité des mesures fournies par le ou les capteurs a une influence importante sur la qualité des estimations par le filtre de Kalman. Pour apprécier cette importance de la qualité des mesures, il convient tout d’abord de rappeler le fonctionnement classique d’un filtre de Kalman. On notera x n l’état qu’estime le filtre de Kalman à une étape n donnée. Dans beaucoup d’applications l’état s’exprime en termes d’une pluralité de variables et, donc, x n constitue un vecteur. Le système évolue selon le modèle numérique et, donc, on peut considérer que l’état x n de l’objet cible à un moment donné n dépend de l’état x n-1 de l’instant précédent n-1 selon l’équation [Math. 1] ci-dessous : Où F n est une matrice carrée connue, un un vecteur d’entrée de commande (connu de l’utilisateur), c’est-à-dire une action appliquée au système, B n la matrice représentant le modèle qui lie l’état x n à cette entrée de commande, et w n une variable aléatoire gaussienne centrée représentant un bruit de covariance représentée par une matrice Q n . Dans l’équation [Math.1] et les équations suivantes, la notation côte à côte de deux quantités correspond à : - un simple produit si ces deux quantités sont des nombres, - un produit d’une matrice avec un vecteur si l’une de ces quantité est une matrice et l’autre quantité est un vecteur (par exemple F n x n-1 dans l’équation [Math. 1]), ou - un produit matricielle si ces deux quantités sont des matrices (par exemple F n P n-1|n-1 dans l’équation [Math. 4] ci-après). La ou les mesures, notamment celle(s) délivrée(s) par le(s) capteur(s), à l’instant n, seront notées y n et dépendent de l’état x n selon l’équation [Math. 2] ci-dessous : Où H n est une matrice d’observation connue, et v n une variable aléatoire gaussienne centrée représentant du bruit de covariance R n . Encore une fois, dans beaucoup d’applications, une pluralité de mesures est délivrée au filtre de Kalman à chaque instant n et, dans ce cas, y n et v n seront des vecteurs et R n une matrice. Lors de l’implémentation pratique d’un filtre de Kalman il faut choisir les matrices de covariance du bruit, Q n et R n . Souvent cela se fait en étudiant au préalable comment ces covariances se rapportent aux données obtenues dans le domaine en question. Une approche typique pour estimer les covariances consiste en l’application de l’algorithme ALS (pour « autocovariance least-squares » en anglais). Les matrices de covariance du bruit Q n et R n correspondent à des incertitudes sur les mesures effectuées par les capteurs. Ainsi, dans la présente demande, et par souci de concision, nous nous référerons à ces quantités sous le terme d’incertitude sur la mesure y n . Le filtre de Kalman maintient une estimation de l’état x n à un moment donné n, et cette estimation sera notée x n|n-1 lorsqu’elle est calculée (prédite) à partir des mesures y n-1 disponibles au moment n-1, et x n|n lorsque le calcul intègre les mesures y n obtenues au moment n. Le filtre de Kalman estime aussi une matrice de covariance P n représentative de l’incertitude de l’estimation de l’état x n et cette matrice sera notée P n|n-1 lorsqu’elle s’applique à l’estimation x n|n-1 , et P n|n lorsqu’elle s’applique à l’estimation x n|n . A chaque étape n, le filtre fonctionne en deux temps. Dans un premier temps, le filtre de Kalman prédit l’estimation de l’état a priori x n|n-1 de l’objet cible, ainsi que la matrice de covariance P n|n-1 , à partir de l’estimation de l’état x n-1|n-1 et de la matrice de covariance P n-1|n-1 , selon les équations [Math. 3] et [Math. 4] ci-dessous : Où F n T est la transposée de la matrice F n . Dans un second temps, le filtre de Kalman met à jour l’estimation a priori de l’état de l’objet cible en se servant de la prédiction faite à l’étape précédente et prenant en compte les mesures y n actuelles avec une certaine pondération représentée par un coefficient K n nommé « le gain de Kalman ». La mise à jour se fait selon les équations [Math. 5] et [Math. 6] ci-dessous : où K n est calculé selon l’équation [Math. 7] ci-dessous : où S n , qui représente la covariance des mesures y n est calculée selon l’équation [Math. 8] ci-dessous : S n -1 est la matrice inverse de S n , et z n est définie selon l’équation [Math. 9] ci-dessous : Le filtre de Kalman émet en sortie l’estimation actuelle x n|n de l’état courant et l’incertitude P n|n associée à cette estimation, ces grandeurs étant délivrées, selon l’application, à un système de commande ou autre. Tant que le filtre de Kalman présume que les mesures issues du GPS sont fiables, une erreur de mesure, même faible, fera écarter l’estimation plus ou moins fortement de la situation réelle. Ainsi, la donnée des valeurs d’incertitude associée à une estimation ne suffit pas pour évaluer la fiabilité des mesures et des estimations par le filtre de Kalman, ni ne permet de détecter quelle mesure ou quel capteur est responsable d’une mauvaise robustesse de cette estimation. L’invention vise à pallier ces inconvénients. Ainsi, et selon un premier aspect, l’invention propose un procédé de contrôle de navigation d’un véhicule pour la mise en œuvre d’une manœuvre de navigation, le procédé comprenant les étapes : - d’estimation d’une grandeur par un filtre de Kalman à partir de paramètres, d’un modèle numérique du véhicule dans son environnement, et d’au moins une mesure effectuée par au moins un capteur et associée à une incertitude sur cette mesure, ladite grandeur servant à la mise en œuvre de ladite manœuvre de navigation ; - de détermination d’au moins une valeur de dérivée partielle de ladite grandeur par rapport à ladite au moins une mesure. ; - d’obtention d’au moins une valeur de criticité de ladite au moins une mesure pour ladite estimation, à partir de ladite au moins une valeur de dérivée partielle ; - d’envoi d’au moins un signal de criticité représentatif de ladite au moins une valeur de criticité ; - de réception d’au moins une instruction en réponse à ladite étape d’envoi ; et - d’application de ladite au moins une instruction ; une dite instruction indiquant une commande de contrôle pour la mise en œuvre de ladite manœuvre de navigation. Corrélativement l’invention propose un système de contrôle de navigation d’un véhicule pour la mise en œuvre d’une manœuvre de navigation, le système comprenant : - un module d’estimation d’une grandeur par un filtre de Kalman à partir de paramètres, d’un modèle numérique du véhicule dans son environnement, et d’au moins une mesure effectuée par au moins un capteur et associée à une incertitude sur cette mesure, ladite grandeur servant à la mise en œuvre de ladite manœuvre de navigation ; - un module de détermination d’au moins une valeur de dérivée partielle de ladite grandeur par rapport à ladite au moins une mesure ; - un module d’obtention d’au moins une valeur de criticité de ladite au moins une mesure pour ladite estimation, à partir de ladite au moins une valeur de dérivée partielle ; - un module d’envoi d’au moins un signal de criticité représentatif de ladite au moins une valeur de criticité ; - un module de réception d’au moins une instruction en réponse à ladite étape d’envoi ; et - un module d’application de ladite instruction ; une dite instruction indiquant une commande de contrôle pour la mise en œuvre de ladite manœuvre de navigation. Selon un mode de mise en œuvre du procédé de contrôle une dite instruction indique d’ajouter des mesures pour une estimation ultérieure de ladite grandeur. Précisons ici que l’emploi du terme de dérivée partielle englobe ici la notion de gradient. En effet, une mesure ou une incertitude peut contenir plusieurs quantités (vitesse, position etc.) et peut donc être représentée sous la forme d’un vecteur. Dans ce cas, par souci de concision, on emploiera également le terme de dérivée partielle de la grandeur par rapport à une quantité. Autrement dit, dans la présente demande, si une quantité est sous la forme d’un vecteur, la dérivée partielle de la grandeur par rapport à cette quantité désigne le gradient de cette grandeur selon le vecteur représentant la quantité. Egalement par souci de concision, on appellera valeur d’une dérivée partielle de la grandeur par rapport à une mesure l’ensemble des valeurs que comprend le gradient de la grandeur selon le vecteur représentant cette mesure. Précisons également que dans la présente demande, la valeur d’une dérivée partielle d’une grandeur par rapport à une première matrice (par exemple une matrice représentant des incertitudes sur une mesure) correspond à une deuxième matrice dont les composants sont égaux aux valeurs de dérivées partielles de cette grandeur par rapport à chacun des composants de la première matrice. Dans la présente demande, si une somme entre deux vecteurs (par exemple deux dérivées partielles sous la forme de vecteurs) est invoquée, cette somme correspond à un vecteur égal à la somme élément par élément de ces deux vecteurs. L’évaluation de ces dérivées partielles permet avantageusement de fournir des informations importantes sur la robustesse de l’estimation d’une grandeur nécessaire à la mise en œuvre d’une manœuvre de navigation, en particulier en permettant de quantifier la criticité des différentes mesures dans cette estimation. Les informations obtenues sur la robustesse de l’estimation de la grandeur indiquent s’il est pertinent ou non de rajouter une mesure pour estimer la grandeur, parmi l’ensemble des mesures disponibles, ou d’appliquer une commande de contrôle, qui correspond par exemple à l’annulation de la manœuvre envisagée. En effet, d’une part, une ou des dérivées partielles d’une grandeur par rapport à une mesure effectuée à un instant donné, ou par rapport à des mesures effectuées lors d’une plage de temps donnée, permet d’évaluer l’influence des mesures sur l’estimation de la grandeur au cours du temps. Par exemple, si une dérivée partielle par rapport à une mesure prend une grande valeur pour la mesure effectuée à l’instant précédent l’estimation de la grandeur, mais prend des valeurs proches de zéro pour la mesure effectuée aux instants antérieurs, cela signifie que seule la mesure effectuée à l’instant précédent l’estimation est prise en compte de manière significative dans cette estimation. Ce cas de figure peut dénoter un manque de robustesse de l’estimation, dans le cas où une estimation robuste nécessite la prise en compte de plusieurs mesures successives. Dans cet exemple, l’estimation peut être améliorée en augmentant la fréquence des mesures prises au cours du temps. Ainsi, selon un mode de mise en œuvre du procédé de contrôle : - des mesures effectuées successivement sont obtenues, et - au cours de ladite étape de détermination, pour chacune de ces mesures, une valeur de dérivée partielle de la grandeur est déterminée par rapport à cette mesure. Dans ce mode de réalisation, le calcul de dérivées partielles est réalisé a posteriori. Autrement dit, la grandeur est obtenue après l’obtention des mesures par rapport auxquelles les valeurs de dérivée partielle de la grandeur sont calculées. Par exemple, les dérivées partielles d’une estimation x n|n à l’instant n sont calculées par rapport à la série de mesures prise en compte entre les instants 0 et n ; ainsi, le calcul de ces dérivées partielles est réalisé suite à l’obtention de l’estimation x n|n . D’autre part une ou des dérivées partielles d’une grandeur par rapport à une mesure effectuée par un capteur donné, ou par rapport à des mesures effectuées par un ensemble de capteurs donnés, permettent d’évaluer l’influence du capteur ou de l’ensemble des capteurs sur l’estimation. Par exemple, si une dérivée partielle par rapport à une mesure prend une valeur faible alors que les connaissances de l’homme du métier indiquent que la grandeur estimée est généralement très influencée par cette mesure (par exemple, l’estimation de la vitesse d’un véhicule est très influencée par la mesure de son accélération), alors cela indique que l’estimation n’est pas robuste. Selon un mode de mise en œuvre du procédé de contrôle, pour au moins un instant donné, une dite valeur de dérivée partielle est déterminée au cours de ladite étape de détermination, par rapport à une mesure, cette mesure comportant au moins deux mesures effectuées chacune par des capteurs distincts à cet instant donné. Rappelons que, comme expliqué ci-avant, une mesure peut correspondre à un vecteur dont les composantes sont des mesures de différents états. Par exemple, une dite mesure à un instant donné peut par exemple comporter une mesure de l’accélération du véhicule à cet instant donné ainsi qu’une mesure de la vitesse du véhicule à cet instant donné. Rappelons également que dans ce mode de mise en œuvre, une dérivée partielle de la grandeur par rapport à cette mesure est un vecteur dont les composants sont égaux aux dérivées partielles de la grandeur par rapport à chacune des mesures des différents états. Par exemple, la dérivée partielle de la grandeur par rapport à une mesure d’accélération et de vitesse comporte la dérivée partielle de la grandeur par rapport à la mesure de vitesse ainsi que la dérivée partielle de la grandeur par rapport à la mesure d’accélération. Le calcul des dérivées partielles d’une grandeur estimée par un filtre de Kalman est, de façon avantageuse, peu coûteux en termes de puissance de calcul et de capacité de stockage. Le calcul des dérivées partielles de la grandeur estimée exploite certaines valeurs qui sont déjà calculées lors du fonctionnement d’un filtre de Kalman en tant qu’estimateur d’états. De ce fait, la mise en œuvre de l’invention ne nécessite que l’ajout de quelques moyens additionnels peu coûteux en termes de temps et de puissance de calcul. A partir des valeurs de dérivées partielles, le procédé permet d’obtenir une valeur de criticité pour caractériser la criticité, pour l’estimation de la grandeur, d’une mesure. Autrement dit, une valeur de criticité quantifie l’influence d’une ou plusieurs mesures sur l’estimation de la grandeur. Dans un premier exemple, une ou des valeurs de criticité peuvent être égales aux valeurs de dérivées partielles, étant donné que ces valeurs permettent de caractériser la criticité de mesures pour l’estimation de la grandeur. Ainsi, selon un mode de mise en œuvre du procédé de contrôle, la au moins une valeur de criticité est égale à la au moins une valeur de dérivée partielle déterminée au cours de ladite étape de détermination. En particulier dans le cas d’un système muni d’un seul capteur qui ne donne qu’une mesure à la fois, les dérivées partielles de la grandeur par rapport aux mesures effectuées au cours du temps par ce seul capteur permettent d’estimer la robustesse de l’estimation de la grandeur. Cependant, suivant la manœuvre de navigation à effectuer, il peut être avantageux de définir autrement la ou les valeurs de criticité. Par exemple, selon un mode particulier du procédé de contrôle, la ou les valeurs de criticité sont égales aux valeurs absolues des valeurs de dérivées partielles. En effet, selon la manœuvre de navigation à mettre en œuvre, l’amplitude de la criticité d’une mesure sur l’estimation de la grandeur, quantifiée par la valeur absolue de la dérivée partielle par rapport à cette mesure, est pertinente. Dans un autre exemple, les valeurs de criticité sont égales aux valeurs absolues des valeurs de dérivées partielles normalisées, de telle sorte que la somme de ces valeurs de criticité est égale à 1. La normalisation des valeurs absolues des valeurs dérivées partielles par rapport à différentes mesures permet notamment de comparer la criticité d’une mesure pour l’estimation d’une grandeur, relativement aux criticités des autres mesures utilisées pour cette même estimation. Dans un autre exemple où sont déterminées plusieurs valeurs de dérivées partielles par rapport à des mesures prises successivement au cours du temps, les valeurs de criticité sont égales à des différences de deux valeurs de dérivées partielles par rapport à deux mesures effectuées successivement. De telles valeurs de criticité permettent de détecter une variation éventuellement trop grande, à un instant donnée, de la criticité d’une mesure pour l’estimation de la grandeur, et ainsi de détecter une mauvaise robustesse de l’estimation à cet instant donné. Il peut être avantageux de caractériser la criticité d’un groupe de mesures pour l’estimation de la grandeur, par exemple des mesures prises successivement au cours d’une plage de temps donnée, ou des mesures prises par un groupe de capteurs. A cet effet, une valeur de criticité peut être égale à une somme sur les valeurs de dérivées partielles par rapport aux mesures parmi un groupe de mesures. Ainsi, selon un mode de réalisation particulier du procédé de contrôle : - plusieurs valeurs de dérivées partielles sont déterminées au cours de ladite étape de détermination, - ladite au moins une valeur de criticité est égale à une somme desdites valeurs de dérivée partielle. Selon un autre mode de réalisation du procédé de contrôle : - plusieurs valeurs de dérivées partielles sont déterminées au cours de ladite étape de détermination ; - ladite au moins une valeur de criticité est égale à une somme de produits entre : (i) une dite valeur de dérivée partielle par rapport à une dite mesure, et (ii) ladite incertitude sur cette mesure. Autrement dit, dans ce mode de mise en œuvre, une valeur de criticité est une somme de valeurs de dérivées partielles par rapport à des mesures, cette somme étant pondérée par les incertitudes sur ces mesures. Ce mode de réalisation permet avantageusement, et de façon simple, de détecter si des mesures incertaines ont une criticité élevée pour l’estimation de la grandeur. Si une telle valeur de criticité est élevée, cela signifie donc que l’estimation de la grandeur n’est pas robuste. L’invention permet également de déterminer une valeur de criticité similairement au mode de réalisation précédent, à partir d’une seule valeur de dérivée partielle. Ainsi, selon un mode de réalisation du procédé de contrôle, ladite au moins une valeur de criticité est égale à un produit entre : (i) une dite valeur de dérivée partielle par rapport à une dite mesure, et (ii) ladite incertitude sur cette mesure. Afin de permettre l’utilisation de la ou des valeurs de criticité, le procédé de contrôle indique l’envoi d’un ou plusieurs signaux de criticité représentatifs de ces valeurs de criticité. Dans le système de contrôle de navigation permettant la mise en œuvre du procédé décrit précédemment, ce ou ces signaux de criticité sont envoyés vers un module de contrôle qui permet de mettre en œuvre l’étape de contrôle du procédé. Par construction, ce ou ces signaux de criticité contiennent une ou plusieurs informations sur la robustesse de l’estimation de la grandeur, cette information permettant de prendre une décision par rapport à la mise en œuvre de la manœuvre de navigation. Dans un mode de réalisation de l’invention, le ou les signaux de criticité comportent des valeurs égales aux valeurs de criticité. Dans un autre mode de réalisation, le ou les signaux de criticité peuvent être définis à partir de la comparaison des valeurs de criticité avec un ou plusieurs seuils. Ainsi, selon un mode de mise en œuvre particulier du procédé de contrôle, l’étape d’envoi comporte les sous-étapes : - de comparaison entre ladite au moins une valeur de criticité et au moins un seuil, ledit au moins un seuil étant défini par rapport à ladite manœuvre ; - de génération dudit au moins un signal de criticité en fonction d’un résultat de ladite comparaison. Corrélativement, l’invention propose mode de réalisation particulier du système de contrôle dans lequel ledit module d’envoi comporte les sous-modules : - de comparaison entre ladite au moins une valeur de criticité et au moins un seuil, ledit au moins un seuil étant défini par rapport ladite manœuvre ; - de génération dudit au moins un signal de criticité en fonction d’un résultat de la comparaison par ledit sous-module de comparaison. Dans ce mode de mise en œuvre particulier, la connaissance par l’homme du métier de la manœuvre de navigation à mettre en œuvre, notamment du fonctionnement des capteurs effectuant les mesures, permet de définir un ou plusieurs seuils. Le ou les signaux de criticité résultant de la comparaison de la ou des valeurs de criticité avec ce ou ces seuils ont l’avantage d’être des indicateurs facilement lisibles de la robustesse de l’estimation de la grandeur. Notamment, un tel signal de criticité peut être un nombre binaire, indiquant la bonne ou la mauvaise robustesse de l’estimation. Le ou les signaux de contrôle peuvent être traités automatiquement ou bien traités par un utilisateur auquel est présenté, par l’intermédiaire de ce module de contrôle, le ou les signaux de criticité. Par suite, une ou plusieurs instructions, par exemple déterminées automatiquement ou par l’utilisateur, sont reçues par le module de contrôle, puis appliquées. Une instruction peut concerner un contrôle du véhicule lui-même. Notamment, si une mauvaise robustesse de l’estimation de la grandeur est détectée, l’instruction peut indiquer un arrêt temporaire de la mise en œuvre de la manœuvre de navigation ou l’annulation de celle-ci. Un tel arrêt temporaire de la manœuvre de navigation permet notamment d’assurer la sécurité de la navigation, jusqu’à ce qu’une estimation plus robuste de la grandeur soit obtenue. Si par contre une bonne robustesse de l’estimation de la grandeur est détectée, une instruction peut indiquer le prolongement de la manœuvre. Une instruction peut également indiquer, dans un mode de réalisation particulier, qu’il est souhaitable de prendre en compte une ou des mesures supplémentaires parmi l’ensemble des mesures disponibles fournies par les capteurs, afin d’effectuer une estimation plus robuste de la grandeur. L’invention propose également un système de navigation d’un véhicule, ledit système de navigation étant adapté pour réaliser les fonctions du système de contrôle selon l’un des modes de réalisation décrits ci-avant, et comprenant au moins un capteur destiné à obtenir au moins une mesure servant à l’estimation d’une grandeur, ladite grandeur servant à la mise en œuvre d’une manœuvre de navigation. Selon un mode de réalisation de ce système de navigation, au moins un dit capteur est une unité de mesure inertielle. Dans un tel système, le jeu de capteurs peut par exemple comporter au moins un capteur GPS associé à une unité de mesure inertielle. Il s’agit d’une configuration de capteurs que l’on retrouve habituellement embarqué sur un véhicule, drone ou autre. L’invention propose un programme informatique comportant des instructions pour l’exécution des étapes d’un procédé de contrôle selon l’un quelconque des modes de mise en œuvre décrits ci-avant. Il est à noter que les programmes d’ordinateur mentionnés dans le présent exposé peuvent utiliser n’importe quel langage de programmation, et être sous la forme de code source, code objet, ou de code intermédiaire entre code source et code objet, tel que dans une forme partiellement compilée, ou dans n’importe quelle autre forme souhaitable. L’invention propose un support d’enregistrement, lisible par un équipement informatique d’un programme informatique comportant des instructions pour l’exécution des étapes d’un procédé selon l’un des modes de réalisation décrits ci-avant. Les supports d’enregistrement mentionnés dans le présent exposé peuvent être n'importe quelle entité ou dispositif capable de stocker le programme et d’être lu par un appareil de commande ou par tout équipement informatique, notamment un ordinateur. Par exemple, le support peut comporter un moyen de stockage, ou encore un moyen d'enregistrement magnétique, par exemple un disque dur. Alternativement, les supports d’enregistrement peuvent correspondre à un circuit intégré à un ordinateur ou à un système de navigation, circuit dans lequel le programme est incorporé, et adapté pour exécuter un procédé tel que décrit ci-avant ou pour être utilisé dans l'exécution de ce procédé. D’autres caractéristiques et avantages de la présente invention ressortiront de la description faite ci-dessous, en référence aux dessins annexés qui en illustrent des exemples de réalisation dépourvus de tout caractère limitatif. Sur les figures : la représente de manière schématique le fonctionnement récursif d’un filtre de Kalman ; la un procédé de contrôle de navigation conforme à un premier mode particulier de mise en œuvre de l’invention ; la représente un système de contrôle de navigation conforme à un premier mode particulier de mise en œuvre de l’invention ; la un procédé de contrôle de navigation conforme à un deuxième mode particulier de mise en œuvre de l’invention ; la représente un système de contrôle de navigation conforme à un deuxième mode particulier de mise en œuvre de l’invention ; la représente un système de navigation conforme à un mode particulier de mise en œuvre de l’invention ; la représente l’architecture matérielle d’un système de contrôle de navigation selon un mode particulier de mise en œuvre de l’invention ; la représente des valeurs de dérivées partielles par rapport à des mesures effectuées successivement, pour deux intervalles de temps différents entre les mesures successives. Procédé de contrôle de navigation d’un véhicule (Veh) pour la mise en œuvre d’une manœuvre de navigation (MAN j ), le procédé comprenant les étapes : - d’estimation (E0) d’une grandeur (G) par un filtre de Kalman (FK) à partir de paramètres (Par 1 -Par n ), d’un modèle numérique du véhicule dans son environnement, et d’au moins une mesure (y 1 -y n ) effectuée par au moins un capteur (Cap 1 -Cap k ) et associée à une incertitude (R 1 -R n , Q 1 -Q n ) sur cette mesure (y 1 -y n ), ladite grandeur (G) servant à la mise en œuvre de ladite manœuvre de navigation (MAN j ) ; - de détermination (EDP) d’au moins une valeur de dérivée partielle (D G y 1 -D G y n ) de ladite grandeur (G) par rapport à ladite au moins une mesure (y 1 -y n ) ; - d’obtention (EOV) d’au moins une valeur de criticité (VC) de ladite au moins une mesure (y 1 -y n ) pour ladite estimation (E0), à partir de ladite au moins une valeur de dérivée partielle (D G y 1 -D G y n ) ; - d’envoi (EE) d’au moins un signal de criticité (Sig) représentatif de ladite au moins une valeur de criticité (VC) ; - de réception (ER) d’au moins une instruction (Inst) en réponse à ladite étape d’envoi (EE) ; et - d’application (EA) de ladite au moins une instruction (Inst) ; une dite instruction indiquant une commande de contrôle pour la mise en œuvre de ladite manœuvre de navigation (MAN j ). Procédé selon la revendication 1, dans lequel une dite instruction (Inst) indique d’ajouter des mesures pour une estimation ultérieure de ladite grandeur (G). Procédé selon la revendication 1 ou 2, dans lequel : - des mesures (y 1 -y n ) effectuées successivement sont obtenues ; et - au cours de ladite étape de détermination (EDP), pour chacune de ces mesures, une valeur de dérivée partielle (D G y 1 -D G y n ) de ladite grandeur est déterminée par rapport à cette mesure. Procédé selon l’une des revendications 1 à 3, dans lequel, pour au moins un instant (n) donné, une dite valeur de dérivée partielle (D G y n ) est déterminée au cours de ladite étape (EDP) de détermination, par rapport à une mesure (y n ), cette mesure comportant au moins deux mesures (y n 1 -y n k ) effectuées chacune à cet instant donné (n) par des capteurs (Cap 1 -Cap k ) distincts. Procédé selon l’une des revendications 1 à 4 dans lequel ladite étape d’envoi (EE) comporte les sous-étapes : - de comparaison (EComp) entre ladite au moins une valeur de criticité (VC) et au moins un seuil (Se), ledit au moins un seuil (Se) étant défini par rapport à ladite manœuvre (MAN j ) ; - de génération (EGen) dudit au moins un signal de criticité (Sig) en fonction d’un résultat de ladite comparaison (EComp). Procédé selon l’une des revendications 1 à 5, dans lequel ladite au moins une valeur de criticité (VC) est égale à ladite au moins une valeur de dérivée partielle (D G y 1 -D G y n ) déterminée au cours de ladite étape (EDP) de détermination. Procédé selon l’une des revendications 1 à 5, dans lequel : - plusieurs valeurs de dérivées partielles (D G y 1 -D G y n ) sont déterminées au cours de ladite étape (EDP) de détermination ; et - ladite au moins une valeur de criticité (VC) est égale à une somme pondérée desdites valeurs de dérivée partielle (D G y 1 -D G y n ). Procédé selon l’une des revendications 1 à 5, dans lequel : - plusieurs valeurs de dérivées partielles (D G y 1 -D G y n ) sont déterminées au cours de ladite étape (EDP) de détermination ; - ladite au moins une valeur de criticité (VC) est égale à une somme de produits entre : (i) une dite valeur de dérivée partielle (D G y 1 -D G y n ) par rapport à une dite mesure (y 1 -y n ) ; et (ii) ladite incertitude (R 1 -R n , Q 1 -Q n ) sur cette mesure (y 1 -y n ). Procédé selon l’une des revendications 1 à 5, dans lequel ladite au moins une valeur de criticité (VC) est égale à un produit entre : (i) une dite valeur de dérivée partielle (D G y 1 -D G y n ) par rapport à une dite mesure (y 1 -y n ) ; et (ii) ladite incertitude (R 1 -R n , Q 1 -Q n ) sur cette mesure (y 1 -y n ). Système de contrôle de navigation d’un véhicule (Veh) pour la mise en œuvre d’une manœuvre de navigation (MAN j ), le système comprenant : - un module d’estimation (M0) d’une grandeur (G) par un filtre de Kalman (FK) à partir de paramètres (Par 1 -Par n ), d’un modèle numérique du véhicule dans son environnement, et d’au moins une mesure (y 1 -y n ) effectuée par au moins un capteur (Cap 1 -Cap k ) et associée à une incertitude à une incertitude (R n , Q n ) sur cette mesure (y 1 -y n ), ladite grandeur (G) servant à la mise en œuvre de ladite manœuvre de navigation (MAN j ) ; - un module de détermination (MDP) d’au moins une valeur de dérivée partielle (D G y 1 -D G y n ) de ladite grandeur (G) par rapport à ladite au moins une mesure (y 1 -y n ) ; - un module d’obtention (MOV) d’au moins une valeur de criticité (VC) de ladite au moins une mesure (y 1 -y n ) pour ladite estimation (E0), à partir de ladite au moins une valeur de dérivée partielle (D G y 1 -D G y n ) ; - un module d’envoi (ME) d’au moins un signal de criticité (Sig) représentatif de ladite au moins une valeur de criticité (VC) ; - un module de réception (MR) d’au moins une instruction (Inst) en réponse à ladite étape d’envoi (EE) ; et - un module d’application (MA) de ladite au moins une instruction (Inst) ; une dite instruction indiquant une commande de contrôle pour la mise en œuvre de ladite manœuvre de navigation (MAN j ). Système de contrôle (SCN) selon la revendication 10 dans lequel ledit module d’envoi (ME) comporte des sous-modules : - de comparaison (MComp) entre ladite au moins une valeur de criticité (VC) et au moins un seuil (Se), ledit au moins un seuil (Se) étant défini par rapport à ladite manœuvre (MAN j ) ; - de génération (MGen) dudit au moins un signal de criticité (Sig) en fonction d’un résultat de la comparaison par ledit sous-module de comparaison (MComp). Système de navigation (SNav) d’un véhicule (Veh), ledit système de navigation (SNav) étant adapté pour réaliser les fonctions du système de contrôle (SCN) selon la revendication 10 ou 11 et comprenant au moins un capteur (Cap 1 -Cap k ) destiné à obtenir au moins une mesure (y 1 -y n ) servant à l’estimation d’une grandeur (G), ladite grandeur (G) servant à la mise en œuvre d’une manœuvre de navigation (MAN j ). Système (SNav) de navigation selon la revendication 12, dans lequel au moins un dit capteur (Cap 1 -Cap k ) est une unité de mesure inertielle. Programme informatique (PGI) comportant des instructions pour l’exécution des étapes d’un procédé selon au moins une des revendications 1 à 9. Support d’enregistrement (D2), lisible par un équipement informatique d’un programme informatique (PGI) comportant des instructions pour l’exécution des étapes d’un procédé selon au moins une des revendications 1 à 9.