Summary: Modeling and Solving Diagnosis of Discrete-Event Systems via Satisfiability
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 finding out
whether the behavior of the system is normal or faulty, given
observations of this behavior. We show how the diagnosis

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

Collections: Computer Technologies and Information Sciences