Program
Mardi 9 Juillet
|
9h30
|
10h00
|
Accueil des participants
|
|
10h00
|
10h15
|
Introduction des journées SHARC. R. Passama
|
|
Keynote : Cloud Robotics
|
|
10h15
|
11h00
|
Retour d'expérience sur RoboMaker (AWS) et Docker en ROS. Yulin Zhang
|
|
11h00
|
11h15
|
Pause café
|
|
Session : Test
|
|
11h15
|
11h45
|
Feedback of a submarine robotic experiment in Mayotte. Adrien Héreau
|
|
11h45
|
12h15
|
Test d’un robot agricole en simulation. Clément Robert, T. Sotiropoulos, H. Waeselynck, J. Guiochet.
|
|
12h15
|
13h45
|
Repas
|
|
13h45
|
15h45
|
Visite des halles d’expérimentation du LIRMM
|
|
Session : Ingénierie basée sur les modèles
|
|
15h45
|
16h15
|
Designing Critical Digital Systems: Formal Verification of a Token Player for Synchronously Executed Petri Nets. Vincent Iampetro, D. Andreu, D. Delahaye
|
|
16h15
|
16h30
|
Pause café
|
|
16h30
|
17h00
|
Parametric exploration for tuning a sailboat control law. Emilien Lavigne, G. Guillou, J-P. Babau
|
|
17h00
|
17h30
|
A Model-Driven Approach to Automate Tuning of Continuous Controller parameters. Hamza El Baccouri, G. Guillou, J-P.Babau
|
|
17h30
|
18h30
|
Retour aux hotels et départ vers la paillote en bord de mer pour le diner de gala
|
Mercredi 10 Juillet
|
9h30
|
9h45
|
Accueil des participants
|
|
Keynote : Modélisation et vérification
|
|
9h45
|
10h45
|
Composants logiciels cyber-physiques : vers des modèles de comportement réifiés et leur utilisation concrète. Jacques Malenfant
|
|
10h45
|
11h00
|
Pause café
|
|
Session : Embarqué
|
|
11h00
|
11h30
|
Mobile Microrobot System Control by Conventionnel Polynomial RST Controllers. B. Bhiri , R. Toscano , P. Baert , I.V. Gurgu et I.A. Ivan.
|
|
Session : Programmation et gestion de missions
|
|
11h30
|
12h00
|
Localization performance management for autonomous mission with performance guarantee. Philippe Lambert, L. Lapierre, D. Crestani.
|
|
12h00
|
12h30
|
ASPiC: An Acting System Based on Skill Petri Net Composition. Charles Lesire , F. Pommereau.
|
|
12h30
|
14h00
|
Repas
|
|
Session : Temp-réel
|
|
14h00
|
14h30
|
Les limites de ROS pour développer des systèmes temps-réel. R. Passama
|
|
14h30
|
14h45
|
Pause café
|
|
14h45
|
15h30
|
Table ronde : futur de ALROB, du GT4 et de SHARC.
|
|
Fin des journées SHARC
|
|
