HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Yannick Pencolé

Publications
Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking
Yannick Pencolé and Audine Subias
In:28th International Workshop on Principles of Diagnosis (DX'17)
Inference of fault signatures of discrete-event systems from event logs
Cody Christopher, Yannick Pencolé and Alban Grastien
In:28th International Workshop on Principles of Diagnosis (DX'17)
Diagnosing Discrete Event Systems Using Nominal Models Only
Yannick Pencolé, Gerald Steinbauer, Clemens Mühlbacher and Louise Travé-Massuyès
In:28th International Workshop on Principles of Diagnosis (DX'17)

Keyphrases

conflict-driven diagnosis, consistency-based diagnosis, data-driven diagnosis, diagnosis2, Discrete Event Systems2, fault signatures, model checking, model-based diagnosis, Nominal models, online diagnosis, patterns, Petri nets.

Copyright © 2012-2023 easychair.org. All rights reserved.