54 search results - page 4 / 11 » Model-based diagnosis of multi-agent systems |
125
Voted
KI
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...
146
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In the complex, dynamic domain of Air Traffic Control (ATC) many unexpected events can happen during the execution of a plan. Sometimes these disruptions make the plan infeasible ...
124
Voted
ATC
2006
Springer
15 years 7 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...
157
Voted
TSMC
2010
14 years 10 months ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
75
Voted
AICOM
1999
15 years 3 months ago
1999