Soutenance de thèse de Rogovchenko Olena

Bonjour,

C'est avec le plus grand plaisir que je vous invite à la soutenance
de ma thèse intitulée "Abstractions for time and resource conscious
composition in the context of distributed autonomous robotic systems"

===========
Date et lieu
===========

Vendredi 03 Décembre à 9 heures 30 dans la salle 101, couloir 25/26.

Vous êtes également invités au pot qui suivra.

===========
Résumé
===========

Space exploration, military, rescue robots; as autonomous robots
target a larger spectrum of ever more involving missions, that require
autonomy and coordination among various autonomous robots, control
architectures become very complex software systems that intertwine
high-level computation-intensive tasks such as planning and building
maps, with lower-level ones, triggering responses on actuators from
readings on sensors that have stringent real-time constraints. Yet,
as in other areas of software development, the time-to-market forces
the adoption of fast and efficient methodologies.
Our goal is to propose a new component model adapted to autonomous
robotics that tackles these issues. We want our model to allow
programmers to explicitly express all of the synchronization,
time-related and resource usage constraints on atomic computational
elements in a declarative way, to abstract themselves away from
low-level operational considerations, often known only at
deployment-time. Such an approach requires a set of abstractions that
capture all the aspects of a robotic architecture and that can be used
to incrementally build complex architectures through composition, all
the while respecting the individual constraints of the abstractions
and the global constraints of the system. This thesis aims to provide
solid foundations for the development of such abstractions, by
defining the set of properties that capture the needs of the component
in terms of time and resources and by showing how these properties can
be used for the verification and construction of component assemblies
that conform to the systems constraints.

====
Jury
====

Rapporteurs :
Mireille Blay-Fornarino -Laboratoire I3S (Nice)
Christophe Dony - LIRMM (Montpellier)
Directeur :
Jacques Malenfant - LIP6
Examinateurs :
David Brugali - Université de Bergame (Italie)
Ivica Crnkovic - Université de Mälardalen (Suède)
Michèle Soria - LIP6

========
Accès
========

LIP6 : 4 Place Jussieu 75005 Paris
Plan d'accès : http://www.lip6.fr/informations/comment.php

Cordialement,

Rogovchenko Olena