Actualités

Une contribution aux défis environnementaux par des outils de commande roborative

Jérôme Bosche (équipe COVE) soutiendra son Habilitation à Diriger des Recherches le lundi 4 décembre prochain à 9h00, dans l'amphithéâtre Ehresmann, UFR de Sciences. 

Les travaux présentés concernent l'Automatique, discipline qui vise à mieux comprendre les systèmes physiques et, in fine, les rendre plus performants. Les systèmes abordés sont ceux qui considèrent des techniques modernes de commande leur permettant de les rendre moins polluants : système à énergies renouvelables ou encore système de recyclage des gaz brûlés dans les moteurs Diesel.

Le jury sera composé de :

SAT Competition 2017

Chu-Min Li (équipe GOC) et des collègues de l'Université de Huazhong (Chine) et Barcelone (Espagne) remportent la competition SAT 2017

Cette compétition permet de confronter des solvers de problèmes Boolean Satisfiability (SAT). Elle est organisée en parallèle de la Conference Internationale Theory and Applications of Satisfiability Testing and stands, qui s'est déroulée cette année à Helsinki.

 

Pages