Pour fonctionner correctement, les systèmes de commande et de surveillance des processus ont besoin de recevoir des données cohérentes représentatives de l'état de fonctionnement de ces processus. Malheureusement, l'ensemble des données prélevées sur un processus ne constitue pas une représentation exacte de son fonctionnement parce que les données sont sujettes à des erreurs de différentes natures. Il est donc nécessaire de tester la validité des données acquises avant de les utiliser. Le problème majeur rencontré lors d'une procédure de validation de données ou de diagnostic réside dans le fait qu'un modèle ne définit qu'un comportement approché du processus qu'il est censé représenter. Ces approximations proviennent des erreurs de modéli...
Cette Habilitation à Diriger des Recherches est le fruit des résultats, tant en recherche qu'en ense...
Contribution à un ouvrage.Ce chapitre présente une approche de validation d'applications temps réel ...
L'acquisition de systèmes logiciels sur étagère (COTS) pose une problématique sérieuse pour la sûret...
L objectif de ce mémoire de thèse est de valider les mesures débimétriques issues des réseaux d assa...
Une partie notable des anomalies de fonctionnements des systèmes industriels est due à des erreurs d...
Cette thèse s'intéresse à l'approche fréquentielle d'(in-)validation de modèle qui consiste à caract...
http://orbilu.uni.lu/bitstream/10993/8553/1/Actes%20LFA2013.pdfNational audienceCes travaux s'intére...
La problématique abordée dans cette thèse concerne la prise en compte et la validation, au stade de ...
La pression de qualité et de mise sur le marché de systèmes embarqués monopuces fait que la validati...
Les systèmes complexes (télécommunications, systèmes embarqués, systèmes réactifs...) sont soumis à ...
Nous étudions la validation par simulations de modèles SystemC- TLM de systèmes-sur-puce, servant au...
International audienceUne machine électrique utilisée pour un entraînement à vitesse variable est gé...
This thesis proposes a consistency-based detection and diagnosis method for discrete event systems. ...
National audienceDe nombreuses études biologiques ont pour objectif de mettre en évidence des différ...
La complexité croissante et la spécificité des systèmes embarqués nécessitent de structurer l'ensemb...
Cette Habilitation à Diriger des Recherches est le fruit des résultats, tant en recherche qu'en ense...
Contribution à un ouvrage.Ce chapitre présente une approche de validation d'applications temps réel ...
L'acquisition de systèmes logiciels sur étagère (COTS) pose une problématique sérieuse pour la sûret...
L objectif de ce mémoire de thèse est de valider les mesures débimétriques issues des réseaux d assa...
Une partie notable des anomalies de fonctionnements des systèmes industriels est due à des erreurs d...
Cette thèse s'intéresse à l'approche fréquentielle d'(in-)validation de modèle qui consiste à caract...
http://orbilu.uni.lu/bitstream/10993/8553/1/Actes%20LFA2013.pdfNational audienceCes travaux s'intére...
La problématique abordée dans cette thèse concerne la prise en compte et la validation, au stade de ...
La pression de qualité et de mise sur le marché de systèmes embarqués monopuces fait que la validati...
Les systèmes complexes (télécommunications, systèmes embarqués, systèmes réactifs...) sont soumis à ...
Nous étudions la validation par simulations de modèles SystemC- TLM de systèmes-sur-puce, servant au...
International audienceUne machine électrique utilisée pour un entraînement à vitesse variable est gé...
This thesis proposes a consistency-based detection and diagnosis method for discrete event systems. ...
National audienceDe nombreuses études biologiques ont pour objectif de mettre en évidence des différ...
La complexité croissante et la spécificité des systèmes embarqués nécessitent de structurer l'ensemb...
Cette Habilitation à Diriger des Recherches est le fruit des résultats, tant en recherche qu'en ense...
Contribution à un ouvrage.Ce chapitre présente une approche de validation d'applications temps réel ...
L'acquisition de systèmes logiciels sur étagère (COTS) pose une problématique sérieuse pour la sûret...