2015/08/04 by Alban Grastien, Grastien, Alban
Computer Science · Engineering · #FOS: Electrical engineering #Flexible and Reconfigurable Manufacturing Systems #Formal Methods in Verification #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.1508.00683
openalex publication_date 2015/08/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper we study the problem of predictability in partially observable discrete event systems, i.e., the question whether an observer can predict the occurrence of a fault. We extend the definition of predictability to consider the time interval where the fault will occur: the (i,j)-predictability does not only specify that the fault will be predicted before it occurs, but also that the predictor will be able to predict that its occurrence will occur in i to j observations from now. We also provide a quadratic algorithm that decides predictability of the system.