Le groupe thématique ToPSyS traite de la tolérance, du pronostic et de la conception des systèmes de systèmes cyber-physiques par une approche intégrée. Elle inclut la modélisation, l’analyse des propriétés du modèle d’un système dynamique (observabilité, contrôlabilité, diagnosticabilité, reconfigurabilité), analyse des propriétés du modèle d’un système managérial (indépendance, dispersion, coopération, évolution) et la conception d’algorithmes de surveillance, de pronostic et de commande, afin de rendre les systèmes dynamiques et les systèmes de systèmes cyber-physiques tolérants aux fautes. Nous considérons des systèmes dynamiques continus non linéaires (représentés par des équations différentielles et par des formalismes graphiques), des systèmes dynamiques à événements discrets (représentés par des automates à états finis), des systèmes dynamiques hybrides (systèmes à commutations) et des systèmes de systèmes cyber-physiques (représentés par des formalismes multi-niveaux à base de graphes ou à d’algèbre différentielle). Les algorithmes sont conçus pour contrôler et superviser le système à différent niveau d’abstraction en fonctionnement normal, mais aussi dans des situations où certains composants sont défectueux et perturbent les performances et les missions du système. Notre objectif est donc de garantir un certain niveau de sûreté de fonctionnement (disponibilité, fiabilité, sécurité, maintenabilité) en mettant en place un système de supervision, qui inclut la surveillance, l’estimation, la fusion de données, la gestion des modes, la reconfiguration, le pronostic et la commande automatique, permettant ainsi de mieux tolérer ces défaillances à l’échelle d’un seul système cyber-physique jusqu’une organisation d’un système de systèmes cyber-physiques.