Probabilistic Analysis for State Reachability of Wireless Lossy Channel Systems

摘要：

In this paper we perform some probabilistic analysis on state reachabilities of wireless lossy channel systems (WLCS) using Continuous Stochastic Logic (CSL) for Quasi Birth-Death model (QBD). To study WLCS in a continuous time setting, we first extend Probabilistic Lossy Channel Systems (PLCS) towards WLCS. We show that the state set S0 is an attractor of WLCS model, and discuss the accumulated stead>-state probabilistic reachability and the transient probabilistic reachability for WLCS. The results from the case study of WLCS show the versatility of our analytical technique and our works lead to a significantly analysis foundation where the underlying communication medium is lossy.

关键词： Probabilistic analysis Steady-state Transientstate Continuous Stochastic Logic

作者: Guofeng Yan Jianxin Wang Shuhong Chen

作者单位: School of Information Science and Engineering, Central South University, Changsha 410083, China Scho School of Information Science and Engineering, Central South University, Changsha 410083, China School of Information Science and Engineering, Central South University, Changsha 410083, China Scho

会议类型: 国际会议

会议名称: 2010 IEEE International Conference on Intelligent Computing and Intelligent Systems(2010 IEEE 智能计算与智能系统国际会议 ICIS 2010)

会议地点: 厦门

会议语种:英文

页码: 597-601

在线出版日期: 2010-10-29（万方平台首次上网日期，不代表论文的发表时间）