Sensor deployment for failure diagnosis in networked aerial robots: A satisfiability-based approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4501 LNCS, Issue , 2007, Pages 369-376

  Aloul, Fadi A ^a   Kandasamy, Nagaragan ^b  

^a AMERICAN UNIVERSITY OF SHARJAH   (United Arab Emirates)

^b Drexel University   (United States)

Author keywords

0 1 ILP; Distributed systems; Fault diagnosis; SAT; UAV networks

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FAILURE ANALYSIS; LINEAR PROGRAMMING; MATHEMATICAL MODELS; ROBOTS; SENSORS;

BOOLEAN SATISFIABILITY; NETWORKED AERIAL ROBOTS; SENSOR PLACEMENT;

UNMANNED AERIAL VEHICLES (UAV);

EID: 38149009669     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72788-0_35     Document Type: Conference Paper

References (17)

1. F. Aloul, A. Ramani, I. Markov, and K. Sakallah, "Generic ILP Versus Specialized 0-1 ILP: An Update," Proc. IEEE/ACM Conf. Computer Aided Design (ICCAD), 450-457, November 2002.
2. M. Barborak, M. Malek, and A. Dahbura, "The Consensus Problem in Fault-Tolerant Computing," ACM Computing Surveys, 25(2), 171-219, June 1993.
3. D. Blough and H. Brown, "The Broadcast Comparison Model for On-line Fault Diagnosis in Multicomputer Systems: Theory and Implementation," IEEE Trans. Comp., 48(5), 470-493, May 1999.
4. D. Blough, G. Sullivan, and G. Masson, "Efficient Diagnosis of Multiprocessor Systems under Probabilistic Models," IEEE Trans. Computers, 41(9), 1126-1136, September 1992.
5. S. Chessa and P. Santi, "Comparison-Based System-Level Fault Diagnosis in Ad-hoc Networks," Proc. IEEE Symposium Reliable Distributed Systems, 257-266, 2001.
6. J. Fax and R. Murray, "Information Flow and Cooperative Control of Vehicle Formations," IEEE Transactions on Automatic Control, 49(9), 1465-1476, September 2004.
7. D. Fussel and S. Rangarajan, "Probabilistic Diagnosis of Multiprocessor Systems with Arbitrary Connectivity," Proc. IEEE Symposium on Fault-Tolerant Computing, 560-565, 1989.
8. J. Gertler, "Fault Detection and Diagnosis in Engineering Systems," Marcel Dekker, NewYork, 1998.
9. ILOG CPLEX, http://www.ilog.com/products/cplex
10. W. Kozlowski and H. Krawczyk, "A Comparison-Based Approach to Multi-Computer System Diagnosis in Hybrid Fault Situations," IEEE Trans. Computers, 40(11), 1283-1287, November 1991.
11. P. Lorczak, A. Caglayan, and D. Eckhardt, "A Theoretical Investigation of Generalized Voters for Redundant Systems," Proc. IEEE Symposium on Fault-Tolerant Computing, 444-451, 1989.
12. N. Rao, "Computational Complexity Issues in Operative Diagnosis of Graph-Based Systems," IEEE Trans. Computers, 42(4), 447-457, April 1993.
13. J. O'Rourke, "Art Gallery Theorems and Algorithms," Oxford University Press, Oxford, 1987.
14. C. J. Walter, P. Lincoln, and N. Suri, "Formally Verified On-Line Diagnosis," IEEE Trans. Software Engineering, 23(11), 684-721, November 1997.
15. J. Fax and R. Murray. "Information Flow and Cooperative Control of Vehicle Formations," Proc. IFAC World Congress, July 2002.
16. A. Pant et al., "Mesh Stability of Unmanned Aerial Vehicle Clusters," Proc. American Control Conf., 2001.
17. J. Desai, J. Ostrowski, V. Kumar. "Control of Changes in Formation for a Team of Mobile Robots," Proc. IEEE Conf. Robotics & Automation, 1556-1561, May 1999.