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 Using Satisfiability Algorithms Alban Grastien
 

Summary: Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms
Alban Grastien
NICTA &
Australian National University
Canberra, Australia
Anbulagan
NICTA &
Australian National University
Canberra, Australia
Jussi Rintanen
NICTA &
Australian National University
Canberra, Australia
Elena Kelareva
University of Melbourne
Melbourne, Australia
Abstract
The diagnosis of a discrete-event system is the problem of
computing possible behaviors of the system given observa-
tions of the actual behavior, and testing whether the behaviors

  

Source: Anbulagan, A. - National ICT Australia & Computer Sciences Laboratory, Australian National University
Rintanen, Jussi - Canberra Research Laboratory, National ICT Australia (NICTA)

 

Collections: Computer Technologies and Information Sciences