Yannick Pencolé

47 papers A* 3A 5B 6C 8Journal 12Unranked 11

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Analysis and control of timed event graphs in (max, +) algebra for the active localization of time failures. Discret. Event Dyn. Syst. Ibis Velasquez, Yannick Pencolé, Euriell Le Corronc
2024	—	`conf`	Learning normal and delayed behavior of max-plus linear systems from input and output event data. CASE Ibis Velasquez, Yannick Pencolé, Euriell Le Corronc
2024	C	`conf`	On a Method to Measure Supervised Multiclass Model's Interpretability: Application to Degradation Diagnosis (Short Paper). DX Charles-Maxime Gauriat, Yannick Pencolé, Pauline Ribot, Gregory Brouillet
2024	—	`conf`	Property-Based Transparency: a New Utility Definition. CASE Patrícia C. Mayer, Felipe G. Cabral, Públio M. M. Lima, Marcos V. Moreira, Audine Subias, Yannick Pencolé
2022	J	`jnl`	Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach. IEEE Trans Autom. Sci. Eng. Yannick Pencolé, Audine Subias
2021	J	`jnl`	Failure detection and localization for timed event graphs in $(\max \limits , +)$-algebra. Discret. Event Dyn. Syst. Euriell Le Corronc, Yannick Pencolé, Alexandre Sahuguède, Claire Paya
2021	—	`conf`	Model-Based Diagnosis of Time Shift Failures in Discrete Event Systems: A (Max, +) Observer-Based Approach. KES-IDT Claire Paya, Euriell Le Corronc, Yannick Pencolé, Philippe Vialletelle
2021	—	`conf`	Observer-based detection and localization of time shift failures in (max, +)-linear systems. CASE Claire Paya, Euriell Le Corronc, Yannick Pencolé, Philippe Vialletelle
2020	—	`conf`	A New Product Construction for the Diagnosability of Patterns in Time Petri Net. CDC Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
2020	—	`ch.`	Diagnosis and Supervision: Model-Based Approaches. A Guided Tour of Artificial Intelligence Research (1) (I) Marie-Odile Cordier, Philippe Dague, Yannick Pencolé, Louise Travé-Massuyès
2020	J	`jnl`	Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors. J. Univers. Comput. Sci. Yannick Pencolé, Audine Subias
2019	—	`conf`	A State Class Construction for Computing the Intersection of Time Petri Nets Languages. FORMATS Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
2019	J	`jnl`	A State Class Construction for Computing the Intersection of Time Petri Nets Languages. CoRR Yannick Pencolé, Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Audine Subias
2019	J	`jnl`	Applying Active Diagnosis to Space Systems by On-Board Control Procedures. CoRR Elodie Chanthery, Louise Travé-Massuyès, Yannick Pencolé, Régis De Ferluc, Brice Dellandréa
2019	J	`jnl`	Applying Active Diagnosis to Space Systems by On-Board Control Procedures. IEEE Trans. Aerosp. Electron. Syst. Elodie Chanthery, Louise Travé-Massuyès, Yannick Pencolé, Régis De Ferluc, Brice Dellandréa
2019	B	`conf`	Detection of time shift failures in (max, +)-linear systems with time intervals applied to the supervision of assembly lines. SMC Claire Paya, Euriell Le Corronc, Yannick Pencolé
2018	—	`conf`	Data instance generator and optimization models for evacuation planning in the event of wildfire. RSFF Christian Artigues, Emmanuel Hébrard, Yannick Pencolé, Andreas Schutt, Peter J. Stuckey
2017	J	`jnl`	Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. Discret. Event Dyn. Syst. Houssam-Eddine Gougam, Yannick Pencolé, Audine Subias
2017	C	`conf`	Diagnosing Discrete Event Systems Using Nominal Models Only. DX Yannick Pencolé, Gerald Steinbauer, Clemens Mühlbacher, Louise Travé-Massuyès
2017	C	`conf`	Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking. DX Yannick Pencolé, Audine Subias
2017	C	`conf`	Inference of fault signatures of discrete-event systems from event logs. DX Cody James Christopher, Yannick Pencolé, Alban Grastien
2015	C	`conf`	Condition-based Monitoring and Prognosis in an Error-Bounded Framework. DX Louise Travé-Massuyès, Renaud Pons, Pauline Ribot, Yannick Pencolé, Carine Jauberthie
2015	C	`conf`	HyDiag: Extended Diagnosis and Prognosis for Hybrid Systems. DX Elodie Chanthery, Yannick Pencolé, Pauline Ribot, Louise Travé-Massuyès
2015	C	`ed.`	Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31 - September 3, 2015. DX Yannick Pencolé, Louise Travé-Massuyès, Philippe Dague
2015	C	`conf`	Random Generator of k-Diagnosable Discrete Event Systems. DX Yannick Pencolé
2014	A	`conf`	DITO: a CSP-based diagnostic engine. ECAI Yannick Pencolé
2014	—	`conf`	Discriminability Analysis of Supervision Patterns by Net Unfoldings. WODES Houssam-Eddine Gougam, Audine Subias, Yannick Pencolé
2011	A*	`conf`	A Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems. IJCAI Nuno Belard, Yannick Pencolé, Michel Combacau
2011	B	`conf`	MEDITO: A Logic-Based Meta-diagnosis Tool. ICTAI Nuno Belard, Yannick Pencolé, Michel Combacau
2010	A	`conf`	A Decentralised Symbolic Diagnosis Approach. ECAI Anika Schumann, Yannick Pencolé, Sylvie Thiébaux
2009	J	`jnl`	A Chronicle-based Diagnosability Approach for Discrete Timed-event Systems: Application to Web-Services. J. Univers. Comput. Sci. Yannick Pencolé, Audine Subias
2009	J	`jnl`	A Model-Based Approach for Diagnosing Fault in Web Service Processes. Int. J. Web Serv. Res. Yuhong Yan, Philippe Dague, Yannick Pencolé, Marie-Odile Cordier
2009	B	`conf`	Diagnosis and prognosis for the maintenance of complex systems. SMC Pauline Ribot, Yannick Pencolé, Michel Combacau
2008	—	`conf`	Another Point of View on Diagnosability. STAIRS Xavier Pucel, Louise Travé-Massuyès, Yannick Pencolé
2008	A	`conf`	Characterizing and checking self-healability. ECAI Marie-Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, Thierry Vidal
2007	A*	`conf`	A Spectrum of Symbolic On-line Diagnosis Approaches. AAAI Anika Schumann, Yannick Pencolé, Sylvie Thiébaux
2007	A*	`conf`	Scalable Diagnosability Checking of Event-Driven Systems. IJCAI Anika Schumann, Yannick Pencolé
2005	J	`jnl`	A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif. Intell. Yannick Pencolé, Marie-Odile Cordier
2005	B	`conf`	Assistance for the Design of a Diagnosable Component-Based System. ICTAI Yannick Pencolé
2005	—	`conf`	MonitoringWeb Service Networks in a Model-based Approach. ECOWS Yuhong Yan, Marie-Odile Cordier, Yannick Pencolé, Alban Grastien
2004	A	`conf`	Diagnosability Analysis of Distributed Discrete Event Systems. ECAI Yannick Pencolé
2004	A	`conf`	Symbolic Models for Diagnosing Discrete-Event Systems. ECAI Anika Schumann, Yannick Pencolé, Sylvie Thiébaux
2003	B	`conf`	All from One, One for All, Failure Diagnosis of Discrete Event Systems Using Representatives. ICTAI Yannick Pencolé
2002	J	`jnl`	A Decentralized Model-Based Diagnostic Tool for Complex Systems. Int. J. Artif. Intell. Tools Yannick Pencolé, Marie-Odile Cordier
2002	—	`—`	Diagnostic décentralisé de systèmes à événements discrets : application aux réseaux de télécommunications. Yannick Pencolé
2002	—	`conf`	Incremental decentralized diagnosis approach for the supervision of a telecommunication network. CDC Yannick Pencolé, Yannick Cordier, Laurence Rozé
2001	B	`conf`	A Decentralized Model-Based Diagnostic Tool for Complex Systems. ICTAI Yannick Pencolé, Marie-Odile Cordier, Laurence Rozé