54 search results - page 4 / 11 » Model-based diagnosis of multi-agent systems |
KI
2001
Springer
13 years 10 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...
ATAL
2008
Springer
13 years 7 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 ...
ATC
2006
Springer
13 years 9 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...
TSMC
2010
13 years 14 days 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....
AICOM
1999
13 years 5 months ago
1999