Sciweavers

702 search results - page 36 / 141
» Diagnosis of t s-Diagnosable Systems
Sort
View
AAAI
2006
13 years 9 months ago
A Two-Step Hierarchical Algorithm for Model-Based Diagnosis
For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiti...
Alexander Feldman, Arjan J. C. van Gemund
AIME
1997
Springer
13 years 12 months ago
A Causal-Functional Model Applied to EMG Diagnosis
This paper presents an EMG diagnostic Knowledge Based System, that is the first application of our methodology for reasoning with causal-functional (meta-)models. Despite past diff...
Jorge Cruz, Pedro Barahona
AIED
2009
Springer
14 years 2 months ago
Motivational Diagnosis in ITSs: Collaborative, Reflective Self-Report
A central challenge in the design of motivationally intelligent tutoring systems lies in defining and diagnosing a learner’s motivational state: in particular, in distinguishing ...
Katerina Avramides, Benedict du Boulay
PTS
2003
108views Hardware» more  PTS 2003»
13 years 9 months ago
Fault Diagnosis in Extended Finite State Machines
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtush...
CDC
2009
IEEE
115views Control Systems» more  CDC 2009»
14 years 12 days ago
Qualitative diagnosability of labeled petri nets revisited
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...
Stefan Haar