Dans le contexte de la sûreté de fonctionnement des systèmes critiques, nous nous intéressons aux analyses par arbres de défaillance dynamiques (AdDD). Notre contribution est la définition d'un cadre algébrique permettant de déterminer la fonction…

Guillaume Merle

Chimie de coordination

Synthesis and antiviral activity of an imidazo[1,2-a]pyrrolo[2,3-c]pyridine series against the bovine viral diarrhea virus

Emmanuel Moreau, Jean-Michel Chezal, Jan Paeshuyse, Vincent Gaumet, Damien Canitrot, Aurélie Maisonial, Claire Lartigue, Alain Gueiffier, Jean-Claude Teulade, Olivier Chavignon, Johan Neyts

European Journal of Medicinal Chemistry - 2010

Automatique

Genetic algorithms for delays evaluation in networked automation systems

Boussad Addad, Saïd Amari, Jean-Jacques Lesage

Engineering Applications of Artificial Intelligence - 2010

Automatique

Un démonstrateur pour le test de conformité de contrôleurs logiques

Utilisés pour la commande des systèmes critiques, les contrôleurs logiques doivent faire l'objet de tests rigoureux afin de garantir le respect du fonctionnement attendu. La méthode de test proposée dans cette communication s'appuie sur les travaux…

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure

3èmes Journées Démonstrateurs 2010 - 2010

Robotique