FR 3026195 A1 20160325 FR 1402113 A 20140922 Système d'exclusion d'une défaillance d'un satellite dans un système GNSS L'invention concerne le domaine des systèmes de navigation basés 5 sur l'exploitation de signaux émis par plusieurs satellites d'une constellation dite GNSS de l'acronyme anglais « Global Navigation Satellite System ». L'invention concerne plus précisément les systèmes de navigation hybrides basés à la fois sur un système de positionnement par satellite et sur les informations fournies par une centrale inertielle. 10 L'invention porte sur un système d'exclusion d'une défaillance d'un satellite intégré au sein d'un tel système de navigation de sorte à exclure les mesures réalisées sur le signal émis par le satellite identifié comme défaillant. 15 Un récepteur de positionnement par satellites fournit des informations de position et de vitesse du porteur par triangulation à partir des signaux émis par des satellites défilants visibles du porteur. Les informations fournies peuvent être momentanément indisponibles car le récepteur doit avoir en vue directe un minimum de quatre satellites du système de positionnement pour 20 pouvoir faire un point. Elles sont en outre d'une précision variable, dépendant de la géométrie de la constellation à la base de la triangulation, et bruitées car reposant sur la réception de signaux de très faibles niveaux provenant de satellites éloignés ayant une faible puissance d'émission. Mais elles ne souffrent pas de dérive à long terme, les positions des satellites défilant sur 25 leurs orbites étant connues avec précision sur le long terme. Les bruits et les erreurs peuvent être liés aux systèmes satellitaires, au récepteur ou à la propagation du signal entre l'émetteur satellitaire et le récepteur de signaux GNSS. En outre, les données satellites peuvent être erronées par suite de pannes affectant les satellites. Ces données non intègres doivent alors être 30 repérées pour ne pas fausser la position issue du récepteur GNSS. Pour prévenir les pannes satellites et assurer l'intégrité des mesures GNSS, il est connu d'équiper un récepteur de positionnement par satellites d'un système d'estimation de précision et de disponibilité dit RAIM (de l'anglo-saxon "Receiver Autonomous Integrity Monitoring") qui se base sur la géométrie et la redondance de la constellation de satellites utilisée lors de la triangulation et sur l'évolution prévisible à court terme de cette géométrie déduite de la connaissance des trajectoires des satellites. Cependant, l'algorithme RAIM n'est utilisé que pour des systèmes de localisation par satellites pur et non pour des systèmes de localisation hybrides. En outre, dans le cas où la géométrie de la constellation GNSS présente certaines configurations particulières, le système RAIM ne permet une exclusion du satellite défectueux qu'une fois que l'erreur de positionnement a atteint une valeur élevée ce qui n'est pas compatible d'un système de navigation embarqué dans un porteur qui nécessite une 15 information de positionnement en temps réel avec une précision élevée. Enfin, l'algorithme RAIM nécessite au moins 6 satellites en visibilité du récepteur pour pouvoir fonctionner ce qui n'est pas nécessairement le cas. L'invention propose un système d'exclusion d'une défaillance d'un 20 satellite adapté à un système de navigation hybride et qui fonctionne même en cas de géométrie dégradée de la constellation des satellites. L'invention a pour objet, dans un premier mode de réalisation, un système d'exclusion d'une mesure satellite défaillante dans un système de 25 positionnement par satellite, ledit système comprenant : - Une pluralité N de premiers filtres d'hybridation recevant chacun au moins une mesure de positionnement satellite réalisée sur les signaux reçus par tous les satellites en visibilité dudit système à l'exception d'un satellite, différent pour chaque premier filtre d'hybridation 30 différent, et une mesure de positionnement inertielle et délivrant une mesure de positionnement corrigée, dite mesure hybride, - une pluralité M de seconds filtres d'hybridation recevant chacun au moins une mesure de positionnement satellite réalisée sur les signaux reçus par tous les satellites en visibilité dudit système et une mesure de positionnement inertielle et délivrant une mesure de positionnement corrigée, dite mesure hybride, les seconds filtres d'hybridation étant mis à jour, à un rythme temporel constant, successivement à des instants temporels décalés périodiquement, - un module de détection apte à délivrer un instant de détection d'une défaillance d'au moins une mesure de positionnement satellite, - un module d'exclusion d'une mesure de positionnement satellite défaillante configuré pour : o sélectionner la mesure hybride la plus ancienne, par rapport à l'instant de détection d'une défaillance, parmi les M mesures hybrides à jour délivrées par les M seconds filtres d'hybridation, o comparer la mesure hybride sélectionnée, dite mesure hybride de référence, avec chacune des mesures hybrides délivrées par les N premiers filtres d'hybridation, o en déduire l'identification de la mesure défaillante. Selon un aspect particulier du premier mode de réalisation de l'invention, ledit module d'exclusion d'une défaillance d'un satellite est en outre configuré pour : - Comparer la différence entre la mesure hybride de référence et chacune des mesures hybrides délivrées par les N premiers filtres d'hybridation à un seuil de détection prédéterminé, - Conclure sur la présence d'une mesure défaillante parmi le groupe de N-1 mesures utilisées par les premiers filtres d'hybridation qui vérifient le test de comparaison précité, - Identifier la mesure défaillante comme celle appartenant à l'intersection des groupes de N-1 mesures comprenant une mesure défaillante. 4 3026195 Selon un autre aspect particulier du premier mode de réalisation de l'invention, ledit module d'exclusion d'une défaillance d'un satellite est en outre configuré pour : - appliquer un test statistique du type « RAIM » à un ensemble de 5 mesures comprenant les mesures satellite réalisées sur les signaux reçus par tous les satellites en visibilité à l'exception d'un satellite, le test statistique étant dépendant de l'erreur entre chaque mesure dudit ensemble et une estimée de chacune de ces mesures, 10 - détecter la présence d'une mesure satellite défaillante parmi les mesures satellites dudit ensemble en fonction dudit test statistique, - injecter, en entrée des M seconds filtres d'hybridation, en priorité les mesures satellites n'appartenant pas à un ensemble dans lequel la présence d'une mesure défaillante a été détectée. 15 Selon un autre aspect particulier du premier mode de réalisation de l'invention, la période de mise à jour d'un premier filtre d'hybridation est inférieure à la période de mise à jour d'un second filtre d'hybridation. L'invention a également pour objet, dans un second mode de 20 réalisation, un système d'exclusion d'une mesure satellite défaillante dans un système de positionnement par satellite, ledit système comprenant : - une pluralité M de filtres d'hybridation recevant chacun au moins une mesure réalisée sur les signaux reçus par tous les satellites en visibilité dudit système et une mesure de positionnement inertielle 25 et délivrant une mesure de positionnement corrigée, dite mesure hybride, lesdits filtres d'hybridation étant mis à jour, à un rythme temporel constant, successivement à des instants temporels décalés périodiquement, - un module de détection apte à délivrer un instant de détection 30 d'une défaillance d'au moins une mesure de positionnement satellite, 5 3026195 - un module d'exclusion d'une mesure de positionnement satellite défaillante configuré pour : o sélectionner la mesure hybride, appelée mesure hybride de référence, la plus ancienne, par rapport à l'instant de 5 détection d'une défaillance, parmi les M mesures hybrides à jour délivrées par les M filtres d'hybridation, o appliquer un test statistique du type « RAIM » à un ensemble de mesures comprenant d'une part les mesures satellite réalisées sur les signaux reçus par tous les satellites io en visibilité à l'exception d'un satellite et d'autre part la mesure hybride de référence, le test statistique étant dépendant de l'erreur entre chaque mesure dudit ensemble et une estimée de chacune de ces mesures, o détecter la présence d'une mesure satellite défectueuse 15 parmi les mesures satellites dudit ensemble en fonction dudit test statistique, o itérer les deux étapes précédentes en modifiant à chaque itération la mesure satellite exclue dudit ensemble, o en déduire l'identification de la mesure satellite 20 défectueuse. Selon un aspect particulier du second mode de réalisation de l'invention, ledit test statistique consiste au moins à: - Former un système d'équations reliant d'une part les mesures satellites dudit ensemble aux coordonnées de la position du système 25 et d'autre part la mesure hybride de référence aux coordonnées de la position du système - Construire un vecteur des résidus par application de l'algorithme des moindres carrés audit système d'équations, - Construire un résidu unique à partir dudit vecteur des résidus, 30 - Comparer le résidu unique à un seuil de détection prédéterminé. Selon un aspect particulier du second mode de réalisation de l'invention, la mesure hybride de référence comporte une mesure de position du système et une mesure de biais d'horloge entre un satellite et ledit système. Selon un aspect particulier du second mode de réalisation de l'invention, l'ensemble de mesures auquel le test statistique est appliqué comporte en outre le bruit de mesure impactant la mesure hybride de référence qui est fourni par le filtre d'hybridation ayant délivré ladite mesure hybride. o Selon un aspect particulier du second mode de réalisation de l'invention, ledit module d'exclusion d'une défaillance d'un satellite est en outre configuré pour : - appliquer un test statistique du type « RAIM » à un ensemble de mesures comprenant les mesures satellite réalisées sur les 15 signaux reçus par tous les satellites en visibilité à l'exception d'un satellite, le test statistique étant dépendant de l'erreur entre chaque mesure dudit ensemble et une estimée de chacune de ces mesures, - détecter la présence d'une mesure satellite défectueuse parmi les 20 mesures satellites dudit ensemble en fonction dudit test statistique, - injecter, en entrée des M filtres d'hybridation, en priorité les mesures satellites n'appartenant pas à un ensemble dans lequel la présence d'une mesure défectueuse a été détectée. 25 Selon un aspect particulier de l'un quelconque des deux modes de réalisation de l'invention, la durée entre deux instants temporels successifs de mise à jour de deux seconds filtres d'hybridation distincts est sensiblement égale à la période de mise à jour d'un second filtre d'hybridation divisée par le nombre M de seconds filtres d'hybridation. 30 Selon un aspect particulier de l'un quelconque des deux modes de réalisation de l'invention, un filtre d'hybridation est un filtre de Kalman. L'invention a également pour objet un système de navigation comprenant un récepteur de positionnement par satellite apte à délivrer des mesures de pseudo-distances ou de positionnement à partir de signaux émis par des satellites appartenant à une constellation d'un système de positionnement par satellite, une centrale inertielle apte à délivrer des mesures de positionnement inertielles et un système d'exclusion d'une mesure satellite défaillante dans un système de positionnement par satellite selon l'invention. D'autres caractéristiques et avantages de la présente invention apparaîtront mieux à la lecture de la description qui suit en relation aux dessins annexés qui représentent : - La figure 1, un système de navigation hybride selon l'art antérieur, - La figure 2, un système de navigation hybride selon un premier mode de réalisation de l'invention, - La figure 3, un système de navigation hybride selon un second mode de réalisation de l'invention, La figure 1 représente un système de navigation hybride selon l'art antérieur. Ce système SYN comporte notamment: un récepteur de positionnement par satellites GNSS, recevant des signaux émis par N satellites d'une constellation GNSS en visibilité et délivrant des mesures de positionnement MPS, par exemple des mesures brutes de pseudo-distance, - une unité de mesure inertielle UMI, comprenant par exemple au moins un gyromètre et un accéléromètre, délivrant des incréments d'angle et des incréments de vitesse INC, une plate-forme virtuelle PFV, recevant les incréments d'angle et de vitesse INC et produisant des mesures de positionnement inertielles MPI, par exemple des mesures de position et/ou de vitesse. Optionnellement, la plate-forme virtuelle PFV peut également recevoir des mesures d'altitude barométrique. Le système SYN selon l'art antérieur comporte en outre un ensemble 5 de filtres d'hybridation, par exemple implémentés sous la forme de filtres de Kalman, dont l'objectif est d'estimer les erreurs réalisées sur les mesures de position inertielles MPI, à partir des informations complémentaires fournies par les mesures de positionnement satellite MPS. Le système SYN comporte à cet effet un filtre d'hybridation principal 10 FHP et N filtres d'hybridation secondaires FHS11...FHSN. Le nombre N de filtres d'hybridation secondaires est égal au nombre de satellites en visibilité. Le filtre d'hybridation principal FHP reçoit toutes les mesures de positionnement satellite MPS déterminées sur les N signaux émis par les N satellites et produit une mesure de positionnement corrigée à partir d'un 15 vecteur d'état correspondant aux erreurs du système hybride obtenu en observant les écarts entre les mesures de position inertielles MPI et les mesures de positionnement satellite MPS. Le filtre d'hybridation principal FHP produit également une matrice de variance/covariance de l'erreur d'estimation. 20 Les filtres d'hybridation secondaires sont identiques au filtre d'hybridation principal à la différence prêt qu'ils reçoivent en entrée les mesures de positionnement satellite MPS correspondant à N-1 signaux parmi les N signaux disponibles. Pour chaque filtre d'hybridation secondaire, une mesure associée à un satellite différent est exclue du filtrage. 25 Le système SYN comporte encore un module de détection d'une panne d'un satellite DET ainsi qu'un module d'exclusion du satellite en panne EXC. Plusieurs méthodes de détection de panne sont connues de l'état de 30 l'art. Une première méthode consiste à comparer la sortie du filtre d'hybridation principal avec chaque sortie des filtres d'hybridation secondaires. La comparaison peut se faire en comparant l'écart entre les sorties deux à deux avec un seuil de détection calculé à partir des matrices de variance/covariance fournies par les filtres. Lorsqu'un seuil de détection est dépassé, cela signifie qu'une panne est présente sur l'un des satellites. Le seuil de détection est configuré pour obtenir une probabilité de fausse alarme donnée. Une seconde méthode, décrite par exemple dans le document [1], consiste à contrôler les innovations de tous les filtres d'hybridation secondaires et à détecter une innovation incohérente vis-à-vis d'un modèle prédéfini. Lorsqu'une panne est détectée par le module de détection DET, le module d'exclusion EXC est activé afin d'identifier le satellite défectueux. La encore, plusieurs méthodes de l'art antérieur existent. La référence [1] décrit une première méthode connue sous l'acronyme anglo-saxon RAIM 15 pour « Receiver Autonomous Integrity Monitoring ». Cette première méthode n'exploite que les mesures réalisées sur les signaux satellites sans utiliser de filtres d'hybridation. Elle nécessite au moins six satellites en visibilité. A partir de plusieurs (au moins 5) mesures de pseudo-distances ainsi que des mesures de bruit associées, il est possible de calculer un résidu d'erreur 20 entre les mesures de pseudo-distances et les pseudo-distances estimées. Un résidu est calculé en retirant un satellite à chaque fois des mesures obtenues. Le résidu est comparé à un seuil de détection configuré à partir des bruits de mesures. Si un seul résidu ne dépasse pas le seuil de détection, on peut alors identifier quel est le satellite défectueux. Il s'agit du 25 satellite qui n'a pas été exploité pour calculer le résidu qui ne dépasse pas le seuil de détection. Ce principe est connu de l'Homme du métier et est décrit dans de nombreux ouvrages, on peut citer également la référence [2], en particulier en page 43. Une deuxième méthode d'exclusion connue est décrite dans la 30 référence [1] pour le cas de filtres d'hybridation entre mesures GNSS et mesures inertielles. Elle est basée, comme la méthode de détection, sur le contrôle d'innovation des filtres d'hybridation secondaires. Le système de l'art antérieur tel que décrit à la figure 1 présente notamment l'inconvénient d'être sensible à la géométrie de la constellation des satellites GNSS. En effet, dans certaines configurations, la détection et/ou l'exclusion, en cas de panne d'un satellite, ne sera pas correctement activée. Ce phénomène peut se produire notamment lorsqu'il y a peu de redondance sur un axe, autrement dit lorsque plusieurs satellites sont io proches. En outre, les méthodes d'exclusion précitées nécessitent au moins six satellites en visibilité pour pouvoir identifier le satellite défaillant. La figure 2 illustre un système de navigation hybride SYN2 selon un 15 premier mode de réalisation de l'invention. Le système SYN2 comprend les mêmes éléments que le système SYN selon l'art antérieur décrit à la figure 1. Il comporte notamment une pluralité de premiers filtres d'hybridation PFHLPFH2,...PFHN en nombre N égal au nombre de satellites en visibilité. Les premiers filtres d'hybridation 20 PFH1,PFH2,...PFHN reçoivent en entrée les mesures de positionnement satellite MPS correspondant à N-1 signaux parmi les N signaux disponibles. Pour chaque filtre d'hybridation secondaire, une mesure associée à un satellite différent est exclue du filtrage. Le système SYN2 peut également comprendre, tout comme le 25 système de l'art antérieur SYN, un filtre d'hybridation principal FHP qui peut être utilisé, par exemple, par le module de détection DET tel que décrit ci- dessus. Le système SYN2 comprend en outre une pluralité de seconds filtres d'hybridation SFH1,SFH2,...SFHm. Ces filtres secondaires ont une période de 30 mise à jour, ou recalage, plus élevée que les premiers filtres d'hybridation PFH1,PFH2,...PFHN. Typiquement les premiers filtres d'hybridation ont une période de mise à jour de l'ordre de quelques secondes tandis que les seconds filtres d'hybridation ont une période de mise à jour de l'ordre de quelques minutes. Le nombre M de seconds filtres d'hybridation est un paramètre de l'invention. Il dépend notamment de la classe inertielle, c'est-à- dire de la précision des mesures fournies par l'unité de mesure inertielle UMI. Si la précision est faible, une valeur élevée est choisie pour M. Les seconds filtres d'hybridation SFH1,SFH2,...SFHm ont chacun un instant de recalage, ou mise à jour, décalé temporellement par rapport au filtre précédent. Par exemple, la période de mise à jour des filtres peut être 10 égale à M minutes, le premier filtre SF1-11 est alors mis à jour à un instant to, le second filtre SF1-!2 est mis à jour à un instant to + 1 minute, le dernier filtre SFHm est mis à jour à un instant to + (M-1) minutes. Les instants de mise à jour sont exprimés modulo M. Préférentiellement le décalage entre deux mises à jour successives de deux filtres distincts est choisi constant. Les 15 seconds filtres d'hybridation SFH1,SFH2,...SFHm reçoivent toutes les mesures de positionnement satellite MPS déterminées sur les N signaux émis par les N satellites. L'invention concerne une nouvelle méthode d'exclusion d'un satellite défaillant, cette méthode étant implémentée par le module d'exclusion EXC. 20 La méthode de détection de panne est choisie parmi les méthodes de l'art antérieur décrites ci-dessus. Préférentiellement, la méthode de détection implémentée par le module de détection DET est paramétrée avec une probabilité de fausse alarme plus faible que celle imposée par les normes, de sorte à diminuer le temps de détection. Le module de détection DET est dans 25 ce cas dupliqué par un second module de détection qui exécute le même algorithme mais avec un taux de fausse alarme plus élevé afin d'être compatible des normes et de fournir une alerte avec une fiabilité suffisante. La méthode d'exclusion du satellite défaillant consiste ensuite, dans un premier temps, à sélectionner le filtre, parmi les M seconds filtres 30 d'hybridation SFHLSFH2,...SFHm, dont la dernière mise à jour est la plus éloignée dans le temps de l'instant de détection de la panne. La figure 3 12 3026195 illustre sur un axe des temps t, les instants de mise à jour des différents filtres d'hybridation SFI-11,SFH27...SFHm. Le premier filtre SFH1 est mis à jour à to puis à to + M, le second filtre SFH2 est mis à jour à to + 1 puis à to + M+1 et ainsi de suite. Sur la figure 3 est également représenté l'instant IDET de 5 détection de la panne par le module de détection DET. En comparant cet instant IDET aux M instants de mise à jour précédents des filtres d'hybridation, on sélectionne le filtre SFH1 qui est celui dont l'instant de mise à jour est le plus éloigné dans le temps de l'instant de détection IDET. Le filtre d'hybridation SFH1 retenu est celui dont la mise à jour est intervenue le plus longtemps possible avant la détection de la panne d'un satellite. La sortie de ce filtre correspond donc à la mesure la plus vraisemblablement correcte parmi les sorties des M filtres secondaires SFH1,SFH2,...SFHm. L'idée à la base de l'invention consiste à utiliser cette mesure comme mesure de référence. On désigne par la suite le filtre d'hybridation secondaire retenu SFH1 comme filtre d'hybridation de référence. Dans un second temps, on compare la sortie du filtre d'hybridation SFH1 de référence avec chacune des sorties des N premiers filtres d'hybridation PFH1,PFH2,...PFHN pour en déduire quel satellite est défectueux. Lorsque la sortie d'un premier filtre d'hybridation présente un écart significatif avec la sortie du filtre d'hybridation de référence, cela signifie qu'une des mesures satellites utilisées en entrée du premier filtre d'hybridation est défectueuse. Par élimination, on identifie le satellite défectueux comme celui appartenant à l'intersection des groupes de satellites comprenant un satellite défectueux. La comparaison entre les sorties de deux filtres d'hybridation peut se faire de plusieurs manières. Elle peut être réalisée sur une seule valeur ou sur un vecteur comprenant plusieurs valeurs. Elle peut être réalisée, par exemple, en calculant l'écart entre les deux sorties et en comparant cet écart à un seuil de détection préconfiguré. 13 3026195 Les différents filtres d'hybridation utilisés par le système selon l'invention sont conçus selon les connaissances générales dans le domaine des systèmes de navigation hybrides. Ils peuvent par exemple être réalisés par des filtres de Kalman. 5 La figure 4 illustre un système de navigation hybride SYN3 selon un second mode de réalisation de l'invention. Le système SYN3 comprend un récepteur de positionnement par satellites GNSS, recevant des signaux émis par N satellites d'une io constellation GNSS en visibilité et délivrant des mesures de positionnement MPS, par exemple des mesures brutes de pseudo-distance, une unité de mesure inertielle UMI et une plate-forme virtuelle PFV. Le système SYN3 comprend également un module de détection de panne DET et un module d'exclusion de panne EXC. La méthode de 15 détection de panne est choisie parmi les méthodes de l'art antérieur décrites ci-dessus. Préférentiellement, la méthode de détection implémentée par le module de détection DET est paramétrée avec une probabilité de fausse alarme plus faible que celle imposée par les normes, de sorte à diminuer le temps de détection. 20 Le système SYN3 comprend en outre une pluralité de filtres d'hybridation SFF11,SF1-12,...SFI-Im identiques aux M seconds filtres d'hybridations décrits à la figure 2 pour le cas du ler mode de réalisation de l'invention. L'utilisation de filtres d'hybridation SFH1,SFH2,...SFHK4 ayant un 25 instant de mise à jour décalé temporellement les uns par rapport aux autres est un élément inventif commun aux deux modes de réalisation de l'invention respectivement décrits aux figures 2 et 4. Dans les deux modes, on sélectionne un filtre d'hybridation de référence dont la dernière mise à jour est la plus éloignée dans le temps de l'instant de détection de la panne 30 comme cela a été décrit dans le cas du premier mode de réalisation. Dans le second mode de réalisation de l'invention décrit à la figure 4, la sortie du filtre d'hybridation de référence est utilisée pour compléter les mesures de pseudo-distances obtenues sur les signaux émis par les satellites en visibilité appartenant à la constellation GNSS. Pour cela, on se base sur la méthode de l'art antérieur connue sous l'acronyme RAIM « Receiver Autonomous lntegrity Monitoring » telle que décrite, par exemple aux pages 39 à 43 de la référence [2]. Le principe général de la méthode RAIM consiste à résoudre un système d'équations obtenues par application du principe de triangulation. La 10 pseudo-distance mesurée sur un signal satellite est reliée, par l'intermédiaire d'une équation, aux coordonnées du dispositif récepteur et aux coordonnées du satellite. Ces dernières étant connues (par exemple par le biais d'éphémérides), l'équation précitée comporte alors quatres inconnues qui correspondent aux trois coordonnées spatiales du récepteur et à une 15 quatrième inconnue correspondant à l'incertitude temporelle liée à la désynchronisation entre l'horloge du satellite et l'horloge du récepteur. En utilisant au moins quatre mesures de pseudo-distances associées à quatre satellites distincts, on peut résoudre le système d'équations à quatre inconnues et en déduire la position du récepteur selon un principe bien 20 connu. La méthode RAIM exploite ce principe en introduisant, dans le système d'équations précité, un paramètre supplémentaire de bruit qui affecte la mesure. Ce paramètre est fourni par le récepteur. Le système d'équations à résoudre peut être formulé de la façon 25 suivante : Zt = h(X) + et (1) Zt est un vecteur comprenant N mesures de pseudo-distances associées aux N signaux reçus des N satellites en visibilité de la constellation. ; est un vecteur d'état composé du quadruplet (xt,Yfizt,bil,t) où (xtStizt) sont les coordonnées du récepteur et bH,t est le biais de l'horloge du récepteur, par rapport à l'horloge commune des satellites, à l'instant t. ht est une fonction non linéaire liant les paramètres du vecteur d'état à estimer aux mesures observées. et est un vecteur contenant les N bruits de mesure affectant les pseudo-distances mesurées. Ces bruits sont fournis par le récepteur. L'algorithme des moindres carrés peut être appliqué pour résoudre le système d'équations (1). En effet, cet algorithme permet d'estimer des 10 paramètres inconnus à partir d'observations bruitées. Ces observations doivent dépendre linéairement des paramètres à estimer. Pour cela, il faut au préalable linéariser le système d'équations (1) par un développement au premier ordre. La linéarisation se fait autour du point précédemment estimé, noté Z- 15 La linéarisation au premier ordre du système (1) s'écrit alors : Zt = ht(gt-i.) + Ht(Xt - gt--1)+Et (2) Fit est une matrice de dimension Nx4 qui contient les dérivées partielles de ht par rapport aux composantes de ; et évaluées en gt-1. Cette matrice dépend de la position relative des satellites par rapport au récepteur. 20 L'équation (2) peut être reformulée de la façon suivante : Yt = Ht8Xt + Et (3) Yt = Zt - ht(gt_1) est le vecteur de mesure de l'équation GNSS linéarisée. 25 8Xt = Xt - gt-1 est l'écart entre le vecteur d'état à l'instant t, ; et le vecteur d'état estimé à l'instant précédent t-1. En appliquant l'algorithme des moindres carrés à l'équation (3), la méthode RAIM consiste à construire un vecteur de résidus, un résidu étant égal à la différence entre une mesure effectivement observée et une mesure estimée à partir de la solution des moindres carrés. En reprenant les notations précédentes, le vecteur des résidus des moindres carrés, noté AYt, s'exprime comme la différence entre les mesures 5 effectivement reçues et les mesures estimées à partir de la solution des moindres carrés. AYt = Yt - at (4) En comparant la somme du carré des résidus à un seuil de détection 10 préconfiguré, il est possible de détecter une défaillance d'un satellite. Le seuil de détection est déterminé pour une probabilité de fausse alarme donnée et dépend du nombre de mesures N. En appliquant ce principe à N estimateurs utilisant chacun N-1 15 mesures satellites et excluant chacun une mesure différente, on peut identifier la mesure satellitaire défaillante. En effet, si un seul estimateur ne dépasse pas le seuil de détection de défaillance, cela signifie que les N-1 mesures utilisées pour construire cet estimateur sont saines et que le satellite défaillant est à l'intersection des N-1 autres groupes pour lesquels 20 l'estimateur dépasse le seuil de détection. Selon le second mode de réalisation de l'invention, la méthode RAIM précitée est améliorée en ajoutant, au système d'équations à résoudre, plusieurs équations supplémentaires reliant la pseudo-distance entre le 25 récepteur et un satellite aux mesures de position et d'erreur d'horloge fournies en sortie du filtre d'hybridation de référence. L'information de bruit associée à ces mesures est fournie par la matrice de variance/covariance de sortie du filtre. 30 Le filtre d'hybridation de référence fourni un vecteur d'erreur composé des erreurs de position et de biais d'horloge AXhyb = (Ax Ay Az Ab)T. Ce 17 3026195 vecteur peut comprendre uniquement les mesures d'erreurs de position ou, en complément, une mesure d'erreur sur le biais d'horloge. Ce vecteur de mesures peut être intégré au système d'équations (3) comme mesures supplémentaires de l'erreur 6Xt = Xt - Rt-1. Dans ce cas le 5 système d'équations (3) est augmenté de Nhyb équations supplémentaires où Nhyb est égal au nombre de mesures du vecteur AXhyb en sortie du filtre d'hybridation de référence. La matrice Ht est également modifiée, elle devient Ht = Htavec Hhybla matrice identité de taille Nhyb. 10 Le système d'équations (3) peut être réécrit de la façon suivante : PRI- ht1(2t_1)- PR2 - ht2(fet_1) APR1- APR2 PRN - htN(gt_i) APRN Ht 6Xt Et Yt = Zt - he = = [ Ax - 0 Ax hyb + ] (5) - 0 Ay Az - - Ab PR1,PR2,...PRN sont les mesures de pseudo-distances réalisées sur les N signaux satellites reçus. L'ajout des mesures supplémentaires Lx Ay Az Ab donne une 15 information sur tous les axes (grâce aux trois coordonnées du récepteur) et suivant la direction du biais d'horloge et permet ainsi de compenser une mauvaise configuration géométrique des satellites. En outre, l'ajout de trois ou quatre mesures supplémentaires au système d'équations à résoudre permet de diminuer d'autant le nombre de 20 satellites en visibilité nécessaire pour résoudre le système. On décrit à présent une variante de réalisation du premier ou du second mode de réalisation de l'invention, permettant d'améliorer la fiabilité des mesures fournies par le filtre d'hybridation de référence. 25 Parallèlement ou antérieurement à la mise en oeuvre d'une méthode d'exclusion d'un défaut satellite selon le premier ou le second mode de 18 3026195 réalisation de l'invention, il est possible d'appliquer un algorithme d'exclusion du type RAM qui présente l'avantage de pouvoir valider au fur et à mesure du traitement les mesures satellites qui semblent saines. Précisément, selon la méthode RAIM, si le résidu calculé pour un 5 groupe de N-1 mesures satellites dépasse le seuil de détection, cela signifie qu'une des N-1 mesures est défectueuse et à l'inverse que la Nie' mesure non exploitée dans ce groupe peut être considérée comme saine. Ainsi, la mesure non utilisée par un groupe de N-1 mesures dont le résidu dépasse le seuil de détection de défaut peut être utilisée io prioritairement par les filtres d'hybridation parmi lesquels le filtre d'hybridation de référence est sélectionné. Un avantage de cette variante est qu'elle permet d'améliorer encore la précision des mesures délivrées par le filtre d'hybridation de référence puisqu'il utilise en priorité des mesures satellites qui sont vraisemblablement 15 saines car identifiées comme telles par la méthode RAIM. Ainsi l'incertitude associée à ces mesures est diminuée. Un autre avantage de cette variante de réalisation de l'invention concerne le calcul du rayon de protection HEL de l'anglais « Horizontal 20 Exclusion Limit ». Ce rayon de protection définit une borne d'erreur de positionnement que le système ne peut dépasser sans parvenir à corriger la défaillance de positionnement avec une probabilité de non détection et de fausse alarme donnée. Ce rayon garantit que la panne sera exclue avant que l'avion ne sorte 25 du cercle de protection définit par ce rayon. Le rayon de protection HEL est une grandeur couramment utilisée dans le domaine des systèmes de navigation aéronautiques. Son calcul précis dans le cas d'une méthode d'exclusion de panne de type RAIM est par exemple décrit en pages 44 à 46 de la référence [2]. 30 Ce calcul est basé sur la somme des résidus au carré fournis par la résolution au sens des moindres carrés du système d'équation (2) modifié avec les mesures supplémentaires fournies par le filtre d'hybridation de référence. La somme des résidus au carré, en présence d'une panne, constitue une loi statistique du chi2 à N-5 degrés de liberté non centrée où N est le nombre d'équations du système (2). Le plus petit paramètre de non centralité détectable de cette loi du chi2 est calculable à partir d'une probabilité de fausse alarme et d'une probabilité de non détection. Il se calcule sur la base de l'hypothèse que la probabilité (suivant la loi du chi2 non centrée) que la somme des résidus au carré ne dépasse pas le seuil de détection alors que la panne est présente est inférieure à la lo probabilité de non détection. Le plus petit paramètre de non centralité permet de remonter au plus petit biais satellite détectable à partir des équations de projection. Le plus petit biais détectable permet de remonter à l'erreur provoquée par le plus petit biais détectable. 15 Pour chaque sous groupe k comprenant N-1 satellites, on calcule l'impact sur l'erreur de position du plus petit biais détectable, on obtient alors N-1 rayons de protection RPi (i variant de 1 à N-1), on prend alors le maximum d'entre eux noté HILk. Le maximum parmi tous les rayons HILk en faisant varier k de 1 à N donne le rayon de protection HEL recherché. 20 Le rayon de protection HEL peut être calculé avant la mission de façon prédictive car il ne dépend que des bruits, des probabilités et de la géométrie des mesures. L'avantage du second mode de réalisation de l'invention est qu'il permet 25 d'appliquer un calcul de rayon de protection HEL identique à celui de la méthode RAIM mais avec de meilleures performances, autrement dit une précision accrue. Références [1] « Fault Detection and exclusion using normalized solution separation and residual monitoring methods », Ryan S.Y.Young, Gary A. McGraw, [2] "Algorithmes de contrôle d'intégrité pour la navigation hybride GNSS et 5 systems de navigation inertielle en presence de multiples mesures satellitaires défaillantes", Frédéric Faune, thèse de l'université de Bordeaux, REVENDICATIONS1. Système d'exclusion d'une mesure satellite défaillante dans un système de positionnement par satellite, ledit système comprenant : - Une pluralité N de premiers filtres d'hybridation (PFI-11,..PFHN) recevant chacun au moins une mesure de positionnement satellite (MPS) réalisée sur les signaux reçus par tous les satellites en visibilité dudit système à l'exception d'un satellite, différent pour chaque premier filtre d'hybridation différent, et une mesure de positionnement inertielle (MPI) et délivrant une mesure de positionnement corrigée, dite mesure hybride (MHpi,.. MHFN), - une pluralité M de seconds filtres d'hybridation (SFF11,..SFHm) recevant chacun au moins une mesure de positionnement satellite (MPS) réalisée sur les signaux reçus par tous les satellites en visibilité dudit système et une mesure de positionnement inertielle (MPI) et délivrant une mesure de positionnement corrigée, dite mesure hybride (MHs1,.. MHsm), les seconds filtres d'hybridation étant mis à jour, à un rythme temporel constant, successivement à des instants temporels décalés périodiquement, - un module de détection (DET) apte à délivrer un instant de détection d'une défaillance d'au moins une mesure de positionnement satellite (MPS), - un module d'exclusion (EXC) d'une mesure de positionnement satellite défaillante configuré pour : o sélectionner la mesure hybride la plus ancienne, par rapport à l'instant de détection d'une défaillance, parmi les M mesures hybrides (MHsi,.. MHsm) à jour délivrées par les M seconds filtres d'hybridation, o comparer la mesure hybride sélectionnée, dite mesure hybride de référence (MHREF), avec chacune des mesureshybrides (MHpi,.. MHpN) délivrées par les N premiers filtres d'hybridation, o en déduire l'identification de la mesure défaillante. 2. Système d'exclusion d'une mesure satellite défaillante selon la revendication 1 dans lequel ledit module d'exclusion (EXC) d'une défaillance d'un satellite est en outre configuré pour.: - Comparer la différence entre la mesure hybride de référence (MHREF) et chacune des mesures hybrides (MHpi,.. MHpN) délivrées par les N premiers filtres d'hybridation à un seuil de détection prédéterminé, - Conclure sur la présence d'une mesure défaillante parmi le groupe de N-1 mesures (MPS) utilisées par les premiers filtres d'hybridation qui vérifient le test de comparaison précité, - Identifier la mesure défaillante comme celle appartenant à l'intersection des groupes de N-1 mesures (MPS) comprenant une mesure défaillante. 3. Système d'exclusion d'une mesure satellite défaillante selon l'une des revendications 1 ou 2 dans lequel ledit module d'exclusion (EXC) d'une défaillance d'un satellite est en outre configuré pour : - appliquer un test statistique du type « RAIM » à un ensemble de mesures comprenant les mesures satellite (MPS) réalisées sur les signaux reçus par tous les satellites en visibilité à l'exception d'un satellite, le test statistique étant dépendant de l'erreur entre chaque mesure dudit ensemble et une estimée de chacune de ces mesures, - détecter la présence d'une mesure satellite défaillante parmi les mesures satellites (MPS) dudit ensemble en fonction dudit test statistique,- injecter, en entrée des M seconds filtres d'hybridation (SFI-11,..SFElm), en priorité les mesures satellites (MPS) n'appartenant pas à un ensemble dans lequel la présence d'une mesure défaillante a été détectée. 4. Système d'exclusion d'une mesure satellite défaillante selon l'une des revendications précédentes dans lequel la période de mise à jour d'un premier filtre d'hybridation est inférieure à la période de mise à jour d'un second filtre d'hybridation. 5. Système d'exclusion d'une mesure satellite défaillante dans un système de positionnement par satellite, ledit système comprenant : - une pluralité M de filtres d'hybridation (SFHi,..SFHm) recevant chacun au moins une mesure (MPS) réalisée sur les signaux reçus par tous les satellites en visibilité dudit système et une mesure de positionnement inertielle (MPI) et délivrant une mesure de positionnement corrigée, dite mesure hybride (MHsi,.. MI-Ism), lesdits filtres d'hybridation étant mis à jour, à un rythme temporel constant, successivement à des instants temporels décalés périodiquement, - un module de détection (DET) apte à délivrer un instant de détection d'une défaillance d'au moins une mesure de positionnement satellite (MPS), - un module d'exclusion (EXC) d'une mesure de positionnement satellite défaillante configuré pour : o sélectionner la mesure hybride, appelée mesure hybride de référence, la plus ancienne, par rapport à l'instant de détection d'une défaillance, parmi les M mesures hybrides (MHsi,.. MHsm) à jour délivrées par les M filtres d'hybridation,o appliquer un test statistique du type « RAIM » à un ensemble de mesures comprenant d'une part les mesures satellite (MPS) réalisées sur les signaux reçus par tous les satellites en visibilité à l'exception d'un satellite et d'autre part la mesure hybride de référence, le test statistique étant dépendant de l'erreur entre chaque mesure dudit ensemble et une estimée de chacune de ces mesures, o détecter la présence d'une mesure satellite défectueuse parmi les mesures satellites (MPS) dudit ensemble en fonction dudit test statistique, o itérer les deux étapes précédentes en modifiant à chaque itération la mesure satellite (MPS) exclue dudit ensemble, o en déduire l'identification de la mesure satellite défectueuse. 6. Système d'exclusion d'une mesure satellite défaillante selon la revendication 5 dans lequel ledit test statistique consiste au moins à: - Former un système d'équations reliant d'une part les mesures satellites (MPS) dudit ensemble aux coordonnées de la position du système et d'autre part la mesure hybride de référence aux coordonnées de la position du système - Construire un vecteur des résidus par application de l'algorithme des moindres carrés audit système d'équations, - Construire un résidu unique à partir dudit vecteur des résidus, - Comparer le résidu unique à un seuil de détection prédéterminé. 7. Système d'exclusion d'une mesure satellite défaillante selon l'une des revendications 5 à 6 dans lequel la mesure hybride de référence comporte une mesure de position du système et une mesure de biais d'horloge entre un satellite et ledit système. 8. Système d'exclusion d'une mesure satellite défaillante selon l'une des revendications 5 à 7 dans lequel l'ensemble de mesures auquel le test statistique est appliqué comporte en outre le bruit de mesure impactant la mesure hybride de référence qui est fourni par le filtre d'hybridation ayant délivré ladite mesure hybride. 9. Système d'exclusion d'une mesure satellite défaillante selon l'une des revendications 5 à 8 dans lequel ledit module d'exclusion (EXC) d'une 1 o défaillance d'un satellite est en outre configuré pour : - appliquer un test statistique du type « RAIM » à un ensemble de mesures comprenant les mesures satellite (MPS) réalisées sur les signaux reçus par tous les satellites en visibilité à l'exception d'un satellite, le test statistique étant dépendant de l'erreur entre 15 chaque mesure dudit ensemble et une estimée de chacune de ces mesures, - détecter la présence d'une mesure satellite défectueuse parmi les mesures satellites (MPS) dudit ensemble en fonction dudit test statistique, 20 - injecter, en entrée des M filtres d'hybridation (SFH1,..SFHm), en priorité les mesures satellites (MPS) n'appartenant pas à un ensemble dans lequel la présence d'une mesure défectueuse a été détectée. 25 10.Système d'exclusion d'une mesure satellite défaillante selon l'une des revendications précédentes dans lequel la durée entre deux instants temporels successifs de mise à jour de deux seconds filtres d'hybridation distincts est sensiblement égale à la période de mise à jour d'un second 30 filtre d'hybridation divisée par le nombre M de seconds filtres d'hybridation. 11. Système d'exclusion d'une mesure satellite défaillante selon l'une des revendications précédentes dans lequel un filtre d'hybridation est un filtre de Kalman. 12.Système de navigation (SYN2, SYN3) comprenant un récepteur de positionnement par satellite (GNSS) apte à délivrer des mesures de pseudo-distances ou de positionnement (MPS) à partir de signaux émis par des satellites appartenant à une constellation d'un système de io positionnement par satellite, une centrale inertielle (UMI,PFV) apte à délivrer des mesures de positionnement inertielles (MPI) et un système d'exclusion d'une mesure satellite défaillante dans un système de positionnement par satellite selon l'une des revendications précédentes. 15