Programme
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