Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Diagnosis of Discrete-Event Systems Benchmarks Alban Grastien Anbulagan
 

Summary: Diagnosis of Discrete-Event 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 discrete-event 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.

  

Source: Anbulagan, A. - National ICT Australia & Computer Sciences Laboratory, Australian National University

 

Collections: Computer Technologies and Information Sciences