La plateforme constitue un applicatif pour différents axes de recherche du groupe Auto du CReSTIC :
- Vérification et synthèse de la commande sure des systèmes à évènements discrets,
- Diagnostic et supervision des Systèmes automatisés de production
- Sureté et identification des systèmes hybrides
- Modélisation, commande et observation des systèmes complexes
-
Outils-Méthodes : Grafcet, automates (à états, hybrides), réseaux de Petri, logique floue, réseaux de neurones, méthode de diagnostic par reconnaissance de formes (FPM), modes glissants, H infini, théorie du chaos.
|