Yannick Pencolé
57
Documents
Publications
|
Diagnosabilization of Time Petri net for timed faultIFAC 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 nets11th 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 Nets16th 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 Nets33rd 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 Systems16th 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és13è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 Approach13th 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 nets32nd 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 systemsIEEE 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 characterizationModé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 systemsThe 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 netsWODES 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 Net59th 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 Languages17th 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 SystemsDX'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 line2019 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 approach14th 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 wildfireGEOSAFE 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 WildfiresThe 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 systems14th 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 Only28th 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 temporelsModé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éairesModé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 Checking28th 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 systems20th 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 logs28th 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 Altarica27th 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 systemsThe 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 systems26th 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 diagnoser9th 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.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 diagnosticModélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France
Communication dans un congrès
hal-01224222v1
|
DITO: a CSP-based diagnostic engineTwenty-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 Unfoldings12th 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 Remember25th 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éparerRFIA'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-healibilityECAI 2008 (18th European Conference on Artificial Intelligence), 2008, Patras, Greece. pp.789--790
Communication dans un congrès
inria-00462974v1
|
|
Self-healablity = diagnosability + repairabilityDX07 (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 ApproachECOWS'05 (European Conference on Web Services), Nov 2005, Växjö / Sweden
Communication dans un congrès
inria-00000533v1
|
|
Efficient trajectories computing using inversibilities properties14th 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é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. , 1507, pp.302, 2015, CEUR Workshop Proceedings
Ouvrages
hal-01227807v1
|
Diagnosis and supervision: model-based approachesPierre 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èlesPierre 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 problems2018
Pré-publication, Document de travail
hal-01814177v1
|
|
Diagnostic décentralisé de systèmes à événements discrets : application aux réseaux de télécommunicationsInterface homme-machine [cs.HC]. Université Rennes 1, 2002. Français. ⟨NNT : ⟩
Thèse
tel-00003581v1
|
|
Diagnostic : étude d’un raisonnement complexe et multi-dimensionnelAutomatique / Robotique. Université Toulouse 3 - Paul Sabatier, 2018
HDR
tel-01984666v1
|