702 search results - page 2 / 141 » Diagnosis of t s-Diagnosable Systems |
ISAAC
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. We first consider adaptive serial diagnosis for multiprocessor systems. We present an adaptive diagnosis algorithm using N + t − 1 tests, which is the smallest possibl...
ESE
1990
13 years 11 months ago
1990
Most approaches to model-based diagnosis describe a diagnosis for a system as a set of failing components that explains the symptoms. In order to characterize the typically very l...
AI
2005
Springer
14 years 1 months ago
2005
Springer
This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing th...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
JSW
2007
13 years 7 months ago
2007
—Telemedicine has been researched to provide better care to people in the remote area via Internet. Enhancing the Telemedicine over Internet can be applied to multiple health-car...