The problem of sensor placement for triangulation-based localisation

International Journal of Automation and Control

Volumn 5, Issue 3, 2011, Pages 245-253

  Gorbenko, Anna ^a   Mornev, Maxim ^a   Popov, Vladimir ^a   Sheka, Andrey ^a  

^a URAL FEDERAL UNIVERSITY   (Russian Federation)

Author keywords

GAs; Genetic algorithms; Integer linear programme; Local search algorithms; Logical model; NP hardness; Robot localisation; Satisfiability problem; Sensor networks; Sensor placement; Triangulation based localisation

Indexed keywords

FORMAL LOGIC; GALLIUM; GENETIC ALGORITHMS; MATHEMATICAL TRANSFORMATIONS; POLYNOMIAL APPROXIMATION; SENSOR NETWORKS; TRIANGULATION;

LOCAL SEARCH ALGORITHM; LOCALISATION; LOGICAL MODELING; NP-HARDNESS; ROBOT LOCALISATION; SATISFIABILITY PROBLEMS; SENSOR PLACEMENT;

INTEGER PROGRAMMING;

EID: 80053652681     PISSN: 17407516     EISSN: 17407524     Source Type: Journal    
DOI: 10.1504/IJAAC.2011.042855     Document Type: Article

References (26)

1. Albertia, M.A., Bertonia, A., Campadelli, P.,Grossia, G. and Posenatoa, R. (1997) 'A neural algorithm for MAX-2SAT: performance analysis and circuit implementation', Neural Networks, Vol. 10, pp.555-560.
2. Aranda, S., Martinez, S. and Bullo, F. (2005) 'On optimal sensor placement and motion coordination for target tracking', Proceedings of the 2005 IEEE International Conference on Robotics and Automation, Barcelona, Spain, pp.4544-4549.
3. Armando, A. and Giunchiglia, E. (1993) 'Embedding complex decision procedures inside an interactive theorem prover', Annuals of Mathematics and Artificial Intelligence, Vol. 8, pp.475-502.
4. Asano, T. andWilliamson, D.P. (2002) 'Improved approximation algorithms forMAXSAT', Journal of Algorithms, Vol. 42, pp.173-202.
5. Bessiere, C., Hebrard, E. andWalsh, T. (2003) 'Local consistencies in SAT', Theory and Applications of Satisfiability Testing. Santa Margherita Ligure, Italy, pp.400-407.
6. Büttner, M. and Rintanen, J. (2005) 'Improving parallel planning with constraints on the number of operators', Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling, Monterey, California, USA, pp.292-299.
7. Davis, M., Logemann, G. and Loveland, D. (1962) 'A machine program for theorem proving', Communications of the ACM, Vol. 5, pp.394-397.
8. Devarajan, D., Radke, R.J. and Chung, H. (2006) 'Distributed metric calibration of ad hoc camera networks', ACM Transactions on Sensor Networks, Vol. 2, pp.380-403.
9. Efrat, A., Mitchell, J.S.B. and Har-Peled, S. (2005) 'Approximation algorithms for two optimal location problems in sensor networks', 2nd International Conference on Broadband Networks, Vol. 1, Boston, Massachusetts, USA, pp.714-723.
10. Ernst, M., Millstein, T. and Weld, D. (1997) 'Automatic SAT-compilation of planning problems', Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Nagoya, Japan, pp.1169-1176.
11. Frisch, A. and Peugniez, T. (2001) 'Solving non-Boolean satisfiability problems with stochastic local search', Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, Seattle, Washington, USA, pp.282-288.
12. Frisch, A., Peugniez, T., Doggett, A. and Nightingale, P. (2005) 'Solving non-boolean satisfiability problems with stochastic local search: a comparison of encodings', Journal of Advanced Research, Vol. 35, pp.143-179.
13. Goemans, M.X. and Williamson, D.P. (1994) 'New 34 -approximation algorithms for the maximum satisfiability problem', SIAM Journal of Discrete Mathematics, Vol. 7, pp.656-666.
14. Gu, J., Purdom, P., Franco, J. and Wah, B. (1997) 'Algorithms for the satisfiability (SAT) problem: a survey', DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 35, pp.19-152.
15. Hoos, H.H. (1999) 'SAT-encodings, search space structure, and local search performance', Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, Stockholm, Sweden, pp.296-302.
16. Isler, V., Khanna, S., Spletzer, J. and Taylor, C. (2005) 'Target tracking with distributed sensors: The focus of attention problem', Computer Vision and Image Understanding, Vol. 100, pp.225-247.
17. Kautz, H. (2004) 'SATPLAN04: planning as satisfiability', Proceedings of the 4th International Planning Competition at the 14th International Conference on Automated Planning and Scheduling, Whistler, Canada, pp.44-45.
18. Martinez, S. and Bullo, F. (2006) 'Optimal sensor placement and motion coordination for target tracking', Automatica, Vol. 42, pp.661-668.
19. Nasipuri, A. and el Najjar, R. (2006) 'Experimental evaluation of an angle based indoor localization system', 4th International Symposium on Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, Boston, Massachusetts, USA, pp.1-9.
20. Papadimitriou, C.H. (1994) Computational Complexity. Addison Wesley. Reading.
21. Rekleitis, I., Meger, D. and Dudek, G. (2006) 'Simultaneous planning, localization, and mapping in a camera sensor network', Robotics and Autonomous Systems, Vol. 54, pp.921-932.
22. Sinha, S.N., Pollefeys, M. and McMillan, L. (2004) 'Camera network calibration from dynamic silhouettes', Proceedings of the 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, Vol. 1, Washington, District of Columbia, USA, pp.195-202.
23. Smith, A., Balakrishnan, H., Goraczko, M. and Priyantha, N. (2004) 'Tracking moving devices with the cricket location system', Proceedings of the 2nd International Conference on Mobile Systems, Applications, and Services, Boston, Massachusetts, USA, pp.190-202.
24. Spletzer, J. andTaylor, C. (2003) 'Dynamic sensor planning and control for optimally tracking targets', Int. J. Robotics Research, Vol. 22, pp.7-20.
25. Susca, S., Martinez, S. and Bullo, F. (2008) 'Monitoring environmental boundaries with a robotic sensor network', IEEE Transactions on Control Systems Technology, Vol. 16, pp.288-296.
26. Tekdas, O. and Isler, V. (2010) 'Sensor placement for triangulation based localization', IEEE Transaction on Automation Science and Engineering, Vol. 7, pp.681-685.