Modélisation des Systèmes Réactifs (MSR'25)

8:30 - 9:00 (30min)

Accueil - Café

9:00 - 10:30 (1h30)

Modélisation des systèmes réactifs

› Looking For All Solutions of a Set of Max-Atoms Solves the Max Atom Problem in Strongly Polynomial Time - Laurent TRUFFET 09:00-09:30 (30min)

› Application de la déquantification de Maslov pour l'étude des systèmes à évènements discrets - Guilherme Espindola-Winck, Laurent Hardouin, Mehdi Lhommeau, Benoit Trouillet 09:30-10:00 (30min)

› Un DSL pour représenter et analyser des systèmes à événements discrets - Pascal Andre, Hugo LOCTEAU, Yasmina DALI YOUCEF, Erwan BOUSSE, Olivier CARDIN 10:00-10:30 (30min)

10:30 - 11:00 (30min)

Mathworks : Modélisation et commande des systèmes complexes multidomaines avec MATLAB/Simulink

11:00 - 12:00 (1h)

Plénière 4 - Cristian Mahuela

12:00 - 12:30 (30min)

Clôture

12:30 - 13:30 (1h)

Déjeuner