16 citations · 24 across the 6 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
eess.SY2015★ 1 cited
Interval Predictability in Discrete Event Systems
Alban Grastien
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. W…
eess.SY2013★ 3 cited
Predictability of Event Occurrences in Timed Systems
Franck Cassez, Alban Grastien
We address the problem of predicting events' occurrences in partially observable timed systems modelled by timed automata. Our contribution is many-fold: 1) we give a definition of…
eess.SY2012
An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming
Alban Grastien
This document demonstrates that the efficient approach for diagnosis of Petri nets via integer linear programming may be unable to detect a fault even if the system is diagnosable.