Sciweavers

45 search results - page 3 / 9
» Abstraction-based failure diagnosis for discrete event syste...
Sort
View
TSMC
2011
210views more  TSMC 2011»
13 years 29 days ago
Fault Diagnosis in Discrete-Event Systems: Incomplete Models and Learning
— Most state-based approaches to fault diagnosis of discrete-event systems require a complete and accurate model of the system to be diagnosed. In this paper, we address the prob...
Raymond H. Kwong, David L. Yonge-Mallo
PODS
2005
ACM
124views Database» more  PODS 2005»
14 years 6 months ago
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
We consider query optimization techniques for data intensive P2P applications. We show how to adapt an old technique from deductive databases, namely Query-Sub-Query (QSQ), to a s...
Serge Abiteboul, Stefan Haar, Tova Milo, Zoë ...
AAAI
2007
13 years 8 months ago
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms
Alban Grastien, Anbulagan, Jussi Rintanen, Elena K...