Science des SED en France

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