Contrôler la complexité des systèmes autonomes : les recherches de l’UMONS mises à l’honneur à la conférence internationale RP 2025
Début octobre, Mickaël Randour, chercheur au sein du groupe Fondements Mathématiques des Systèmes Intelligents de la Faculté des Sciences de l’UMONS, a été conférencier invité lors de la 19e édition de la conférence internationale “Reachability Problems (RP 2025)”, organisée au centre de recherche IMDEA à Madrid.
Cette conférence réunit chaque année des spécialistes à la croisée des mathématiques et de l’informatique, travaillant sur un enjeu commun : la compréhension et la maîtrise du comportement de systèmes complexes tels que les agents autonomes ou les intelligences artificielles. Ces recherches visent notamment à garantir que ces systèmes atteignent leurs objectifs sans comportements indésirables — un défi majeur à une époque où ils s’intègrent de plus en plus dans nos vies quotidiennes.
Lors de son exposé intitulé “Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis”, Mickaël Randour a présenté les avancées de son équipe sur la complexité des “contrôleurs”, ces mécanismes qui pilotent le fonctionnement des systèmes autonomes. Les résultats exposés s’appuient notamment sur deux thèses récemment soutenues à l’UMONS, celles de James C. A. Main et Pierre Vandenhove.
« Nos travaux cherchent à mieux comprendre ce qui rend un “cerveau” de système autonome plus ou moins complexe », explique Mickaël Randour. « Derrière chaque modèle mathématique, il y a une question très concrète : comment concevoir des systèmes fiables, capables de réagir de manière sûre et cohérente dans un environnement changeant ».
Invité aux côtés de chercheurs issus d’instituts prestigieux tels que le Max Planck Institute (Allemagne), Princeton University (États-Unis) ou Imperial College London (Royaume-Uni), Mickaël Randour souligne que cette invitation constitue « une belle reconnaissance pour les travaux menés à l’UMONS et pour la qualité des recherches interdisciplinaires que nous développons à l’interface entre mathématiques et informatique ».
La participation de Mickaël Randour à cette conférence internationale a bénéficié du soutien de la Délégation générale Wallonie-Bruxelles à Madrid, une instance de Wallonie-Bruxelles International.
