Yannick Pencolé

73
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Yannick Pencolé

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

HDR tel-01984666v1
Deposit thumbnail

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
Deposit thumbnail

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