Activités de recherche
Un DOCUMENT sur mes travaux
Quelques mots-clés, publications et librairies de calculs
Systèmes Hybrides Systèmes à Evénements Discrets Algèbres (min,+) et (max,+) Network Calculus Bisimulation approchée Systèmes de transition Synthèse de contrôleurs |
Liste des publications Librairies de calculs |
Sujet de Post-Doctorat
Approches symboliques pour la conception
de systèmes physico-numériques
Au sein de l'équipe CASYS (Calculs Algébriques et Systèmes Dynamiques) de systèmes physico-numériques
du laboratoire LJK (Laboratoire Jean Kuntzmann, Grenoble)
Et de l'équipe INRIA SPADES (Sound Programming of Adaptive Dependable Embedded Systems)
Thèse soutenue le 4 novembre 2011
Au sein de l'Equipe-Projet : Systèmes Dynamiques et Optimisationdu laboratoire LISA (Laboratoire d'Ingénierie des Systèmes Automatisés, Angers)