Programme prévisionnel
Le 18 Novembre, matin :
Travail en groupes
Le 18 Novembre, après-midi
13h40-14h : Accueil session plénière
14h-14h30 : Olga Kouchnarenko : Introduction et informations sur les livrables ADAPT réalisés
14h30 -15h : Simon Bliudze : A Modelling Approach with Refinement for Hierarchical Control of Structured CPSs
15h-15h30 : Raphaël Bleuse, Managing computing resources with control theory, a practical perspective
15h30 - 16h : Pause et discussion
16h-16h30 : Neven Vilani : Counting Abstraction for the Verification of Structured Parameterized Networks
16h30-17h00 : Nathan Gallone : Modular design of BIP motifs for aggregated control
17h00-17h15 : Discussion
19h30 : Diner
Le 19 Novembre, matin :
9h30-10h : Benoît Piranda : Extending Blinky Blocks with Screens
10h00-10h30 : Nicolas Basset : Uniform sampling for Timed Automata and Timed Regular Expressions
10h30-11h : Pause et discussion
11h-11h15 : Antonios Naguib : Modelling and instrumenting the Blinky Blocks (work in progress)
11h15-12h : Olga et Marius : les livrables à venir
12h : Déjeuner sur le campus
Le 19 Novembre, après-midi :
Travail en groupes
Still open question: Which logo do you prefer among the 3 versions below?
