Yannick Pencolé

Documents

Publications

Infimum of the solutions to linear equation in semiring and application to event data evaluation in max-plus linear systems

Ibis Velasquez , Yannick Pencolé

IEEE Transactions on Automatic Control, 2026, pp.1-12. ⟨10.1109/TAC.2026.3719547⟩

Article dans une revue hal-05711580v1

Causal explanations of safety property violations in discrete event systems

Gregor Gössler , Thomas Mari , Yannick Pencolé , Louise Travé-Massuyès

Artificial Intelligence (AIJ), 2026, 358, pp.104588. ⟨10.1016/j.artint.2026.104588⟩

Article dans une revue hal-05790283v1

Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures

Ibis Velasquez , Yannick Pencolé , Euriell Le Corronc

Discrete Event Dynamic Systems, 2024, 34 (1), pp.53-93. ⟨10.1007/s10626-023-00391-x⟩

Article dans une revue hal-04483570v1

Diagnosability of event patterns in safe labeled time Petri nets: a model-checking approach

Yannick Pencolé , Audine Subias

IEEE Transactions on Automation Science and Engineering, 2022, 19 (2), pp.1151 - 1162. ⟨10.1109/TASE.2020.3045565⟩

Article dans une revue hal-03139863v1

Failure Detection and Localization for Timed Event Graphs in (max, +)-Algebra

Euriell Le Corronc , Yannick Pencolé , Alexandre Sahuguède , Claire Paya

Discrete Event Dynamic Systems, 2021, 31 (4), pp.513-552. ⟨10.1007/s10626-020-00329-7⟩

Article dans une revue hal-03122966v1

Le diagnostic automatique, c’est quoi ?

Louise Travé-Massuyès , Yannick Pencolé

Le petit illustré, regards croisés de chercheur.es, 2020

Article dans une revue hal-03450201v1

Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors

Yannick Pencolé , Audine Subias

Journal of Universal Computer Science, 2020, 26 (2), pp.268 - 292

Article dans une revue hal-02862863v1

Applying Active Diagnosis to Space Systems by On-Board Control Procedures

Elodie Chanthery , Louise Travé-Massuyès , Yannick Pencolé , Régis de Ferluc , Brice Dellandrea

IEEE Transactions on Aerospace and Electronic Systems, 2019, 55 (5), ⟨10.1109/TAES.2019.2923344⟩

Article dans une revue hal-02056090v1

Diagnosability analysis of patterns on bounded labeled prioritized Petri nets

Houssam Eddine Gougam , Yannick Pencolé , Audine Subias

Discrete Event Dynamic Systems, 2017, 27 (1), pp.143-180. ⟨10.1007/s10626-016-0234-5⟩

Article dans une revue hal-01574475v1

A Model-based Approach for Diagnosing Faults in Web Service Processes

Yuhong Yan , Philippe Dague , Yannick Pencolé , Marie-Odile Cordier

International Journal of Web Services Research, 2009

Article dans une revue inria-00434346v1

Caractérisation des systèmes autoguérissants : diagnostiquer ce que l'on va réparer

Marie-Odile Cordier , Yannick Pencolé , Louise Travé-Massuyès , Thierry Vidal

Revue I3 - Information Interaction Intelligence, 2009, 8 (2)

Article dans une revue inria-00460681v1

A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks

Yannick Pencolé , Marie-Odile Cordier

Artificial Intelligence (AIJ), 2005, 164 (1-2), pp.121-170

Article dans une revue inria-00511104v1

Data-driven diagnosis of failures in max-plus linear systems: a consistency-based approach

Ibis Velasquez , Yannick Pencolé

2026 18th International Workshop on Discrete Event Systems (WODES), Jun 2026, Eindhoven, Netherlands. pp.289-294, ⟨10.1109/WODES69290.2026.11598031⟩

Communication dans un congrès hal-05694792v1

Learning normal and delayed behavior of max-plus linear systems from input and output event data

Ibis Velasquez , Yannick Pencolé , Euriell Le Corronc

2024 IEEE 20th International Conference on Automation Science and Engineering (CASE), Aug 2024, Bari, Italy. ⟨10.1109/CASE59546.2024.10711569⟩

