LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » أحـداث السـاعـة » مسجلون في الدكتوراه

MILLET Laure

دكـتور
وحـدة : MoVe
تاريـخ المـغادرة : 31/08/2016
رئاسـة البـحث : Béatrice BÉRARD
تأطـير مـشـترك : POTOP-BUTUCARU Maria, SZNAJDER Nathalie

Verification and synthesis of robot protocols

The topic of autonomous mobile robots continues to generate a lot of interest in the algorithmic community, both from a purely theoretical perspective and from a more applicative one. The model is now well understood, and the problems under investigation are becoming more and more complex. Correctness proofs are usually very intricate and elaborate, often leaving margin of doubts.
This thesis focuses on a new approach to formally study correctness in robots systems and to automatically generate algorithmic solutions.
In fact, we propose a general framework to express robot models, and where automated technics like model checking and algorithm synthesis can be used, moreover we show their applicability in robots models under all possible synchronicity levels (from fully synchronous to fully asynchronous).
مناقـشـة مـذكـرة : 01/12/2015 - 14h - Site Jussieu 25-26/105
أعـضاء لجنة المناقـشة :
Paola Flocchini, Professeur, Ottawa University, Canada [Rapporteur]
Stephan Merz, Professeur, INRIA Nancy & LORIA [Rapporteur]
Béatrice,Bérard, Professeur, LIP6,UPMC
Amal El Fallah Seghrouchni, Professeur, LIP6, UPMC
Laure Petrucci,Professeur, LIPN, Paris 13
Maria Potop-Butucaru, Professeur, LIP6, UPMC
Nathalie Sznajder, Maitre de Conférences LIP6, UPMC
Xavier Urbain, Maitre de Conférences, LRI
Josef Widder, Professeur, TU, Wien, Austria

إصدارات 2012-2016

 Mentions légales
| خـريـطـة المـوقـع