3053 search results - page 66 / 611 » Hybrid Systems Diagnosis |
153
click to vote
AIME
1997
Springer
15 years 10 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...
142
click to vote
AIED
2009
Springer
16 years 23 days 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 ...
158
click to vote
PTS
2003
15 years 7 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...
151
click to vote
STTT
2008
15 years 6 months ago
2008
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
170
click to vote
HYBRID
2005
Springer
15 years 11 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...