573 search results - page 1 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
67
Voted
AAAI
2007
15 years 25 days ago
2007
DEDS
2007
14 years 10 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
15 years 10 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...
80
Voted
JUCS
2007
14 years 10 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
14 years 10 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...