Number of documents

37


Journal articles5 documents

  • Elodie Chanthery, Louise Travé-Massuyès, Yannick Pencolé, Régis de Ferluc, Brice Dellandrea. Applying Active Diagnosis to Space Systems by On-Board Control Procedures. IEEE Transactions on Aerospace and Electronic Systems, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TAES.2019.2923344⟩. ⟨hal-02056090⟩
  • Houssam Eddine Gougam, Yannick Pencolé, Audine Subias. Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. Discrete Event Dynamic Systems, Springer Verlag, 2017, 27 (1), pp.143-180. ⟨10.1007/s10626-016-0234-5⟩. ⟨hal-01574475⟩
  • Yuhong Yan, Philippe Dague, Yannick Pencolé, Marie-Odile Cordier. A Model-based Approach for Diagnosing Faults in Web Service Processes. International Journal of Web Services Research JWSR, Idea Group Publishing, 2009. ⟨inria-00434346⟩
  • Marie-Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, Thierry Vidal. Caractérisation des systèmes autoguérissants : diagnostiquer ce que l'on va réparer. Revue I3 - Information Interaction Intelligence, Cépaduès, 2009, 8 (2). ⟨inria-00460681⟩
  • Yannick Pencolé, Marie-Odile Cordier. A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence Journal, elsevier, 2005, 164 (1-2), pp.121-170. ⟨inria-00511104⟩

