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.