Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms
Abstract
The diagnosis of a discrete-event system is the problem of computing possible behaviors of the system given observations of the actual behavior, and testing whether the behaviors are normal or faulty. We show how the diagnosis problems can be translated into the propositional satisfiability problem (SAT) and solved by algorithms for SAT. Our experiments demonstrate that current SAT algorithms can solve much bigger diagnosis problems than traditional diagnosis algorithms can.
Cite
Text
Grastien et al. "Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms." AAAI Conference on Artificial Intelligence, 2007.Markdown
[Grastien et al. "Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms." AAAI Conference on Artificial Intelligence, 2007.](https://mlanthology.org/aaai/2007/grastien2007aaai-diagnosis/)BibTeX
@inproceedings{grastien2007aaai-diagnosis,
title = {{Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms}},
author = {Grastien, Alban and Anbulagan, and Rintanen, Jussi and Kelareva, Elena},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2007},
pages = {305-310},
url = {https://mlanthology.org/aaai/2007/grastien2007aaai-diagnosis/}
}