Nombre de documents

27


Article dans une revue4 documents

  • 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〉
  • 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〉
  • 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〉
  • 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〉

Communication dans un congrès16 documents

  • 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. 2018. 〈hal-01827362〉
  • 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., 2017. 〈hal-01827437〉
  • 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., 2017. 〈hal-01827427〉
  • 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., 2017, 〈https://www.ifac2017.org/〉. 〈hal-01534552〉
  • 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., 2017. 〈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., 2016, 〈http://www.dx-2016.org/〉. 〈hal-01358693v2〉
  • Ghyslain Maitre, Yannick Pencolé, Audine Subias, Houssam Eddine Gougam. Modélisation et Analyse de chroniques pour le diagnostic. Stephan Merz and Jean-François Pétin. 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. 2015. 〈hal-01203633〉
  • 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. Proceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, 2015, 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes. 〈http://safeprocess15.sciencesconf.org/〉. 〈hal-01196011〉
  • Yannick Pencolé. Random generator of k-diagnosable discrete event systems. 26th International Workshop on Principles of Diagnosis (DX-15), Aug 2015, Paris, France. Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-15), 2015, 〈http://dx15.sciencesconf.org/〉. 〈hal-01196010〉
  • Marie-Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, Thierry Vidal. Characterizing and checking self-healibility. M. Ghallab and C. D. Spytopoulos and N. Fakotakis and N. Avouris. ECAI 2008 (18th European Conference on Artificial Intelligence), 2008, Patras, Greece. IOS Press, pp.789--790, 2008. 〈inria-00462974〉
  • 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. 2008. 〈inria-00462985〉
  • 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, 2007. 〈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, 2005. 〈inria-00000533〉
  • 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, 2003. 〈inria-00000523〉
  • 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, 2003. 〈inria-00000525〉

Chapitre d'ouvrage2 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. 〈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〉

Direction d'ouvrage, Proceedings, Dossier1 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〉

Pré-publication, Document de travail3 documents

  • 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. Rapport LAAS n° 18155. 2018. 〈hal-01814063〉
  • Christian Artigues, Emmanuel Hébrard, Yannick Pencolé, Andreas Schutt, Peter Stuckey. A Study of Evacuation Planning for Wildfires. Rapport LAAS n° 18153. 2018. 〈hal-01814083〉
  • Christian Artigues, Emmanuel Hébrard, Yannick Pencolé, Andreas Schutt, Peter Stuckey. GeoSafe – Evacuation planning problems. Rapport LAAS n° 18154. 2018. 〈hal-01814177〉

Thèse1 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〉