573 search results - page 9 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
GECCO
2005
Springer
14 years 27 days ago
2005
Springer
The size and complexity of systems based on multiple processing units demand techniques for the automatic diagnosis of their state. System-level diagnosis consists in determining ...
JNW
2006
13 years 7 months ago
2006
The design of large dependable multiprocessor systems requires quick and precise mechanisms for detecting the faulty nodes. The problem of system-level fault diagnosis is computati...
ECAI
2004
Springer
13 years 11 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
DSN
2002
IEEE
14 years 10 days ago
2002
IEEE
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
ICN
2005
Springer
14 years 27 days ago
2005
Springer
: Data filtering is an important approach to reduce energy consumption. Following this idea, Interest is used as a constraint to filter uninterested data in sensor networks. Within...