
Yannick Pencolé
73
Documents
Publications
Publications
|
Property-Based Transparency: a New Utility Definition*2024 IEEE 20th International Conference on Automation Science and Engineering, Aug 2024, Bari (IT), Italy
Communication dans un congrès
hal-04775876
v1
|
|
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⟩
Communication dans un congrès
hal-04562531
v1
|
|
Property-Based Transparency: a New Utility DefinitionInternational Conference on Automation Science and Engineering, Aug 2024, Bari, Italy
Communication dans un congrès
hal-04795602
v1
|
|
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
Communication dans un congrès
hal-04718040
v1
|
|
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⟩
Communication dans un congrès
hal-04862630
v1
|
|
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
Communication dans un congrès
hal-04775872
v1
|
|
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-04075303
v1
|
|
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-03773804
v1
|
|
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-03765924
v1
|
|
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-03694854
v1
|
|
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-04249433
v1
|
|
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-03348338
v1
|
|
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-03332445
v1
|
|
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-04249495
v1
|
|
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-03405509
v1
|
|
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-03417390
v1
|
|
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-03023250
v1
|
|
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-02989834
v1
|
|
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-02997908
v1
|
|
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⟩
Communication dans un congrès
hal-02376093
v1
|
|
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
Communication dans un congrès
hal-02369014
v1
|
|
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-02263832
v1
|
|
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-01954270
v1
|
|
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-01814083
v1
|
|
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-01827362
v1
|
|
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-01814063
v1
|
|
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-01534552
v1
|
|
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-01827437
v1
|
|
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-01827427
v1
|
|
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-01710331
v1
|
|
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-01929441
v1
|
|
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-01929433
v1
|
|
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-01358693
v2
|
|
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-01196010
v1
|
|
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-01196011
v1
|
|
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-01203633
v1
|
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-01929470
v1
|
|
|
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-01224222
v1
|
|
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-01847155
v1
|
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-01929533
v1
|
|
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-01929488
v1
|
|
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-00462985
v1
|
|
Characterizing and checking self-healibilityECAI 2008 (18th European Conference on Artificial Intelligence), 2008, Patras, Greece. pp.789--790
Communication dans un congrès
inria-00462974
v1
|
|
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-00463002
v1
|
|
|
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-00000533
v1
|
|
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-00000525
v1
|
|
Efficient trajectories computing using inversibilities properties14th international workshop on principles of diagnosis, Jun 2003, Washington / USA
Communication dans un congrès
inria-00000523
v1
|
|
Modèles Additifs Neuronaux Multi classes (MNAM)LAAS Research and Technology Days 2024 (RTDAYS), Jul 2024, Toulouse, France. 2024
Poster de conférence
hal-04775898
v1
|
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-01227807
v1
|
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. ⟨10.1007/978-3-030-06164-7_21⟩
Chapitre d'ouvrage
hal-01483436
v1
|
|
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-00769636
v1
|
|
GeoSafe – Evacuation planning problems2018
Pré-publication, Document de travail
hal-01814177
v1
|
|
An experimental setup for learning models for the RUL estimation of bearings in rotary machine tools: towards the learning of more interpretable models2023
Rapport
(rapport technique)
hal-04715967
v1
|
|
Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS2019
Rapport
(rapport technique)
hal-02295816
v1
|
|
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-00003581
v1
|
|
Diagnostic : étude d’un raisonnement complexe et multi-dimensionnelAutomatique / Robotique. Université Toulouse 3 - Paul Sabatier, 2018
HDR
tel-01984666
v1
|
|
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
Cours
hal-04775880
v1
|
|
Discrete-Event systems: Symbolic representationsDoctoral. Module T7. Discrete-Event systems, Girona, Spain. 2022, pp.41
Cours
hal-04775887
v1
|
Discrete-Event systems: Diagnosis with Petri netsDoctoral. Module T7. Discrete-Event systems, Girona, Spain. 2022, pp.65
Cours
hal-04775891
v1
|
Chargement...
Chargement...