Yannick Pencolé

Orcid: 0000-0002-2970-914X

Affiliations:
  • LAAS, Toulouse, France


According to our database1, Yannick Pencolé authored at least 40 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Analysis and control of timed event graphs in (max, +) algebra for the active localization of time failures.
Discret. Event Dyn. Syst., 2024

2022
Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach.
IEEE Trans Autom. Sci. Eng., 2022

2021
Failure detection and localization for timed event graphs in $(\max \limits , +)$-algebra.
Discret. Event Dyn. Syst., 2021

Model-Based Diagnosis of Time Shift Failures in Discrete Event Systems: A (Max, +) Observer-Based Approach.
Proceedings of the Intelligent Decision Technologies, 2021

Observer-based detection and localization of time shift failures in (max, +)-linear systems.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020
Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors.
J. Univers. Comput. Sci., 2020

A New Product Construction for the Diagnosability of Patterns in Time Petri Net.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019
Applying Active Diagnosis to Space Systems by On-Board Control Procedures.
IEEE Trans. Aerosp. Electron. Syst., 2019

Detection of time shift failures in (max, +)-linear systems with time intervals applied to the supervision of assembly lines.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

A State Class Construction for Computing the Intersection of Time Petri Nets Languages.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018
Data instance generator and optimization models for evacuation planning in the event of wildfire.
Proceedings of the GEOSAFE Workshop on Robust Solutions for Fire Fighting, 2018

2017
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets.
Discret. Event Dyn. Syst., 2017

Diagnosing Discrete Event Systems Using Nominal Models Only.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

Inference of fault signatures of discrete-event systems from event logs.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

2015
Condition-based Monitoring and Prognosis in an Error-Bounded Framework.
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, 2015

Random Generator of k-Diagnosable Discrete Event Systems.
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, 2015

HyDiag: Extended Diagnosis and Prognosis for Hybrid Systems.
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, 2015

2014
Discriminability Analysis of Supervision Patterns by Net Unfoldings.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

DITO: a CSP-based diagnostic engine.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2011
A Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems.
Proceedings of the IJCAI 2011, 2011

MEDITO: A Logic-Based Meta-diagnosis Tool.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010
A Decentralised Symbolic Diagnosis Approach.
Proceedings of the ECAI 2010, 2010

2009
A Model-Based Approach for Diagnosing Fault in Web Service Processes.
Int. J. Web Serv. Res., 2009

A Chronicle-based Diagnosability Approach for Discrete Timed-event Systems: Application to Web-Services.
J. Univers. Comput. Sci., 2009

Diagnosis and prognosis for the maintenance of complex systems.
Proceedings of the IEEE International Conference on Systems, 2009

2008
Another Point of View on Diagnosability.
Proceedings of the STAIRS 2008, 2008

Characterizing and checking self-healability.
Proceedings of the ECAI 2008, 2008

2007
Scalable Diagnosability Checking of Event-Driven Systems.
Proceedings of the IJCAI 2007, 2007

A Spectrum of Symbolic On-line Diagnosis Approaches.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2005
A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks.
Artif. Intell., 2005

MonitoringWeb Service Networks in a Model-based Approach.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Assistance for the Design of a Diagnosable Component-Based System.
Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005

2004
Symbolic Models for Diagnosing Discrete-Event Systems.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Diagnosability Analysis of Distributed Discrete Event Systems.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
All from One, One for All, Failure Diagnosis of Discrete Event Systems Using Representatives.
Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

2002
Diagnostic décentralisé de systèmes à événements discrets : application aux réseaux de télécommunications.
PhD thesis, 2002

A Decentralized Model-Based Diagnostic Tool for Complex Systems.
Int. J. Artif. Intell. Tools, 2002

Incremental decentralized diagnosis approach for the supervision of a telecommunication network.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001
A Decentralized Model-Based Diagnostic Tool for Complex Systems.
Proceedings of the 13th IEEE International Conference on Tools with Artificial Intelligence, 2001


  Loading...