Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
J. Marques-Silva and K.A. Sakallah (Eds.): SAT 2007, LNCS 4501, pp. 369 376, 2007. Springer-Verlag Berlin Heidelberg 2007
 

Summary: J. Marques-Silva and K.A. Sakallah (Eds.): SAT 2007, LNCS 4501, pp. 369 376, 2007.
Springer-Verlag Berlin Heidelberg 2007
Sensor Deployment for Failure Diagnosis in
Networked Aerial Robots: A Satisfiability-Based Approach
Fadi A. Aloul1
and Nagaragan Kandasamy2
1
Department of Computer Engineering, American University of Sharjah, UAE
faloul@aus.edu
2
Department of Electrical and Computer Engineering, Drexel University, USA
kandasamy@ece.drexel.edu
Abstract. 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.

  

Source: Aloul, Fadi - Department of Computer Engineering, American University of Sharjah

 

Collections: Engineering