HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Yannick Pencolé

Publications
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)
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)
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)

Keyphrases

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

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