Équipe CALCULS ALGÉBRIQUES ET SYSTÈMES DYNAMIQUEs





Accueil Membres Séminaire Stages et thèses Publications Logiciels
 Images

Responsable : Antoine GIRARD

L'équipe CASYS (Calculs Algébriques et Systèmes Dynamiques) fait partie du Département MAD (Modèles et Algorithmes Déterministes) et regroupe des chercheurs s'intéressant au calcul exact, à l'analyse et au contrôle de systèmes dynamiques hybrides (symboliques/exacts/numériques) ainsi qu'à la modélisation de ces calculs.
Thèmes de Recherche

Nos recherches actuelles sont centrées sur les thèmes suivants, liés à plusieurs projets :

  • Systèmes hybrides (théorie générale, atteignabilité, calcul hybride)
  • Équations différentielles
  • Contrôle
  • Calcul formel (algèbre linéaire exacte, arithmétique, complexité)
  • Techniques formelles de modélisation pour le génie logiciel (sémantique diagrammatique des langages de programmation)

Rapport d'activités 2009 de l'équipe CASYS (Acrobat pdf)

Offre d'emploi :

          Sujet de thèse (nouveau - 18/11/2010)