Projet ANR FAUTOCOES

Description du projet

Un processus technologique sophistiqué doit pouvoir conserver un comportement acceptable lorsqu'il est soumis à des perturbations aléatoires de sa structure comme par exemple des défaillances de ses composants. L'industrie aérospatiale fournit de multiples exemples de telles situations : un avion doit pouvoir poursuivre sa mission même en cas de dysfonctionnement de l'un de ses gyroscopes, un vaisseau spatial doit rentrer sans dommage avec l'un de ses ordinateurs de bord en panne. Des modes de fonctionnement dégradé doivent donc faire partie intégrante de la modélisation d'un système embarqué. Les systèmes complexes étant de manière inhérente soumis à des défaillances, leurs performances comme par exemple leur fiabilité doivent être améliorées par un contrôle tolérant aux fautes (fault-tolerant control). La représentation mathématique des systèmes embarqués est par essence dynamique, multi modèles et stochastique. Cette compléxité pose donc des défis scientifiques :

Objectifs

Notre objectif est d'utiliser les Processus Markoviens Déterministes par Morceaux (PDMP en abrégé) pour étudier ces problèmatiques en utilisant plus particulièrement des méthodes numériques aléatoires et/ou déterministes. Plus précisément, nous voulons :

Durée