 
Summary: Diagnosis of DiscreteEvent Systems Benchmarks
Alban Grastien Anbulagan
KRR/NICTA and ANU LC/NICTA and ANU
Canberra Australia
{alban.grastien , anbulagan}@nicta.com.au
1 Diagnosis of Discrete Event Systems
Diagnosis is to find out whether a system has a good or a
bad behaviour, based on observations of this behaviour. The
difficulty comes from the fact that part of the behaviour is
not directly observed and cannot be completly reconstructed
from the observations.
We consider discreteevent systems [Cassandras and Lafor
tune, 1999], i.e. systems whose states can be represented by
the assignment of a finite set of variables in finite domains.
The system is a set of interconnected components. The model
of each component is denoted Vi, Di, Ei, Ri, Ii where Vi is
a set of variables, v Vi, Di(v) is the finite domain of the
variable v, Ei is a set of events, Ri is a set of transition rules
and Ii is an assignment of the variables Vi.
A state of the component is an assignment of the variables.
