| Domaines d'expertise | Equipe de recherche | Contact |
|---|---|---|
| Méthodes algébriques pour l’estimation en robotique mobile | ALIEN | Mamadou Mboup |
| Syndex : prototypage rapide et l'implantation optimisés d'applications
temps réel embarquées Systèmes réactifs synchrones - Systèmes embarqués en avionique et automobile |
AOSTE | Robert De-Simone |
| Co-design de systèmes traitement de signal intensif pour l'automobile et le ferroviaire | DART | Jean-Luc Dekeyser |
| Modélisation et optimisation de systèmes de transport et logistique | DOLPHIN | El-ghazali Talbi |
| Modélisation de haut niveau d'applications embarquées réparties Polychrony : environnement de programmation synchrone multihorloge |
ESPRESSO | Jean-Pierre Talpin |
| Spécification et preuve de code C embarqué | PROVAL | Christine Paulin |
| Modélisation réduite pour la commande d'une pile à combustible Modélisation de la pollution et de la consommation de moteurs essence |
SOSSO2 | Michel Sorine |
| Conception, optimisation et évaluation des systèmes embarqués dans l'automobile | TRIO | Francoise Simonot |
