Scalable modeling and performance evaluation of wireless sensor networks

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS

Volumn 2006, Issue , 2006, Pages 49-58

  Kwon, YoungMin ^a   Agha, Gul ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE TIME MARKOV CHAIN (DTMC) MODEL; LARGE-SCALE WSNS; PERFORMANCE METRICS; STATISTICAL TEST;

MARKOV PROCESSES; MATHEMATICAL MODELS; PROBABILITY; PROBLEM SOLVING; SYSTEMS ANALYSIS; WIRELESS TELECOMMUNICATION SYSTEMS;

SENSORS;

EID: 33749625237     PISSN: 15453421     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2006.39     Document Type: Conference Paper

References (17)

1. G. A. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. In Journal of Functional Programming, volume 7, pages 1-72. Cambridge University Press, 1997.
2. J. Aslam, Z. Butler, F. Constantin, V. Crepsi, G. Cybenko, and D. Rus. Tracking a moving object with a binary sensor network. In Sensys, 2003.
3. A. Aziz, V. Singhal, and F. Balarin. It usually works: The temporal logic of stochastic systems. In CAV, pages 155-165. LNCS 939, 1995.
4. C. Baier, J. Katoen, and H. Hermanns. Approximate symbolic model checking of continuous-time markov chains. In CONCUR, pages 146-162. LNCS 1664, 1999.
5. G. Ciardo, R. A. Marie, B. Sericola, and K. S. Trivedi. Performability analysis using semi-markov reward process. In IEEE Transactions on Computers, volume 39, pages 1251-1264, October 1990.
6. Crossbow Technology, Inc. http://www.xbow.com/.
7. H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. In Formal Aspects of Computing, volume 6, pages 512-535, 1994.
8. M. Kwiatkowska, G. Norman, and D. Parker. Prism 2.0: A tool for probabilistic model checking. In International Conference on Quantitative Evaluation of Systems (QEST), pages 322-323. IEEE Computer Society, 2004.
9. Y. Kwon and G. Agha. Linear inequality LTL (iLTL): A model checker for discrete time markov chains. In Int. Conf. on Formal Engineering Methods. LNCS 3308, 2004.
10. O. Lichtenstein and A. Pnueli. Checking that finite state concurrent programs satisfy their linear specification. In Proc of 12th ACM Symposium on Principles of Programming Languages, pages 97-107, 1985.
11. D. G. Luenberger. Linear and Nonlinear Programming. Addison Wesley, 2nd edition, 1989.
12. M. Maroti, G. Simon, A. Ledeczi, and J. Sztipanovits. Shooter localization in urban terrain. In Computer, pages 60-61. IEEE Computer Society Press, 2004.
13. K. Mechitov, S. Sundresh, Y. Kwon, and G. Agha. Cooperative tracking with binary-detection sensor networks. In Technical Report UIUCDCS-R-2003-2379. Department of Computer Science, University of Illinois at Urbana-Champaign, 2003.
14. A. Papoulis. Probability, Random Variables, and Stochastic Processes. McGraw-Hill, 3rd edition, 1991.
15. R. Sedgewick. Algorithms in C. Addison Wesley, 1990.
16. R. Szewczyk, A. Mainwaring, J. Polastre, J. Anderson, and D. Culler. An analysis of a large scale habitat monitoring application. In Sensys, 2004.
17. N. Xu, S. Rangwala, K. K. Chintalapudi, D. Ganesan, A. Broad, R. Govindan, and D. Estrin. A wireless sensornetwork for structural monitoring. In Sensys, 2004.