Enseignement
École Centrale de Nantes
Pendant ma thèse (2006-2009), j'ai effectué environ 120 heures (équivalent TD) de vacations pour le département
Automatique et Robotique de
l'École Centrale de Nantes.
J'ai encadré des TD, TD et projets en :
Institut supérieur de l'aéronautique et de l'espace (ISAE)
En 2008-2009, je suis intervenue à deux reprises dans le Master spécialisé
System Engineering de
l'ISAE sur la modélisation de système par les EFFBDs puis sur leur vérification formelle.
Mon intervention s'est déroulée dans les modules suivants :
- System Modelling and Analysis (SMA) ; les transparents sont disponibles ici ;
- Optimise, Decide, Justify, Verify & Validate(ODJVV) ; les transparents sont disponibles ici.
IUT de Nantes - Département GEII
Depuis 2009, je suis vacataire au sein du département GEII de l'IUT de Nantes (site de la Fleuriaye). J'interviens auprès des étudiants du DUT par apprentissage ; les documents de cours sont accessibles ici :
- Cours du 4/5 janvier: De la boucle ouverte (BO) à la boucle fermée (BF)
- Cours du 18 janvier: Stabilité des systèmes bouclés
- Cours du 8 février: Précision des systèmes bouclés et Compensation des systèmes bouclés