3053 search results - page 66 / 611 » Hybrid Systems Diagnosis |
AIME
1997
Springer
14 years 2 months ago
1997
Springer
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...
AIED
2009
Springer
14 years 4 months ago
2009
Springer
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 ...
PTS
2003
13 years 11 months ago
2003
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...
STTT
2008
13 years 10 months ago
2008
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
HYBRID
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...