Jury

• Etienne CRAYE, Professeur à l'Ecole Centrale de Lille (France), Président
  
• Maria Pia FANTI, Professeur à Politecnico di Bari (Italie), Rapporteur
  
• Jan LUNZE, Professeur à la Ruhr Universität Bochum (Allemagne), Rapporteur
  
• Jean-Jacques LESAGE, Professeur à l'ENS Cachan (France), Co-Directeur de thèse
  
• Lothar LITZ, Professeur à la Technische Universität Kaiserslautern (Allemagne), Co-Directeur de thèse

Mots-clés : Systèmes à Evènements Discrets, Automates à Etats Finis, Habitat Intelligent, Localisation d'habitants.

Résumé
L'espérance de vie a augmenté dans les dernières décennies et devrait continuer à croître dans les prochaines années. Cette augmentation entraîne de nouveaux défis concernant l'autonomie et l'indépendance des personnes âgées. Le développement d'habitats intelligents est une piste pour répondre à ces défis et permettre aux personnes de vivre plus longtemps dans un environnement sûr et confortable. Rendre un habitat intelligent consiste à y installer des capteurs, des actionneurs et un contrôleur afin de pouvoir prendre en compte le comportement de ses habitants et agir sur leur environnement, pour améliorer leur sécurité, leur santé et leur confort. La plupart de ces approches s'appuient sur la localisation en temps réel des habitants dans leur habitat. Dans cette thèse, une nouvelle approche complète permettant la localisation d'un nombre a priori inconnu d'habitants basée sur le modèle est proposée. Cette approche tire parti des paradigmes, de la théorie et des outils des Systèmes à Événements Discrets. Trois principales contributions sont proposées :

• L'utilisation des automates à états finis pour modéliser le mouvement détectable des habitants ainsi que des méthodes permettant de construire ces modèles ont été développées.
  
• A partir de ces modèles automates finis, plusieurs algorithmes permettant de localiser de manière efficace les habitants ont été définis.
  
• Enfin, plusieurs approches pour l'évaluation des performances de l'instrumentation d'un habitat intelligent pour un objectif de localisation ont été proposées.
  
  

La méthode a également été totalement implémentée et mise à l'épreuve. Les différentes contributions sont illustrées à l'aide de cas d'étude.