Control Architectures of Robots 2007  

2nd National Workshop on
“Control Architectures of Robots: from models to execution on distributed control architectures”

   May 31 and June 1st, 2007    Paris - FRANCE

Home Page
List of speakers
Presentations and papers
Participants (registered)
Preliminary Program


Presentations and Papers
You can now download the full proceedings .

May 31, 2007
9:30-10:00 Reception (coffee)
10:00- 10:30 Welcome LIP6-DGA
10:30-12:00 Session « Invited Speakers »
  10:30-11:00 Activities in the « GDR Robotique »
F. Ingrand (LAAS)
  11:00-12:00 The EUROP Network
P. Curlier (SAGEM)
12:00-13:30 Lunch
13:30-15:30 Session « Distributed Control Architectures »
  13:30-14:00 Mission Management System for Package of Unmanned Combat Aerial Vehicules
J.L. Farges (ONERA)
  14:00-14:30 A generic architectural framework for the closed-loop control of a system
Gérard Verfaillie (ONERA) and Marie-Claire Charmeau (CNES)
  14:30-15:00 Really Hard Time Developing Hard Real-Time: Research Activities on Component-based Distributed RT/E Systems
Etienne BORDE (1, 2), Grégory HAIK (1), Laurent PAUTET (2) (1) THALES. (2) Ecole Nationale Supérieure de Télécommunications
  15:00-15:30 The RTMaps platform applied to distributed software development
Nicolas du lac (INTEMPORA S.A.)
15:30-16:00 Coffee Break
16:00-17:30 Session « Validation and verification of control architectures »
  16:00-16:30 Formal assessment techniques for embedded safety critical system
Christel Séguin (CERT)
  16:30-17:00 Z and ProCoSa based specification of a distributed FDIR in a satellite formation
Jean-Charles Chaudemar (SUPAERO) et Catherine Tessier (Onera-Cert)
  17:00-17:30 Incremental Construction and Verification of Robotic System using a Component-Based approach
Ananda Basu (2), Matthieu Gallien (1), Charles Lesire (1), Thanh-Hung Nguyen (2), Saddek Bensalem (2), Félix Ingrand (1), Joseph Sifakis (2). (1) LAAS/CNRS et (2) VERIMAG
17:30-18:00 Session « Implementation of control architectures »
  17:30-18:00 HS-Scale: a MP-SOC Architecture for Embbeded Systems
G. Sassatelli / L. Torres (LIRMM - microelectronique)
18:00 End of the first day
20:30 Conference dinner (Altitude 95, Eiffel Tower)
June 1st, 2007
9:30-12:00 Session « Languages and MDA »
  9:30-10:00 A modelling language for communicating architectural solutions in the domain of robot control
Robin Passama (OBASCO, École des mines de Nantes)
  10:00-10:30 Benefits of the MDE approach for the development of embedded and robotic systems
Xavier Blanc (MoVe, LIP6) et J. Delatour (ESEO)
10:30-11:00 Coffee Break
  11:00-11:30 Towards an Adaptive Robot Control Architecture
Serge Stinckwich (GREYC - Université de Caen) and Noury Bouraqadi (École des Mines de Douai)
  11:30-12:00 Design Principles for a Universal Robotic Software Platform and Application to URBI
Jean-Christophe Baillie (GOSTAI)
12:00-12:30 Session « Validation and verification of control architectures » (late)
  12:00-12:30 A formal approach to designing autonomous systems: from Intelligent Transport Systems to Autonomous Robots
Laure Petrucci (LIPN, Université de Paris XIII)
12:30-14:00 Lunch
14:00-16:00 Round table « to be announced »
16:00 End of the conference

Last Update : June 7, 2007