Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach.

Fadi A. Aloul Nagarajan Kandasamy

Published in: SAT (2007)

Keyphrases

failure diagnosis
discrete event systems
failure detection
fault diagnosis
mobile robot
sensor data
multi robot
robot teams
sensor networks
ip networks
computational complexity
real time
model based diagnosis
np complete
multimedia
petri net
neural network