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

Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deployment problems for distributed failure diagnosis in such networks where multiple vehicles must agree on the fault status of another UAV. Sensor placement is formulated using an integer linear programming (ILP) approach and solved using Boolean satisfiability (SAT)-based ILP solvers as well as generic ILP solvers. Our results indicate that the proposed models are tractable for medium-sized UAV networks.

• Type: Conference
• Year: 2007
• Where: SAT
• Authors: Fadi A. Aloul, Nagarajan Kandasamy
• Keywords: Generic Ilp Solvers, ILP Solvers, SAT 2007, SAT)-based ILP Solvers