| 30th June, 2016 | ||
| 9:00-9:15 | Reception (Breakfast) | |
| 9:15-9:30 | Welcome | |
| 9:30-10:30 | Keynote | |
|
Benoît Clément ENSTA, Brest "Optimization based control for Robots, some solutions for the implementation issue" |
||
| 10:30-10:45 | Coffee Break | |
| 10:45-12:15 | Session 1 : Mission and Performance (SHARC) Chairman : David Andreu |
|
| 10:45-11:15 | Proactive Planning and Execution Strategies with Multiple Hypotheses Jorrit T’Hooft, Charles Lesire, Caroline P. Carvalho Chane (Onera, ISAE-SUPAERO) |
|
| 11:15-11:45 | Performance Guided Approach for Hardware and Software Resources Management for Autonomous Mobile Robotic Mission Lofti Jaiem, Robin Passama, Lionel Lapierre, Karen Godary-Dejean, Didier Crestani (LIRMM) |
|
| 11:45-12:15 | Speeding Up Robot Control Software Through Seamless Integration With FPGA Xuan Sang LE, Luc Fabresse, Jannik Laval, Jean-Christophe Le Lann, Loic Lagadec, Noury Bouraqadi (Mines Douai-DIA, Univ. Lille, ENSTA Bretagne, DISP laboratory, Univ. Lyon 2) |
|
| 12:15-13:30 | Lunch (Hall of the conference room) | |
| 13:30-14:30 | Keynote | |
|
Matthieu Robert MAD!NTEC (La Rochelle) "Instrumentation & Automatisme appliqués au voilier de course" |
||
| 14:30-14:45 | Break | |
| 14:45-15:45 | Session 2: Simulation (SHARC) Chairman : Noury Bouraqadi |
|
| 14:45-15:15 | Testing Physics Engines with Live Robot Programming Johan Fabry, Stephen Sinclair (University of Chile, INRIA Chile) |
|
| 15:15-15:45 | A Process for Evaluating Parametric Models for Mechanical Systems Simulation : the Case of a Sailboat Emilien Lavigne, Benoît Piquemal, Adeline Bourdon, Simon Chesne, Jean-Philippe Babau, Goulven Guillou (Mer Concept, INSA Lyon, Lab-STICC UBO) |
|
| 15:45-16:00 | Coffee Break | |
| 16:00-16:50 | Session 3: Adaptive systems (ALROB) Chairman : Jean-Philippe Babau |
|
| 16:00-16:30 | Lub: a DSL for Dynamic Context Oriented Programming Steven Costiou, Mickaël Kerboeuf, Glenn Cavarlé, Alain Plantec (Lab-STICC UBO) |
|
| 16:30-16:50 | Génération de composant "état de santé" pour monitorer le système embarqué de véhicule autonome Sara Zermani, Catherine Dezan, Chabha Hireche, Reinhardt Euler, Jean-Philippe Diguet (Lab-STICC) |
|
| 16:50-17:00 | Break | |
| 17:00-18:20 | Session 4: Monitoring and Sensor Networks (SHARC & ALROB) Chairman : Jacques Malenfant |
|
| 17:00-17:30 | SMOF - A Safety MOnitoring Framework for Autonomous Systems Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson (LAAS, Airbus) |
|
| 17:30-18:00 | A Framework for Anomaly Diagnosis in Smart Homes combining Autonomous Robot and Smart Environment David Espes, Etienne Pardo, Philippe Le Parc (Lab-STICC UBO) |
|
| 18:00-18:20 | Detection of Failed Boundary Nodes in Wireless Sensor Networks Farid Lalem, Ahcène Bounceur, Rahim Kacimi, Reinhardt Euler (Lab-STICC UBO, IRIT-UPS) |
|
| 19:30 | Cruising Dinner on the AZENOR ship | |
| 1st July, 2016 | ||
| 9:00-10:00 | Keynote | |
|
Benoît Caillaud IRISA, Rennes "Time Domains in Hybrid Systems Modeling Description" |
||
| 10:00-10:30 | Coffee Break | |
| 10:30-11:30 | Session 5: Verification (ALROB) Chairman : Goulven Guillou |
|
| 10:30-11:00 | Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand, Anthony Mallet (LAAS) |
|
| 11:00-11:30 | Preuve de propriétés d’un analyseur syntaxique de plans de missions robotiques Laurent Nana, François Monin, Sophie Gire (Lab-STICC UBO) |
|
| 11:30-12:30 | Session 6: Middleware (SHARC) Chairman : Robin Passama |
|
| 11:30-12:00 | An Overview of the MOOS-IvP Middleware Simon Rohou (ENSTA Bretagne) |
|
| 12:00-12:30 | P-RC2: Platform for Robot Controller Construction B. Milville, B. Gradoussoff, B. Morinière (CEA-List) |
|
| 12:30-13:45 | Lunch (RU ARMEN) | |
| 14:00-15:30 | Round Table / Discussion | |
| 15:30 | Coffee Break and End of the Conference | |