Équipe ISA :
Ingénierie des Systèmes Automatisés 
Le thème général des recherches menées par l'équipe ISA est
la Commande sûre des systèmes à événements discrets (SED).
Ces recherches sont structurées en 4 axes :
- Test et vérification formelle des contrôleurs logiques,
- Approches algébriques pour la synthèse et l'analyse formelles,
- Identification des SED,
- Approches SED pour l'analyse de sûreté.
Responsable :
Jean-Marc FAUREAccès au
Rapport d'activité de l'équipe (janvier 2008 - juin 2013)