Yannick Pencolé
Publications
Publications
|
|
Learning normal and delayed behavior of max-plus linear systems from input and output event data2024 IEEE 20th International Conference on Automation Science and Engineering (CASE), Aug 2024, Bari, Italy. ⟨10.1109/CASE59546.2024.10711569⟩ |
|
|
Transparência Baseada em Propriedade: uma Nova Noção de Utilidade para Sistemas a Eventos Discretos ⋆XXV Congresso Brasileiro de Automática, Oct 2024, Rio de Janeiro (BR), Brazil |
|
|
On a Method to Measure Supervised Multiclass Model’s Interpretability: Application to Degradation Diagnosis (Short Paper)35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024), Nov 2024, Vienna, Austria. ⟨10.4230/OASIcs.DX.2024.27⟩ |
|
|
Property-Based Transparency: a New Utility Definition*2024 IEEE 20th International Conference on Automation Science and Engineering, Aug 2024, Bari (IT), Italy |
|
|
Multi-class Neural Additive Models : An Interpretable Supervised Learning Method for Gearbox Degradation Detection2024 IEEE International Conference on Prognostics and Health Management, Jun 2024, Spokane WA, United States. ⟨10.1109/ICPHM61352.2024.10627522⟩ |
|
|
Diagnosabilization of Time Petri net for timed faultIFAC World COngress, Jul 2023, Yokoama, Japan. pp.8648-8653, ⟨10.1016/j.ifacol.2023.10.041⟩ |
|
|
Diagnosability and Predictability of pattern in Labelled Petri Nets33rd International Workshop on Principle of Diagnosis (DX 2022), LAAS-CNRS-ANITI, Sep 2022, Toulouse, France |
|
|
Critical pairs based diagnosability analysis of timed fault in Time Petri Nets16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic |
|
|
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 |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
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 |
|
|
Signature of timed patterns in time Petri nets: a formal characterizationModélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
Towards Causal Explanations of Property Violations in Discrete Event Systems30th International Workshop on Principles of Diagnosis (DX'19), Nov 2019, Klagenfurt, Austria. pp.1-8 |
|
|
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⟩ |
|
|
Detection of time shift failures in (max, +)-linear systems with time intervals for assembly lineIEEE International Conference on Systems, Man and Cybernetics (SMC 2019), Oct 2019, Bari, Italy. pp.1801-1806, ⟨10.1109/SMC.2019.8914411⟩ |
|
|
Localization of time shift failures in (max,+)-linear systems14th Workshop on Discrete Event Systems, WODES'18, May 2018, Sorrento Coast, Italy. pp.186-191 |
|
|
A Study of Evacuation Planning for WildfiresThe Seventeenth International Workshop on Constraint Modelling and Reformulation (ModRef 2018), Aug 2018, Lille, France. 17p |
|
|
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⟩ |
|
|
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 |
|
|
Design of indicators for the detection of time shift failures in (max, +)-linear systems20th IFAC World Congress, Jul 2017, Toulouse, France. pp.7P |
|
|
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 |
|
|
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 |
|
|
Diagnostic de motifs de comportements dans les systèmes temporelsModélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. 14p |
|
|
Diagnosing Discrete Event Systems Using Nominal Models Only28th International Workshop on Principles of Diagnosis (DX'17), Sep 2017, Brecia, Italy. 15p., ⟨10.29007/1d2x⟩ |
|
|
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⟩ |
|
|
Definition of Model-based diagnosis problems with Altarica27th International Workshop on Principles of Diagnosis (DX-2016), Oct 2016, Denver, CO, United States. 8p |
|
|
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 |
|
|
Random generator of k-diagnosable discrete event systems26th International Workshop on Principles of Diagnosis (DX-15), Aug 2015, Paris, France |
|
|
HYDIAG : extended diagnosis and prognosis for hybrid systemsThe 26th International Workshop on Principles of Diagnosis (DX-2015), Aug 2015, Paris, France |
|
|
Modélisation et Analyse de chroniques pour le diagnosticModélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France |
Condition-based Monitoring and Prognosis in an Error-Bounded Framework.26th international workshop on Principles of Diagnosis, Aug 2015, Paris, France |
|
|
|
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⟩ |
DITO: a CSP-based diagnostic engineTwenty-first European Conference on Artificial Intelligence (ECAI'14), Aug 2014, Prague, Czech Republic |
|
Window-based Diagnostic Algorithms for Discrete Event Systems: What Information to Remember25th International Workshop on Principles of Diagnosis (DX 14), Sep 2014, Graz, Austria |
|
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 |
|
Characterizing and checking self-healibilityECAI 2008 (18th European Conference on Artificial Intelligence), 2008, Patras, Greece. pp.789--790 |
|
Self-healablity = diagnosability + repairabilityDX07 (18th International Workshop on Principles of Diagnosis, 2007, Nashville, TN, United States. pp.251--258 |
|
|
|
Monitoring Web Service Networks in a Model-based ApproachECOWS'05 (European Conference on Web Services), Nov 2005, Växjö / Sweden |
|
|
Calcul de trajectoires utilisant les propriétés d'interversibilitéRJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle), Jul 2003, Laval / France |
|
|
Efficient trajectories computing using inversibilities properties14th international workshop on principles of diagnosis, Jun 2003, Washington / USA |
|
|
Modèles Additifs Neuronaux Multi classes (MNAM)LAAS Research and Technology Days 2024 (RTDAYS), Jul 2024, Toulouse, France. 2024 |
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 |
Diagnosis and supervision: model-based approachesPierre 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⟩ |
|
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 |
|
|
GeoSafe – Evacuation planning problems2018 |
|
|
Bilan et prospectives 2025 du département Décision & Optimisation du LAAS-CNRSLAAS-CNRS. 2026 |
|
|
An experimental setup for learning models for the RUL estimation of bearings in rotary machine tools: towards the learning of more interpretable models2023 |
|
|
Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS2019 |
|
|
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 : ⟩ |
|
|
Diagnostic : étude d’un raisonnement complexe et multi-dimensionnelAutomatique / Robotique. Université Toulouse 3 - Paul Sabatier, 2018 |
|
|
Notes de cours: Analyse, Simulation et Commande de systèmes (max,+)-linéaires.Master. Module Controle et Simulation (partie 1), Université Paul Sabatier, Toulouse, France. 2023, pp.58 |
|
|
Discrete-Event systems: Symbolic representationsDoctoral. Module T7. Discrete-Event systems, Girona, Spain. 2022, pp.41 |
Discrete-Event systems: Diagnosis with Petri netsDoctoral. Module T7. Discrete-Event systems, Girona, Spain. 2022, pp.65 |