Meeting in Lille, 2025, 2-3 July

Le 2 juillet : accueil à partir de 13h30

13h45 : Introduction des journées 
14h-15h : Omar Inverso :  Towards Automated Analysis of Emerging Behaviour: Preliminary Insights and Research Directions (présentation et discussion) Invité COORDINATION'25 : https://www.discotec.org/2025/invited#omar-inverso-gssi-italy---coordination

15h00 - 15h35 : Simon Bliudze : A Hybrid Modelling Approach for Hierarchical Control of Structured CPSs

15h35-16h10 : Marius Bozga : A hybrid extension of the BIP framework 

16h10-16h30 : pause

16h30-17h05 : Sébastien Furic : A state-oriented numerical integration scheme for BIP (visio)

17h05-17h30 : Benoît Piranda : Mathematical Model and Distributed Algorithms for Verifying the Overall Mechanical Stability of Blinky Blocks

17h30 - 17h45 : Point sur les livrables ADAPT 
 

20h00 : Diner à Lille 
 

Le 3 juillet : 

9h30-10h00 :  Antonios Naguib : Adaptive and enriched energy-aware modeling of BB with Prism

10h00-10h30 : Anna Gallone : Fancy some Chips? Modeling the control of an adaptable discrete system

10h30-10h45 : pause 

10h45-11h15 : Alejandro Solis Rodriguez : Nouvelles mesures et limites observées sur des ensembles de BB (1 à 50)

11h15 : Groupes de travail : 1) Scénarios d'adaptation BB en vue d'une co-simulation en BIP et VisibleSim ; 2) Distribution

12h-13h00 : déjeuner 

13h00-15h00 : Groupes de travail

15h : fin des journées