573 search results - page 1 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
AAAI
2007
13 years 6 months ago
2007
DEDS
2007
13 years 4 months ago
2007
Decentralized diagnosis of discrete event systems has received a lot of attention to deal with distributed systems or with systems that may be too large to be diagnosed by one cen...
PODS
2005
ACM
14 years 4 months ago
2005
ACM
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...
JUCS
2007
13 years 4 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
DEDS
2006
13 years 4 months ago
2006
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...