18 search results - page 2 / 4 » Abstract Dependences for Alarm Diagnosis |
CEEMAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Monitoring patients in intensive care units is a critical task. Simple condition detection is generally insufficient to diagnose a patient and may generate many false alarms to the...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract—Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses s...
CTW
2002
13 years 7 months ago
2002
ive. This characterization leads to model-based abstractions and representation design techniques as potential solutions. Many of the existing approaches to coping with data overlo...
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...