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

 

Online user: 10