Yannick Pencolé

Documents

Publications

	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
	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
	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
	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, 2005, 164 (1-2), pp.121-170 Article dans une revue inria-00511104v1

	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	Towards Causal Explanations of Property Violations in Discrete Event Systems Gregor Gössler , Thomas Mari , Yannick Pencolé , Louise Travé-Massuyès DX'19 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-8 Communication dans un congrès hal-02369014v1
	Detection of time shift failures in (max, +)-linear systems with time intervals for assembly line Claire Paya , Euriell Le Corronc , Yannick Pencolé 2019 IEEE International Conference on Systems, Man and Cybernetics, Oct 2019, Bari, Italy. pp.1801-1806 Communication dans un congrès hal-02376093v1
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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

	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, 2017, Knowledge representation and reasoning, 978-3-030-06164-7 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

	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

Yannick Pencolé

Publications

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

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

Le diagnostic automatique, c’est quoi ?

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

Diagnosabilization of Time Petri net for timed fault

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

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

Diagnosability and Predictability of pattern in Labelled 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

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

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

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

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

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

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

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

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

Towards Causal Explanations of Property Violations in Discrete Event Systems

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

Timed pattern diagnosis in timed workflows: a model checking approach

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

A Study of Evacuation Planning for Wildfires

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

Diagnosing Discrete Event Systems Using Nominal Models Only

Diagnostic de motifs de comportements dans les systèmes temporels

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

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

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

Definition of Model-based diagnosis problems with Altarica

HYDIAG : extended diagnosis and prognosis for hybrid systems

Random generator of k-diagnosable discrete event systems

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

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

Modélisation et Analyse de chroniques pour le diagnostic

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

Efficient trajectories computing using inversibilities properties

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

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

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