Science des SED en France

  Lors du congrès de la   SAGIP   2024 qui a eu lieu sur le Campus Lyon Tech-la Doua ( lien accès ), le CT   SED a organisé trois   sessions . 30 mai 8h15-10h00 : Session   SED ›  Apprentissage par renforcement pour la synthèse de contrôleur logique et implémentation en langage ST  - Dimitri Renard, Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804, Prosyst   08:15-08:35 (20min) ›  Colored Petri Nets for Modeling and Simulation of Green Supply Chain Systems    - Naly RAKOTO, LS2N - Equipe CPS3   08:35-08:55 (20min) ›  Timed Output Synchronised Petri nets et Synchronized States Class Graph : formalismes pour l'étude temporelle de la sécurité des systèmes cyber-physiques    - Mouna Gaouar, LIS, Marseille - Rabah Ammour, LIS, Marseille   08:55-09:15 (20min) › Vie duCT   SED , bilan 2023-2024 : école   SED 30 mai 11h30-...

 Suite à la 1ère édition de l’école SED à Nancy en janvier 2024, nous avons le plaisir de vous annoncer la 2ème édition de cette école à Nantes, du 12 au 14 mars 2025 !  La thématique principale sera le temps . Toutes les informations (programme, équipe pédagogique, lieu…) seront diffusées prochainement sur cette page :  https://sed-fr.blogspot.com/p/ecole-sed.html D’ici là, voici une petite vidéo souvenir de l’école à Nancy :-) https://sed-fr.blogspot.com/p/videos.html

Voici l'ordre du jour de la réunion du 2 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-phys...

 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...

  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...

  L'ordre du jour du 10 mars 2023 : Avancement des 3 GTs : Formation, Benchmark, cartographie/site internet Organisation des sessions du CT SED pour les journées de la SAGIP Questions diverses Le compte-rendu est ici 

  L'ordre du jour du 8 décembre 2022 : Informations sur l'avancement des Groupes de travail (cartographie/site internet, formation SED, benchmark)    Organisation des sessions du CT SED lors du congrès de la SAGIP à Marseille  Informations sur les prochains événements en lien avec la communauté SED Questions diverses  Le compte-rendu se trouve ici

 Le 13 octobre 2022, 10 doctorants ont présenté leurs travaux de thèse SED en 180 secondes. Les retours sur cette première édition sont positifs et il a été décidé que chaque année, mi octobre, cet événement serait organisé pour avoir en une demi-journée une idée de la recherche SED en France. Guilherme Espindola Winck - Laboratoire : LARIS - Début de thèse : octobre 2019 - Titre : Sur le filtrage stochastique de systèmes max-plus linéaires L’objectif du filtrage stochastique est d’être capable d’estimer l’état du système connaissant une suite d’observations. C’est un enjeu majeur ; en effet, dans beaucoup d’applications, l’état du système ne peut pas être complètement connu, parce que certaines variables d’états ne sont pas accessibles à la mesure ou ne le sont que partiellement, et que d’inévitables erreurs de mesures, ou bruit de mesure, ou incertitude sur le système, interviennent. La théorie de l’estimation montre que toute l’information pour e...

Vous pouvez télécharger l'archive ici .   Lundi 3 juin après-midi, session de 4h : Automates à états et synthèse de contrôleurs Présentation ( pdf ) par Laurent Piétrac Outil Supremica : site web Algèbre de Boole et synthèse de contrôleurs Présentation ( pdf ) par Jean-Marc Roussel Outil développé au LURPA : faire un mail à jean-marc.roussel_at_ens-paris-saclay.fr pour demander la dernière version et la procédure d'installation Mardi 4 juin matin, session de 4h : Aperçu des méthodes et outils de l'algèbre max-plus Présentation ( pdf ) par Sébastien Lahaye Librairie développée au LARIS RdP et problèmes d'ordonnancement Présentation ( pdf ) par Dimitri Lefebvre Bibliothèque Matlab développée : voir bas de page, fichier Matlab-Dimitri-Lefebvre.zip Mardi 4 juin après-midi, session de 4h : Ordonnancement des systèmes de production : techniques utilisées en recherche opérationnelle, Robustification Présentation ( pdf ) A. Aubry, S. Himmiche, D. Lemoine, P. Marangé, S. Nor...

  En périphérie ou intégrés à l' IFAC WC 2017 (9-14 juillet 2017, Toulouse), plusieurs événements ont intéressé la communauté SED. Open invited tracks Plusieurs "Open Invited Track" soumises pour l'IFAC WC par la communauté SED : Diagnosis Techniques on Discrete Event Systems [ https://www.ifac2017.org/OIT#t38qn ], proposée par Mohamed Ghazel (IFSTTAR, France), Dimitri Lefebvre (Université Le Havre, France), Shigemasa Takai (Osaka University, Japan) Dependable Control of Discrete Systems [ https://www.ifac2017.org/OIT#v263i ], proposée par : Jean-Marc Faure (Ecole Normale Superieure de Cachan, France) and Yiannis Papadopoulos (University of Hull, United Kingdom) Tools and demonstrators for Discrete Event and Hybrid Systems [ https://www.ifac2017.org/OIT#f9s43 ], proposée par Sébastien Lahaye (Université d’Angers, France), Cristian Mahulea (Universidad de Zaragoza, Spain), Laurent Piétrac (INSA Lyon, France) Ecole MACS 2017 L'Ecole MACS 2017 aura lieu les ...

Archive de l'Ecole MACS de 2017 : Module "Formalismes et diagnostic des systèmes à événements discrets" Vous pouvez télécharger l'archive ici .  Samedi 8 juillet matin, session de 3h : Algèbre maxplus : présentation du formalisme, résultats principaux pour l'analyse et le contrôle des SED. Illustrations à travers des logiciels développés par les intervenants. Présentation (pdf) par B. Cottenceau, M. Lhommeau et S. Lahaye (Université d'Angers, France) Samedi 8 juillet après-midi, session de 3h : Théorie du contrôle par supervision : introduction à la théorie et aux formalismes (automates et langages) et quelques résultats intéressants par rapport aux architectures de contrôle modulaires, décentralisées, hiérarchiques, avec observation totale ou partielle. Illustrations avec Supremica. Présentations par L. Pietrac ( pdf ) (INSA Lyon, France) et M. Fabian ( pdf ) et S.Mohajerani ( pdf ) (Chalmers Univ. of Technology, Suède) Dimanche 9 juillet matin, sess...