Les principaux thèmes de recherche du groupe sont les suivants :
- Techniques probabilistes pour l'analyse de la sécurité des systèmes complexes et distribués, dans le contexte ATM : estimation des risques de collision entre avions, simulation d'événement rares (pertes de séparation, collision) par des méthodes de Monte-Carlo.
- Méthodes statistiques pour les besoins de l'ATM. Par exemple :
- étude des erreurs de prédictions des trajectoires d'avions,
- études des données issues de l'expérimentation (ex: diamètres pupillaires des contrôleurs aériens lors de simulations de trafic chargé)
Les principales méthodes utilisées par les chercheurs du groupe sont :
- la modélisation statistique (ex. : modèle logistique),
- l'analyse des séries temporelles (ondelettes, filtrage),
- les méthodes d'apprentissage statistiques,
- les algorithmes particulaires (simulation d'événements rares).
Voir également la page probabilités et statistiques du menu "La recherche".
Pour quelques applications concrètes à la gestion du trafic aérien, voir la page modèles et analyses pour l'ATM du menu "Applications ATM".