Communication dans un congrès hal-04718040v1

On a Method to Measure Supervised Multiclass Model’s Interpretability: Application to Degradation Diagnosis (Short Paper)

Charles-Maxime Gauriat , Yannick Pencolé , Pauline Ribot , Gregory Brouillet

35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024), Nov 2024, Vienna, Austria. ⟨10.4230/OASIcs.DX.2024.27⟩

Communication dans un congrès hal-04862630v1

Transparência Baseada em Propriedade: uma Nova Noção de Utilidade para Sistemas a Eventos Discretos ⋆

Patricia Monica Campos-Mayer-Vicente , Felipe Gomes Cabral , Públio M. Lima , Marcos Vicente Moreira , Audine Subias et al.

XXV Congresso Brasileiro de Automática, Oct 2024, Rio de Janeiro (BR), Brazil

Communication dans un congrès hal-04775872v1

Property-Based Transparency: a New Utility Definition*

Patricia Monica Campos-Mayer-Vicente , Felipe Gomes Cabral , Públio M. Lima , Marcos Vicente Moreira , Audine Subias et al.

2024 IEEE 20th International Conference on Automation Science and Engineering, Aug 2024, Bari (IT), Italy

Communication dans un congrès hal-04775876v1

Multi-class Neural Additive Models : An Interpretable Supervised Learning Method for Gearbox Degradation Detection

Charles-Maxime Gauriat , Yannick Pencolé , Pauline Ribot , Gregory Brouillet

2024 IEEE International Conference on Prognostics and Health Management, Jun 2024, Spokane WA, United States. ⟨10.1109/ICPHM61352.2024.10627522⟩

Communication dans un congrès hal-04562531v1

Diagnosabilization of Time Petri net for timed fault

Camille Coquand , Yannick Pencolé , Audine Subias

IFAC World COngress, Jul 2023, Yokoama, Japan. pp.8648-8653, ⟨10.1016/j.ifacol.2023.10.041⟩

Communication dans un congrès hal-04075303v1

Critical pairs based diagnosability analysis of timed fault in Time Petri Nets

Camille Coquand , Audine Subias , Yannick Pencolé , Éric Lubat

16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic

Communication dans un congrès hal-03765924v1

Diagnosability and Predictability of pattern in Labelled Petri Nets

Eric Lubat , Camille Coquand , Yannick Pencole , Audine Subias

33rd International Workshop on Principle of Diagnosis (DX 2022), LAAS-CNRS-ANITI, Sep 2022, Toulouse, France

Communication dans un congrès hal-03773804v1

Observable Simple Temporal Network synthesis for the diagnosis of time patterns in time Petri nets

Camille Coquand , Audine Subias , Yannick Pencolé

11th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes - SAFEPROCESS 2022, Jun 2022, Pafos, Cyprus

Communication dans un congrès hal-03694854v1

Active Diagnosis Algorithm for the Localization of Time Failures in (Max,+)-Linear Systems

Ibis Velasquez , Euriell Le Corronc , Yannick Pencolé