Conference papers26 documents

  • Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias. A State Class Construction for Computing the Intersection of Time Petri Nets Languages. FORMATS, Aug 2019, Amsterdam, Netherlands. ⟨10.1007/978-3-030-29662-9_5⟩. ⟨hal-02263832⟩
  • Christian Artigues, Emmanuel Hébrard, Yannick Pencolé, Andreas Schutt, Peter Stuckey. A Study of Evacuation Planning for Wildfires. The Seventeenth International Workshop on Constraint Modelling and Reformulation (ModRef 2018), Aug 2018, Lille, France. 17p. ⟨hal-01814083⟩
  • Yannick Pencolé, Audine Subias. Timed pattern diagnosis in timed workflows: a model checking approach. 14th Workshop on Discrete Event Systems (WODES 2018), May 2018, Sorrento Coast, Italy. ⟨hal-01827362⟩
  • Christian Artigues, Emmanuel Hébrard, Yannick Pencolé, Andreas Schutt, Peter J. Stuckey. Data Instance generator and optimization models for evacuation planning in the event of wildfire. GEOSAFE Workshop on Robust Solutions for Fire Fighting (RSFF 2018), Jul 2018, L'Aquila, Italy. pp.75-86. ⟨hal-01814063⟩
  • Euriell Le Corronc, Alexandre Sahuguède, Yannick Pencolé, Claire Paya. Localization of time shift failures in (max,+)-linear systems. 14th Workshop on Discrete Event Systems, WODES'18, May 2018, Sorrento Coast, Italy. 6p. ⟨hal-01954270⟩
  • Cody Christopher, Yannick Pencolé, Alban Grastien. Inference of fault signatures of discrete-event systems from event logs. 28th International Workshop on Principles of Diagnosis (DX'17), Sep 2017, Brescia, Italy. 15p., ⟨10.29007/qmpw⟩. ⟨hal-01929433⟩
  • Yannick Pencolé, Audine Subias. Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking. 28th International Workshop on Principles of Diagnosis (DX 2017), Sep 2017, Brescia, Italy. 9p. ⟨hal-01827437⟩
  • Alexandre Sahuguède, Euriell Le Corronc, Yannick Pencolé. Design of indicators for the detection of time shift failures in (max, +)-linear systems. 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.7P. ⟨hal-01534552⟩
  • Yannick Pencolé, Audine Subias. Diagnostic de motifs de comportements dans les systèmes temporels. Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. 14p. ⟨hal-01827427⟩
  • Yannick Pencolé, Gerald Steinbauer, Clemens Mühlbacher, Louise Travé-Massuyès. Diagnosing Discrete Event Systems Using Nominal Models Only. 28th International Workshop on Principles of Diagnosis (DX'17), Sep 2017, Brecia, Italy. 15p., ⟨10.29007/1d2x⟩. ⟨hal-01929441⟩
  • Euriell Le Corronc, Alexandre Sahuguède, Yannick Pencolé. Détection et localisation de fautes temporelles dans les systèmes (max,+)-linéaires. Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. 14p. ⟨hal-01710331⟩
  • Yannick Pencolé, Elodie Chanthery, Thierry Peynot. Definition of Model-based diagnosis problems with Altarica. 27th International Workshop on Principles of Diagnosis (DX-2016), Oct 2016, Denver, CO, United States. 8p. ⟨hal-01358693v2⟩
  • Louise Travé-Massuyès, Renaud Pons, Pauline Ribot, Yannick Pencolé, Carine Jauberthie. Condition-based Monitoring and Prognosis in an Error-Bounded Framework.. 26th international workshop on Principles of Diagnosis, Aug 2015, Paris, France. ⟨hal-01929470⟩
  • Ghyslain Maitre, Yannick Pencolé, Audine Subias, Houssam Eddine Gougam. Modélisation et Analyse de chroniques pour le diagnostic. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. ⟨hal-01224222⟩
  • Elodie Chanthery, Yannick Pencolé, Pauline Ribot, Louise Travé-Massuyès. HYDIAG : extended diagnosis and prognosis for hybrid systems. The 26th International Workshop on Principles of Diagnosis (DX-2015), Aug 2015, Paris, France. ⟨hal-01203633⟩
  • Yannick Pencolé. Random generator of k-diagnosable discrete event systems. 26th International Workshop on Principles of Diagnosis (DX-15), Aug 2015, Paris, France. ⟨hal-01196010⟩
  • Yannick Pencolé, Romain Pichard, Pierre Fernbach. Modular fault diagnosis in discrete-event systems with a CPN diagnoser. 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Sep 2015, Paris, France. ⟨hal-01196011⟩
  • Houssam Eddine Gougam, Audine Subias, Yannick Pencolé. Discriminability Analysis of Supervision Patterns by Net Unfoldings. 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⟩. ⟨hal-01847155⟩
  • Xingyu Su, Yannick Pencolé, Alban Grastien. Window-based Diagnostic Algorithms for Discrete Event Systems: What Information to Remember. 25th International Workshop on Principles of Diagnosis (DX 14), Sep 2014, Graz, Austria. ⟨hal-01929488⟩
  • Yannick Pencolé. DITO: a CSP-based diagnostic engine. Twenty-first European Conference on Artificial Intelligence (ECAI'14), Aug 2014, Prague, Czech Republic. ⟨hal-01929533⟩
  • Marie-Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, Thierry Vidal. Caractérisation des systèmes autoguérissants : diagnostiquer ce que l'on va réparer. RFIA'08 (16ème Congrès Reconnaissance des Formes et Intelligence Artificielle), 2008, Amiens, France. ⟨inria-00462985⟩
  • Marie-Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, Thierry Vidal. Characterizing and checking self-healibility. ECAI 2008 (18th European Conference on Artificial Intelligence), 2008, Patras, Greece. pp.789--790. ⟨inria-00462974⟩
  • Marie-Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, Thierry Vidal. Self-healablity = diagnosability + repairability. DX07 (18th International Workshop on Principles of Diagnosis, 2007, Nashville, TN, United States. pp.251--258. ⟨inria-00463002⟩
  • Yuhong Yan, Yannick Pencolé, Marie-Odile Cordier, Alban Grastien. Monitoring Web Service Networks in a Model-based Approach. ECOWS'05 (European Conference on Web Services), Nov 2005, Växjö / Sweden. ⟨inria-00000533⟩
  • Marie-Odile Cordier, Alban Grastien, Christine Largouët, Yannick Pencolé. Calcul de trajectoires utilisant les propriétés d'interversibilité. RJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle), Jul 2003, Laval / France. ⟨inria-00000525⟩
  • Marie-Odile Cordier, Alban Grastien, Christine Largouët, Yannick Pencolé. Efficient trajectories computing using inversibilities properties. 14th international workshop on principles of diagnosis, Jun 2003, Washington / USA. ⟨inria-00000523⟩

Book sections2 documents

  • Marie-Odile Cordier, Philippe Dague, Yannick Pencolé, Louise Travé-Massuyès. Diagnosis and supervision: model-based approaches. Pierre Marquis, Odile Papini, Henri Prade. A guided tour of artificial intelligence research, Springer, 2017, Knowledge representation and reasoning, 978-3-030-06164-7. ⟨hal-01483436⟩
  • Marie-Odile Cordier, Philippe Dague, Yannick Pencolé, Louise Travé-Massuyès. Diagnostic et supervision : approches à base de modèles. 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. ⟨hal-00769636⟩

Directions of work or proceedings1 document

  • Yannick Pencolé, Louise Travé-Massuyès, Philippe Dague. Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015). Yannick Pencolé; Louise Travé-Massuyès; Philippe Dague. Aug 2015, Paris, France. 1507, pp.302, 2015, CEUR Workshop Proceedings, ⟨http://ceur-ws.org/Vol-1507⟩. ⟨hal-01227807⟩

Preprints, Working Papers, ...1 document

  • Christian Artigues, Emmanuel Hébrard, Yannick Pencolé, Andreas Schutt, Peter Stuckey. GeoSafe – Evacuation planning problems. 2018. ⟨hal-01814177⟩

Theses1 document

  • Yannick Pencolé. Diagnostic décentralisé de systèmes à événements discrets : application aux réseaux de télécommunications. Interface homme-machine [cs.HC]. Université Rennes 1, 2002. Français. ⟨tel-00003581⟩

Habilitation à diriger des recherches1 document

  • Yannick Pencolé. Diagnostic : étude d’un raisonnement complexe et multi-dimensionnel. Automatique / Robotique. Université Toulouse 3 - Paul Sabatier, 2018. ⟨tel-01984666⟩