Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Actes JFPC 2007 Resolution d'un probl`eme de diagnostic de
 

Summary: Actes JFPC 2007
RŽesolution d'un probl`eme de diagnostic de
syst`emes `a ŽevŽenements discrets par SAT
Alban Grastien Anbulagan
NICTA et Australian National University
Canberra, Australia
{alban.grastien|anbulagan}@nicta.com.au
RŽesumŽe
Diagnostiquer un syst`eme consiste `a dŽeterminer si
le fonctionnement du syst`eme est normal ou dŽefectueux
gr^ace `a des observations sur ce fonctionnement. Dans le
cadre des syst`emes `a ŽevŽenements discrets (SED), lors-
qu'un mod`ele complet est fourni, cela revient `a calcu-
ler sur le mod`ele les comportements compatibles avec
les observations et tester la normalitŽe de ces comporte-
ments. Nous montrons que les probl`emes de diagnostic
de SED peuvent ^etre traduits en probl`emes de satisfiabi-
litŽe propositionnelle (SAT) de formules boolŽeennes sous
forme normale conjonctive (CNF). Nous rŽesolvons en-
suite le probl`eme SAT `a l'aide des meilleurs solveurs ac-

  

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

 

Collections: Computer Technologies and Information Sciences