16th IFAC Workshop on Discrete Event Dynamic Systems (WODES'22), Sep 2022, Prague, Czech Republic. pp.276-283, ⟨10.1016/j.ifacol.2022.10.354⟩

Communication dans un congrès hal-04249433v1

Détection et localisation de dérives temporelles à base d'observateurs (max,+) dans les Graphes d'Evénements Temporisés

Claire Paya , Euriell Le Corronc , Yannick Pencolé , Philippe Vialletelle

13ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France

Communication dans un congrès hal-04249495v1

A Model Checking method to solve the event pattern diagnosis problem in safe labeled time Petri nets

Yannick Pencolé , Audine Subias , Camille Coquand

32nd International Workshop on Principles of Diagnosis DX’21, Sep 2021, Hamburg, Germany

Communication dans un congrès hal-03348338v1

Model-Based Diagnosis of Time Shift Failures in Discrete Event Systems: A (Max,+) Observer-Based Approach

Claire Paya , Euriell Le Corronc , Yannick Pencolé , Philippe Vialletelle

13th KES-IDT 2021 Conference : Intelligent Decision Technology, Jun 2021, virtual conference center, Italy. pp.545-555, ⟨10.1007/978-981-16-2765-1_45⟩

Communication dans un congrès hal-03332445v1

Signature of timed patterns in time Petri nets: a formal characterization

Camille Coquand , Audine Subias , Yannick Pencolé

Modélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France

Communication dans un congrès hal-03405509v1

Observer-based detection and localization of time shift failures in (max,+)-linear systems

Claire Paya , Euriell Le Corronc , Yannick Pencolé , Philippe Vialletelle

IEEE 17th International Conference on Automation Science and Engineering (CASE 2021), Aug 2021, Lyon, France. ⟨10.1109/CASE49439.2021.9551625⟩

Communication dans un congrès hal-03417390v1

A New Product Construction for the Diagnosability of Patterns in Time Petri Net

Éric Lubat , Silvano Dal Zilio , Didier Le Botlan , Yannick Pencolé , Audine Subias

59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨10.1109/CDC42340.2020.9303826⟩

Communication dans un congrès hal-02989834v1

How to use Model Checking for Diagnosing Fault Patterns in Petri nets

Johanne Bakalara , Yannick Pencolé , Audine Subias

WODES 2020 - 15th IFAC Workshop on Discrete Event Systems, Nov 2020, Virtual, Brazil. pp.1-6

Communication dans un congrès hal-02997908v1

Observer-based detection of time shift failures in (max,+)-linear systems

Claire Paya , Euriell Le Corronc , Yannick Pencolé , Philippe Vialletelle

The 31st International Workshop on Principles of Diagnosis (DX-2020), Sep 2020, Nashville, United States

Communication dans un congrès hal-03023250v1

Towards Causal Explanations of Property Violations in Discrete Event Systems

Gregor Gössler , Thomas Mari , Yannick Pencolé , Louise Travé-Massuyès

30th International Workshop on Principles of Diagnosis (DX'19), Nov 2019, Klagenfurt, Austria. pp.1-8

Communication dans un congrès hal-02369014v1

A State Class Construction for Computing the Intersection of Time Petri Nets Languages

Éric Lubat , Silvano Dal Zilio , Didier Le Botlan , Yannick Pencolé , Audine Subias

17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Aug 2019, Amsterdam, Netherlands. ⟨10.1007/978-3-030-29662-9_5⟩

Communication dans un congrès hal-02263832v1

Detection of time shift failures in (max, +)-linear systems with time intervals for assembly line

Claire Paya , Euriell Le Corronc , Yannick Pencolé

IEEE International Conference on Systems, Man and Cybernetics (SMC 2019), Oct 2019, Bari, Italy. pp.1801-1806, ⟨10.1109/SMC.2019.8914411⟩

Communication dans un congrès hal-02376093v1

A Study of Evacuation Planning for Wildfires

Christian Artigues , Emmanuel Hébrard , Yannick Pencolé , Andreas Schutt , Peter J Stuckey

The Seventeenth International Workshop on Constraint Modelling and Reformulation (ModRef 2018), Aug 2018, Lille, France. 17p

Communication dans un congrès hal-01814083v1

Localization of time shift failures in (max,+)-linear systems

Euriell Le Corronc , Alexandre Sahuguède , Yannick Pencolé , Claire Paya

14th Workshop on Discrete Event Systems, WODES'18, May 2018, Sorrento Coast, Italy. pp.186-191

Communication dans un congrès hal-01954270v1

Data Instance generator and optimization models for evacuation planning in the event of wildfire

Christian Artigues , Emmanuel Hébrard , Yannick Pencolé , Andreas Schutt , Peter J. Stuckey

GEOSAFE Workshop on Robust Solutions for Fire Fighting (RSFF 2018), Jul 2018, L'Aquila, Italy. pp.75-86

Communication dans un congrès hal-01814063v1

Timed pattern diagnosis in timed workflows: a model checking approach

Yannick Pencolé , Audine Subias

14th Workshop on Discrete Event Systems (WODES 2018), May 2018, Sorrento Coast, Italy. pp.94-99, ⟨10.1016/j.ifacol.2018.06.285⟩

Communication dans un congrès hal-01827362v1

Détection et localisation de fautes temporelles dans les systèmes (max,+)-linéaires

Euriell Le Corronc , Alexandre Sahuguède , Yannick Pencolé

Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. 14p

Communication dans un congrès hal-01710331v1

Diagnostic de motifs de comportements dans les systèmes temporels

Yannick Pencolé , Audine Subias

Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. 14p

Communication dans un congrès hal-01827427v1

Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking

Yannick Pencolé , Audine Subias

28th International Workshop on Principles of Diagnosis (DX 2017), Sep 2017, Brescia, Italy. 9p

Communication dans un congrès hal-01827437v1

Design of indicators for the detection of time shift failures in (max, +)-linear systems

Alexandre Sahuguède , Euriell Le Corronc , Yannick Pencolé

20th IFAC World Congress, Jul 2017, Toulouse, France. pp.7P

Communication dans un congrès hal-01534552v1

Diagnosing Discrete Event Systems Using Nominal Models Only

Yannick Pencolé , Gerald Steinbauer , Clemens Mühlbacher , Louise Travé-Massuyès

28th International Workshop on Principles of Diagnosis (DX'17), Sep 2017, Brecia, Italy. 15p., ⟨10.29007/1d2x⟩

Communication dans un congrès hal-01929441v1

Inference of fault signatures of discrete-event systems from event logs

Cody Christopher , Yannick Pencolé , Alban Grastien

28th International Workshop on Principles of Diagnosis (DX'17), Sep 2017, Brescia, Italy. 15p., ⟨10.29007/qmpw⟩

Communication dans un congrès hal-01929433v1

Definition of Model-based diagnosis problems with Altarica

Yannick Pencolé , Elodie Chanthery , Thierry Peynot

27th International Workshop on Principles of Diagnosis (DX-2016), Oct 2016, Denver, CO, United States. 8p

Communication dans un congrès hal-01358693v2

Random generator of k-diagnosable discrete event systems

Yannick Pencolé

26th International Workshop on Principles of Diagnosis (DX-15), Aug 2015, Paris, France

Communication dans un congrès hal-01196010v1

Modular fault diagnosis in discrete-event systems with a CPN diagnoser

Yannick Pencolé , Romain Pichard , Pierre Fernbach

9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Sep 2015, Paris, France

Communication dans un congrès hal-01196011v1

HYDIAG : extended diagnosis and prognosis for hybrid systems

Elodie Chanthery , Yannick Pencolé , Pauline Ribot , Louise Travé-Massuyès

The 26th International Workshop on Principles of Diagnosis (DX-2015), Aug 2015, Paris, France

Communication dans un congrès hal-01203633v1

Modélisation et Analyse de chroniques pour le diagnostic

Ghyslain Maitre , Yannick Pencolé , Audine Subias , Houssam Eddine Gougam

Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France

Communication dans un congrès hal-01224222v1

Condition-based Monitoring and Prognosis in an Error-Bounded Framework.

Louise Travé-Massuyès , Renaud Pons , Pauline Ribot , Yannick Pencolé , Carine Jauberthie

26th international workshop on Principles of Diagnosis, Aug 2015, Paris, France

Communication dans un congrès hal-01929470v1

DITO: a CSP-based diagnostic engine

Yannick Pencolé

Twenty-first European Conference on Artificial Intelligence (ECAI'14), Aug 2014, Prague, Czech Republic

Communication dans un congrès hal-01929533v1

Discriminability Analysis of Supervision Patterns by Net Unfoldings

Houssam Eddine Gougam , Audine Subias , Yannick Pencolé

12th IFAC International Workshop on Discrete Event Systems (2014)-IFAC Proceedings Volumes, May 2014, Cachan, France. pp.459 - 464, ⟨10.3182/20140514-3-FR-4046.00136⟩

Communication dans un congrès hal-01847155v1

Window-based Diagnostic Algorithms for Discrete Event Systems: What Information to Remember

Xingyu Su , Yannick Pencolé , Alban Grastien

25th International Workshop on Principles of Diagnosis (DX 14), Sep 2014, Graz, Austria

Communication dans un congrès hal-01929488v1

Caractérisation des systèmes autoguérissants : diagnostiquer ce que l'on va réparer

Marie-Odile Cordier , Yannick Pencolé , Louise Travé-Massuyès , Thierry Vidal

RFIA'08 (16ème Congrès Reconnaissance des Formes et Intelligence Artificielle), 2008, Amiens, France

Communication dans un congrès inria-00462985v1

Characterizing and checking self-healibility

Marie-Odile Cordier , Yannick Pencolé , Louise Travé-Massuyès , Thierry Vidal

ECAI 2008 (18th European Conference on Artificial Intelligence), 2008, Patras, Greece. pp.789--790

Communication dans un congrès inria-00462974v1

Self-healablity = diagnosability + repairability

Marie-Odile Cordier , Yannick Pencolé , Louise Travé-Massuyès , Thierry Vidal

DX07 (18th International Workshop on Principles of Diagnosis, 2007, Nashville, TN, United States. pp.251--258

Communication dans un congrès inria-00463002v1

Monitoring Web Service Networks in a Model-based Approach

Yuhong Yan , Yannick Pencolé , Marie-Odile Cordier , Alban Grastien

ECOWS'05 (European Conference on Web Services), Nov 2005, Växjö / Sweden

Communication dans un congrès inria-00000533v1

Calcul de trajectoires utilisant les propriétés d'interversibilité

Marie-Odile Cordier , Alban Grastien , Christine Largouët , Yannick Pencolé

RJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle), Jul 2003, Laval / France

Communication dans un congrès inria-00000525v1

Efficient trajectories computing using inversibilities properties

Marie-Odile Cordier , Alban Grastien , Christine Largouët , Yannick Pencolé

14th international workshop on principles of diagnosis, Jun 2003, Washington / USA

Communication dans un congrès inria-00000523v1

Modèles Additifs Neuronaux Multi classes (MNAM)

Charles-Maxime Gauriat , Yannick Pencolé , Pauline Ribot , Gregory Brouillet

LAAS Research and Technology Days 2024 (RTDAYS), Jul 2024, Toulouse, France. 2024

Poster de conférence hal-04775898v1

Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015)

Yannick Pencolé , Louise Travé-Massuyès , Philippe Dague

Yannick Pencolé; Louise Travé-Massuyès; Philippe Dague. , 1507, pp.302, 2015, CEUR Workshop Proceedings

Ouvrages hal-01227807v1

Diagnosis and supervision: model-based approaches

Marie-Odile Cordier , Philippe Dague , Yannick Pencolé , Louise Travé-Massuyès

Pierre Marquis; Odile Papini; Henri Prade. A guided tour of artificial intelligence research, 1, Springer, pp.673-706, 2017, Knowledge representation and reasoning, 978-3-030-06164-7. ⟨10.1007/978-3-030-06164-7_21⟩

Chapitre d'ouvrage hal-01483436v1

Diagnostic et supervision : approches à base de modèles

Marie-Odile Cordier , Philippe Dague , Yannick Pencolé , Louise Travé-Massuyès

Pierre Marquis and Odile Papini and Henri Prade. Panorama de l'intelligence artificielle : Ses bases méthodologiques, ses développements, 2, Cépaduès, 2013

Chapitre d'ouvrage hal-00769636v1

GeoSafe – Evacuation planning problems

Christian Artigues , Emmanuel Hébrard , Yannick Pencolé , Andreas Schutt , Peter J Stuckey

2018

Pré-publication, Document de travail hal-01814177v1

Bilan et prospectives 2025 du département Décision & Optimisation du LAAS-CNRS

Dimitri Peaucelle , Christian Artigues , Lucie Baudouin , Laurent Houssin , Victor Magron et al.

LAAS-CNRS. 2026

Rapport hal-05510227v1

An experimental setup for learning models for the RUL estimation of bearings in rotary machine tools: towards the learning of more interpretable models

Charles-Maxime Gauriat , Yannick Pencolé , Pauline Ribot , Gregory Brouillet

2023

Rapport (rapport technique) hal-04715967v1

Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS

Dimitri Peaucelle , Marie-José Huguet , Yannick Pencolé , Christian Artigues , Emmanuel Hébrard et al.

2019

Rapport (rapport technique) hal-02295816v1

Diagnostic décentralisé de systèmes à événements discrets : application aux réseaux de télécommunications

Yannick Pencolé

Interface homme-machine [cs.HC]. Université Rennes 1, 2002. Français. ⟨NNT : ⟩

Thèse tel-00003581v1

Diagnostic : étude d’un raisonnement complexe et multi-dimensionnel

Yannick Pencolé

Automatique / Robotique. Université Toulouse 3 - Paul Sabatier, 2018

HDR tel-01984666v1

Notes de cours: Analyse, Simulation et Commande de systèmes (max,+)-linéaires.

Yannick Pencolé

Master. Module Controle et Simulation (partie 1), Université Paul Sabatier, Toulouse, France. 2023, pp.58

Cours hal-04775880v1

Discrete-Event systems: Symbolic representations

Yannick Pencolé

Doctoral. Module T7. Discrete-Event systems, Girona, Spain. 2022, pp.41

Cours hal-04775887v1

Discrete-Event systems: Diagnosis with Petri nets

Yannick Pencolé

Doctoral. Module T7. Discrete-Event systems, Girona, Spain. 2022, pp.65

Cours hal-04775891v1

diades (DIAgnosis of Discrete Event Systems)

Yannick Pencolé

2024, ⟨swh:1:dir:f0c1d9fdd38a0ee1f8d37eb408428c4d603ddf2c;origin=https://gitlab.laas.fr/ypencole/diades;visit=swh:1:snp:e9d3cccd3c6b0feea44623139cca7b121a0fb1d4;anchor=swh:1:rev:d983dfe2ee50b18f9f22cdc1e7b1b669ead46844⟩

Logiciel hal-04779011v1

DdPetri (Petri net collection tools of Diades)

Yannick Pencolé

2024, ⟨swh:1:dir:ecce6e0ecc61d35a6e903d0745f40315e7739daa;origin=https://gitlab.laas.fr/ypencole/ddpetri;visit=swh:1:snp:97bceb647ac1d1e940e1bea79828d1d91c2ba6d1;anchor=swh:1:rev:06bfdca77a59b680a0eaa9769bc1017df19041b0⟩

Logiciel hal-04779090v1

DdAutomata (Automata tools)

Yannick Pencolé

2024, ⟨swh:1:dir:66a436ed79218d8109f9927cd1281e3bf431274a;origin=https://gitlab.laas.fr/ypencole/ddautomata;visit=swh:1:snp:5c1726eef243ee48acf81a695b3db87a84e29165;anchor=swh:1:rev:6cf0cd89ea8e6d030258d48895eb7ce6daf8456f⟩

Logiciel hal-04779083v1

DdEditor (Diades editor)

Yannick Pencolé

2024, ⟨swh:1:dir:3752fea19639a763fe00156c1d557be6fc520f51;origin=https://gitlab.laas.fr/ypencole/ddeditor;visit=swh:1:snp:f078c4952f459c8a32061c2578eb38812ad62a65;anchor=swh:1:rev:7a7501caa360322a91dae69cf33439ea51db4d7f⟩

Logiciel hal-04779018v1

Chargement...

Yannick Pencolé

Publications

Publications

Infimum of the solutions to linear equation in semiring and application to event data evaluation in max-plus linear systems

Causal explanations of safety property violations in discrete event systems

Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures

Diagnosability of event patterns in safe labeled time Petri nets: a model-checking approach

Failure Detection and Localization for Timed Event Graphs in (max, +)-Algebra

Le diagnostic automatique, c’est quoi ?

Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors

Applying Active Diagnosis to Space Systems by On-Board Control Procedures

Diagnosability analysis of patterns on bounded labeled prioritized Petri nets

A Model-based Approach for Diagnosing Faults in Web Service Processes

Caractérisation des systèmes autoguérissants : diagnostiquer ce que l'on va réparer

A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks

Data-driven diagnosis of failures in max-plus linear systems: a consistency-based approach

Learning normal and delayed behavior of max-plus linear systems from input and output event data

On a Method to Measure Supervised Multiclass Model’s Interpretability: Application to Degradation Diagnosis (Short Paper)

Transparência Baseada em Propriedade: uma Nova Noção de Utilidade para Sistemas a Eventos Discretos ⋆

Property-Based Transparency: a New Utility Definition*

Multi-class Neural Additive Models : An Interpretable Supervised Learning Method for Gearbox Degradation Detection

Diagnosabilization of Time Petri net for timed fault

Critical pairs based diagnosability analysis of timed fault in Time Petri Nets

Diagnosability and Predictability of pattern in Labelled Petri Nets

Observable Simple Temporal Network synthesis for the diagnosis of time patterns in time Petri nets

Active Diagnosis Algorithm for the Localization of Time Failures in (Max,+)-Linear Systems

Détection et localisation de dérives temporelles à base d'observateurs (max,+) dans les Graphes d'Evénements Temporisés

A Model Checking method to solve the event pattern diagnosis problem in safe labeled time Petri nets

Model-Based Diagnosis of Time Shift Failures in Discrete Event Systems: A (Max,+) Observer-Based Approach

Signature of timed patterns in time Petri nets: a formal characterization

Observer-based detection and localization of time shift failures in (max,+)-linear systems

A New Product Construction for the Diagnosability of Patterns in Time Petri Net

How to use Model Checking for Diagnosing Fault Patterns in Petri nets

Observer-based detection of time shift failures in (max,+)-linear systems

Towards Causal Explanations of Property Violations in Discrete Event Systems

A State Class Construction for Computing the Intersection of Time Petri Nets Languages

Detection of time shift failures in (max, +)-linear systems with time intervals for assembly line

A Study of Evacuation Planning for Wildfires

Localization of time shift failures in (max,+)-linear systems

Data Instance generator and optimization models for evacuation planning in the event of wildfire

Timed pattern diagnosis in timed workflows: a model checking approach

Détection et localisation de fautes temporelles dans les systèmes (max,+)-linéaires

Diagnostic de motifs de comportements dans les systèmes temporels

Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking

Design of indicators for the detection of time shift failures in (max, +)-linear systems

Diagnosing Discrete Event Systems Using Nominal Models Only

Inference of fault signatures of discrete-event systems from event logs

Definition of Model-based diagnosis problems with Altarica

Random generator of k-diagnosable discrete event systems

Modular fault diagnosis in discrete-event systems with a CPN diagnoser

HYDIAG : extended diagnosis and prognosis for hybrid systems

Modélisation et Analyse de chroniques pour le diagnostic

Condition-based Monitoring and Prognosis in an Error-Bounded Framework.

DITO: a CSP-based diagnostic engine

Discriminability Analysis of Supervision Patterns by Net Unfoldings

Window-based Diagnostic Algorithms for Discrete Event Systems: What Information to Remember

Caractérisation des systèmes autoguérissants : diagnostiquer ce que l'on va réparer

Characterizing and checking self-healibility

Self-healablity = diagnosability + repairability

Monitoring Web Service Networks in a Model-based Approach

Calcul de trajectoires utilisant les propriétés d'interversibilité

Efficient trajectories computing using inversibilities properties

Modèles Additifs Neuronaux Multi classes (MNAM)

Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015)

Diagnosis and supervision: model-based approaches

Diagnostic et supervision : approches à base de modèles

GeoSafe – Evacuation planning problems

Bilan et prospectives 2025 du département Décision &amp; Optimisation du LAAS-CNRS

An experimental setup for learning models for the RUL estimation of bearings in rotary machine tools: towards the learning of more interpretable models

Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS

Diagnostic décentralisé de systèmes à événements discrets : application aux réseaux de télécommunications

Diagnostic : étude d’un raisonnement complexe et multi-dimensionnel

Notes de cours: Analyse, Simulation et Commande de systèmes (max,+)-linéaires.

Discrete-Event systems: Symbolic representations

Discrete-Event systems: Diagnosis with Petri nets

diades (DIAgnosis of Discrete Event Systems)

DdPetri (Petri net collection tools of Diades)

DdAutomata (Automata tools)

DdEditor (Diades editor)

Bilan et prospectives 2025 du département Décision & Optimisation du LAAS-CNRS