Sciweavers

531 search results - page 10 / 107
» Dynamic Observers for Fault Diagnosis of Timed Systems
Sort
View
ICRA
2005
IEEE
126views Robotics» more  ICRA 2005»
14 years 16 days ago
Detection of Sensor Faults in Autonomous Helicopters
- This paper presents a sensor fault detection and diagnosis system for autonomous helicopters. The system has been tested with the MARVIN autonomous helicopter. Fault detection is...
Guillermo Heredia, Aníbal Ollero, Rajesh Ma...
ISCAS
2003
IEEE
167views Hardware» more  ISCAS 2003»
14 years 6 days ago
The multi-level paradigm for distributed fault detection in networks with unreliable processors
In this paper, we study the effectiveness of the multilevel paradigm in considerably reducing the diagnosis latency of distributed algorithms for fault detection in networks with ...
Krishnaiyan Thulasiraman, Ming-Shan Su, V. Goel
AI
2005
Springer
14 years 15 days ago
First Steps Towards Incremental Diagnosis of Discrete-Event Systems
This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing th...
Alban Grastien, Marie-Odile Cordier, Christine Lar...
IROS
2006
IEEE
146views Robotics» more  IROS 2006»
14 years 29 days ago
Adaptive Causal Models for Fault Diagnosis and Recovery in Multi-Robot Teams
— This paper presents an adaptive causal model method (adaptive CMM) for fault diagnosis and recovery in complex multi-robot teams. We claim that a causal model approach is effec...
Lynne E. Parker, Balajee Kannan
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
14 years 1 months ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...