Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Modeling and Solving Diagnosis of Discrete-Event Systems via Satisfiability Alban Grastien
 

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