Réunions
9-10 novembre 2017 : journées STP à Nancy
Jeudi 9 novembre :
Présentation du GT SED par les animateurs
Présentation du GT Bermudes par les animateurs
Présentation de l’axe « Ordonnancement » au sein du GT SED par Alexis Aubry, Laurent Houssin, Dimitri Lefebvre et Pascale Marangé
Présentation de David Duvivier : « couplage optimisation/simulation pour l’ordonnancement sans et avec prise en compte des activités de maintenance »
Table ronde : « Coopération Bermudes/SED pour répondre aux nouvelles problématiques d’ordonnancement »
Vendredi 10 novembre:
Sara Himmiche, CRAN, "Évaluation de la robustesse d'un ordonnancement par Automates Temporisés Stochastiques"
Yassine Idel Mahjoub, Université de Picardie Jules Verne, "Une nouvelle approche de modélisation et d’évaluation de performances à l’aide des réseaux de Petri colorés et l’algèbre (max, +): Application à un système de transport public"
Compte-rendu, résumé des exposés et slides
30 mars 2017
Ahmed Nait-Sidi-Moh, Laboratoires de Technologies Innovantes, Saint Quentin
"Modeling and conflicts management for performance evaluation of a public transportation system in (max, +) algebra"
Ben Li, Cristal, Lille, "Diagnostic et Diagnosticabilité des Systèmes à Evénements Discrets Complexes Modélisés par des Réseaux de Petri Labellisés"
Rim Saddem, ITAP & LIRMM, "Décomposition en modélisation et en vérification"
Compte-rendu, résumé des exposés et slides
15-16 novembre 2016 : JAMACS 2016 à Villeneuve d'Ascq
Leonardo Brenner et Isabel Demongodin, LSIS, Marseille : "Modélisation mésoscopique du trafic routier par Réseaux de Petri Lots Triangulaires"
Mohamed Ghazel, IFSTTAR/ESTAS, Villeneuve d'Ascq : "Un Benchmark ferroviaire modulable pour le diagnostic des SED"
Abderraouf Boussif, IFSTTAR/ESTAS, Villeneuve d'Ascq : "Diagnostic des fautes permanentes et intermittentes dans les SEDs sur la base d'une nouvelle variante du diagnostiqueur"
Pascale Marangé, Alexis Aubry et Jean-François PETIN, CRAN, Nancy : Session de travail en vue de définir un benchmark pour les travaux d’ordonnancement avec des approches SED :
Rappel de l’objectif de cette session de travail
Présentations des personnes voulant participer à ce benchmark : Dimitri Lefebvre (GREAH, Le Havre), Laurent Houssin (Laas, Toulouse), Mahya Rahimi (Ampère, Lyon) et Romain Pichard (CReSTIC, Reims)
Présentation de premiers résultats et de critères de comparaison retenus au CRAN
Synthèse des problèmes traités / méthodes utilisées / outils de modélisation en vue de définir un benchmark
Michael Canu, Universidad de los Andes, Bogota, Colombia et Naly Rakoto, Mines Nantes, IRCCyN : "On Switchable Languages of Discrete-Event Systems with Weighted Automata"
Yuchen Xie, CRISTAL, Lille : "Modélisation de fonctions de contrôle ferroviaires pour les trains autonomes"
Romain Cuer, Renault-Ampère, Lyon : "Démarche de construction d’un modèle comportemental du système de supervision centralisé pour la fonction conduite autonome"
Compte-rendu, résumé des exposés et slides
16 juin 2016 au CNAM Paris
Jérémie Saives (directeur de thèse : Jean-Jacques Lesage), LURPA, ENS Cachan : Identification comportementale Boîte Noire de Systèmes à Événements Discrets par Réseaux de Petri Interprétés
Rabah Ammour (directeur de thèse: Dimitri Lefebvre), GREAH, Université du Havre : Diagnostic et pronostic des réseaux de Petri stochastiques partiellement observés
Thomas Cochard (directeur de thèse: Jean-François Pétin), CRAN, Université de Lorraine : Génération, vérification formelle et simulation de séquences d'actions de conduite pour un système complexe critique
Compte-rendu, résumé des exposés et slides
18 mars 2016 à l'ENS Cachan
Abderraouf Boussif (directeur de thèse : Mohamed Ghazel), IFSTTAR : Apport des techniques symboliques pour l'analyse de diagnosticabilité des SED modélisés par des réseaux de Petri
Soguy Mak-Karé Gueye (directeur de thèse : Eric Rutten), Equipe CTRL-A, INRIA Grenoble : Distributed Execution of Modular Discrete Controllers for Data Center Management
Pascale Marangé, Alexis Aubry, Jean-François Pétin (Centre de Recherche en Automatique de Nancy) : Ordonnancement d’ateliers à partir de patrons de modélisation basés sur des automates communicants
Mahya Rahimi (directeurs de thèse : Eric Niel, Emil Dumitrescu), Laboratoire Ampère : Scheduling by Timed Automata under Resource Conflicts
Compte-rendu, résumé des exposés et slides
6 octobre 2015 à Grenoble
Eric Rutten INRIA, Grenoble: Discrete control-based design of adaptive and au-tonomic computing systems
Sébastien Lahaye, LARIS, Angers: Automates max-plus et systèmes à événements discrets
Questions et informations diverses sur la vie du GT
Résumé des exposés et slides
12 mars 2015 au CNAM Paris
Raphaël Coupat, Alexandre Philippot, Bernard Riera "Méthodologie pour les études d’automatisation et la génération automatique de programmes Automates Programmables Industriels (API) sûrs de fonctionnement : Application aux Equipements d’Alimentation des Lignes Electrifiées (EALE)"
Dorina Ionescu, Nicolae Brînzei, Jean-François Pétin "Approche compositionnelle basée sur les langages probabilistes pour l’évaluation quantitative des séquences d’événements en sûreté de fonctionnement"
Thierno M.L. Diallo, Sébastien Henry, Yacine Ouzrout "Utilisation des données de traçabilité unitaire et des connaissances expertes pour le développement d'une approche d'analyse causale des non-qualités produits"
Muhammad Kashif Shazad, Eric Zamaï "Towards reducing unsncheduled equipment breakdowns in the Semicodncutor Industry (SI) using Bayesian Approach"
Questions et informations diverses sur la vie du GT
Compte-rendu, résumé des exposés et slides
02 octobre 2014 au CNAM Paris
Dimitri Lefebvre "Diagnostic des SED par réseaux de Petri"
Ramla Saddem "Diagnostic basé sur les Signatures Temporelles Causales (STCs)"
Yannick Pencolé "Diagnostic, Diagnosticabilité et Précision dans les SED"
Anaïs Guignard "Définition d'une relation de conformité adaptée au test de contrôleurs logiques"
Questions et informations diverses sur la vie du GT
Compte-rendu, résumé des exposés et slides
26 juin 2014 au CNAM Paris
Nadir Fahri "Upper bounds for the travel time on traffic systems"
Karla Quintero "Vers un nouveau produit d’automates (max, +) pour des problèmes d’ordonnancement"
Thomas Chatain "Une comparaison de modèles pour les systèmes répartis temps-réel"
Questions et informations diverses sur la vie du GT
Compte-rendu, résumé des exposés et slides
10 avril 2014 à l'ENS Cachan
bilans des GT INCOS et MASED (ex-RdP), projets et discussions pour le nouveau GT SED
Bertrand Cottenceau (LARIS, Université d'Angers) "Modélisation et commande de systèmes dans l'algèbre (max,+)"
Baisi Liu (LAGIS, Ecole Centrale de Lille) "Une approche efficace pour l’étude de la diagnosticabilité et le diagnostic des SED modélisés par Réseaux de Petri labellisés"