文章:Markov Analysis of C-V2X Resource Reservation for Vehicle Platooning
作者:Xin Gu, Jun Peng, Lin Cai, Xiaoyong Zhang, Zhiwu Huang
这里主要针对其Vehicle Platooning中V2X资源预留的马尔可夫分析进行建模。
目录
1.2 Collision State Transition
1.2 Transmission State Transition
1. 建模分析
1.1 马尔科夫链概览
表示的是冲突状态;表示的是传输状态。上图中的相关曲线则是表示状态之间的转换。接下来逐个分析这些状态转移的理论部分。
1.2 Collision State Transition
对于SPS的相关参数重选计数器RC的范围,这里我们设置它的下限为p,上限为q,即RC的范围为[p,q]。
在一个半持续调度周期内,连续冲突会在至多p次结束(为什么?)
C_k到C_{k+1}的转移概率为1,因为在RC还没等于0之前会发生持续的资源预留冲突。
C_k的状态转移状态有四种:
-
:表示车辆, 继续使用同一个冲突资源;
-
: 当状态处车辆的RC值减小到0并且无论是否选择新资源依然继续使用冲突资源时,就会转移到此;
-
: 当进行初始化RC并进行重选选择到非冲突资源;
-
: 车辆继续使用之前的资源而选择一个新的资源。
a.
加号左边表示的是 两辆车的RC值均大于0的概率,具体解释为当经过第k次传输后,此时的RC的上限为,那么每辆车的RC的计数器的值选项有,因为包括了触发重选时的RC=0,所以每个UE在第k次传输后不为0的概率为;加号右边表示的是在重选过程中依旧选择之前的资源进行接下来的传输,进行重选并且维持之前的选择概率为。
b.
其中w_k表示的是v_i的RC值减为0并且继续使用原来的资源并且也是一样的
另外一项表示的v_i选择了新资源并且又面临着资源预留冲突
,其中表示, p_c表示资源预留冲突时的概率。
c.
加号左边表示的是,v_i继续使用之前的资源并且v_t选择了一个新资源,加号右边表示v_i选择了一个无冲突的新资源
d.
这个表示的是当时,的RC减到0的概率并且选择新资源,此外此时的RC值大于0的情况。
注:这里检验一下这四种情况的四种状态转移概率是否和为1:
1.2 Transmission State Transition
的转移概率为1因为成功的资源预留;
的转移状态有三种
1. : 表示下一次预留依旧成功,此时只要的RC计数器不要到达0就可以:
2. : 表示的RC值变为0并保持原来使用并不冲突的资源,和选择新的资源且并没有冲突:
3. : 表示在RC为0的情况下发生冲突的概率
注:这里检验一下这四种情况的三种状态转移概率是否和为1:
1.3 可靠性分析
,它的状态转移概率可以总结为:
设置 表示的是上述的转移矩阵,而表示的状态的分布情况, 其中表示的是错误状态的概率分布,而表示的是传输状态的概率分布。
因为马尔科夫链是不可约的和非周期性的,因此可以通过推导对应于P的特征值1的特征向量来获得S。
设置U为排通信的成功概率,它可以将传输状态的所有概率相加而得: