GT S3


Groupe de Travail S3

Sûreté Surveillance Supervision

Accueil

Présentation

Réunions S3

Thèses

Liens utiles














Contacts :

Antoine Grall
ICD, UTT
antoine.grall@utt.fr

Ghaleb Hoblos
ESIGELEC
ghaleb.hoblos@esigelec.fr

Benoît Marx
CRAN, Université de Lorraine
benoit.marx@univ-lorraine.fr


Quelques thèses ou HDR en relation avec les activités du GT S3

N'hésitez pas à faire parvenir aux animateurs des informations que vous jugez intéressantes pour la communauté S3, comme des annonces de soutenances de thèses ou d'HDR.

Accès aux thèses et HDR en lien avec le GT S3 par année
2020  2019  2018  2017  2016  2015  2014  2013  2012  2011  2010  2009  2008  2007




Thèses 2020

G. Oman Lundin, ISAE-ONERA, Université de Toulouse, lien
Supervision for drone flight safety


Thèses 2019

B. Abci, CRIStAL, Université de Lille lien
Approche informationnelle pour la navigation autonome tolérante aux défauts Application aux systèmes robotiques mobiles.

I. Bensekrane
, CRIStAL, Université de Lille lien
Towards an energy planning strategy for autonomous driving of an over-actuated road vehicle

E.A. Le Maitre Gonzalez,
ENIT LGP, Université de Toulouse lien
Définition d'une fonction de pronostic des systèmes techniques multicomposants prenant en compte les incertitudes à partir des pronostics de leurs composants

J. Marzat, ONERA, Université Paris Saclay lien
Contributions en commande et estimation pour robots autonomes et systèmes aérospaciaux (HDR)

C. Sarotte
, ONERA, Université Paris Saclay lien
Improvement of monitoring and reconfiguration processes for liquid propellant racket engine

J. Thuillier, PRISME, INSA Val de Loire HAL
Fiabilité de l’intégrité des informations par observateur à mémoire finie pourun système commandé en réseau


Thèses 2018

G. Alcalay, ONERA, Université de Toulouse lien
Estimation de paramètres de vol avion et détection de pannes capteurs

A. Boche, ONERA, Université de Toulouse lien
Méthodes indirectes d'adaptation et de décision pour la sécurisation du vol des drones à volure fixe

A. Al-Dujaili, CRIStAL, Université de Lille lien
Faul diagnosis and fault tolerant control design for physically linked 2WD mobile robots systems

E.I. Robinson, ONERA, CNAM lien
Filtering and uncertainty propagation methods for model-based prognosis


Thèses 2017

I. Abdallah, CRIStAL, Université de Lille lien
Bond Graph hybride piloté par évènements. Application au  système d’énergie renouvelable hybride

M. Daher,
CRIStAL, Université de Lille lien
Fusion multi-capteur tolérante aux fautes pour un suivi de la personne avec un niveau d’intégrité élevé

K. D
elmas, ONERA, Université de Toulouse lien
Synthèse automatique d’architectures tolérantes aux fautes

I.J.H. Som, CRIStAL, Université de Lille lien
Synthèse d'observateurs à dérivées partielles pour le diagnostic de défauts des systèmes de distribution de flux


Thèses 2016

J. Al Hage, CRIStAL, Univesité de Lille lien
Fusion de données tolérante aux défaillances : application à la supervision de l’intégrité d’un système de localisation

M. Bressel
, CRIStAL, Université de Lille lien
Modélisation graphique pour le pronostic robuste de pile à combustible à membrane échangeuse de proton

A. Iannetti,
ONERA, Université Paris Saclay lien
Méthodes de diagnostic pour les moteurs de fusée à ergols liquides

M. Kaddour, CRIStAL, Université de Lille lien
Contribution à la surveillance et au contrôle de l’intégrité d’un système de localisation GNSS

B. Marx
, CRAN, Université de Lorraine lien
Estimation, diagnostic et commande tolérante de systèmes décrits par des multimodèles (HDR)

K.M.D. Motchon,
CRIStAL, Université de Lille lien
Caractérisation de la discernabilité des systèmes dynamiques linéaires et non-linéaires affines en la commande


Thèses 2015

M.S. Jha, CRIStAL, Université de Lille lien
Diagnostics and Prognostics of Uncertain Dynamical Systems in a Bond Graph Framework

M. Jouin
, FEMTO-ST, Université de Franche-Comté HAL
Contribution au pronostic d'une pile à combustible de type PEMFC - approche par filtrage particulaire

A. Kahn, ONERA, Université Paris Saclay HAL
Recongurable cooperative control for extremum seeking

A. Koubeissi
, CRIStAL, Université de Lille lien
Methodology for unified modeling of system of systems of engineering

F.R. Lopez Estrada,
CRAN, Université de Lorraine HAL
Model-based fault diagnosis observer design for descriptor LPV system with unmeasurable gain scheduling

G.L. Osorio Gordillo
, CRAN, Université de Lorraine, HAL
Observateurs des systèmes singuliers incertains : Application au contrôle et au diagnostic

J. Yang, CRAN, Université de Lorraine HAL
Advanced fault diagnosis of dynamical systems using nonsmooth optimization


Thèses 2014

L. Bazart, CRAN, Université de Lorraine, HAL
Détection de changement de mode de fonctionnement : Application à la coulée continue de l’acier

A. Chafik,
CRAN, Unversité de Lorraine, HAL
Architecture de réseau de capteurs pour la surveillance de grands systèmes physiques à mobilité cyclique

M. Dakil,
CRAN, Université de Lorraine, HAL
Développement d’une méthodologie conjointe d’analyse structurelle et de sûreté de fonctionnement des propriétés d’un système complexe.

P. Kumar, CRIStAL, Université de LIlle lien
Towards Bond Graph modeling of a class of system of systems : application to an intelligent transportation system

A. Reitz
, CRAN, Université de Lorraine HAL
Analyse transverse de risques en radiothérapie. : Modélisation et évaluation des barrières et des facteurs techniques, humains et organisationnels à l’aide de réseaux bayésiens.

M.A. Sid, CRAN, Université de Lorraine, HAL
Co-conception diagnostic et ordonnancement des mesures dans un système contrôlé en réseau


Thèses 2013

P. Bect
, G-SCOP, Université de Grenoble, 30 avril 2013.
Développement d'un modèle de comportement pour la détection et le diagnostic d'événements anormaux : application à l'hélicoptère

S. Benmoussa, LAGIS, Université de Lille 1, 23 janvier 2013 lien
Approche Bond Graph pour la détectabilité et l’isolabilité algébriques de défauts composants

S. Bezzaoucha
, CRAN, Université de Lorraine, 25 octobre 2013 HAL
Commande tolérante aux défauts de systèmes non linéaires représentés par des modèles de Takagi-Sugeno

N. Chatti
, LAGIS, Université de Lille 1, 4 décembre 2013
Contribution à la supervision des systèmes dynamiques à base des Bond Graphs Signés

D. David Baptista De Souza
, GIPSA, Université de Grenoble, 24 octobre 2013
Détection et identification des types de rupture dans les séries d'extrêmes de précipitation simulés par un modèle régional du climat

A. Faghraoui
, CRAN, Université de Lorraine, 11 décembre 2013.
Modélisation de causalité et diagnostic des systèmes complexes de grande dimension

A. Gheorghe
, IMS, Université Bordeaux I, 26 juin 2013. HAL
Détection robuste et précoce de l'embarquement et du grippage dans le système de commandes de vol

E. Ibrahim
, LAGIS, Université de Lille 1, 15 novembre 2013.
Intelligent Fault Tolerant Control of Multi-Sources Energy Systems

T. Jain
, CRAN, Université de Lorraine, 20 novembre 2013. HAL
Contribution à la synthèse de commandes tolérantes aux défauts par l'approche comportementale

M. Safa
, INRIA, Université Paris Sud - Paris XI, 24 octobre 2013. HAL
Modélisation réduite de la pile à combustible en vue de la surveillance et du diagnostic par spectroscopie d'impédance

F. Sallem
, LAAS, Université Paul Sabatier, Toulouse III, 13 septembre 2013. HAL
Détection et isolation de défauts actionneurs basées sur un modèle de l'organe de commande

A. Takrouni-Hefdi
, LAGIS, Université de Lille 1, 26 septembre 2013. lien
Surveillance par observateurs des systèmes dynamiques hybrides

Y. Touati,
LAGIS, Université de Lille 1, 5 décembre 2013.
Diagnostic Robuste et estimation de défauts à base de modèle Bond Graph

S. Varrier,
GIPSA, Université de Grenoble, 18 septembre 2013. HAL
Détection de situations critiques et commande robuste tolérante aux défauts pour l'automobile


T. Zouari,
LAGIS, Université de Lille 1, 9 octobre 2013. lien
Diagnostic des systèmes dynamiques hybrides à modes non linéaires


Thèses 2012

N. Belard, LAAS, Université Paul Sabatier, Toulouse III, 30 mars 2012.
Reasoning about models: detecting and isolating abnormalities in diagnostic systems


S. Methnani,
LSIS, Université du Sud Toulon Var / Université de Sfax, 17 décembre 2012. HAL
Diagnostic, reconstruction et identification des défauts capteurs et actionneurs : application aux station d'épurations des eaux usées

B. Mnassri
, LSIS, Université d'Aix-Marseille, 12 octobre 2012. HAL
Analyse de données multivariées et surveillance des processus industriels par analyse en composantes principales

Q.D. Ngo,
G-SCOP, Université de Grenoble, 31 août 2012. HAL
Diagnostic de systèmes hybrides incertains par génération automatique de relations de redondance analytique symboliques évaluées par approche ensembliste

O. Omar,
GIPSA, Université de Grenoble, 7 décembre 2012. HAL
Sur la résolution des problèmes inverses pour les systèmes dynamiques non linéaires. Application à l'électrolocation, à l'estimation d'état et au diagnostic des éoliennes


Thèses 2011

M. Barakat, GREAH, Université du Havre / Lebanese University, 19 septembre 2011.
Fault diagnosis according to adaptive classification schemes based on signal processing and using neural networks

M. Batteux,
LRI, Université Paris Sud, 13 décembre 2011. HAL
Diagnosticabilité et diagnostic de systèmes technologiques pilotés

H. Belhadaoui
, CRAN, Institut National Polytechnique de Lorraine, 13 janvier 2011. HAL
Conception sûre des systèmes mécatroniques intelligents pour des applications critiques

N. Belkherchi, LAAS, Université Paul Sabatier, Toulouse III, 5 avril 2011. HAL
Contribution à l'étude du diagnostic et de la commande tolérante aux fautes par l'approche structurelle. Application aux procédés biologiques

D. Belkhiat,
CReSTIC, Université de Reims, 5 décembre 2011. These.fr
Diagnostic d'une classe de systèmes linéaires à commutations : approche à base d'observateurs robustes

M. Benkaci,
LAAS, Université Paul Sabatier, Toulouse III, 24 février 2011. HAL
Surveillance des systèmes automatiques et systèmes embraqués

B. Boussaid
, CRAN, Université Henri Poincaré, Nancy 1, 09 juillet 2011. HAL
Contribution à la tolérance active aux défauts des systèmes dynamiques par gestion des références

D. Crombez
, IRSEEM, Université de Rouen, 24 mai 2011.
Analyse de signaux vibratoires pour le diagnostic de défauts : application sur les boîtes de vitesses automobiles

D. Gucik-Derigny, LSIS, Université Paul Cézanne, 9 décembre 2011.HAL
Contribution au pronostic des systèmes à base de modèles : théorie et application

H. Hashemi Nejad
, CRAN, Université Henri Poincaré, Nancy 1, 19 juillet 2011. HAL
Synthèse intégrée du diagnostic de systèmes contrôlés en réseaux avec contraintes de communication

I. Issury,
IMS, Institut Polytechnique de Bordeaux, 26 juillet 2011. HAL
Contribution au développement d'une stratégie de diagnostic global en fonction des diagnostiqueurs locaux : Application à une mission spatiale

A. Khelassi,
CRAN, Université Henri Poincaré, Nancy 1, 11 juillet 2011. HAL
Nouvelle méthodologie de synthèse de lois de commande tolérante aux fautes garantissant la fiabilité des systèmes

A. Lemarchand,
GIPSA, Université de Grenoble, 24 octobre 2011.
Modélisation multi-modèle incertaine du trafic routier et suivi robuste de profils optimaux aux entrées des voies périurbaines

J. Marzat, L2S, Université Paris Sud, 4 novembre 2011. HAL
Diagnostic des systèmes aéronautiques et réglage automatique pour la comparaison de méthodes

B. MBoup,
GREAH, Université du Havre, 6 octobre 2011.
Commande d'un système de production d'énergie électrique multi-sources : application aux sites isolés

A. Moussa Ali,
CRAN, Université Henri Poincaré, Nancy 1, 20 avril 2011. HAL
Diagnostic sans modèle a priori

H.V. Nguyen,
Gipsa-Lab, Université de Grenoble, 24 mars 2011. HAL
Estimation d'attitude et diagnostic d'une centrale d'attitude par des outils ensemblistes


Thèses 2010

G. Andrei, INSAT, Institut National des Sciences Appliquées de Toulouse, 3 décembre 2010. INSAT
Contribution à la commande tolérante aux pannes dans la conduite du vol

A. Ausloos, STMR, Université de Technologie de Troyes, 26 novembre 2010.
Surveillance et diagnostic pour la conduite de la maintenance prévisionnelle

A. Ba, LM2S, Ecole Nationale Supérieure des Arts et Métiers, ParisTech, 31 mars 2010. HAL
Contribution à la surveillance d'un processus de forage pétrolier

F. Brissaud,
LM2S, Université de Technologie de Troyes, 3 novembre 2010. HAL
Contributions à la modélisation et à l'évaluation de la sûreté de fonctionnement de systèmes de sécurité à fonctionnalités numériques

F. Chamroukhi,
GRETTIA, Université de Technologie de Compiègne, 13 décembre 2010. LIPN
Hidden process regression for curve modeling, classification and tracking

P. Cocheteux,
CRAN, Université Henri Poincaré, Nancy 1, 15 novembre 2010. HAL
Contribution à la maintenance proactive par la formalisation du processus de pronostic des performances de systèmes industriels

M. El Fatou,
STMR, Université Henri Poincaré, Nancy 1, 15 novembre 2010. HAL
Modèles de fiabilité et de disponibilité de systèmes technologiques prenant en compte les incertitudes des données

F. Harrou,
STMR, Université de Technologie de Troyes, 25 février 2010.
Détection statistique d'anomalies en présence de paramètres de nuisance bornés

L. Hartert, CreSTIC, Université de Reims - Champagne Ardenne, 24 novembre 2010. HAL
Reconnaissance des formes dans un environnement dynamique appliquée au diagnostic et au suivi des systèmes évolutifs

J. Francken,
CRAN, Institut National Polytechnique de Lorraine, 5 juillet 2010. HAL
Réconciliation de données en présence d'incertitudes de modèle. Application au convertisseur à oxygène

A. Mechraoui, Gipsa-Lab, Institut Polytechnique de Grenoble, Nancy 1, 14 décembre 2010. HAL
Co-conception d'un système commandé en réseau sans fil à l'aide de réseaux bayésiens distribués

K. Menighed
, CRAN, Université Henri Poincaré, Nancy 1, 23 septembre 2010. HAL
Commandes coopératives embarquées et tolérantes aux défauts

A. Nagy-Kiss,
CRAN, l'Institut National Polytechnique de Lorraine, 26 novembre 2010. HAL
Analyse et synthèse de multimodèles pour le diagnostic. Application à une station d'épuration

A. Ponchet,
STMR, Université de Technologie de Troyes, 22 novembre 2010.
Modèles stochastiques pour l'évaluation de politiques de maintenance sur des systèmes à dégradation graduelle

K. Saeed, LIM, Ecole Nationale Supérieure des Arts et Métiers, ParisTech, 12 juillet 2010. HAL
Contribution à la surveillance d'intégrité de structures

P. Vrignat, PRISME, Université d'Orléans, 14 octobre 2010. HAL
Génération d'indicateurs de maintenance par une approche semi-paramétrique et par une approche markovienne

N. Zhang,
INSAT, Institut National des Sciences Appliquées de Toulouse, 18 juin 2010. INSAT
Détection et isolation de pannes basées sur la platitude différentielle. Application aux engins atmosphériques


Thèses 2009

C. Berbra, Gipsa-Lab, Institut National Polytechnique de Grenoble, 12 décembre 2009. HAL
Diagnostic des systèmes embarqués en réseau. Application à un mini drone hélicoptère

M. Bayoudh
, LAAS, Institut National Polytechnique de Toulouse, 4 février 2009.
Active diagnosis of hybrid systems guided by diagnosability properties - application to autonomous satellites

T. Bouarar
, CRESTIC, Université de Reims Champagne-Ardenne, 8 décembre 2009.
Contribution à la synthèse de lois de commandes non linéaires des systèmes descripteurs de type Takagi Sugeno

J. Clarhaut,
LAGIS, Université des Sciences et Technologies de Lille, 23 mars 2009. HAL
Prise en compte des séquences de défaillances pour la conception de systèmes d'automatisation Application au ferroutage

P. David,
PRISME, Université d'Orléans, 9 novembre 2009.HAL
Contribution à l'analyse de sûreté de fonctionnement des systèmes complexes en phase de conception : application à l'évaluation des missions d'un réseau de capteurs de présence humaine

D. Delouche,
PRISME, Université d'Orléans, 17 décembre 2009.HAL
Observateur à horizon glissant pour les systèmes non linéaires : application au diagnostic du radiotélescope de Nançay

R. Donat
, LITIS / INRETS, Université de Bordeaux I, 29 juin 2009. HAL
Modélisation de la fiabilité et de la maintenance par modèles graphiques probabilistes. Application à la prévention des ruptures de railsDoctorat de l'INSA de Rouen, 30 novembre 2009.

A. FalcozIMSContribution au développement de stratégies de diagnostic à base de modèles pour les véhicules spatiaux - Application à une mission de rentrée atmosphérique

D. Ichalal,
CRAN, Institut National Polytechnique de Lorraine, 24 novembre 2009. HAL
Estimation et diagnostic de systèmes non linéaires décrits par un modèle de Takagi-Sugeno

P. Ribot,
LAAS, Université Paul Sabatier, Toulouse III, 4 décembre 2009. HAL
Vers l'intégration diagnostic/pronostic pour la maintenance des systèmes complexes

S. Ould El Medhi
, GREAH, Université du Havre, 13 novembre 2009.
Synthèse et identification des réseaux de Petri : application aux études de fiabilité et au diagnostic des défauts

G. Videau, IMS, Université de Bordeaux I, 17 juillet 2009. HAL
Méthodes garanties pour l'estimation d'état et le contrôle de cohérence des systèmes non linéaires à temps continu


Thèses 2008

E. Diez Lledo, LAAS, Université Paul Sabatier, Toulouse III, 4 juillet 2008. HAL
Diagnostic et pronostic de défaillances dans des composants d'un moteur d'avion

D. Evrot,
CRAN, Université Henri Poincaré, Nancy 1, 17 juillet 2008. HAL
Contribution à la vérification d'exigences de sécurité : application au domaine de la machine industrielle

D. Fragkoulis,
LAAS, INSA de Toulouse, 13 novembre 2008. HAL
Détection et localisation des défauts provenant des capteurs et des actionneurs : application sur un système non linéaire

R. Kajdan, I-PRISME, Université d’Orléans, 18 décembre 2008. Université
Synthèse d’observateurs pour les systèmes dynamiques hybrides : application au diagnostic

A. Lalami,
ECS, Université de Cergy-Pontoise, 15 décembre 2008.
Diagnostic et approches ensemblistes à base de zonotopes

S. Martinez-Martinez, CRAN, Université Henri Poincaré, Nancy 1, 27 mai 2008. HAL
Analyse des propriétés structurelles d'observabilité de l'état et de l'entrée inconnue des systèmes linéaires par approche graphique

M.H. Mazouni
, CRAN, Institut National Polytechnique de Lorraine, 13 novembre 2008. HAL
Pour une meilleure approche du management des risques: de la modélisation ontologique du processus accidentel au système interactif d'aide à la décision

A. Mkhida
, CRAN, Institut National Polytechnique de Lorraine, 14 novembre 2008. HAL
Contribution à l'évaluation de la sûreté de fonctionnement des systèmes instrumentés de sécurité intégrant de l'intelligence

R. Orjuela, CRAN, Institut National Polytechnique de Lorraine, 6 novembre 2008. HAL
Contribution à l'estimation d'état et au diagnostic des systèmes représentés par des multimodèles

M. Oussama
, GREAH, Université du Havre / Univ. Islam. Liban, 19 novembre 2008.
Contribution à la détection des changements dans les signaux temporels pour la sûreté de fonctionnement des systèmes

