Laboratoire de Recherche LATIS Laboratory of Advanced Technology and Intelligent Systems

Projets

Recherche Avancée

Diagnostic : détection & identification de fautes

Vérification formelle de sûreté et atteignabilité des Systèmes Dynamiques hybrides

Diagnostic : détection & identification de fautes

Vérification formelle de sûreté et atteignabilité des Systèmes Dynamiques hybrides