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