X. Pucel, LAAS, Université Paul Sabatier, Toulouse III, 11 décembre 2008.HAL
Un point de vue unifié sur la diagnosticabilité

H. Ressencourt
, LAAS, Université Paul Sabatier, Toulouse III, 17 septembre 2008.
Diagnostic hors-ligne à base de modèles : approche multi-modèle pour la génération automatique de séquences de tests. Application au domaine de l'automobile

M. Sallak, CRAN, Institut National Polytechnique de Lorraine, 2 décembre 2008. HAL
Evaluation de paramètres de sûreté de fonctionnement en présence d’incertitudes et aide à la conception : application aux Systèmes Instrumentés de Sécurité

V. Sircoulomb
, CRAN, Institut National Polytechnique de Lorraine, 2 décembre 2008. HAL
étude des concepts de filtrage robuste aux méconnaissances de modèle et aux pertes de mesures. Application aux systèmes de navigation

S. Soldani,
LAAS, Université Paul Sabatier, Toulouse III, 1 septembre 2008.
Vers le diagnostic embarqué de défaillances dans les systèmes à événements discrets : application au domaine automobile

Y. Tharrault, CRAN, Institut National Polytechnique de Lorraine, 11 décembre 2008. HAL
Diagnostic de fonctionnement par analyse en composantes principales : Application à une station de traitement des eaux usées

P. Do Van, ICD, Université de Technologie de Troyes, 3 octobre 2008.
Contribution au développement et à l’étude de facteurs d’importance fiabiliste pour les systèmes markoviens

R. Zouari, IRISA, Université de Rennes I, 28 novembre 2008.
Détection précoce d'instabilité aéroélastique des structures aéronautiques


Thèses 2007

H. Baïkeche, CRAN, Institut National Polytechnique de Lorraine, 30 octobre 2007. HAL
Diagnostic des systèmes linéaires en boucle fermée

D. Berdjag
, LAGIS, Université des Sciences et Technologies de Lille, 26 octobre 2007. Université
Méthode algébriques pour la décomposition de modèles comportementaux : Application à la détection et à la localisation de défaillances

S. Chaïb,
I-PRISME, Université d’Orléans, 30 novembre 2007. Université
Observation et diagnostic des systèmes hybrides

A. Djeziri,
LAGIS, Université des Sciences et Technologies de Lille, 17 décembre 2007. HAL
Diagnostic des systèmes incertains par l’approche bond graph

R. Fellouah,
LAAS, INSA de Toulouse, 6 décembre 2007. HAL
Contribution au diagnostic de pannes pour les systèmes différentiellement plats

V.H. Grisales
, LAAS, Université Paul Sabatier, Toulouse III, 22 février 2007. HAL
Modélisation et commande floues de type Takagi-Sugeno appliquées à un bioprocédé de traitement des eaux usées

F. Hamioud
, CRAN, Institut National Polytechnique de Lorraine, 25 janvier 2007.HAL
Validation de données débitmétriques issues de réseaux d'assainissement

M. Imhemed,
LAGIS, Université des Sciences et Technologies de Lille, 19 décembre 2007. Université
Contribution à la conception d’instruments intelligents : développement d’un générateur

C. Isaza Narvaez,
LAAS, INSA de Toulouse, 25 octobre 2007. HAL
Diagnostic par techniques d'apprentissage floues: concept d'une méthode de validation et d'optimisation des partitions

C.G. Lopez-Varela,
LAAS, INSA de Toulouse, 17 décembre 2007. HAL
Détection et diagnostic basés cohérence pour les systèmes à événements discrets : vers la prise en compte des erreurs de modélisation

A. Mokhtari, LAAS, INSA de Toulouse, 23 octobre 2007. HAL
Diagnostic des systèmes hybrides: développement d'une méthode associant la détection par classification et la simulation dynamique

B. Saassouh
, ICD, Université de Technologie de Troyes, 1 juin 2007.
Maintenance conditionnelle pour des systèmes soumis à plusieurs modes de fonctionnement : approche stochastique

S. Verron, ISTIA, Université d'Angers, 13 décembre 2007.
Diagnostic et surveillance des processus complexes par réseaux bayésiens

S. Yacoub Agha
, Gipsa-Lab, Institut National Polytechnique de Grenoble, 16 novembre 2007.HAL
Application des systèmes structurés à l'étude du diagnostic : localisation de capteurs