Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédente | |||
fr:recherche [2020/05/29 10:47] – [Tolérance aux fautes pour la perception multi-capteurs] blussier | fr:recherche [2020/05/29 10:48] (Version actuelle) – blussier | ||
---|---|---|---|
Ligne 37: | Ligne 37: | ||
- | ===== Tolérance aux fautes pour les drônes aériens ===== | + | ===== 2. Tolérance aux fautes pour les drônes aériens ===== |
Bien que des drônes aériens commencent à être employé dans certains contextes trés particuliers, | Bien que des drônes aériens commencent à être employé dans certains contextes trés particuliers, | ||
Ligne 45: | Ligne 45: | ||
Les mécanismes de détection d' | Les mécanismes de détection d' | ||
- | ==== Activités de recherche ==== | + | ===== Activités de recherche |
* Thèses de Majd Saïed et de Hussein Hamadi | * Thèses de Majd Saïed et de Hussein Hamadi | ||
Ligne 52: | Ligne 52: | ||
- | ===== Tolérance aux fautes pour les mécanismes déclaratifs ===== | + | ===== 3. Tolérance aux fautes pour les mécanismes déclaratifs ===== |
Les mécanismes déclaratifs, | Les mécanismes déclaratifs, | ||
Ligne 58: | Ligne 58: | ||
Les travaux mis en place sur cet axe de travail ont pour but de proposer des méthodes permettant d' | Les travaux mis en place sur cet axe de travail ont pour but de proposer des méthodes permettant d' | ||
- | ==== Activités de recherche ==== | + | ===== Activités de recherche |
* Travaux de thèse de Kaoutar Rhazali et de Augustin Viot | * Travaux de thèse de Kaoutar Rhazali et de Augustin Viot | ||
- | ===== Tolérance aux fautes systèmique pour les systèmes autonomes ===== | + | ===== 4. Tolérance aux fautes systèmique pour les systèmes autonomes ===== |
Les systèmes autonomes, de par leur complexité et la multitude de mécanismes impératifs et déclaratifs qui les composent, sont confrontés à des comportements émergents, c' | Les systèmes autonomes, de par leur complexité et la multitude de mécanismes impératifs et déclaratifs qui les composent, sont confrontés à des comportements émergents, c' | ||
Ligne 69: | Ligne 69: | ||
Le composant indépendant de sécurité, souvent nommé Safety-Bag, vérifie en cours d' | Le composant indépendant de sécurité, souvent nommé Safety-Bag, vérifie en cours d' | ||
- | ==== Activités de recherche ==== | + | ===== Activités de recherche |
* Travaux de thèse de Manel Brini | * Travaux de thèse de Manel Brini | ||