1<!DOCTYPE html> 2<html class="nojs" lang="en-GB" dir="ltr"> 3<head> 4<meta charset="utf-8"> 5<meta name="viewport" content="width=device-width"> 6<title>Webinar â The RED Network</title> 7<link rel="alternate" type="application/rss+xml" title="rss" href="https://devs-network.org/webinar/index.xml"> 8<link rel="alternate" type="application/json" title="json" href="https://devs-network.org/webinar/index.json"> 9 10<meta name="created" content="2024-01-19T10:18:08+0100"> 11<meta name="modified" content="2024-01-19T10:18:08+0100"> 12<meta name="author" content="Gauthier Quesnel"> 13<meta name="contact" content="[email protected]"> 14<meta property="og:site_name" content="The RED Network"> 15<meta property="og:title" content="Webinar"> 16<meta property="og:url" content="https://devs-network.org/webinar/"> 17<meta property="og:type" content="website"> 18<meta property="og:image" content="https://devs-network.org/logo-red.png"> 19<meta name="generator" content="Hugo 0.165.0"> 20 21 22 23<link rel="canonical" href="https://devs-network.org/webinar/"> 24 25<link rel="apple-touch-icon" href="/apple-touch-icon.png"> 26<link rel="icon" type="image/png" sizes="32x32" href="/favicon-32x32.png"> 27<link rel="icon" type="image/png" sizes="16x16" href="/favicon-16x16.png"> 28 29<link rel="stylesheet" href="/css/styles.23c15976c2dbe4969c0bb7868e502bed399258510f384b6954ca0d06b24f94b0.css" integrity="sha256-I8FZdsLb5JacC7eGjlAr7TmSWFEPOEtpVMoNBrJPlLA=" crossorigin="anonymous"> 30<link rel="stylesheet" href="/css/mobilemenu.min.2a3448b79abf7c38a16ca3d141bdb684f8f6c6e3ec0dbc97343a095188204886.css" integrity="sha256-KjRIt5q/fDihbKPRQb22hPj2xuPsDbyXNDoJUYggSIY=" crossorigin="anonymous" media="screen"> 31<link rel="stylesheet" href="/css/print.min.6a072d1ee9f0c99668a784c9bc55f9b97142f6d7b4b408ec2b8aeeaf8903d65a.css" integrity="sha256-agctHunwyZZop4TJvFX5uXFC9te0tAjsK4rur4kD1lo=" crossorigin="anonymous" media="print"> 32
33<script type="application/ld+json"> 34{ 35 "@context": "https://schema.org", 36 "@type": "WebPage", 37 "url" : "https://devs-network.org/webinar/", 38 "name": "Webinar", 39 "description": "Push Forward the use of DEVS Modeling and Simulation Through Research and Engineering ", 40 "image" : "https://devs-network.org/logo-red.png", 41 "author": { 42 "@type": "Person", 43 "name": "Gauthier Quesnel" 44 }, 45 "mainEntityOfPage": { 46 "@type": "WebPage", 47 "@id": "https://devs-network.org/" 48 }, 49 "publisher": { 50 "@type": "Organization", 51 "name": "The RED Network", 52 "logo" : { 53 "@type": "ImageObject", 54 "url": "https://devs-network.org/logo-red.png" 55 }, 56 "url": "https://devs-network.org/" 57 } 58 } 59</script>
59 60
61<script> 62(()=>{(function(){document.querySelector("html").classList.replace("nojs","js")})();})(); 63 64</script>
64 65
66<script defer src="/js/mobilemenu.7ce1f75fd1d49cd683a008352ad9001f800349629be01d531a19c02b5a84817b.js"></script>
vendor: 1 bytes, line 66
66
67<script defer src="/js/script.f2979a93a325fecf9605263bd141398a311c8e23388ed7dcff74f92f7e632866.js"></script>
67 68 69 70 71 72 73 74</head> 75 76<body class="list-page section-page--webinar"> 77<div class="page layout__page"> 78<header class="header layout__header"> 79<a href="/" title="Home" rel="home" class="header__logo"> 80<img src="/images/logo.png" width="64" alt="Home" class="header__logo-image"> 81</a> 82<h1 class="header__site-name"> 83<a href="/" title="Home" class="header__site-link" rel="home"><span>The RED Network</span></a> 84</h1> 85<div class="region header__region"> 86</div> 87</header> 88 89<nav class="main-menu mx--xs layout__navigation" aria-label="Main menu"> 90<ul class="flex-inline mx--0"> 91<li><a href="/posts/"><span>Posts</span></a></li> 92<li><a href="/jfms-2026/"><span>JFMS 2026</span></a></li> 93<li><a href="/jfms-2024/"><span>JFMS 2024</span></a></li> 94<li><a href="/webinar/" aria-current="page"><span>Webinar</span></a></li> 95<li><a href="/tools/"><span>Tools</span></a></li> 96<li><a href="/past/"><span>Past</span></a></li> 97</ul> 98</nav> 99<div class="mobile-nav" dir="ltr" hidden> 100 <div class="mobile-nav__cover"></div> 101 <button class="mobile-nav__toggle button" aria-expanded="false" aria-controls="sheet"> 102 Menu 103 <svg class="mobile-nav__hamburger" viewBox="0 0 100 100" focusable="false" aria-hidden="true"> 104 <rect width="80" height="12" x="10" y="20" rx="5"></rect> 105 <rect width="80" height="12" x="10" y="45" rx="5"></rect> 106 <rect width="80" height="12" x="10" y="70" rx="5"></rect> 107 </svg> 108 </button> 109 <div class="mobile-nav__sheet link-nav" id="sheet" data-theme="dark" aria-hidden="true"> 110 <div class="mobile-nav__region"></div> 111 <nav class="mobile-nav__main-menu" aria-label="Main menu"> 112 <ul class="mobile-nav__navbar"> 113 <li><a href="/posts/"><span>Posts</span></a></li> 114 <li><a href="/jfms-2026/"><span>JFMS 2026</span></a></li> 115 <li><a href="/jfms-2024/"><span>JFMS 2024</span></a></li> 116 <li><a href="/webinar/" aria-current="page"><span>Webinar</span></a></li> 117 <li><a href="/tools/"><span>Tools</span></a></li> 118 <li><a href="/past/"><span>Past</span></a></li> 119 </ul> 120 </nav> 121 </div> 122</div> 123<main class="main layout__main"> 124<header> 125<h1 class="title">Webinar</h1> 126</header> 127 128<h2 id="et-si-on-construisait-un-simulateur-en-devs-">Et si on construisait un simulateur… en DEVS ?</h2> 129<ul> 130<li>Orateur : Clément Foucher, Maître de conférences à l’Université de Toulouse et 131au LAAS/CNRS.</li> 132<li>Date : Jeudi 22 janvier 2026.</li> 133<li>Résumé : Dans la Théorie de la Modélisation et de la Simulation (TM&S), DEVS 134occupe une place de choix. Formalisme destiné à modéliser et simuler des 135systèmes à évènement discrets, celui-ci permet également de représenter des 136systèmes à temps discrets (DTSS), ou à équations différentielles (DESS) via 137des méthodes comme QSS. Ses propriétés formelles et cette place centrale en 138font généralement la cible de choix des modélisateurs au fait de la TM&S. 139Mais malgré sa puissance, DEVS souffre d’une complexité mathématique qui 140empêche son adoption large parmi les modélisateurs au-delà du cercle 141restreint de la TM&S. Une analogie souvent citée est que DEVS serait l’« 142assembleur » de la modélisation et de la simulation : si on peut tout faire 143en assembleur, très peu l’utilisent directement. En filant cette analogie, 144une des solutions consiste à utiliser des langages de haut niveau (dans notre 145cas des <em>Domain Specific (Modeling) Language DS(M)L</em>) qui sont ensuite 146convertis dans une représentation de plus bas niveau comme DEVS. Mais si DEVS 147est normalement destiné à représenter des systèmes, je vous propose 148aujourd’hui de l’utiliser pour créer… un simulateur de réseaux électriques. 149Dans les travaux qui seront présentés, nous avons choisi une approche 150originale : si nous commençons effectivement par définir un DSML pour 151représenter les réseaux, les modèles créés dans ce langage sont ensuite 152injectés dans un simulateur construit sur la base de composants décrits en 153DEVS. Le DSML s’appuie sur des notions formelles telles les graphes, ce qui 154permet d’agir sur les modèles avec tous les outils existants pour manipuler 155des graphes, et particulièrement les transformations de graphes pour 156modéliser les changements de structure du réseau. La construction du 157simulateur avec des composants DEVS assure à celui-ci les propriétés 158intrinsèques garanties par DEVS. Ainsi, nous proposons dans ces travaux une 159approche définie formellement sur l’ensemble de la chaîne : langage de 160modélisation, définition des changements de structure des modèles, mais 161également simulation. Cette approche permet d’utiliser DEVS pour la 162simulation de modèles à structure dynamiques sans avoir recours à des outils 163comme DSDEVS ou ÏDEVS pour lesquels la définition formelle(mathématique) des 164modèles peut être complexe et est souvent omise au profit d’une 165implémentation directe des modèles dans un environnement de simulation.</li> 166<li>Biographie : Clément Foucher est maître de conférences à l’Université de 167Toulouse et au LAASâCNRS, et membre du réseau RED. Ses travaux de recherche 168portent principalement sur la production d’outils et de méthodologies basées 169sur l’approche formelle de la TM&S. Ceux-ci visent à répondre aux 170problématiques que sont l’accessibilité des outils aux non-spécialistes de la 171TM&S, la portabilité des modèles entre les simulateurs, ou encore la 172reproductibilité des simulations. Dans ses travaux, il étudie notamment les 173défis spécifiques liés aux systèmes à structure dynamique. En effet, la 174nature de ces systèmes, dont la structure même change au cours du temps, pose 175des enjeux particuliers d’un point de vue modélisation et simulation. Parmi 176les domaines applicatifs, ses recherches se concentrent actuellement sur la 177modélisation des réseaux électriques. En effet ces réseaux, notamment étudiés 178sur le temps long, subissent des évolutions voulues ou subies. L’expansion 179des réseaux (par exemple par la montée en force des énergies renouvelables) 180ou leurs défaillances (coupure de ligne) sont des exemples de changement de 181structure susceptibles d’affecter leur fonctionnement et leur stabilité.</li> 182</ul> 183 184<iframe src="https://amupod.univ-amu.fr/video/38372-et-si-on-construisait-un-simulateur-en-devs-clement-foucher/" width="640" height="360" style="display:block; margin:auto; padding: 0; margin: 0; border:0" allowfullscreen ></iframe> 185
186<h2 id="tesl--un-langage-pour-réconcilier-des-traces-dexécution-hétérogènes">TESL : un langage pour réconcilier des traces d’exécution hétérogènes</h2> 187<ul> 188<li>Orateur : Frédéric Boulanger. CentraleSupélec, Laboratoire Méthodes 189Formelles (LMF)</li> 190<li>Date : Mardi 20 mai 2025 à 14h.</li> 191<li>Résumé : En ingénierie, les systèmes font souvent appel à différents 192paradigmes de modélisation (temps discret, automates, équations 193différentielles etc.). Pour spécifier le comportement de ces systèmes, il 194est nécessaire de coordonner l’exécution des différents composants qui 195obéissent à des paradigmes différents. Cela peut être fait de manière ad 196hoc (par exemple, dans Simulink), mais si l’on souhaite rester dans un 197environnement ouvert à d’autres modèles de calcul, il faut pouvoir décrire 198comment ces modèles interagissent. Parmi les aspects à gérer à l’interface 199entre différents moteurs d’exécution, le temps et la façon dont le contrôle 200se propage entre les différentes parties d’un modèle sont particulièrement 201importants. TESL(Tagged Events Specification Language) est un langage 202spécialement conçu pour traiter ce problème. Il reprend des idées des 203langages synchrones comme Lustre ou Esterel, et ajoute la notion de temps 204chronométrique. Dans cet exposé, je présente TESL et la manière dont il est 205utilisé pour piloter des simulations de modèles hétérogènes.</li> 206<li>Biographie : Je suis professeur à CentraleSupélec et chercheur au 207Laboratoire Méthodes Formelles (LMF). Mon domaine de recherche est la 208modélisation et la vérification du comportement des systèmes hétérogènes, 209pour lesquels plusieurs méthodes de modélisation sont utilisées 210conjointement. Notre plateforme de modélisation hétérogène exécutable est 211ModHelX. Cette plateforme s’appuie sur le modèle de temps TESL pour 212l’adaptation sémantique entre modèles hétérogènes. Ces travaux s’inscrivent 213dans le cadre plus large de la globalisation des langages de modélisation, 214telle que définie par l’initiative Gemoc.</li> 215<li><a href="https://hub.docker.com/r/fredblgr/ubuntunovnc-tesl">Docker</a></li> 216<li><a href="/webinar/2025.05.20-Boulanger.pdf">Slides</a></li> 217</ul> 218 219<iframe src="http://amupod.univ-amu.fr/video/35981-the-tagged-events-specification-language-reconciling-heterogeneous-execution-traces/?is_iframe=true" width="640" height="360" style="display:block; margin:auto; padding: 0; margin: 0; border:0" allowfullscreen ></iframe> 220 221<h2 id="an-llm-powered-social-digital-twinning-platform">An LLM-powered Social Digital Twinning Platform</h2> 222<ul> 223<li>Orateur : Ãnder Gürcan, Center for Modeling Social Systems, NORCE Norwegian 224Research Center AS, Kristiansand, Norway</li> 225<li>Date : Jeudi 27 mars 2025 à 13h.</li> 226<li>Résumé : We present Social Digital Twinner, an innovative social simulation 227tool for exploring plausible e:ects of what-if scenarios in complex 228adaptive social systems. The infrastructure is composed of three seamlessly 229integrated parts: a data infrastructure featuring real-world infrastructure 230data and a multi-dimensionally representative synthetic population of 231citizens, an LLM-enabled agent-based simulation engine, and a user 232interface that enable intuitive, natural language interactions with the 233simulation engine and the artiï¬cial agents (i.e. citizens). Social Digital 234Twinner facilitates real-time engagement and empowers stake-holders to 235collaboratively design, test, and reï¬ne intervention measures. The approach 236is promoting a data-driven and evidence-based approach to societal 237problem-solving. We demonstrate the toolâs interactive capabilities by 238addressing the critical issue of youth school dropouts in Kragerø, Norway, 239showcasing its ability to create and execute a dedicated social digital 240twin using natural language.</li> 241<li>Biographie : I specialize in complex adaptive systems with a focus on 242multi-agent systems, simulation, machine learning, collective intelligence, 243self-organization, and self-adaptation. My goal is to contribute to 244cutting-edge projects and research within these dynamic fields. My 245expertise spans several large-scale international research projects, 246including green urban logistics, blockchain applications for nuclear 247energy, autonomous robotic systems, and simulations of biological neural 248networks.</li> 249<li><a href="/webinar/2025.03.27-Gurcan.pdf">Slides</a></li> 250</ul> 251<h2 id="simulation-multi-agent-et-calcul-haute-performance-sur-carte-graphique">Simulation multi-agent et calcul haute performance sur carte graphique</h2> 252<ul> 253<li>Orateur : Fabien Michel, MCF HDR à lâuniversité de Montpellier</li> 254<li>Date : Jeudi 17 octobre 2024 à 17h</li> 255<li>Résumé : Nombre de systèmes complexes sont aujourd’hui étudiés par 256simulation grâce à des modèles basés sur le paradigme multi-agents. Dans 257ces modèles, les individus, leur environnement et leurs interactions sont 258directement représentés. Ce type de simulation nécessite parfois de 259considérer un grand nombre dâentités, ce qui pose des problèmes de 260performance et de passage à lâéchelle. Dans ce cadre, la programmation sur
261carte graphique (GPGPU) est une solution attrayante : elle permet des gains 262de performances très conséquents sur des ordinateurs personnels. Le GPGPU 263nécessite cependant une programmation extrêmement spécifique qui limite à 264la fois son accessibilité et la réutilisation des développements réalisés, 265ce qui est particulièrement vrai dans le contexte de la simulation 266multi-agents. Dans cet exposé, nous présenterons cette technologie et les 267travaux de recherche que nous avons réalisés afin de pallier ces 268difficultés. Nous décrirons en particulier une méthode de conception, basée 269sur une approche environnement-centrée et appelée délégation GPU, qui 270permet (1) d’adapter les modèles multi-agents au contexte du GPGPU et de 271(2) faciliter la réutilisation des développements associés.</li> 272<li>Biographie : Fabien Michel est maître de conférences au Laboratoire 273d’Informatique, de Robotique et de Microélectronique de Montpellier 274(LIRMM). Ses contributions sâinscrivent principalement dans le domaine de 275la modélisation et de la simulation de systèmes multi-agents (SMA) et 276reposent sur la proposition de modèles formels ou conceptuels et dâoutils 277logiciels génériques. Celles-ci sont déclinées dans divers domaines tels 278que le jeu vidéo, le traitement numérique de lâimage, la robotique 279collective ou encore la simulation dâécosystème.</li> 280<li><a href="/webinar/2024.10.17-Michel.pdf">Slides</a></li> 281</ul> 282 283<iframe src="https://amupod.univ-amu.fr/video/32928-simulation-multi-agent-et-calcul-haute-performance-sur-carte-graphique/?is_iframe=true" width="640" height="360" style="display:block; margin:auto; padding: 0; margin: 0; border:0" allowfullscreen ></iframe> 284 285<h2 id="devs-paratemporal-methods-to-speedup-stochastic-simulation-via-tree-expansion">DEVS Paratemporal Methods to Speedup Stochastic Simulation via Tree Expansion</h2> 286<ul> 287<li>Orateur : Bernard P. Zeigler</li> 288<li>Date : Vendredi 8 juin 2024 à 17h.</li> 289<li>Slides : <a href="https://amubox.univ-amu.fr/s/FW2LaXao78F5Jpm">https://amubox.univ-amu.fr/s/FW2LaXao78F5Jpm</a></li> 290</ul> 291 292<iframe src="https://amupod.univ-amu.fr/video/31606-devs-paratemporal-methods-to-speedup-stochastic-simulation-via-tree-expansion/?is_iframe=true" width="640" height="360" style="display:block; margin:auto; padding: 0; margin: 0; border:0" allowfullscreen ></iframe> 293 294<h2 id="reproductibilité-des-simulations--enjeux-et-retour-dexpérience-sur-le-travail-mené-avec-le-collectif-du-red">Reproductibilité des simulations : enjeux et retour d’expérience sur le travail mené avec le collectif du RED</h2> 295<ul> 296<li>Orateur : Raphaël Duboz, Cadre de recherche au Cirad</li> 297<li>Date : Jeudi 21 mars 2024 à 15h.</li> 298<li>Résumé : La possibilité pour les pairs de reproduire une expérience afin 299d’en vérifier les résultats est au cÅur de l’activité scientifique. Dans 300le domaine de la simulation, la reproductibilité implique de fournir la 301description, formelle ou non, du modèle et du simulateur pour permettre son 302implémentation et la reproduction des résultats. Au sein du collectif RED, 303nous avons choisi de travailler sur cette question en partant d’un modèle 304très simple de propagation d’une maladie dans une population. L’exercice 305consistait à implémenter une même spécification <em>“Overview, Design concepts 306and Details”</em> (ODD) du modèle construit dans le paradigme des Systèmes 307Mutli-Agents. Le modèle a été implémenté indépendamment dans 8 308environnements différents et les résultats ont été comparés. à ce jour, il 309apparaît que la reproduction qualitative des résultats est assurée pour le 310modèle choisi. Par contre, les résultats sont quantitativement 311significativement différents, ce qui pose des questions sur l’origine des 312différences et plus généralement sur l’utilisation des résultats dans un 313contexte d’aide à la décision. Cette présentation sera l’occasion d’une 314discussion autour des défis que pose la reproductibilité des expérience
314s de 315simulation et de l’intérêt grandissant pour cette problématique.</li> 316<li>Biographie : Raphaël Duboz est cadre de recherche au Cirad, organisme 317français de recherche agronomique et de coopération internationale pour le 318développement durable des régions tropicales et méditerranéennes. Après 319avoir travaillé sur le couplage formel et opérationnel de modèles 320hétérogènes, R. Duboz a développé des modèles en écologie et épidémiologie 321dans différents paradigmes de modélisation (SMA, SNA, DEVS, ED). Il 322travaille actuellement sur le développement d’approches et d’outils de 323modélisation et simulation dans le cadre de plusieurs projets français et 324européens de recherche action participative au Sénégal, Bénin, Nigeria, 325Laos et Cambodge.</li> 326</ul> 327 328<iframe src="https://amupod.univ-amu.fr/video/30676-reproductibilite-des-simulations-enjeux-et-retour-dexperience-sur-le-travail-mene-avec-le-collectif-du-red/?is_iframe=true" width="640" height="360" style="display:block; margin:auto; padding: 0; margin: 0; border:0" allowfullscreen ></iframe> 329 330<h2 id="simulation-et-jumeaux-numériques--continuités-et-ruptures">Simulation et Jumeaux Numériques : continuités et ruptures</h2> 331<ul> 332<li>Orateur : Mamadou Kaba Traoré, Professeur à l’université de Bordeaux</li> 333<li>Date : Jeudi 18 janvier 2024 à 15h.</li> 334<li>Résumé : alors que la numérisation imprègne tous les secteurs de la société 335vers le concept du « tout intelligent » et que les technologies virtuelles 336et les données gagnent une place prépondérante dans l’ingénierie et le 337contrôle des systèmes intelligents, le concept de Jumeau Numérique est 338apparue comme l’une des technologies clés à adopter. Toutefois, à l’instar 339de bien d’innovations, il est aussi devenu un mot valise. Nous abordons ce 340concept d’un point de vue « praticien de la M&S », et discutons des 341contributions de notre champ d’intérêt aux avancées dans ce domaine.</li> 342<li>Biographie : Mamadou K. Traoré est Professeur à l’Université de Bordeaux, au 343Département Sciences et Ingénierie du Numérique. Il est directeur adjoint 344du laboratoire IMS (Intégration Matériau-Système) UMR 5218, et responsable 345du Master international Entreprise Engineering à l’Université de Bordeaux. 346Ses thèmes de recherche portent sur la M&S, DEVS, et les Jumeaux 347Numériques. Il anime le Comité Technique Jumeau Numérique que la SAGIP 348vient de créer.</li> 349</ul> 350 351<iframe src="https://amupod.univ-amu.fr/video/29652-simulation-et-jumeaux-numeriques-continuites-et-ruptures/?is_iframe=true" width="640" height="360" style="display:block; margin:auto; padding: 0; margin: 0; border:0" allowfullscreen ></iframe> 352 353 354 355 356</main> 357 358 359<footer class="footer layout__footer mt--l"> 360<p>Follow webinar: <a rel="alternate" type="application/rss+xml" href="https://devs-network.org/webinar/index.xml">rss</a> | <a rel="alternate" type="application/json" href="https://devs-network.org/webinar/index.json">json</a></p> 361<p><span>© The RED Network</span></p> 362<p>This site is licensed under a <a href="https://creativecommons.org/licenses/by-sa/4.0/">Creative Commons Attribution-ShareAlike 4.0 International License</a>.</p> 363<p>Powered by <a href="https://gohugo.io/">Hugo</a> and the <a href="https://github.com/frjo/hugo-theme-zen">Zen theme</a>.</p> 364 365</footer> 366 367</div> 368</body> 369</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.