|
19-21 nov. 2025 Reims (France)
|
|
|
|
Orateurs invités
Kamel Barkaoui is Professor at CNAM Paris and member of Cedric Laboratory. Its research interests broadly span formal verification, control and evaluation of concurrent discrete-event systems. He is also member of Tunisian Academy of Sciences (Beit al-Hikma) and vice-president of African Society in Digital Sciences (ASDS).
Title : A New Approach for Deadlock Prevention Problem based on Petri Net Abstrat : In resource allocation systems such as computer communication systems, workflow systems, and flexible manufacturing systems, the deadlock prevention problem based on a Petri net formalism has received an enormous amount of attention in the literature resulting in a wide variety of approaches. In this talk we will first intend a brief survey and comparison of variety of classical deadlock prevention policies in terms of structural complexity, behavior permissiveness, and computational complexity. In second part , we propose a new approach for this problem in which the control is purely performed by appropriately setting time constraints on transitions, in terms of firing intervals. We show that this time based deadlock prevention problem is decidable for bounded Petri net and can be formalised as a parametric model checking problem. However, this parametric model checking faces a severe state explosion problem. To deal with this limitation, we propose a symbolic approach that abstracts firing order contraints and bypasses the use of parameter domains with their associated very costly operations.
https://www.eurielletcompagnie.com/ Maitresse de conférence pendant plus de 10 ans en Automatique et Génie Informatique à l'Université Toulouse 3, Euriell Le Corronc s'est reconvertie en 2024 pour fonder son entreprise "Euriell et compagnie". Son objectif est de sensibiliser les familles et les professionnel.le.s de l'enfance aux stéréotypes de genre chez les enfants dès tout-petits : les comprendre, les démasquer, les analyser, les contrer...
Titre : D'enseignante-chercheuse à auto-entrepreneuse -- Des systèmes à événements discrets à l'égalité entre les filles et les garçons. Résumé : Cet exposé sera articulé en trois parties : - Ma reconversion professionnelle. Comment faire, qui contacter, quelles sont les ressources à disposition ? Je vous expliquerai mon parcours entre le bilan de compétences réalisé, la pépinière d'entreprise qui me suit, les réseaux d'entrepreneuses qui m'ont aidés... - Ma nouvelle activité : la lutte contre les stéréotypes de genre chez les enfants. Pourquoi sont-ils encore si présents ? Quels sont leurs impacts sur l'évolution des filles et des garçons ? Comment les contrer ? - D'enfants à adultes : comment se perpétuent ces stéréotypes, à l'école, dans les apprentissages, dans le sport... ? Quels sont leurs impacts sur les études scientifiques et futures vies professionnelles des étudiant·e·s ?  Dimitri Lefebvre (Senior Member, IEEE) received the S.B. in Science and Engineering in 1990, the M.Eng. degree in Automatic Control and Computer Science in 1992, and the Ph.D. degree Automatic Control and Computer Science in 1994, all from University of Sciences and Technologies and Ecole Centrale in Lille, France. In 1995, he joined the University of Franche Comté, Belfort, France, where he served as Associate Professor with the Department of Electrical Engineering and the Research Group about Systems and Transportations. Since 2001, he has been with University Le Havre Normandie, France as Full Professor. He is currently with the Research Group on Electrical Engineering and Automatic Control (GREAH) in Le Havre. His current research interests include discrete event systems and stochastic systems with applications to security and safety in the domains of electrical engineering, robotics, transportations and logistics.
Titre : Automates à intervalles d’horloge pour les SEDs temporisés Résumé : Un intérêt croissant existe, tant chez les chercheurs que chez les ingénieurs, pour l’étude des systèmes cyber-physiques et des systèmes en réseau à l’aide des systèmes à événements discrets (SEDs) temporisés, qui intègrent explicitement des aspects temporels. La première partie de cette présentation introduit différentes classes d’automates utilisées pour la modélisation, l’analyse et la commande des systèmes à événements discrets temporisés. En combinant certains avantages des automates temporisés, introduits par Alur et Dill en 1994, et des automates à tick proposés par Brandin et Wonham la même année, les automates à intervalles d’horloge (Clock Interval Automata – CIAs) sont définis et expliqués. Dans une seconde partie, différents problèmes d’observation sont détaillés à l’aide des CIAs. En particulier, l’exposé abordera la conception d’observateurs, l’observation dans un cadre distribué, ainsi que l’intégration des délais et des pertes d’information dans les mécanismes d’observation. Enfin, la dernière partie se concentre sur les applications en matière de sûreté et de sécurité. Plus précisément, la détection et le diagnostic des fautes et l’analyse d’opacité sont présentés pour les systèmes à événements discrets temporisés.
Cristian Mahulea is Full Professor of Automatic Control at the University of Zaragoza, Spain. He received his M.Sc. in Control Engineering from the “Gheorghe Asachi” Technical University of Iași (Romania) and his Ph.D. in Systems Engineering from the University of Zaragoza. His research focuses on discrete event and hybrid systems, Petri nets, and the planning and control of multi-robot systems, with applications in logistics and healthcare. He serves as Associate Editor of the IEEE Transactions on Automatic Control (TAC), the International Journal of Robotics Research (IJRR), and the Journal of Discrete Event Dynamic Systems (JDES), and has served on editorial boards of several leading journals. Prof. Mahulea has co-authored two books and organized major international conferences in automation. Title: Efficient Path Planning and Task Allocation for Large Robotic Teams Using Petri Net Structural Properties |
