30 janvier 2025 – Journée commune CT SED et AFSEC au CNAM Paris (également disponible en visio)
9h30-12h00
- Yan Monier (LURPA – ENS Paris-Saclay) : Identification adaptative de système à un automate hybride dans le contexte des jumeaux numériques Cyber-Physiques
- Mohamed Ghazel (ESTAS – Université Gustave Eiffel) : K/K_min diagnosability analysis in labeled Petri nets by means of linear algebraic optimization
- Olivier Boutin (3iL Ingénieurs Nantes, LS2N) : PyMinMaxGD: Python Scripting in a Dioid Framework to solve Control Problems
14h00-16h30
- Mouna Gaouar (LIS): Timed Output Synchronized Petri Nets and Synchronized State Class Graphs
- Théo Serru (LS2N – Nantes Université) : Offuscation en ligne du flot d’instructions : preuve formelle et proposition pour l’implémentation sur CVA6
- Dylan Marinho ( LIP6 – Sorbonne Université) : Ensuring opacity in timed systems
7 novembre 2024 – 3ème édition de “Ma thèse SED en 180s”
Ma thèse SED en 180s
- Mouna Gaouar (Laboratoir d’Informatique et Systèmes)
- Tom Ladune (CReSTIC)
- Dimitri Renard (CReSTIC)
- Khalid Hamada (Laboratoire d’Informatique et des Systèmes)
- Ilhem Ben Hnaien (NOCCS, G-SCOP)
- Stanley Suan You Lim (G-SCOP)
- Houyem Taous (LARATSI (Tunisie), G-SCOP (France))
Du 29 au 31 mai 2024 (en présentiel) – Congrès de la SAGIP
Sessions SED durant le 2ème congrès de la SAGIP (https://sagip2024.sciencesconf.org/)
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
02 février 2024 – Réunion du CT
Ordre du jour
(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.
Du 17 au 19 janvier 2024 – 1ère édition de l’école SED à Nancy
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.
Octobre 2023 – 2ème édition de “Ma thèse SED en 180s”
Ma thèse en 180s
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.
- Boulkhoukh Oumaim (Laboratoire d’Analyse des Signaux et Processus Industriels (LASPI) : 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
- Hamada Khalid (Laboratoire d’informatique & systèmes (LIS) : Petri Net Formalisms for Cyber-Physical Systems Security Analysis
- Velasquez Ibis (LAAS-CNRS) : Apprentissage automatique de graphes d’événements temporisés pour le diagnostic temporel de défaillances
- Risy Matthias (G-SCOP) : Maintenance prédictive et réalité mixte dans un SCADA
- Lim Stanley Suan You (G-SCOP) : Usages de l’Intelligence Artificielle pour la sûreté de fonctionnement et la maintenance intelligente des équipements de production dans l’Industrie du Futur