Laboratory of Advanced Technology and Intelligent Systems

Projects

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