Science des SED en France

      L'ordre du jour du 02 février 2024 : (i) Retours sur la 1ère édition de l’école SED ,  (ii) Annonce des prochains postes de MCF, PU, Post-Doc, ATER...  (iii) Préparation du 2ème congrès de la SAGIP  (iV) Questions diverses Sur les liens suivants vous retrouverez la présentation et le compte-rendu . N'hésitez pas à nous faire des retours si vous identifiez des manques.

 Notre première école SED a eu lieu du 17 au 19 janvier 2024 à Nancy. 40 participants ont suivi cette formation qui a été riche en informations, en échanges et qui montre que notre communauté est riche, soudée et a encore de longues années devant elle. 

    We would like to draw your attention to the course on   "Introduction to Discrete Event Systems" , taught by   Stephane Lafortune   (University of Michigan, USA) and   Christos Cassandras   (Boston University, USA),   will be held from   June 3 to June 7, 2024,   at the Campus Saint Charles,   in Marseille, France .   This course of 21 hours,   offered as part of the European Embedded Control Institute-International Graduate School on Control (M13 of EECI-IGSC-2024), is especially designed to doctoral students, post-docs and young researchers, who will have the opportunity to learn the main concepts and recent results in the theory and application of discrete-event systems.   While the area of discrete event systems started as a sub-discipline in control engineering almost 40 years ago, the study of discrete event systems (DES) remains highly relevant to control engineering problems nowadays, such as in cyber-physical systems, transportation, software engineering, and in

 N'oubliez pas de vous inscrire à la première édition de l'école du CT SED Le CT SED organise à Nancy sa 1ère édition de l'école SED du 17 janvier 2024 (13h30) au 19 janvier 2024 (11h30). Elle aura lieu à l’AIPL (745 Rue du Jardin Botanique 54600 Villers-lès-Nancy). L'inscription est gratuite mais obligatoire avant le 10 décembre 2023 au lien suivant : https://lnkd.in/ejpVgHSD  

  Le 19 octobre 2023, 5 doctorants ont présenté leurs travaux de thèse SED en 180 secondes. Les doctorants ont pu échanger avec les collègues sur  leur sujet.  Vous pouvez encore interagir avec eux via le pad : https://pad.ird.fr/p/S-HMxexKg5nY9oblrYCT N'hésitez pas  BOULKHOUKH Oumaima - Laboratoire d’Analyse des Signaux et Processus Industriels (LASPI) - octobre 2022 Contribution à la modélisation, à l’analyse et à la commande des flux d’un système hospitalier en utilisant les réseaux de Petri et l’algèbre des dioïdes Les dysfonctionnements observés dans les services hospitaliers entrainent deux problèmes de gestion principaux. Tout d’abord les problèmes liés aux ressources savoir comment gérer au mieux les ressources disponibles et comment les répartir équitablement entre les différents acteurs. La deuxième catégorie de problèmes concerne le flux de patients. La question qui se pose est comment maîtriser ce flux ? Les réponses à ces questions ne sont pas simples à

  Le CT SED organise à Nancy sa 1ère édition de l'école SED (Systèmes à Evénements Discrets) du 17 janvier 2024 (13h30) au 19 janvier 2024 (11h30).  Cette formation a pour objectif de présenter les formalismes de base (système séquentiel, automate, langage réseau de Petri, graphe d’événements…), leurs extensions temporisées (automate temporisé, réseau de Petri temporisé et temporel, algèbre (max,+), graphes d’événements temporisés…) ainsi que les utilisations possibles de ces formalismes (contrôle-commande, diagnostic, vérification, synthèse algébrique...). Le programme exact est en cours d'élaboration et sera prochainement diffusé et disponible sur le site du CT SED.  Cette formation vise principalement les doctorants et les étudiants en master. A la fin de l'école, un certificat de participation de 20h de formation en SED sera délivré afin de justifier d'heures de formation auprès des écoles doctorales.  L'inscription est gratuite mais obligatoire avant le 10 dé

 Le 11 avril 2023 s'est tenue une journée commune du CT SED (SAGIP) et du GT AFSEC (Groupe de Travail Approches Formelles des Systèmes Embarqués Communicants du GdR GPL).   Nous avons eu le plaisir de découvrir les travaux suivants : Moving Block System: Verification Framework - Rim SADDEM (LIS, Aix Marseille Université) -  présentation   Analyse d'atteignabilité directe des systèmes (max,+)-linéaires à l'aide des polyèdres tropicaux : Application à la sûreté - Guilherme ESPINDOLA WINCK (LARIS, Université d’Angers) - présentation Fuzzing de systèmes à états - Rémi PARROT (IT Department - Uppsala University) - présentation Model-Bounded Monitoring of Hybrid Systems - Etienne ANDRE (LIPN, Université Sorbonne Paris Nord) - présentation Computing Linear Inductive Invariants for Petri Nets using Property Directed Reachability - Nicolas AMAT (LAAS-CNRS, INSA Toulouse) - présentation Cette journée a regroupé 15 personnes des 2 communautés et a permis d'avoir beaucoup d'éch