IEEE Copyright Notice

© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

This is the author’s version of an article that has been published in this journal. Changes were made to this version by the publisher prior to publication.

The final version of record is available at http://dx.doi.org/10.1109/TVT.2020.3008336

Abstract

In this paper, we study the problem of utility maximization in the uplink of vehicle-to-infrastructure communication systems. The studied scenarios consider four practical aspects of mobile radio communication links: i) Interference between adjacent channels, ii) interference between roadside units along the way, iii) fast and slow channel fadings, and iv) Doppler shift effects. We present first the system model for the IEEE 802.11p standard, which considers a communication network between vehicles and roadside infrastructure. Next, we formulate the problem of utility maximization in the network, and propose a distributed optimization scheme. This distributed scheme is based on a two-loop feedback configuration, where an outer-loop establishes the optimal signal to interference-noise ratio (SINR) that maximizes the utility function per vehicle and defines a quality-of-service objective. Meanwhile, inner-control loops adjust the transmission power to achieve this optimal SINR reference in each vehicle node regardless of interference, time-varying channel profiles and network latency. The computation complexity of the distributed utility maximization scheme is analyzed for each feedback loop. Simulation results indicate that the proposed scheme reaches the objective SINRs that maximize utility and improve energy efficiency in the network with a low time cost. The results also show that the maximum utility is consistently achieved for different propagation scenarios inside the vehicular communication network.

Index Terms:
Vehicular communications, transmission power, utility maximization, feedback control.

I Introduction

I-A Motivation

Vehicular communication networks (VCN) are an emerging technology aimed at improving road safety and traffic management [1, 2, 3]. These networks will enable vehicles to share their driving information with other vehicles, and also with the infrastructure installed along the road in real-time. Two types of messages will be employed to transmit (broadcast) such an information: periodic messages (also called beacons), and event-driven messages [4]. The periodic messages are aimed to preserve the vehicles’ safety through the dissemination of non-critical information, e.g., updates about road conditions and other vehicles’ status (e.g., current position, speed and direction of motion). In turn, event-driven messages are intended for the notification of potentially dangerous events arising randomly, such as an emergency vehicle approaching at high speed, or the sudden braking of a vehicle ahead on the road. Thereby, drivers will be warned in advance to make decisions that avoid accidents, or that contribute to keep a proper traffic flow. The regulation of the VCN is currently driven by two main standards: The IEEE 802.11 Standard for dedicated short-range communications (DSRC) in vehicular environments, and the Long-Term Evolution (LTE) Standard for fourth-generation (4G) mobile cellular communications. The vehicular component of this latter standard is commonly referred to as the LTE-V, or as the LTE-V2X [5].

I-B State of the Art

Regardless of the underlying standard, a main concern in VCN is to meet and maintain the particular requirements of quality of service (QoS) of each vehicle. Power control techniques provide effective solutions to the problem of achieving QoS in wireless communication networks whose performance is affected by inter-user interference, and by the effects of multipath mobile radio channels [6]. Different approaches have been considered in the literature for power control in VCN. In [7], two power control algorithms were proposed to mitigate adjacent channel interference (ACI) in vehicle-to-vehicle (V2V) communications. A distributed transmit power control method is suggested in [8] to regulate the load of periodic messages, and to guarantee high priority of event-driven messages. In [9], a technique called power-aware link quality estimation (PoLiQ) was introduced to estimate the quality of the links in VCN, which is based on the periodic reception of packages from neighboring nodes, and on the transmission parameters of the vehicles. In [10], the authors study how to efficiently apply the concept of device-to-device (D2D) communications on a cellular network to support V2V connections (called D2D-V). Strategies to reuse channel selection and optimal power control are considered in that paper for maximizing sum rate and the minimum achievable data transmission rate. Meanwhile, spectrum sharing and power allocation for D2D-enabled VCN is investigated in [11], where channel uncertainty, maximal sum capacity, and reliability of the V2V links were considered. Alternated and distributed optimization approaches for rate and power control are studied in [12] for utility maximization in DSRC systems.

The concept of utility is originally related to economics and game theory [13]. Utility establishes a measure of value that an individual receives from some service. In wireless communications, the utility could be related to different resources: flow rate, energy efficiency, secrecy capacities, download delay, etc. [13, 14, 15, 16, 17, 18]. In fact, for some utility functions as flow rate and energy efficiency, there is a direct relation to the transmission power, which is the optimization variable in this work. So far, the solutions to the resource optimization problem for VCN have focused mostly on the LTE-V standard.

I-C Contributions

To the best of the authors’ knowledge, there are no studies dealing with the problem of power control for utility maximization in VCN based on the IEEE 802.11p standard. In this paper, we aim to close the gap through the following original contributions:

  • We formulate the problem of utility maximization in vehicle-to-infrastructure (V2I) communication systems based on the IEEE 802.11 Standard. Our formulation considers four practical aspects in the V2I communication links: i) Interference between adjacent channels in the IEEE 802.11p standard, ii) interference among roadside units (RSUs) along the road, iii) fast and slow channel fadings, and iv) Doppler shift effect.

  • To solve the aforementioned problem, we derive a practical distributed optimization scheme by considering a two-loop feedback structure at different time-scales. A network central unit implements an outer-loop that updates regularly the objective SINRs to the RSUs to maximize the network utility. Meanwhile, inner-control loops adjust the transmission power of each on-board unit (OBU) to achieve the desired SINRs despite channel variations and network latency. As a result, each OBU has a time-varying SINR reference to maximize overall network utility.

  • We analyze the computation complexity of the outer and inner-loops in the utility maximization methodology. One key advantage of our proposal is that the complexity is distributed among the network central unit, RSUs and OBUs to facilitate a real-time implementation.

  • We present a comparative analysis of the network utility considering three propagation scenarios and different mobility profiles of the vehicles: a) some OBUs approach and others drive away from the RSU, b) all the OBUs approach to the RSU, and c) all the OBUs move away from it. We compare the resulting network utility to fixed target SINR values in the inner-control loops.

Refer to caption
Figure 1: Structure of the studied vehicular communication network with RSUs and OBUs.

The rest of the paper is organized as follows. The network system model of a V2I communication system based on the IEEE 802.11p standard with M𝑀Mitalic_M RSUs and MU𝑀𝑈M\cdot Uitalic_M ⋅ italic_U OBUs is described in Section II. The problem of utility maximization is addressed in Section III. First, the network utility concept is described, and then a distributed strategy for the network utility optimization is presented. In addition, Section III introduces the power allocation scheme implemented through inner-control loops to achieve the desired QoS, and also the computation complexity of the proposed scheme is analyzed. A numerical performance evaluation of the proposed utility maximization strategy is described in Section IV for different propagation patterns of the OBUs in the network. Finally, Section V presents the conclusions.

II System Model

In this paper, we consider a V2I communications network based on the IEEE 802.11p standard, as the one shown in Fig. 1. The network comprises two types of nodes: OBUs, which are vehicles with DSRC capabilities; and RSUs, which are static DSRC devices installed on the road, e.g., a base station (BS). We address the problem of resource optimization for the uplink of this V2I communication network (i.e. OBUs to RSU), considering a two-lane highway scenario with M𝑀Mitalic_M RSUs and MU𝑀𝑈M\cdot Uitalic_M ⋅ italic_U OBUs (see Fig. 1). We assume that the RSUs have the same configuration, and each OBU is assigned to a frequency channel of 10 MHz in the 5.9 GHz band. We focus on the uplink of a V2I communication network, since as will be discussed next, efficient resources allocation is crucial to reduce the interference between adjacent channels, and the interference from RSU to RSU. Nonetheless, the proposed resources optimization methodology could be also adapted to downlink communications.

II-A Interference Sources in IEEE 802.11p

We assume that the main factor limiting the performance of the V2I communication network is interference, which can be quantified by the SINR [7]. Two major types of interference can be identified for VCN in the IEEE 802.11p standard:

  • Adjacent channel interference (ACI) is the result of having multiple adjacent frequency channels, which are active simultaneously, as shown in Fig. 2. This type of interference is caused by nonlinear effects of the transmitter’s filters [7].

  • Interference between RSUs is caused by using the same frequency channels for different nearby RSUs.

To analyze the effects that such forms of interference have on the network’s resources, we will consider the specifications issued by the United States Federal Communications Commission (FCC) concerning the electromagnetic spectrum for DSRC applications. In the 1990s, the FCC allocated a bandwidth of 75 MHz in the 5.9 GHz band for DSRC systems. This bandwidth is divided into seven 10 MHz channels, one reserved as a control channel and six considered for communication services. The service channels are used for infotainment (information and entertainment) applications and traffic management, while the control channel is reserved for road safety applications. Table  I shows the frequency bands of the seven channels, as well as the maximum transmission power permitted in each one.

The IEEE 802.11p standard defines four classes of devices, namely: Classes A, B, C, and D. These classes are characterized by a maximum transmission power, as shown in Table II [2]. The standard considers a spectral mask for each class of devices to reduce the radiated out-of-band power. Figure 2 shows the shape and peak value of the spectral masks of the seven channels in the IEEE 802.11p standard [2]. As can be seen in the figure, the power spectral density (PSD) is small, albeit not negligible, outside the limits of each channel’s frequency band. This creates a problem of ACI.

II-B QoS Evaluation

In this work, the QoS is evaluated through the SINR, as proposed in [7]. The SINR quantification for the uplink channel from the i𝑖iitalic_i-th OBU to the l𝑙litalic_l-th RSU at the time instant k𝑘kitalic_k is given as:

γ^l,i[k]=Wrl,ipl,i[k]|hl,i[k]|2Il,i[k]+m=1,mlMpm,i[k]|hm,i[k]|2+σl,i2,subscript^𝛾𝑙𝑖delimited-[]𝑘𝑊subscript𝑟𝑙𝑖subscript𝑝𝑙𝑖delimited-[]𝑘superscriptsubscript𝑙𝑖delimited-[]𝑘2subscript𝐼𝑙𝑖delimited-[]𝑘superscriptsubscriptformulae-sequence𝑚1𝑚𝑙𝑀subscript𝑝𝑚𝑖delimited-[]𝑘superscriptsubscript𝑚𝑖delimited-[]𝑘2subscriptsuperscript𝜎2𝑙𝑖\hat{\gamma}_{l,i}[k]=\dfrac{W}{r_{l,i}}\frac{p_{l,i}[k]|h_{l,i}[k]|^{2}}{I_{l% ,i}[k]+\sum_{m=1,m\neq l}^{M}p_{m,i}[k]|h_{m,i}[k]|^{2}+\sigma^{2}_{l,i}}% \leavevmode\nobreak\ ,over^ start_ARG italic_γ end_ARG start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] = divide start_ARG italic_W end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG divide start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] | italic_h start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_I start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] + ∑ start_POSTSUBSCRIPT italic_m = 1 , italic_m ≠ italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT [ italic_k ] | italic_h start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG , (1)

for all i[1,U]𝑖1𝑈i\in[1,U]italic_i ∈ [ 1 , italic_U ], and l[1,M]𝑙1𝑀l\in[1,M]italic_l ∈ [ 1 , italic_M ], where W𝑊Witalic_W, rl,isubscript𝑟𝑙𝑖r_{l,i}italic_r start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT, pl,i[k]subscript𝑝𝑙𝑖delimited-[]𝑘p_{l,i}[k]italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] and hl,i[k]subscript𝑙𝑖delimited-[]𝑘h_{l,i}[k]italic_h start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] denote the channel bandwidth, the data transmission rate, the transmission power and the complex-valued time-varying gain of the mobile radio propagation channel associated to the link between the i𝑖iitalic_i-th OBU and the l𝑙litalic_l-th RSU, respectively. The noise variance is denoted by σl,i2superscriptsubscript𝜎𝑙𝑖2\sigma_{l,i}^{2}italic_σ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, and m=1,mlMpm,i[k]|hm,i[k]|2superscriptsubscriptformulae-sequence𝑚1𝑚𝑙𝑀subscript𝑝𝑚𝑖delimited-[]𝑘superscriptsubscript𝑚𝑖delimited-[]𝑘2\sum_{m=1,m\neq l}^{M}p_{m,i}[k]|h_{m,i}[k]|^{2}∑ start_POSTSUBSCRIPT italic_m = 1 , italic_m ≠ italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT [ italic_k ] | italic_h start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is the RSU to RSU interference. Il,i[k]subscript𝐼𝑙𝑖delimited-[]𝑘I_{l,i}[k]italic_I start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] represents the i𝑖iitalic_i-th element of the interference vector 𝑰l[k]subscript𝑰𝑙delimited-[]𝑘\boldsymbol{I}_{l}[k]bold_italic_I start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT [ italic_k ] of the l𝑙litalic_l-th RSU. This vector is defined as

𝑰l[k]=[cl,2|hl,2[k]|2pl,2[k]cl,1|hl,1[k]|2pl,1[k]+cl,3|hl,3[k]|2pl,3[k]cl,2|hl,2[k]|2pl,2[k]+cl,4|hl,4[k]|2pl,4[k]cl,3|hl,3[k]|2pl,3[k]+cl,5|hl,5[k]|2pl,5[k]cl,4|hl,4[k]|2pl,4[k]+cl,6|hl,6[k]|2pl,6[k]cl,5|hl,5[k]|2pl,5[k]+cl,7|hl,7[k]|2pl,7[k]cl,6|hl,6[k]|2pl,6[k]],subscript𝑰𝑙delimited-[]𝑘delimited-[]matrixsubscript𝑐𝑙2superscriptsubscript𝑙2delimited-[]𝑘2subscript𝑝𝑙2delimited-[]𝑘subscript𝑐𝑙1superscriptsubscript𝑙1delimited-[]𝑘2subscript𝑝𝑙1delimited-[]𝑘subscript𝑐𝑙3superscriptsubscript𝑙3delimited-[]𝑘2subscript𝑝𝑙3delimited-[]𝑘subscript𝑐𝑙2superscriptsubscript𝑙2delimited-[]𝑘2subscript𝑝𝑙2delimited-[]𝑘subscript𝑐𝑙4superscriptsubscript𝑙4delimited-[]𝑘2subscript𝑝𝑙4delimited-[]𝑘subscript𝑐𝑙3superscriptsubscript𝑙3delimited-[]𝑘2subscript𝑝𝑙3delimited-[]𝑘subscript𝑐𝑙5superscriptsubscript𝑙5delimited-[]𝑘2subscript𝑝𝑙5delimited-[]𝑘subscript𝑐𝑙4superscriptsubscript𝑙4delimited-[]𝑘2subscript𝑝𝑙4delimited-[]𝑘subscript𝑐𝑙6superscriptsubscript𝑙6delimited-[]𝑘2subscript𝑝𝑙6delimited-[]𝑘subscript𝑐𝑙5superscriptsubscript𝑙5delimited-[]𝑘2subscript𝑝𝑙5delimited-[]𝑘subscript𝑐𝑙7superscriptsubscript𝑙7delimited-[]𝑘2subscript𝑝𝑙7delimited-[]𝑘subscript𝑐𝑙6superscriptsubscript𝑙6delimited-[]𝑘2subscript𝑝𝑙6delimited-[]𝑘\boldsymbol{I}_{l}[k]=\left[\begin{matrix}c_{l,2}|h_{l,2}[k]|^{2}p_{l,2}[k]\\ c_{l,1}|h_{l,1}[k]|^{2}p_{l,1}[k]+c_{l,3}|h_{l,3}[k]|^{2}p_{l,3}[k]\\ c_{l,2}|h_{l,2}[k]|^{2}p_{l,2}[k]+c_{l,4}|h_{l,4}[k]|^{2}p_{l,4}[k]\\ c_{l,3}|h_{l,3}[k]|^{2}p_{l,3}[k]+c_{l,5}|h_{l,5}[k]|^{2}p_{l,5}[k]\\ c_{l,4}|h_{l,4}[k]|^{2}p_{l,4}[k]+c_{l,6}|h_{l,6}[k]|^{2}p_{l,6}[k]\\ c_{l,5}|h_{l,5}[k]|^{2}p_{l,5}[k]+c_{l,7}|h_{l,7}[k]|^{2}p_{l,7}[k]\\ c_{l,6}|h_{l,6}[k]|^{2}p_{l,6}[k]\\ \end{matrix}\right]\leavevmode\nobreak\ ,bold_italic_I start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT [ italic_k ] = [ start_ARG start_ROW start_CELL italic_c start_POSTSUBSCRIPT italic_l , 2 end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_l , 2 end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_l , 2 end_POSTSUBSCRIPT [ italic_k ] end_CELL end_ROW start_ROW start_CELL italic_c start_POSTSUBSCRIPT italic_l , 1 end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_l , 1 end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_l , 1 end_POSTSUBSCRIPT [ italic_k ] + italic_c start_POSTSUBSCRIPT italic_l , 3 end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_l , 3 end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_l , 3 end_POSTSUBSCRIPT [ italic_k ] end_CELL end_ROW start_ROW start_CELL italic_c start_POSTSUBSCRIPT italic_l , 2 end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_l , 2 end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_l , 2 end_POSTSUBSCRIPT [ italic_k ] + italic_c start_POSTSUBSCRIPT italic_l , 4 end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_l , 4 end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_l , 4 end_POSTSUBSCRIPT [ italic_k ] end_CELL end_ROW start_ROW start_CELL italic_c start_POSTSUBSCRIPT italic_l , 3 end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_l , 3 end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_l , 3 end_POSTSUBSCRIPT [ italic_k ] + italic_c start_POSTSUBSCRIPT italic_l , 5 end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_l , 5 end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_l , 5 end_POSTSUBSCRIPT [ italic_k ] end_CELL end_ROW start_ROW start_CELL italic_c start_POSTSUBSCRIPT italic_l , 4 end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_l , 4 end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_l , 4 end_POSTSUBSCRIPT [ italic_k ] + italic_c start_POSTSUBSCRIPT italic_l , 6 end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_l , 6 end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_l , 6 end_POSTSUBSCRIPT [ italic_k ] end_CELL end_ROW start_ROW start_CELL italic_c start_POSTSUBSCRIPT italic_l , 5 end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_l , 5 end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_l , 5 end_POSTSUBSCRIPT [ italic_k ] + italic_c start_POSTSUBSCRIPT italic_l , 7 end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_l , 7 end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_l , 7 end_POSTSUBSCRIPT [ italic_k ] end_CELL end_ROW start_ROW start_CELL italic_c start_POSTSUBSCRIPT italic_l , 6 end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_l , 6 end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_l , 6 end_POSTSUBSCRIPT [ italic_k ] end_CELL end_ROW end_ARG ] , (2)

with cl,1=cl,2=cl,3=2.847×104subscript𝑐𝑙1subscript𝑐𝑙2subscript𝑐𝑙32.847superscript104c_{l,1}=c_{l,2}=c_{l,3}=2.847\times 10^{-4}italic_c start_POSTSUBSCRIPT italic_l , 1 end_POSTSUBSCRIPT = italic_c start_POSTSUBSCRIPT italic_l , 2 end_POSTSUBSCRIPT = italic_c start_POSTSUBSCRIPT italic_l , 3 end_POSTSUBSCRIPT = 2.847 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT, cl,4=1.830×105subscript𝑐𝑙41.830superscript105c_{l,4}=1.830\times 10^{-5}italic_c start_POSTSUBSCRIPT italic_l , 4 end_POSTSUBSCRIPT = 1.830 × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT, cl,5=6.081×103subscript𝑐𝑙56.081superscript103c_{l,5}=6.081\times 10^{-3}italic_c start_POSTSUBSCRIPT italic_l , 5 end_POSTSUBSCRIPT = 6.081 × 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT, cl,6=6.050×103subscript𝑐𝑙66.050superscript103c_{l,6}=6.050\times 10^{-3}italic_c start_POSTSUBSCRIPT italic_l , 6 end_POSTSUBSCRIPT = 6.050 × 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT and cl,7=1.821×105subscript𝑐𝑙71.821superscript105c_{l,7}=1.821\times 10^{-5}italic_c start_POSTSUBSCRIPT italic_l , 7 end_POSTSUBSCRIPT = 1.821 × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT. These interference parameters {cl,1,,cl,7}subscript𝑐𝑙1subscript𝑐𝑙7\{c_{l,1},\ldots,c_{l,7}\}{ italic_c start_POSTSUBSCRIPT italic_l , 1 end_POSTSUBSCRIPT , … , italic_c start_POSTSUBSCRIPT italic_l , 7 end_POSTSUBSCRIPT } were computed by the intersection area of each spectral mask with respect to the 10 MHz bandwidth of adjacent channels in Fig. 2.

Table I: Assignment of channels in the 5.9 GHz band for DSRC systems [2].
Channel Type of Transmission Frequency
number channel power level range
(dBm) (GHz)
172 (Ch1) Service 33 5.855-5.865
174 (Ch2) Service 33 5.865-5.875
176 (Ch3) Service 33 5.875-5.885
178 (Ch4) Control 44.8 5.885-5.895
180 (Ch5) Service 23 5.895-5.905
182 (Ch6) Service 23 5.905-5.915
184 (Ch7) Service 40 5.915-5.925
Refer to caption
Figure 2: Spectral masks for 10 MHz channels in the IEEE 802.11p standard [2].
Table II: Power spectral density limits for 10 MHz channels in the IEEE 802.11p standard [2], where the standard defines four device classes: A, B, C, and D (maximum power level allowed for each channel during transmission).
Upper bound on the transmission power level
Power in relative decibels (dBr).
class ±plus-or-minus\pm± 4.5 MHz ±plus-or-minus\pm± 5.0 MHz ±plus-or-minus\pm± 5.5 MHz ±plus-or-minus\pm± 10 MHz ±plus-or-minus\pm± 15 MHz
offset offset offset offset offset
A 0 -10 -20 -28 -40
B 0 -16 -20 -28 -40
C 0 -26 -32 -40 -50
D 0 -35 -45 -55 -65

II-C V2I Propagation Channel Model

The mobile radio propagation channel for the link between the i𝑖iitalic_i-th OBU and the l𝑙litalic_l-th RSU is modeled by

hl,i[k]=gl,i[k]λl,i[k](0.1dl,i[k])ϵ,subscript𝑙𝑖delimited-[]𝑘subscript𝑔𝑙𝑖delimited-[]𝑘subscript𝜆𝑙𝑖delimited-[]𝑘superscript0.1subscript𝑑𝑙𝑖delimited-[]𝑘italic-ϵh_{l,i}[k]=g_{l,i}[k]\lambda_{l,i}[k]\left(\dfrac{0.1}{d_{l,i}[k]}\right)^{{% \epsilon}}\leavevmode\nobreak\ ,italic_h start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] = italic_g start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] italic_λ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] ( divide start_ARG 0.1 end_ARG start_ARG italic_d start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] end_ARG ) start_POSTSUPERSCRIPT italic_ϵ end_POSTSUPERSCRIPT , (3)

for all i[1,U]𝑖1𝑈i\in[1,U]italic_i ∈ [ 1 , italic_U ], and l[1,M]𝑙1𝑀l\in[1,M]italic_l ∈ [ 1 , italic_M ], where gl,i[k]subscript𝑔𝑙𝑖delimited-[]𝑘g_{l,i}[k]italic_g start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] and λl,i[k]subscript𝜆𝑙𝑖delimited-[]𝑘\lambda_{l,i}[k]italic_λ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] are discrete-time complex-valued stochastic processes characterizing the effects of fast fading due to multipath propagation, and shadowing by the presence of objects in the coverage area, respectively [19]. The third term at the right-hand side of the previous equation stands for the propagation path loss, where dl,i[k]subscript𝑑𝑙𝑖delimited-[]𝑘d_{l,i}[k]italic_d start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] denotes the distance from the i𝑖iitalic_i-th OBU to the l𝑙litalic_l-th RSU, and ϵitalic-ϵ\epsilonitalic_ϵ is the path-loss exponent. For simplicity, the distances between OBUs and RSUs are computed by a two-dimensional approximation, where the heights of the objects are neglected. Nonetheless, a three-dimensional perspective could be also used just by adjusting the computation of dl,i[k]subscript𝑑𝑙𝑖delimited-[]𝑘d_{l,i}[k]italic_d start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ]. Following [10], we set the path-loss exponent ϵitalic-ϵ\epsilonitalic_ϵ equal to 3.

We model the fast fading component gl,i[k]subscript𝑔𝑙𝑖delimited-[]𝑘g_{l,i}[k]italic_g start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] by the superposition of Ncsubscript𝑁𝑐N_{c}italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT plane waves as follows

gl,i[k]=n=1Nccnexp{ι(2πfnk+θn)}ι=1,formulae-sequencesubscript𝑔𝑙𝑖delimited-[]𝑘superscriptsubscript𝑛1subscript𝑁𝑐subscript𝑐𝑛𝜄2𝜋subscript𝑓𝑛𝑘subscript𝜃𝑛𝜄1g_{l,i}[k]=\sum_{n=1}^{N_{c}}c_{n}\exp\{\iota({2\pi f_{n}k+\theta_{n}})\}% \qquad\iota=\sqrt{-1}\leavevmode\nobreak\ ,italic_g start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] = ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT roman_exp { italic_ι ( 2 italic_π italic_f start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_k + italic_θ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) } italic_ι = square-root start_ARG - 1 end_ARG , (4)

where cnsubscript𝑐𝑛c_{n}italic_c start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, fnsubscript𝑓𝑛f_{n}italic_f start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, and θnsubscript𝜃𝑛\theta_{n}italic_θ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT are the amplitude, the Doppler shift, and the phase of the n𝑛nitalic_n-th received plane wave [20]. The phase terms θnsubscript𝜃𝑛\theta_{n}italic_θ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT are characterized by independent and identically distributed (i.i.d.) random variables, each having an uniform distribution over [π,π)𝜋𝜋[-\pi,\pi)[ - italic_π , italic_π ). In turn, the Doppler frequencies fnsubscript𝑓𝑛f_{n}italic_f start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT are defined as:

fn=Δfmaxcos(αn)n[1,Nc],subscript𝑓𝑛Δsubscript𝑓𝑚𝑎𝑥subscript𝛼𝑛for-all𝑛1subscript𝑁𝑐f_{n}\overset{\Delta}{=}f_{max}\cos(\alpha_{n})\qquad\forall n\in[1,N_{c}]% \leavevmode\nobreak\ ,italic_f start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT overroman_Δ start_ARG = end_ARG italic_f start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT roman_cos ( italic_α start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) ∀ italic_n ∈ [ 1 , italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ] , (5)

where fmax=vλsubscript𝑓𝑚𝑎𝑥𝑣𝜆f_{max}=\frac{v}{\lambda}italic_f start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT = divide start_ARG italic_v end_ARG start_ARG italic_λ end_ARG is the maximum Doppler shift caused by the movement of the i𝑖iitalic_i-th OBU, v𝑣vitalic_v is the speed of the OBU, λ𝜆\lambdaitalic_λ is the wavelength, and αnsubscript𝛼𝑛\alpha_{n}italic_α start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT stands for the angle of arrival (AOA) of the n𝑛nitalic_n-th incident wave. We assume that the AOAs {αn}n=1Ncsuperscriptsubscriptsubscript𝛼𝑛𝑛1subscript𝑁𝑐\{\alpha_{n}\}_{n=1}^{N_{c}}{ italic_α start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT } start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_POSTSUPERSCRIPT are i.i.d. random variables uniformly distributed over [0,π)0𝜋[0,\pi)[ 0 , italic_π ). In our system model, the carrier frequency fcsubscript𝑓𝑐f_{c}italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT takes different values given by the central frequency of the DSRC bands described in Table  I. Meanwhile, the shadowing effects are characterized according to

λl,i[k]=10(σLn=1Nccncos(2πfnk+θn)+mL)/20,subscript𝜆𝑙𝑖delimited-[]𝑘superscript10subscript𝜎𝐿superscriptsubscript𝑛1subscript𝑁𝑐subscript𝑐𝑛2𝜋subscript𝑓𝑛𝑘subscript𝜃𝑛subscript𝑚𝐿20\lambda_{l,i}[k]=10^{(\sigma_{L}\sum_{n=1}^{N_{c}}c_{n}\cos(2\pi f_{n}k+\theta% _{n})+m_{L})/20}\leavevmode\nobreak\ ,italic_λ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] = 10 start_POSTSUPERSCRIPT ( italic_σ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT roman_cos ( 2 italic_π italic_f start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_k + italic_θ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) + italic_m start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) / 20 end_POSTSUPERSCRIPT , (6)

where σLsubscript𝜎𝐿\sigma_{L}italic_σ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT and mLsubscript𝑚𝐿m_{L}italic_m start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT represent the standard deviation and average value of the shadow fading process, respectively [21].

II-D SINR Estimation

The QoS of the communication link between the i𝑖iitalic_i-th OBU and the l𝑙litalic_l-th RSU is guaranteed at the time instant k𝑘kitalic_k if γl,i[k]γl,iobjsubscript𝛾𝑙𝑖delimited-[]𝑘superscriptsubscript𝛾𝑙𝑖𝑜𝑏𝑗\gamma_{l,i}[k]\geq\gamma_{l,i}^{obj}italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] ≥ italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_o italic_b italic_j end_POSTSUPERSCRIPT, where γl,iobjsuperscriptsubscript𝛾𝑙𝑖𝑜𝑏𝑗\gamma_{l,i}^{obj}italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_o italic_b italic_j end_POSTSUPERSCRIPT is the objective SINR threshold that allows achieving the desired QoS. An important aspect of the SINR modeled by (1) is that at any given time instant, the objective SINRs {γl,iobj}superscriptsubscript𝛾𝑙𝑖𝑜𝑏𝑗\{\gamma_{l,i}^{obj}\}{ italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_o italic_b italic_j end_POSTSUPERSCRIPT } can be achieved by computing the transmission powers {pl,i[k]}subscript𝑝𝑙𝑖delimited-[]𝑘\{p_{l,i}[k]\}{ italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] } that solve a linear system of MU𝑀𝑈M\cdot Uitalic_M ⋅ italic_U equations [22]. This solution establishes a one-to-one relation among objective SINRs and OBU transmission powers, although it is centralized and requires real-time feedback to the OBUs.

The SINR measurement in (1) has some variability by the estimates of the channel and the interference factors, and to reduce this effect, we apply a filtering stage to the estimation γ^l,i[k]subscript^𝛾𝑙𝑖delimited-[]𝑘{\hat{\gamma}}_{l,i}[k]over^ start_ARG italic_γ end_ARG start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] in (1). For this purpose, an αβγ𝛼𝛽𝛾\alpha-\beta-\gammaitalic_α - italic_β - italic_γ filter is used to compute γl,i[k]subscript𝛾𝑙𝑖delimited-[]𝑘\gamma_{l,i}[k]italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] [23], which is commonly employed in radar systems. The dynamic equations given for the i𝑖iitalic_i-th OBU and l𝑙litalic_l-th RSU are [23, 24]:

xl,i[k+1]subscript𝑥𝑙𝑖delimited-[]𝑘1\displaystyle x_{l,i}[k+1]italic_x start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k + 1 ] =γl,i[k]+Tsvl,i,s[k]+12Ts2al,i,s[k],absentsubscript𝛾𝑙𝑖delimited-[]𝑘subscript𝑇𝑠subscript𝑣𝑙𝑖𝑠delimited-[]𝑘12superscriptsubscript𝑇𝑠2subscript𝑎𝑙𝑖𝑠delimited-[]𝑘\displaystyle=\gamma_{l,i}[k]+T_{s}\,v_{l,i,s}[k]+\frac{1}{2}T_{s}^{2}a_{l,i,s% }[k]\leavevmode\nobreak\ ,= italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] + italic_T start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_l , italic_i , italic_s end_POSTSUBSCRIPT [ italic_k ] + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_T start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_a start_POSTSUBSCRIPT italic_l , italic_i , italic_s end_POSTSUBSCRIPT [ italic_k ] , (7)
vl,i,p[k+1]subscript𝑣𝑙𝑖𝑝delimited-[]𝑘1\displaystyle v_{l,i,p}[k+1]italic_v start_POSTSUBSCRIPT italic_l , italic_i , italic_p end_POSTSUBSCRIPT [ italic_k + 1 ] =vl,i,s[k]+Tsal,i,s[k],absentsubscript𝑣𝑙𝑖𝑠delimited-[]𝑘subscript𝑇𝑠subscript𝑎𝑙𝑖𝑠delimited-[]𝑘\displaystyle=v_{l,i,s}[k]+T_{s}\,a_{l,i,s}[k]\leavevmode\nobreak\ ,= italic_v start_POSTSUBSCRIPT italic_l , italic_i , italic_s end_POSTSUBSCRIPT [ italic_k ] + italic_T start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT italic_l , italic_i , italic_s end_POSTSUBSCRIPT [ italic_k ] , (8)

where the states (xl,i,vl,i,psubscript𝑥𝑙𝑖subscript𝑣𝑙𝑖𝑝x_{l,i},v_{l,i,p}italic_x start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT , italic_v start_POSTSUBSCRIPT italic_l , italic_i , italic_p end_POSTSUBSCRIPT) are employed to compute the smoothed signals γl,i[k]subscript𝛾𝑙𝑖delimited-[]𝑘\gamma_{l,i}[k]italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ], vl,i,s[k]subscript𝑣𝑙𝑖𝑠delimited-[]𝑘v_{l,i,s}[k]italic_v start_POSTSUBSCRIPT italic_l , italic_i , italic_s end_POSTSUBSCRIPT [ italic_k ] and al,i,s[k]subscript𝑎𝑙𝑖𝑠delimited-[]𝑘a_{l,i,s}[k]italic_a start_POSTSUBSCRIPT italic_l , italic_i , italic_s end_POSTSUBSCRIPT [ italic_k ] as follows:

γl,i[k]subscript𝛾𝑙𝑖delimited-[]𝑘\displaystyle\gamma_{l,i}[k]italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] =xl,i[k]+α(γ^l,i[k]xl,i[k]),absentsubscript𝑥𝑙𝑖delimited-[]𝑘𝛼subscript^𝛾𝑙𝑖delimited-[]𝑘subscript𝑥𝑙𝑖delimited-[]𝑘\displaystyle=x_{l,i}[k]+\alpha(\hat{\gamma}_{l,i}[k]-x_{l,i}[k]),= italic_x start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] + italic_α ( over^ start_ARG italic_γ end_ARG start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] - italic_x start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] ) , (9)
vl,i,s[k]subscript𝑣𝑙𝑖𝑠delimited-[]𝑘\displaystyle v_{l,i,s}[k]italic_v start_POSTSUBSCRIPT italic_l , italic_i , italic_s end_POSTSUBSCRIPT [ italic_k ] =vl,i,p[k]+βTs(γ^l,i[k]xl,i[k]),absentsubscript𝑣𝑙𝑖𝑝delimited-[]𝑘𝛽subscript𝑇𝑠subscript^𝛾𝑙𝑖delimited-[]𝑘subscript𝑥𝑙𝑖delimited-[]𝑘\displaystyle=v_{l,i,p}[k]+\frac{\beta}{T_{s}}(\hat{\gamma}_{l,i}[k]-x_{l,i}[k% ])\leavevmode\nobreak\ ,= italic_v start_POSTSUBSCRIPT italic_l , italic_i , italic_p end_POSTSUBSCRIPT [ italic_k ] + divide start_ARG italic_β end_ARG start_ARG italic_T start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG ( over^ start_ARG italic_γ end_ARG start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] - italic_x start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] ) , (10)
al,i,s[k]subscript𝑎𝑙𝑖𝑠delimited-[]𝑘\displaystyle a_{l,i,s}[k]italic_a start_POSTSUBSCRIPT italic_l , italic_i , italic_s end_POSTSUBSCRIPT [ italic_k ] =al,i,s[k1]+γ2Ts2(γ^l,i[k]xl,i[k]),absentsubscript𝑎𝑙𝑖𝑠delimited-[]𝑘1𝛾2subscriptsuperscript𝑇2𝑠subscript^𝛾𝑙𝑖delimited-[]𝑘subscript𝑥𝑙𝑖delimited-[]𝑘\displaystyle=a_{l,i,s}[k-1]+\frac{\gamma}{2T^{2}_{s}}(\hat{\gamma}_{l,i}[k]-x% _{l,i}[k])\leavevmode\nobreak\ ,= italic_a start_POSTSUBSCRIPT italic_l , italic_i , italic_s end_POSTSUBSCRIPT [ italic_k - 1 ] + divide start_ARG italic_γ end_ARG start_ARG 2 italic_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG ( over^ start_ARG italic_γ end_ARG start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] - italic_x start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] ) , (11)

Tssubscript𝑇𝑠T_{s}italic_T start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT is the sampling interval for power allocation, and parameters α𝛼\alphaitalic_α, β𝛽\betaitalic_β and γ𝛾\gammaitalic_γ influence the behavior of the filter in terms of stability and time response.

III Network Utility Optimization

In this work, the concept of utility in the communication network focuses on energy efficiency, so it evaluates the total number of bits transmitted successfully per Joule of energy consumed [25, 26]. On one hand, a high level of SINR between i𝑖iitalic_i-th OBU and l𝑙litalic_l-th RSU will result in a lower bit error rate (BER) and therefore on a higher transmission rate. On the other hand, reaching a high level of SINR requires that the OBUs transmit at a higher power level, resulting in greater interference between adjacent channels, and in larger interference from RSU to RSU.

III-A Utility Function

This trade-off can be quantified by a utility function for the i𝑖iitalic_i-th OBU in l𝑙litalic_l-th RSU at k𝑘kitalic_k-time instant as [26, 27]:

ul,i[k]=Tl,i[k]pl,i[k]bitsjoulei[1,U],l[1,M],formulae-sequencesubscript𝑢𝑙𝑖delimited-[]𝑘subscript𝑇𝑙𝑖delimited-[]𝑘subscript𝑝𝑙𝑖delimited-[]𝑘𝑏𝑖𝑡𝑠𝑗𝑜𝑢𝑙𝑒formulae-sequencefor-all𝑖1𝑈𝑙1𝑀u_{l,i}[k]=\dfrac{T_{l,i}[k]}{p_{l,i}[k]}\quad\frac{bits}{joule}\leavevmode% \nobreak\ \quad\forall i\in[1,U]\leavevmode\nobreak\ ,\;l\in[1,M]\leavevmode% \nobreak\ ,italic_u start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] = divide start_ARG italic_T start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] end_ARG divide start_ARG italic_b italic_i italic_t italic_s end_ARG start_ARG italic_j italic_o italic_u italic_l italic_e end_ARG ∀ italic_i ∈ [ 1 , italic_U ] , italic_l ∈ [ 1 , italic_M ] , (12)

where Tl,i[k]subscript𝑇𝑙𝑖delimited-[]𝑘T_{l,i}[k]italic_T start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] defines the corresponding throughput for the active OBU. Moreover, this utility function can be expressed as:

ul,i[k]=Lrl,if(γl,i[k])NTl,i[k]1pl,i[k]=Lrl,iNwl,if(γl,i[k])pl,i[k]bitsjoule,formulae-sequencesubscript𝑢𝑙𝑖delimited-[]𝑘subscript𝐿subscript𝑟𝑙𝑖𝑓subscript𝛾𝑙𝑖delimited-[]𝑘𝑁subscript𝑇𝑙𝑖delimited-[]𝑘1subscript𝑝𝑙𝑖delimited-[]𝑘subscript𝐿subscript𝑟𝑙𝑖𝑁subscript𝑤𝑙𝑖𝑓subscript𝛾𝑙𝑖delimited-[]𝑘subscript𝑝𝑙𝑖delimited-[]𝑘𝑏𝑖𝑡𝑠𝑗𝑜𝑢𝑙𝑒u_{l,i}[k]=\underbrace{\dfrac{Lr_{l,i}f(\gamma_{l,i}[k])}{N}}_{T_{l,i}[k]}% \dfrac{1}{p_{l,i}[k]}=\underbrace{\dfrac{Lr_{l,i}}{N}}_{w_{l,i}}\dfrac{f(% \gamma_{l,i}[k])}{p_{l,i}[k]}\quad\dfrac{bits}{joule}\leavevmode\nobreak\ ,italic_u start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] = under⏟ start_ARG divide start_ARG italic_L italic_r start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] ) end_ARG start_ARG italic_N end_ARG end_ARG start_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] end_ARG = under⏟ start_ARG divide start_ARG italic_L italic_r start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG end_ARG start_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT divide start_ARG italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] ) end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] end_ARG divide start_ARG italic_b italic_i italic_t italic_s end_ARG start_ARG italic_j italic_o italic_u italic_l italic_e end_ARG , (13)

where L𝐿Litalic_L is the number of information bits per orthogonal frequency division multiplexing (OFDM) symbol, and N𝑁Nitalic_N the total number of bits in each OFDM symbol (N>L𝑁𝐿N>Litalic_N > italic_L); rl,isubscript𝑟𝑙𝑖r_{l,i}italic_r start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT is the data rate, and f(γl,i[k])𝑓subscript𝛾𝑙𝑖delimited-[]𝑘f(\gamma_{l,i}[k])italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] ) is an efficiency function related to the reception rate of OFDM symbols. In general, the efficiency function f(γl,i[k])𝑓subscript𝛾𝑙𝑖delimited-[]𝑘f(\gamma_{l,i}[k])italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] ) has the following properties:

  • f(0)0𝑓00f(0)\to 0italic_f ( 0 ) → 0 and f()1𝑓1f(\infty)\to 1italic_f ( ∞ ) → 1,

  • f(γl,i[k])>0superscript𝑓subscript𝛾𝑙𝑖delimited-[]𝑘0f^{\prime}(\gamma_{l,i}[k])>0italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] ) > 0 γl,i[k]>0for-allsubscript𝛾𝑙𝑖delimited-[]𝑘0\forall\gamma_{l,i}[k]>0∀ italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] > 0 with f(0)0superscript𝑓00f^{\prime}(0)\to 0italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( 0 ) → 0 and f()0superscript𝑓0f^{\prime}(\infty)\to 0italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( ∞ ) → 0.

One type of efficiency function is given in [27]:

f(γl,i[k])=(1expγl,i[k])N,𝑓subscript𝛾𝑙𝑖delimited-[]𝑘superscript1superscriptsubscript𝛾𝑙𝑖delimited-[]𝑘𝑁f(\gamma_{l,i}[k])=(1-\exp^{-\gamma_{l,i}[k]})^{N}\leavevmode\nobreak\ ,italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] ) = ( 1 - roman_exp start_POSTSUPERSCRIPT - italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT , (14)

therefore, the overall network utility can be written as:

𝒰(𝐩1[k],,𝐩M[k])𝒰subscript𝐩1delimited-[]𝑘subscript𝐩𝑀delimited-[]𝑘\displaystyle\mathcal{U}(\mathbf{p}_{1}[k],\cdots,\mathbf{p}_{M}[k])caligraphic_U ( bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT [ italic_k ] , ⋯ , bold_p start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT [ italic_k ] ) =l=1Mi=1Uul,i[k]absentsuperscriptsubscript𝑙1𝑀superscriptsubscript𝑖1𝑈subscript𝑢𝑙𝑖delimited-[]𝑘\displaystyle=\sum_{l=1}^{M}\sum_{i=1}^{U}u_{l,i}[k]= ∑ start_POSTSUBSCRIPT italic_l = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ]
=l=1Mi=1Uwl,if(γl,i[k])pl,i[k],absentsuperscriptsubscript𝑙1𝑀superscriptsubscript𝑖1𝑈subscript𝑤𝑙𝑖𝑓subscript𝛾𝑙𝑖delimited-[]𝑘subscript𝑝𝑙𝑖delimited-[]𝑘\displaystyle=\sum_{l=1}^{M}\sum_{i=1}^{U}w_{l,i}\dfrac{f(\gamma_{l,i}[k])}{p_% {l,i}[k]},= ∑ start_POSTSUBSCRIPT italic_l = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U end_POSTSUPERSCRIPT italic_w start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT divide start_ARG italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] ) end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] end_ARG , (15)

where

𝐩l[k]=[pl,1[k],,pl,U[k]]l[1,M].formulae-sequencesubscript𝐩𝑙delimited-[]𝑘superscriptsubscript𝑝𝑙1delimited-[]𝑘subscript𝑝𝑙𝑈delimited-[]𝑘topfor-all𝑙1𝑀\mathbf{p}_{l}[k]=[p_{l,1}[k],\ldots,p_{l,U}[k]]^{\top}\quad\forall l\in[1,M]% \leavevmode\nobreak\ .bold_p start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT [ italic_k ] = [ italic_p start_POSTSUBSCRIPT italic_l , 1 end_POSTSUBSCRIPT [ italic_k ] , … , italic_p start_POSTSUBSCRIPT italic_l , italic_U end_POSTSUBSCRIPT [ italic_k ] ] start_POSTSUPERSCRIPT ⊤ end_POSTSUPERSCRIPT ∀ italic_l ∈ [ 1 , italic_M ] . (16)

III-B Utility Optimization

The proposed optimization problem determines the values of the vectors {𝐩l[k]}l=1Msuperscriptsubscriptsubscript𝐩𝑙delimited-[]𝑘𝑙1𝑀\{\mathbf{p}_{l}[k]\}_{l=1}^{M}{ bold_p start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT [ italic_k ] } start_POSTSUBSCRIPT italic_l = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT at k𝑘kitalic_k-time instant that maximize the network utility under a specific QoS interval. Mathematically, the optimization problem can be described as follows:

max{𝐩1[k],,𝐩M[k]}𝒰(𝐩1[k],,𝐩M[k]),subscriptsubscript𝐩1delimited-[]𝑘subscript𝐩𝑀delimited-[]𝑘𝒰subscript𝐩1delimited-[]𝑘subscript𝐩𝑀delimited-[]𝑘\max_{\{\mathbf{p}_{1}[k],\ldots,\mathbf{p}_{M}[k]\}}{\mathcal{U}(\mathbf{p}_{% 1}[k],\ldots,\mathbf{p}_{M}[k])}\leavevmode\nobreak\ ,roman_max start_POSTSUBSCRIPT { bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT [ italic_k ] , … , bold_p start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT [ italic_k ] } end_POSTSUBSCRIPT caligraphic_U ( bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT [ italic_k ] , … , bold_p start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT [ italic_k ] ) , (17)
s.t.γminγl,i[k]γmaxi[1,U],l[1,M],formulae-sequences.t.subscript𝛾𝑚𝑖𝑛subscript𝛾𝑙𝑖delimited-[]𝑘subscript𝛾𝑚𝑎𝑥for-all𝑖1𝑈𝑙1𝑀\quad\textrm{s.t.}\quad\gamma_{min}\leq\gamma_{l,i}[k]\leq\gamma_{max}\;\;% \forall i\in[1,U],\;l\in[1,M]\leavevmode\nobreak\ ,s.t. italic_γ start_POSTSUBSCRIPT italic_m italic_i italic_n end_POSTSUBSCRIPT ≤ italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] ≤ italic_γ start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT ∀ italic_i ∈ [ 1 , italic_U ] , italic_l ∈ [ 1 , italic_M ] ,

where γminsubscript𝛾𝑚𝑖𝑛\gamma_{min}italic_γ start_POSTSUBSCRIPT italic_m italic_i italic_n end_POSTSUBSCRIPT and γmaxsubscript𝛾𝑚𝑎𝑥\gamma_{max}italic_γ start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT are the lower and upper bound, respectively, in the SINR which are related to QoS. The stationary conditions for (15) are analytically derived in the Appendix.

A distributed solution to (17) is deduced by the optimality equations in the Appendix, and by the injective relation between objective SINR per OBU and its transmission power in a communication system with interference [22]. Hence we propose to perform the optimization process by an iterative and distributed scheme which uses two adjustment loops at different time scales (as shown in Fig. 3):

  • Outer-loop: we introduce a new time index t𝑡titalic_t (slow-time scale) for this loop, with respect to the original k𝑘kitalic_k-time instant, i.e. t=k/Q𝑡𝑘𝑄t=\lfloor k/Q\rflooritalic_t = ⌊ italic_k / italic_Q ⌋ where \lfloor\cdot\rfloor⌊ ⋅ ⌋ denotes the floor function, and Q>0𝑄0Q>0italic_Q > 0 the number of time samples in each iteration of the outer-loop. The optimal SINR per OBU is computed by the following equation:

    f(γl,it)γl,itf(γl,it)=M^l,i(𝜸t1,pt1),𝑓superscriptsubscript𝛾𝑙𝑖𝑡superscriptsubscript𝛾𝑙𝑖𝑡𝑓superscriptsubscript𝛾𝑙𝑖𝑡subscript^𝑀𝑙𝑖superscript𝜸𝑡1superscriptp𝑡1f(\gamma_{l,i}^{t})\gamma_{l,i}^{t}-f(\gamma_{l,i}^{t})=\hat{M}_{l,i}(% \boldsymbol{\gamma}^{t-1},\textbf{p}^{t-1})\leavevmode\nobreak\ ,italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ) italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT - italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ) = over^ start_ARG italic_M end_ARG start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ( bold_italic_γ start_POSTSUPERSCRIPT italic_t - 1 end_POSTSUPERSCRIPT , p start_POSTSUPERSCRIPT italic_t - 1 end_POSTSUPERSCRIPT ) , (18)

    where the SINR values 𝜸t1superscript𝜸𝑡1\boldsymbol{\gamma}^{t-1}bold_italic_γ start_POSTSUPERSCRIPT italic_t - 1 end_POSTSUPERSCRIPT and estimated transmission power 𝐩t1superscript𝐩𝑡1\mathbf{p}^{t-1}bold_p start_POSTSUPERSCRIPT italic_t - 1 end_POSTSUPERSCRIPT in the previous iteration are used to have a constant value in the right-hand side of (18), and M^l,i()subscript^𝑀𝑙𝑖\hat{M}_{l,i}(\cdot)over^ start_ARG italic_M end_ARG start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ( ⋅ ) in (44) is derived in the Appendix. With this simplification, the equations in (18) are decoupled and their solutions can be easily reached by a numerical algorithm by a network central unit. To estimate the transmission power in the t1𝑡1t-1italic_t - 1 iteration 𝐩t1superscript𝐩𝑡1\mathbf{p}^{t-1}bold_p start_POSTSUPERSCRIPT italic_t - 1 end_POSTSUPERSCRIPT, an average over the time index t1𝑡1t-1italic_t - 1 is considered:

    𝐩t1=1Q[k=koQ+kop1,1[k]k=koQ+kopM,U[k]],superscript𝐩𝑡11𝑄delimited-[]superscriptsubscript𝑘subscript𝑘𝑜𝑄subscript𝑘𝑜subscript𝑝11delimited-[]𝑘superscriptsubscript𝑘subscript𝑘𝑜𝑄subscript𝑘𝑜subscript𝑝𝑀𝑈delimited-[]𝑘\mathbf{p}^{t-1}=\dfrac{1}{Q}\left[\begin{array}[]{c}\sum_{k=k_{o}}^{Q+k_{o}}p% _{1,1}[k]\\ \vdots\\ \sum_{k=k_{o}}^{Q+k_{o}}p_{M,U}[k]\end{array}\right]\leavevmode\nobreak\ ,bold_p start_POSTSUPERSCRIPT italic_t - 1 end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_Q end_ARG [ start_ARRAY start_ROW start_CELL ∑ start_POSTSUBSCRIPT italic_k = italic_k start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Q + italic_k start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT 1 , 1 end_POSTSUBSCRIPT [ italic_k ] end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL end_ROW start_ROW start_CELL ∑ start_POSTSUBSCRIPT italic_k = italic_k start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Q + italic_k start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_M , italic_U end_POSTSUBSCRIPT [ italic_k ] end_CELL end_ROW end_ARRAY ] , (19)

    where ko=(t1)Qsubscript𝑘𝑜𝑡1𝑄k_{o}=(t-1)\cdot Qitalic_k start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT = ( italic_t - 1 ) ⋅ italic_Q represents the sample time at which the previous t1𝑡1t-1italic_t - 1 update window started. Once (18) is solved for each OBU, the target SINR value is found (γl,it)objsuperscriptsuperscriptsubscript𝛾𝑙𝑖𝑡𝑜𝑏𝑗(\gamma_{l,i}^{t})^{obj}( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_o italic_b italic_j end_POSTSUPERSCRIPT by considering the lower and upper bounds in (17):

    (γl,it)obj=max(γmin,min[γl,it,γmax]).superscriptsuperscriptsubscript𝛾𝑙𝑖𝑡𝑜𝑏𝑗subscript𝛾𝑚𝑖𝑛superscriptsubscript𝛾𝑙𝑖𝑡subscript𝛾𝑚𝑎𝑥(\gamma_{l,i}^{t})^{obj}=\max(\gamma_{min},\min[\gamma_{l,i}^{t},\gamma_{max}]% )\leavevmode\nobreak\ .( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_o italic_b italic_j end_POSTSUPERSCRIPT = roman_max ( italic_γ start_POSTSUBSCRIPT italic_m italic_i italic_n end_POSTSUBSCRIPT , roman_min [ italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT , italic_γ start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT ] ) . (20)

    This objective SINR (γl,it)objsuperscriptsuperscriptsubscript𝛾𝑙𝑖𝑡𝑜𝑏𝑗(\gamma_{l,i}^{t})^{obj}( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_o italic_b italic_j end_POSTSUPERSCRIPT defines the required QoS in the V2I communication link to maximize the network utility.

  • Inner-loops: the internal control loops are proposed to assign the transmission power pl,j[k]subscript𝑝𝑙𝑗delimited-[]𝑘p_{l,j}[k]italic_p start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT [ italic_k ] of each OBU to reach the objective SINR (γl,it)objsuperscriptsuperscriptsubscript𝛾𝑙𝑖𝑡𝑜𝑏𝑗(\gamma_{l,i}^{t})^{obj}( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_o italic_b italic_j end_POSTSUPERSCRIPT based on a feedback structure at k𝑘kitalic_k-time instant. Thus, the inner-loops are responsible to guarantee the desired QoS in the V2I communication link despite channel variations, and network latency. The state of the art in distributed power control algorithms for wireless networks is vast [6, 28, 22, 29]. In [29], the robustness to round-trip delay uncertainty, and reference tracking performance was studied for seven power control schemes: (i) Fixed-step, (ii) Foschini-Miljanic, (iii) proportional-integral-derivative control, (iv) Hsubscript𝐻H_{\infty}italic_H start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT robust control, (v) Robust Smith predictor, (vi) Variable structure control, and (vii) linear-quadratic-gaussian (LQG) control. This study showed that the best compromise is achieved by the LQG control in [22]. On the other hand, the results in [28] show that this power control scheme presents the optimal solution to improve robustness to quantization and measurement noise in wireless networks. These previous studies highlight that the LQG control is the best choice for the inner-loop structure. In the LQG control scheme, the l𝑙litalic_l-th RSU estimates the following QoS error signal for the i𝑖iitalic_i-th OBU:

    el,i[k]=[(γl,it)objγl,i[k]1]pl,i[k],subscript𝑒𝑙𝑖delimited-[]𝑘delimited-[]superscriptsuperscriptsubscript𝛾𝑙𝑖𝑡𝑜𝑏𝑗subscript𝛾𝑙𝑖delimited-[]𝑘1subscript𝑝𝑙𝑖delimited-[]𝑘e_{l,i}[k]=\left[\frac{(\gamma_{l,i}^{t})^{obj}}{\gamma_{l,i}[k]}-1\right]p_{l% ,i}[k]\leavevmode\nobreak\ ,italic_e start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] = [ divide start_ARG ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_o italic_b italic_j end_POSTSUPERSCRIPT end_ARG start_ARG italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] end_ARG - 1 ] italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] , (21)

    and this information is sent to the OBU to update its transmission power level. In addition, there is a parameter denoted as Ω(0,1)Ω01\Omega\in(0,1)roman_Ω ∈ ( 0 , 1 ) that balances the control effort against the tracking convergence speed [22, 29]. In this way, the LQG power allocation scheme for i𝑖iitalic_i-th OBU at l𝑙litalic_l-th RSU is expressed by:

    pl,i[k+1]=(1Ω)pl,i[k]+Ωpl,i[knRT]Ωal,i[k],subscript𝑝𝑙𝑖delimited-[]𝑘11Ωsubscript𝑝𝑙𝑖delimited-[]𝑘Ωsubscript𝑝𝑙𝑖delimited-[]𝑘subscript𝑛𝑅𝑇Ωsubscript𝑎𝑙𝑖delimited-[]𝑘p_{l,i}[k+1]=(1-\Omega)p_{l,i}[k]+\Omega p_{l,i}[k-n_{RT}]-\Omega a_{l,i}[k],italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k + 1 ] = ( 1 - roman_Ω ) italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] + roman_Ω italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k - italic_n start_POSTSUBSCRIPT italic_R italic_T end_POSTSUBSCRIPT ] - roman_Ω italic_a start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] , (22)

    where al,i[k]subscript𝑎𝑙𝑖delimited-[]𝑘a_{l,i}[k]italic_a start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] denotes the QoS error signal received at the i𝑖iitalic_i-th OBU from the l𝑙litalic_l-th RSU. This error signal is affected by nRTsubscript𝑛𝑅𝑇n_{RT}italic_n start_POSTSUBSCRIPT italic_R italic_T end_POSTSUBSCRIPT time delays linked to the latency in the power update and QoS quantification, its expression is given by:

    al,i[k]=el,i[knRT].subscript𝑎𝑙𝑖delimited-[]𝑘subscript𝑒𝑙𝑖delimited-[]𝑘subscript𝑛𝑅𝑇a_{l,i}[k]=e_{l,i}[k-n_{RT}].italic_a start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] = italic_e start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k - italic_n start_POSTSUBSCRIPT italic_R italic_T end_POSTSUBSCRIPT ] . (23)

    Hence, the main advantage of the LQG power allocation in (22) is that it explicitly includes the effect of the time delays / network latency nRTsubscript𝑛𝑅𝑇n_{RT}italic_n start_POSTSUBSCRIPT italic_R italic_T end_POSTSUBSCRIPT in its structure.

Refer to caption
Figure 3: Proposed two-loop feedback structure for network utility maximization, where the outer-loop is implemented in a network central unit, and the inner-loops in the OBUs-RSUs.

III-C Computation Complexity

The complexity of the proposed distributed mechanism for network utility maximization in Fig. 3 can be analyzed with respect the objectives of the two-loop structure: (i) the computation of the optimal SINRs in (18) by the outer-loop, and (ii) the power update mechanisms in (22) by the inner-loops. In addition, the overall complexity has to consider that the two-loop mechanism is executed at two time scales characterized by indexes t𝑡titalic_t and k𝑘kitalic_k. Hence, between each iteration of the outer-loop, the l𝑙litalic_l-th RSU requires a continuous information sharing of the resulted transmission powers {𝐩l[ko],,𝐩l[Q+ko]}subscript𝐩𝑙delimited-[]subscript𝑘𝑜subscript𝐩𝑙delimited-[]𝑄subscript𝑘𝑜\{\mathbf{p}_{l}[k_{o}],\ldots,\mathbf{p}_{l}[Q+k_{o}]\}{ bold_p start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT [ italic_k start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT ] , … , bold_p start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT [ italic_Q + italic_k start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT ] } in the U𝑈Uitalic_U OBUs for Q𝑄Qitalic_Q samples to a central unit in the network to compute the average in (19). Next, at t𝑡titalic_t-iteration of the outer-loop, MU𝑀𝑈M\cdot Uitalic_M ⋅ italic_U equations in (20) are solved for the optimal SINRs by the central network unit. However, this task is not time consuming since the MU𝑀𝑈M\cdot Uitalic_M ⋅ italic_U equations are decoupled among them, and they can be efficiently solved by root-finding numerical methods, since the left-hand side in (18) is a smooth function. These solutions {γ1,1t,,γM,Ut}superscriptsubscript𝛾11𝑡superscriptsubscript𝛾𝑀𝑈𝑡\{\gamma_{1,1}^{t},\ldots,\gamma_{M,U}^{t}\}{ italic_γ start_POSTSUBSCRIPT 1 , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT , … , italic_γ start_POSTSUBSCRIPT italic_M , italic_U end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT } are then limited to the SINR feasible interval in (20). From the network central unit, the objective SINRs {(γ1,1t)obj,,(γM,Ut)obj}superscriptsuperscriptsubscript𝛾11𝑡𝑜𝑏𝑗superscriptsuperscriptsubscript𝛾𝑀𝑈𝑡𝑜𝑏𝑗\{(\gamma_{1,1}^{t})^{obj},\ldots,(\gamma_{M,U}^{t})^{obj}\}{ ( italic_γ start_POSTSUBSCRIPT 1 , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_o italic_b italic_j end_POSTSUPERSCRIPT , … , ( italic_γ start_POSTSUBSCRIPT italic_M , italic_U end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_o italic_b italic_j end_POSTSUPERSCRIPT } are fedback to the M𝑀Mitalic_M RSUs in the network, and also saved in memory for the next iteration of the outer-loop.

Meanwhile, there are MU𝑀𝑈M\cdot Uitalic_M ⋅ italic_U inner-loops that are implemented in the network to adjust the transmission power according to (22) at each k𝑘kitalic_k-time instant. Each RSU computes U𝑈Uitalic_U error signals in (21) by using the SINR estimation γl,i[k]subscript𝛾𝑙𝑖delimited-[]𝑘\gamma_{l,i}[k]italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] in (9) coming from the αβγ𝛼𝛽𝛾\alpha-\beta-\gammaitalic_α - italic_β - italic_γ filter, the objective SINR (γl,it)objsuperscriptsuperscriptsubscript𝛾𝑙𝑖𝑡𝑜𝑏𝑗(\gamma_{l,i}^{t})^{obj}( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_o italic_b italic_j end_POSTSUPERSCRIPT, and the transmission power pl,i[k]subscript𝑝𝑙𝑖delimited-[]𝑘p_{l,i}[k]italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] (QoS Quantification blocks in Fig. 3). As a result, each RSU has to run in parallel U𝑈Uitalic_U filters in (7)-(11) to estimate the SINRs in each OBU. Meanwhile, the raw SINR measurement γ^l,i[k]subscript^𝛾𝑙𝑖delimited-[]𝑘\hat{\gamma}_{l,i}[k]over^ start_ARG italic_γ end_ARG start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT [ italic_k ] in (1) could be computed by the RSUs from either a direct substitution of the channel gains, transmission powers, noise variance, data transmission rate and channel bandwidth, or by pilot-based time or frequency domain estimation [30, 31]. Finally, the OBUs implement the power adjustment algorithm in (22) that involves nRTsubscript𝑛𝑅𝑇n_{RT}italic_n start_POSTSUBSCRIPT italic_R italic_T end_POSTSUBSCRIPT memory units, three scaling operations and two summations. In the overall, the complexity of the proposed utility maximization methodology in Fig. 3 is distributed among the network central unit, M𝑀Mitalic_M RSUs and MU𝑀𝑈M\cdot Uitalic_M ⋅ italic_U OBUs.

IV Simulation Evaluation

The proposed scheme to maximize the network utility in Fig. 3 was evaluated through numerical simulation in the uplink of a VCN, where three omnidirectional RSUs of 1 km radius in the network are considered, i.e. M=3𝑀3M=3italic_M = 3, with seven OBU’s linked to each RSU, i.e. U=7𝑈7U=7italic_U = 7. Each part of our simulation platform was initially validated as an isolated system. This validation process included the individual testing of our small-scale simulator, large-scale fading simulators, mobility profile simulator, and power control algorithms [19, 20, 21, 22, 29]. Then, we conducted several trials to make sure that the numerical results produced by the complete simulation platform were consistent. The parameters of the simulation are illustrated in Table III, where the numerical implementation was carried out in Matlab.

The simulation platform is initialized by considering a distribution of the OBUs as shown in Fig. 1. In the mobility model, we are considering a straight road scenario that is typically found in urban, semi-urban and rural environments, where the OBUs have a constant velocity. In the testing conditions, the minimum safety distance among neighboring OBUs is 10 m. During the first 50 iterations of the inner-loops, the initial power for all OBUs is set at 1 pW, and the objective SINR is constant for them at 5 dB, which results in a data transmission rate of 3 Mbps [32]. Furthermore, during the evaluation, the time-delay related to QoS quantification and network latency was varied between 0 and 10 samples with an uniform distribution, where the time-delay is updated every 20 samples (i.e. every second). This condition is adopted since vehicular communications in practice face a maximum latency of 500 ms [1], which corresponds to 10 samples in this work. With this consideration, in the LQG algorithm in (22), an estimated value of nRT=5subscript𝑛𝑅𝑇5n_{RT}=5italic_n start_POSTSUBSCRIPT italic_R italic_T end_POSTSUBSCRIPT = 5 is considered. In the overall network, the VCN setup considers 21 active OBUs and 3 RSUs with interference between adjacent channels, and interference from RSU to RSU. Three different propagation scenarios are validated for the OBUs mobility:

  • Scenario A: some OBUs approach and others drive away from the RSU, as shown in Fig. 1.

  • Scenario B: all the OBUs approach simultaneously to the RSU.

  • Scenario C: all the OBUs move away from the RSU.

To compare the utility improvements by the time-varying objective SINRs in (20), the same three scenarios are evaluated with fixed objective SINRs in the inner-loops of 5, 7, 9 and 11 dB for all OBUs in the network.

Table III: Parameters of the VCN during the simulation evaluation.
Parameter Variable Value
Total number of OBUs U𝑈Uitalic_U 21
Total number of RSUs M𝑀Mitalic_M 3
Noise power σ2superscript𝜎2\sigma^{2}italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT -90 dBm
Number of bits per OFDM symbol N𝑁Nitalic_N 64
Number of information bits per per L𝐿Litalic_L 48
OFDM symbol
Bandwidth per channel W𝑊Witalic_W 10 MHz
Data rate rl,isubscript𝑟𝑙𝑖r_{l,i}italic_r start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT 3 Mbps
Control Gain LQG ΩΩ\Omegaroman_Ω 0.10
Frequency of power control update f1subscript𝑓1f_{1}italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT 20 Hz
Frequency of objective SINR update f2subscript𝑓2f_{2}italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT 2/5252/52 / 5 Hz
Update period of outer-loop Q𝑄Qitalic_Q 50
Cell coverage radius R𝑅Ritalic_R 1 km
Duration of the simulation t𝑡titalic_t 25 s
Maximum transmission power pmaxsubscript𝑝𝑚𝑎𝑥p_{max}italic_p start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT 30.2 W
Minimum transmission power pminsubscript𝑝𝑚𝑖𝑛p_{min}italic_p start_POSTSUBSCRIPT italic_m italic_i italic_n end_POSTSUBSCRIPT 1 p𝑝pitalic_pW
Minimum safety distance dminsubscript𝑑𝑚𝑖𝑛d_{min}italic_d start_POSTSUBSCRIPT italic_m italic_i italic_n end_POSTSUBSCRIPT 10 m
Distance from highway to RSU D𝐷Ditalic_D 150 m
Loss-exponent ϵitalic-ϵ\epsilonitalic_ϵ 3
Maximum delay nRTmaxsuperscriptsubscript𝑛𝑅𝑇𝑚𝑎𝑥n_{RT}^{max}italic_n start_POSTSUBSCRIPT italic_R italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m italic_a italic_x end_POSTSUPERSCRIPT 10 samples
Minimum delay nRTminsuperscriptsubscript𝑛𝑅𝑇𝑚𝑖𝑛n_{RT}^{min}italic_n start_POSTSUBSCRIPT italic_R italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m italic_i italic_n end_POSTSUPERSCRIPT 0 samples
Estimated delay for the LQG control nRTsubscript𝑛𝑅𝑇n_{RT}italic_n start_POSTSUBSCRIPT italic_R italic_T end_POSTSUBSCRIPT 5 samples
Maximum latency Lmaxsubscript𝐿𝑚𝑎𝑥L_{max}italic_L start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT 500 ms
Gains of smoothing filter α𝛼\alphaitalic_α 0.4
β𝛽\betaitalic_β 0.001
γ𝛾\gammaitalic_γ 2×1052superscript1052\times 10^{-5}2 × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT
Standard deviation of the shadow σLsubscript𝜎𝐿\sigma_{L}italic_σ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT 6 dB
fading
Mean of the shadow fading mLsubscript𝑚𝐿m_{L}italic_m start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT 0

IV-A Scenario A

In this scenario, for the described mobility profile, we consider three constant propagation speeds for the OBUs: a) 72 km/h, b) 90 km/h, and c) 108 km/h. In our simulations, the large-scale and small-scale fadings in (3) are updated at each k𝑘kitalic_k-time instant. For comparison purposes, a Monte Carlo evaluation is presented with 100 closed-loop realizations of 500 samples each one, where the network utility in (15) is computed every time sample. The results of this evaluation are presented in Figs. 4, 5 and 6. As expected, the maximum network utility is accomplished by our proposal in Fig. 3 with the optimum SINR in (20), and despite the time-varying mobility profile with different propagation speeds. Note that during the first 50 samples, the objective SINR is fixed at 5 dB, and next, the optimal time-varying SINR is updated every 50 samples (i.e. Q=50𝑄50Q=50italic_Q = 50). For this reason, after the first 50 samples, a large transient is observed in the network utility for the optimal strategy in Figs. 4, 5 and 6, compared to the fixed objective SINR conditions. In these three figures, we observe that for all objective SINR conditions, the network utility achieves a peak during the 500 samples of the simulation, which corresponds to the time of minimum distance of the OBUs to the RSU. As a result, these peak utility conditions are achieved at different time instants which are modified by the propagation speeds, i.e. as the speed is larger, the peak utility is reached earlier.

Refer to caption
Figure 4: Scenario A: Monte Carlo evaluation of the instantaneous network utility in (15), with 100 closed-loop realizations of 500 samples total duration, and OBUs speed of 72 km/h (the OBUs approach and move away from the RSUs).
Refer to caption
Figure 5: Scenario A: Monte Carlo evaluation of the instantaneous network utility in (15), with 100 closed-loop realizations of 500 samples total duration, and OBUs speed of 90 km/h (the OBUs approach and move away from the RSUs).
Refer to caption
Figure 6: Scenario A: Monte Carlo evaluation of the instantaneous network utility in (15), with 100 closed-loop realizations of 500 samples total duration, and OBUs speed of 108 km/h (the OBUs approach and move away from the RSU).

Figure 7 illustrates one realization of the time responses for the LQG power allocation in (22) for the inner-loops in Scenario A and OBUs speed of 72 km/h. In fact, the corresponding results at 90 km/h and 108 km/h show the same time pattern, but are omitted for brevity. In Fig. 7, the top panel presents the required transmission power level for each OBU throughout the simulation time by the LQG control law, as well as, the average power level for all OBUs; meanwhile, the bottom panel shows the achieved SINR for each OBU, and also the average SINR response. Hence, in the first 50 samples, the objective SINR is fixed at 5 dB for all OBUs and after this initialization period, each OBU has a different target for the rest of the simulation time to maximize the network utility in (15). Note that the optimal objective SINRs are always lower to 10 dB, but as shown in Fig. 4, the obtained network utility is larger than for the constant objective SINR conditions of 5, 7, 9 and 11 dB. Due to the fast channel variations, the SINR produces small oscillations around its objective value. This effect can be visualized in the bottom panel of Fig. 7, where the time-varying channel gains produce perturbations in the SINR tracking performance, but the LQG scheme is always able to compensate these variations. In addition, Fig. 8 illustrates the resulting power per OBU, where due to the time-varying mobility profiles, the instantaneous transmission power has a minimum value when the OBUs are close to the RSUs, and at the end of the simulation, this value is raised since the OBUs are moving away from them. In this plot, the dynamic property of the LQG power allocation scheme in (22) compensates the fast and slow channel fadings, and the OBU mobility profiles to track the objective SINRs.

Refer to caption
Figure 7: Scenario A: Sample of the LQG power allocation in the inner-loops with OBUs speed of 72 km/ h (the OBUs approach and move away from the RSU): (bottom) instantaneous SINR, and (top) transmission power level.
Refer to caption
Figure 8: Scenario A: Sample of the transmission power per OBU in the inner-loops with speed of 72 km/h (the OBUs approach and move away from the RSU).

IV-B Scenario B

A new Monte Carlo evaluation is considered with also 100 closed-loop realizations and 500 samples in each one for a speed of 72 km/h. Once more, for brevity, the responses at constant speeds of 90 km/h and 108 km/h are omitted, but the performance is consistent with Scenario A. The results in Fig. 9 show that our optimal scheme allows to maximize the network utility compared to fixed objective SINRs of 5, 7, 9 and 11 dB in Scenario B. Our results illustrate that the network utility keep increasing during all the simulation time, since the OBUs are approaching to the RSUs at a constant speed, and consequently, the channel response is improving continuously.

Refer to caption
Figure 9: Scenario B: Monte Carlo evaluation of the instantaneous network utility in (15), with 100 closed-loop realization of 500 samples total duration, and OBUs speed of 72 km/h (all the OBUs approach the RSU).

Meanwhile, the bottom panel of Fig. 10 shows a realization of the SINR response obtained by the dynamic LQG power allocation algorithm in (22) for Scenario B at OBUs constant speeds of 72 km/h. This plot presents the performance of the 21 OBUs in the VCN, where all the OBUs are able to achieve their objective values despite time-varying mobility profile and interference. On the other hand, the transmission power required to achieve this time-varying objective SINR is illustrated in the top panel of Fig. 10. Also, Fig. 11 shows a detailed response of the transmission power per OBU in the network over the 500 samples of simulation time, where this parameter keeps decreasing after half the evaluation time, since all OBUs are approaching to the corresponding RSU.

Refer to caption
Figure 10: Scenario B: Sample of the LQG power allocation in the inner-loops with OBUs speed of 72 km/ h (all the OBUs approach the RSU): (bottom) instantaneous SINR, and (top) transmission power level.
Refer to caption
Figure 11: Scenario B: Sample of the transmission power per OBU in the inner-loops with speed of 72 km/h (all the OBUs approach the RSU).

IV-C Scenario C

Figure 12 shows the Monte Carlo evaluation with 100 realizations of 500 samples at a speed of 72 km/h, when all the OBUs move away from the RSUs. Figure 12 illustrates that the network utility decreases monotonically during the evaluation time, since the propagation channels are reducing their gains by the increased path loss. Nonetheless, these results highlight that our proposed scheme once more reaches the maximum utility compared to the fixed objective SINRs of 5, 7, 9 and 11 dB in Fig 3. The abrupt transient in Fig. 12 after the initialization time is due to the dynamic effect of the optimization process, and the large step from the fixed objective SINR at 5 dB, during the first 50 samples.

Refer to caption
Figure 12: Scenario C: Monte Carlo evaluation of instantaneous network utility in (15), with 100 closed-loop realization of 500 samples total duration, and OBUs speed of 72 km/h (all the OBUs move away from the RSU).

Finally, Fig. 13 shows a realization of the LQG power allocation in the inner-loops over 500 samples in terms of SINR tracking (bottom panel), and required transmission power (top panel). Meanwhile, Fig. 14 shows the resulting transmission power per OBU in the network over the 500 samples of the simulation time. In this scenario, the transmission power has to be constantly raised to maintain the desired objective SINRs, which are defined by the outer-loop (see Fig. 3). Figures 13 and 14 show that the maximum allowable transmission power starting at roughly 450 samples of the simulation time degrades the SINR tracking performance. It is worth mentioning that the performance degradation is caused by the OBUs that operate in channels 5 and 6 of the 5.9 GHz band (short distance channels), since the IEEE 802.11p standard limits their maximum transmission power levels in the uplink and downlink. Nonetheless, as shows Fig. 12, our proposed scheme reached the maximum utility despite this transmission power limitation.

Refer to caption
Figure 13: Scenario C: Sample of the LQG power allocation in the inner-loops with OBUs speed of 72 km/ h (all the OBUs move away from the RSU): (bottom) instantaneous SINR, and (top) transmission power level.
Refer to caption
Figure 14: Scenario C: Sample of the transmission power per OBU in the inner-loops with speed of 72 km/h (all the OBUs move away from the RSU).

As a general remark, the lowest network utility for all the propagation scenarios described in Figs. 4, 5, 6, 9 and 12 is obtained with the fixed objective SINR of 5 dB in the inner loops. We highlight that for this low SINR value, the QoS in the V2I communication links achieved a low throughput, despite the low levels of interference, producing the smallest utility function values. Whereas the fixed objective SINR of 11 dB reached the second lowest network utility. But In this latter case, the high objective SINR required high transmission power of the OBUs which produced larger interference, and also a larger weight in the denominator of (12), so the resulting utility was also low. Consequently, from the results in Figs. 4, 5, 6, 9 and 12, time-varying objective SINRs between 7 and 9 dB are needed by the inner-loops to achieve the maximum network utility, which are supplied by the outer-loop in our proposal of Fig. 3.

To demonstrate the practicability of our network utility optimization scheme, the simulation time cost was computed during the Monte Carlo evaluations for all propagation scenarios with a speed of 72 km/h. The computing platform had the following technical characteristics: IntelR CoreTM i3-6100U CPU @2.3 GHz and 16 GB RAM. The mean computational time±plus-or-minus\pm±standard deviation for the three conditions were: 9.79±plus-or-minus\pm±1.83 s (Scenario A), 9.98±plus-or-minus\pm±1.71 s (Scenario B), and 9.96±plus-or-minus\pm±1.45 s (Scenario C). Hence, there is no significant difference in the mean-time cost for the three mobility scenarios with a similar variability. Moreover, our results highlight a low time cost for our application of network utility optimization.

V Conclusion

In this paper, we proposed to maximize network utility based on the IEEE 802.11p standard, where the uplink of a vehicular communication system (vehicle-to-infrastructure) was addressed. First, the IEEE 802.11p standard was studied to analyze the relation among interference, SINR and transmission power in each OBU of the network. The problem of utility maximization in a VCN was formulated mathematically, and the optimality conditions were derived. Based on the relation between transmission power and SINR due to interference in the network, a distributed solution was proposed for utility maximization, which is implemented at three hierarchical levels: network central unit, RSUs, and OBUs. The proposed solution involved a two-loop feedback structure at different time-scales: the network central unit coordinates the outer-loop that computes the optimal objective SINRs, according to the degree of interference in the network and to maximize network utility; meanwhile the inner-control loops involve the RSU and OBUs feedback paths to update the transmission power dynamically with the aim of compensating channel variations and network latency. Our results showed that the proposed scheme not only guaranteed the maximum utility of the network, but also improved its power efficiency which allows to reduce the interference between adjacent channels, and the interference from RSU to RSU. Finally, our numerical evaluation illustrated that the proposed scheme obtained the optimum SINRs which achieved maximum network utility compared to fixed objective SINRs (i.e. 5 dB, 7 dB, 9 dB and 11 dB). Furthermore, the results of the evaluation highlighted that the maximum utility is consistent for the diverse testing scenarios and mobility profiles with a low time cost. The analytical derivations and validation stage of our network utility maximization scheme leave many important directions of future work: (i) derive a downlink implementation of the distributed maximization scheme, (ii) formulate the model and corresponding solution to the LTE-V standard, and (iii) carry out an empirical evaluation of the proposed distributed optimization scheme.

Acknowledgment

The authors thank CONACYT for supporting Miguel A. Diaz-Ibarra with a doctoral fellowship, and by a Basic Science Grant (Ref. # 254637)

Appendix

From the utility definition in (13) for the i𝑖iitalic_i-th OBU at l𝑙litalic_l-th RSU, and taking partial derivatives [33], we obtain (for simplicity the dependence on the time index k𝑘kitalic_k will be omitted):

ul,ipl,isubscript𝑢𝑙𝑖subscript𝑝𝑙𝑖\displaystyle\frac{\partial u_{l,i}}{\partial p_{l,i}}divide start_ARG ∂ italic_u start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG =wl,i(pl,i)2{pl,if(γl,i)γl,ipl,if(γl,i)},absentsubscript𝑤𝑙𝑖superscriptsubscript𝑝𝑙𝑖2subscript𝑝𝑙𝑖superscript𝑓subscript𝛾𝑙𝑖subscript𝛾𝑙𝑖subscript𝑝𝑙𝑖𝑓subscript𝛾𝑙𝑖\displaystyle=\dfrac{w_{l,i}}{(p_{l,i})^{2}}\left\{p_{l,i}f^{\prime}(\gamma_{l% ,i})\frac{\partial\gamma_{l,i}}{\partial p_{l,i}}-f(\gamma_{l,i})\right\}% \leavevmode\nobreak\ ,= divide start_ARG italic_w start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ( italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG { italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) divide start_ARG ∂ italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG - italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) } , (24)
ul,ipm,isubscript𝑢𝑙𝑖subscript𝑝𝑚𝑖\displaystyle\frac{\partial u_{l,i}}{\partial p_{m,i}}divide start_ARG ∂ italic_u start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT end_ARG =wl,ipl,if(γl,i)γl,ipm,i,absentsubscript𝑤𝑙𝑖subscript𝑝𝑙𝑖superscript𝑓subscript𝛾𝑙𝑖subscript𝛾𝑙𝑖subscript𝑝𝑚𝑖\displaystyle=\dfrac{w_{l,i}}{p_{l,i}}f^{\prime}(\gamma_{l,i})\frac{\partial% \gamma_{l,i}}{\partial p_{m,i}}\leavevmode\nobreak\ ,= divide start_ARG italic_w start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) divide start_ARG ∂ italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT end_ARG , (25)
ul,ipl,jsubscript𝑢𝑙𝑖subscript𝑝𝑙𝑗\displaystyle\frac{\partial u_{l,i}}{\partial p_{l,j}}divide start_ARG ∂ italic_u start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT end_ARG =wl,ipl,if(γl,i)γl,ipl,j.absentsubscript𝑤𝑙𝑖subscript𝑝𝑙𝑖superscript𝑓subscript𝛾𝑙𝑖subscript𝛾𝑙𝑖subscript𝑝𝑙𝑗\displaystyle=\dfrac{w_{l,i}}{p_{l,i}}f^{\prime}(\gamma_{l,i})\frac{\partial% \gamma_{l,i}}{\partial p_{l,j}}\leavevmode\nobreak\ .= divide start_ARG italic_w start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) divide start_ARG ∂ italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT end_ARG . (26)

Next, the partial derivatives of the SINR γl,isubscript𝛾𝑙𝑖\gamma_{l,i}italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT with respect to the transmission power components are computed:

γl,ipl,i=Hl,il,γl,ipm,i=γl,iHl,im,γl,ipl,j=γl,iHl,ij,formulae-sequencesubscript𝛾𝑙𝑖subscript𝑝𝑙𝑖superscriptsubscript𝐻𝑙𝑖𝑙formulae-sequencesubscript𝛾𝑙𝑖subscript𝑝𝑚𝑖subscript𝛾𝑙𝑖superscriptsubscript𝐻𝑙𝑖𝑚subscript𝛾𝑙𝑖subscript𝑝𝑙𝑗subscript𝛾𝑙𝑖superscriptsubscript𝐻𝑙𝑖𝑗\frac{\partial\gamma_{l,i}}{\partial p_{l,i}}=H_{l,i}^{l}\leavevmode\nobreak\ % ,\quad\frac{\partial\gamma_{l,i}}{\partial p_{m,i}}=-\gamma_{l,i}H_{l,i}^{m}% \leavevmode\nobreak\ ,\quad\frac{\partial\gamma_{l,i}}{\partial p_{l,j}}=-% \gamma_{l,i}H_{l,i}^{j}\leavevmode\nobreak\ ,divide start_ARG ∂ italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG = italic_H start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT , divide start_ARG ∂ italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT end_ARG = - italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT , divide start_ARG ∂ italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT end_ARG = - italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT , (27)

where

Hl,ilsuperscriptsubscript𝐻𝑙𝑖𝑙\displaystyle H_{l,i}^{l}italic_H start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT Wrl,i|hl,i|2Il,i+h=1,hlMph,i|hh,i|2+σl,i2,absent𝑊subscript𝑟𝑙𝑖superscriptsubscript𝑙𝑖2subscript𝐼𝑙𝑖superscriptsubscriptformulae-sequence1𝑙𝑀subscript𝑝𝑖superscriptsubscript𝑖2subscriptsuperscript𝜎2𝑙𝑖\displaystyle\triangleq\frac{\dfrac{W}{r_{l,i}}|h_{l,i}|^{2}}{I_{l,i}+\sum_{h=% 1,h\neq l}^{M}p_{h,i}|h_{h,i}|^{2}+\sigma^{2}_{l,i}}\leavevmode\nobreak\ ,≜ divide start_ARG divide start_ARG italic_W end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG | italic_h start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_I start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_h = 1 , italic_h ≠ italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_h , italic_i end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_h , italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG , (28)
Hl,imsuperscriptsubscript𝐻𝑙𝑖𝑚\displaystyle H_{l,i}^{m}italic_H start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT |hm,i|2Il,i+h=1,hmMph,i|hh,i|2+σl,i2,absentsuperscriptsubscript𝑚𝑖2subscript𝐼𝑙𝑖superscriptsubscriptformulae-sequence1𝑚𝑀subscript𝑝𝑖superscriptsubscript𝑖2subscriptsuperscript𝜎2𝑙𝑖\displaystyle\triangleq\frac{|h_{m,i}|^{2}}{I_{l,i}+\sum_{h=1,h\neq m}^{M}p_{h% ,i}|h_{h,i}|^{2}+\sigma^{2}_{l,i}}\leavevmode\nobreak\ ,≜ divide start_ARG | italic_h start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_I start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_h = 1 , italic_h ≠ italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_h , italic_i end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_h , italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG , (29)
Hl,ijsuperscriptsubscript𝐻𝑙𝑖𝑗\displaystyle H_{l,i}^{j}italic_H start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT Il,ipl,jIl,i+h=1,hlMph,i|hh,i|2+σl,i2.absentsubscript𝐼𝑙𝑖subscript𝑝𝑙𝑗subscript𝐼𝑙𝑖superscriptsubscriptformulae-sequence1𝑙𝑀subscript𝑝𝑖superscriptsubscript𝑖2subscriptsuperscript𝜎2𝑙𝑖\displaystyle\triangleq\frac{\frac{\partial I_{l,i}}{\partial p_{l,j}}}{I_{l,i% }+\sum_{h=1,h\neq l}^{M}p_{h,i}|h_{h,i}|^{2}+\sigma^{2}_{l,i}}\leavevmode% \nobreak\ .≜ divide start_ARG divide start_ARG ∂ italic_I start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_I start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_h = 1 , italic_h ≠ italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_h , italic_i end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_h , italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG . (30)

Then, the partial derivative of the ACI Il,isubscript𝐼𝑙𝑖I_{l,i}italic_I start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT with respect to each transmission power component is calculated as:

Il,ipl,j={j=i1,jii+1cl,j|hl,j|2ifj[i1,i+1],i{2,,U1}cl,j|hl,j|2ifi=1j=2i=U1j=U0otherwise,subscript𝐼𝑙𝑖subscript𝑝𝑙𝑗casessuperscriptsubscriptformulae-sequence𝑗𝑖1𝑗𝑖𝑖1subscript𝑐𝑙𝑗superscriptsubscript𝑙𝑗2if𝑗𝑖1𝑖1missing-subexpressionfor-all𝑖2𝑈1subscript𝑐𝑙𝑗superscriptsubscript𝑙𝑗2if𝑖1𝑗limit-from2missing-subexpression𝑖𝑈1𝑗𝑈0otherwise\frac{\partial I_{l,i}}{\partial p_{l,j}}=\left\{\begin{array}[]{cl}\sum_{j=i-% 1,j\neq i}^{i+1}c_{l,j}|h_{l,j}|^{2}&\textrm{if}\;\;j\in[i-1,i+1]\leavevmode% \nobreak\ ,\\ &\forall i\in\{2,...,U-1\}\\ c_{l,j}|h_{l,j}|^{2}&\textrm{if}\;\;i=1\;\Rightarrow\;j=2\;\;\vee\\ &i=U-1\;\Rightarrow\;j=U\\ 0&\mbox{otherwise}\end{array}\right.\leavevmode\nobreak\ ,divide start_ARG ∂ italic_I start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT end_ARG = { start_ARRAY start_ROW start_CELL ∑ start_POSTSUBSCRIPT italic_j = italic_i - 1 , italic_j ≠ italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i + 1 end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_CELL start_CELL if italic_j ∈ [ italic_i - 1 , italic_i + 1 ] , end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL ∀ italic_i ∈ { 2 , … , italic_U - 1 } end_CELL end_ROW start_ROW start_CELL italic_c start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_CELL start_CELL if italic_i = 1 ⇒ italic_j = 2 ∨ end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL italic_i = italic_U - 1 ⇒ italic_j = italic_U end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL otherwise end_CELL end_ROW end_ARRAY , (31)

where the interference coefficients {cl,j}subscript𝑐𝑙𝑗\{c_{l,j}\}{ italic_c start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT } are defined in (2). By a direct substitution of (27) into (24), (25) and (26), respectively, it is deduced that:

ul,ipl,isubscript𝑢𝑙𝑖subscript𝑝𝑙𝑖\displaystyle\frac{\partial u_{l,i}}{\partial p_{l,i}}divide start_ARG ∂ italic_u start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG =wl,i(pl,i)2{f(γl,i)pl,iHl,ilγl,if(γl,i)},absentsubscript𝑤𝑙𝑖superscriptsubscript𝑝𝑙𝑖2superscript𝑓subscript𝛾𝑙𝑖subscriptsubscript𝑝𝑙𝑖superscriptsubscript𝐻𝑙𝑖𝑙subscript𝛾𝑙𝑖𝑓subscript𝛾𝑙𝑖\displaystyle=\dfrac{w_{l,i}}{(p_{l,i})^{2}}\left\{f^{\prime}(\gamma_{l,i})% \underbrace{p_{l,i}H_{l,i}^{l}}_{\gamma_{l,i}}-f(\gamma_{l,i})\right\}% \leavevmode\nobreak\ ,= divide start_ARG italic_w start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ( italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG { italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) under⏟ start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT - italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) } , (32)
=wl,i(pl,i)2{f(γl,i)γl,if(γl,i)},absentsubscript𝑤𝑙𝑖superscriptsubscript𝑝𝑙𝑖2superscript𝑓subscript𝛾𝑙𝑖subscript𝛾𝑙𝑖𝑓subscript𝛾𝑙𝑖\displaystyle=\dfrac{w_{l,i}}{(p_{l,i})^{2}}\left\{f^{\prime}(\gamma_{l,i})% \gamma_{l,i}-f(\gamma_{l,i})\right\}\leavevmode\nobreak\ ,= divide start_ARG italic_w start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ( italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG { italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT - italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) } , (33)
ul,ipm,isubscript𝑢𝑙𝑖subscript𝑝𝑚𝑖\displaystyle\frac{\partial u_{l,i}}{\partial p_{m,i}}divide start_ARG ∂ italic_u start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT end_ARG =wl,ipl,if(γl,i)γl,iHl,im,absentsubscript𝑤𝑙𝑖subscript𝑝𝑙𝑖superscript𝑓subscript𝛾𝑙𝑖subscript𝛾𝑙𝑖superscriptsubscript𝐻𝑙𝑖𝑚\displaystyle=-\dfrac{w_{l,i}}{p_{l,i}}f^{\prime}(\gamma_{l,i})\gamma_{l,i}H_{% l,i}^{m}\leavevmode\nobreak\ ,= - divide start_ARG italic_w start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT , (34)
ul,ipl,jsubscript𝑢𝑙𝑖subscript𝑝𝑙𝑗\displaystyle\frac{\partial u_{l,i}}{\partial p_{l,j}}divide start_ARG ∂ italic_u start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT end_ARG ={wl,ipl,if(γl,i)γl,iHl,ijifj[i1,i+1],i{2,,U1}wl,ipl,if(γl,i)γl,iHl,ijifi=1j=2i=U1j=U0otherwise.absentcasessubscript𝑤𝑙𝑖subscript𝑝𝑙𝑖superscript𝑓subscript𝛾𝑙𝑖subscript𝛾𝑙𝑖superscriptsubscript𝐻𝑙𝑖𝑗if𝑗𝑖1𝑖1missing-subexpressionfor-all𝑖2𝑈1subscript𝑤𝑙𝑖subscript𝑝𝑙𝑖superscript𝑓subscript𝛾𝑙𝑖subscript𝛾𝑙𝑖superscriptsubscript𝐻𝑙𝑖𝑗if𝑖1𝑗limit-from2missing-subexpression𝑖𝑈1𝑗𝑈0otherwise\displaystyle=\left\{\begin{array}[]{cl}-\dfrac{w_{l,i}}{p_{l,i}}f^{\prime}(% \gamma_{l,i})\gamma_{l,i}H_{l,i}^{j}&\textrm{if}\;\;j\in[i-1,i+1]\leavevmode% \nobreak\ ,\\ &\forall i\in\{2,...,U-1\}\\ -\dfrac{w_{l,i}}{p_{l,i}}f^{\prime}(\gamma_{l,i})\gamma_{l,i}H_{l,i}^{j}&% \textrm{if}\;\;i=1\;\Rightarrow\;j=2\;\;\vee\\ &i=U-1\;\Rightarrow\;j=U\\ 0&\mbox{otherwise}\leavevmode\nobreak\ .\end{array}\right.= { start_ARRAY start_ROW start_CELL - divide start_ARG italic_w start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT end_CELL start_CELL if italic_j ∈ [ italic_i - 1 , italic_i + 1 ] , end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL ∀ italic_i ∈ { 2 , … , italic_U - 1 } end_CELL end_ROW start_ROW start_CELL - divide start_ARG italic_w start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT end_CELL start_CELL if italic_i = 1 ⇒ italic_j = 2 ∨ end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL italic_i = italic_U - 1 ⇒ italic_j = italic_U end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL otherwise . end_CELL end_ROW end_ARRAY (40)

The partial derivative of the network utility 𝒰𝒰\mathcal{U}caligraphic_U with respect to the transmission power for the i𝑖iitalic_i-th OBU to l𝑙litalic_l-th RSU is:

𝒰(𝐩1,,𝐩M)pl,i=h=1Mj=1Uuh,jpl,i.𝒰subscript𝐩1subscript𝐩𝑀subscript𝑝𝑙𝑖superscriptsubscript1𝑀superscriptsubscript𝑗1𝑈subscript𝑢𝑗subscript𝑝𝑙𝑖\frac{\partial\mathcal{U}(\mathbf{p}_{1},\ldots,\mathbf{p}_{M})}{\partial p_{l% ,i}}=\sum_{h=1}^{M}\sum_{j=1}^{U}\frac{\partial u_{h,j}}{\partial p_{l,i}}% \leavevmode\nobreak\ .divide start_ARG ∂ caligraphic_U ( bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , bold_p start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ) end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG = ∑ start_POSTSUBSCRIPT italic_h = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U end_POSTSUPERSCRIPT divide start_ARG ∂ italic_u start_POSTSUBSCRIPT italic_h , italic_j end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG . (41)

By a direct substitution of (33), (34) and (40) into (41), it is obtained:

𝒰(𝐩1,,𝐩M)pl,i𝒰subscript𝐩1subscript𝐩𝑀subscript𝑝𝑙𝑖\displaystyle\frac{\partial\mathcal{U}(\mathbf{p}_{1},\ldots,\mathbf{p}_{M})}{% \partial p_{l,i}}divide start_ARG ∂ caligraphic_U ( bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , bold_p start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ) end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG =m=1,mlMwl,ipl,if(γm,i)Hm,ilγm,iabsentsuperscriptsubscriptformulae-sequence𝑚1𝑚𝑙𝑀subscript𝑤𝑙𝑖subscript𝑝𝑙𝑖𝑓subscript𝛾𝑚𝑖superscriptsubscript𝐻𝑚𝑖𝑙subscript𝛾𝑚𝑖\displaystyle=-\sum_{m=1,m\neq l}^{M}\dfrac{w_{l,i}}{p_{l,i}}f(\gamma_{m,i})H_% {m,i}^{l}\gamma_{m,i}= - ∑ start_POSTSUBSCRIPT italic_m = 1 , italic_m ≠ italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT divide start_ARG italic_w start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG italic_f ( italic_γ start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT ) italic_H start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT italic_γ start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT
m=1,mlMwl,jpl,jf(γl,j)Hl,jiγl,jsuperscriptsubscriptformulae-sequence𝑚1𝑚𝑙𝑀subscript𝑤𝑙𝑗subscript𝑝𝑙𝑗𝑓subscript𝛾𝑙𝑗superscriptsubscript𝐻𝑙𝑗𝑖subscript𝛾𝑙𝑗\displaystyle\qquad-\;\sum_{m=1,m\neq l}^{M}\dfrac{w_{l,j}}{p_{l,j}}f(\gamma_{% l,j})H_{l,j}^{i}\gamma_{l,j}- ∑ start_POSTSUBSCRIPT italic_m = 1 , italic_m ≠ italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT divide start_ARG italic_w start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT end_ARG italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT ) italic_H start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_γ start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT (42)
+wl,i(pl,i)2{f(γl,i)γl,if(γl,i)}.subscript𝑤𝑙𝑖superscriptsubscript𝑝𝑙𝑖2superscript𝑓subscript𝛾𝑙𝑖subscript𝛾𝑙𝑖𝑓subscript𝛾𝑙𝑖\displaystyle\qquad+\;\dfrac{w_{l,i}}{(p_{l,i})^{2}}\left\{f^{\prime}(\gamma_{% l,i})\gamma_{l,i}-f(\gamma_{l,i})\right\}\leavevmode\nobreak\ .+ divide start_ARG italic_w start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ( italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG { italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT - italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) } .

As a result, if the partial derivative of the network utility in (41) is set equal to zero, it is deduced an algebraic condition for optimality which is crucial in our distributed strategy:

f(γl,i)γl,if(γl,i)=M^l,i(𝜸,𝐩)i[1,U],l[1,M],formulae-sequence𝑓subscript𝛾𝑙𝑖subscript𝛾𝑙𝑖𝑓subscript𝛾𝑙𝑖subscript^𝑀𝑙𝑖𝜸𝐩for-all𝑖1𝑈𝑙1𝑀f(\gamma_{l,i})\gamma_{l,i}-f(\gamma_{l,i})=\hat{M}_{l,i}(\boldsymbol{\gamma},% \mathbf{p})\;\;\forall i\in[1,U],\;l\in[1,M]\leavevmode\nobreak\ ,italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT - italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) = over^ start_ARG italic_M end_ARG start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ( bold_italic_γ , bold_p ) ∀ italic_i ∈ [ 1 , italic_U ] , italic_l ∈ [ 1 , italic_M ] , (43)

where

M^l,i(𝜸,𝐩)subscript^𝑀𝑙𝑖𝜸𝐩\displaystyle\hat{M}_{l,i}(\boldsymbol{\gamma},\mathbf{p})over^ start_ARG italic_M end_ARG start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ( bold_italic_γ , bold_p ) (pl,i)2wl,i{m=1,mlMwl,ipl,if(γm,i)Hm,ilγm,i\displaystyle\triangleq\dfrac{(p_{l,i})^{2}}{w_{l,i}}\left\{\sum_{m=1,m\neq l}% ^{M}\dfrac{w_{l,i}}{p_{l,i}}f(\gamma_{m,i})H_{m,i}^{l}\gamma_{m,i}\right.≜ divide start_ARG ( italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_w start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG { ∑ start_POSTSUBSCRIPT italic_m = 1 , italic_m ≠ italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT divide start_ARG italic_w start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT end_ARG italic_f ( italic_γ start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT ) italic_H start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT italic_γ start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT
+jJiwl,jpl,jf(γl,j)Hl,jiγl,j},\displaystyle\qquad\left.+\sum_{j\in J_{i}}\dfrac{w_{l,j}}{p_{l,j}}f(\gamma_{l% ,j})H_{l,j}^{i}\gamma_{l,j}\right\}\leavevmode\nobreak\ ,+ ∑ start_POSTSUBSCRIPT italic_j ∈ italic_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT divide start_ARG italic_w start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT end_ARG italic_f ( italic_γ start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT ) italic_H start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_γ start_POSTSUBSCRIPT italic_l , italic_j end_POSTSUBSCRIPT } , (44)
𝜸𝜸\displaystyle\boldsymbol{\gamma}bold_italic_γ =[γ1,1γM,U],absentsuperscriptdelimited-[]subscript𝛾11subscript𝛾𝑀𝑈top\displaystyle=[\gamma_{1,1}\;\ldots\;\gamma_{M,U}]^{\top}\leavevmode\nobreak\ ,= [ italic_γ start_POSTSUBSCRIPT 1 , 1 end_POSTSUBSCRIPT … italic_γ start_POSTSUBSCRIPT italic_M , italic_U end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT ⊤ end_POSTSUPERSCRIPT , (45)
𝐩𝐩\displaystyle\mathbf{p}bold_p =[p1,1pM,U],absentsuperscriptdelimited-[]subscript𝑝11subscript𝑝𝑀𝑈top\displaystyle=[p_{1,1}\;\ldots\;p_{M,U}]^{\top}\leavevmode\nobreak\ ,= [ italic_p start_POSTSUBSCRIPT 1 , 1 end_POSTSUBSCRIPT … italic_p start_POSTSUBSCRIPT italic_M , italic_U end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT ⊤ end_POSTSUPERSCRIPT , (46)

and

Ji={[i1,i+1]ifi{2,,U1}2ifi=1U1ifi=U.subscript𝐽𝑖cases𝑖1𝑖1if𝑖2𝑈12if𝑖1𝑈1if𝑖𝑈J_{i}=\left\{\begin{array}[]{cl}[i-1,i+1]&\textrm{if}\;\;i\in\{2,...,U-1\}\\ 2&\textrm{if}\;\;i=1\\ U-1&\textrm{if}\;\;i=U\end{array}\right.\leavevmode\nobreak\ .italic_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = { start_ARRAY start_ROW start_CELL [ italic_i - 1 , italic_i + 1 ] end_CELL start_CELL if italic_i ∈ { 2 , … , italic_U - 1 } end_CELL end_ROW start_ROW start_CELL 2 end_CELL start_CELL if italic_i = 1 end_CELL end_ROW start_ROW start_CELL italic_U - 1 end_CELL start_CELL if italic_i = italic_U end_CELL end_ROW end_ARRAY . (47)

With respect to (44), we have a non-negative property M^l,i0subscript^𝑀𝑙𝑖0\hat{M}_{l,i}\geq 0over^ start_ARG italic_M end_ARG start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT ≥ 0 of this variable, since this term agglomerates interference with other RSUs in the network, and between OBUs with adjacent channels. In fact, the optimality conditions in (43) involve MU𝑀𝑈M\cdot Uitalic_M ⋅ italic_U coupled nonlinear algebraic equations that have to be solved at each time instant. Furthermore, according to [27], the highest value of γl,isubscript𝛾𝑙𝑖\gamma_{l,i}italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT that satisfies (43) (γl,imaxsuperscriptsubscript𝛾𝑙𝑖𝑚𝑎𝑥\gamma_{l,i}^{max}italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m italic_a italic_x end_POSTSUPERSCRIPT) is obtained when M^l,i=0subscript^𝑀𝑙𝑖0\hat{M}_{l,i}=0over^ start_ARG italic_M end_ARG start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT = 0 (no-interference condition). As a result, for M^l,i>0subscript^𝑀𝑙𝑖0\hat{M}_{l,i}>0over^ start_ARG italic_M end_ARG start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT > 0, the optimal γl,isubscript𝛾𝑙𝑖\gamma_{l,i}italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT will be lower to γl,imaxsuperscriptsubscript𝛾𝑙𝑖𝑚𝑎𝑥\gamma_{l,i}^{max}italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m italic_a italic_x end_POSTSUPERSCRIPT due to interference. Another relevant property of (43) is that each OBU will have a different optimal SINR γl,isubscript𝛾𝑙𝑖\gamma_{l,i}italic_γ start_POSTSUBSCRIPT italic_l , italic_i end_POSTSUBSCRIPT to maximize the network utility.

References

  • [1] G. Karagiannis, O. Altintas, E. Ekici, G. Heijenk, B. Jarupan, K. Lin, and T. Weil, “Vehicular networking: A survey and tutorial on requirements, architectures, challenges, standards and solutions,” IEEE Communications Surveys Tutorials, vol. 13, no. 4, pp. 584–616, Apr. 2011.
  • [2] J. Kenney, “Dedicated short-range communications (DSRC) standards in the united states,” Proceedings of the IEEE, vol. 9, no. 7, pp. 1162–1182, July 2011.
  • [3] H. Peng, L. Liang, X. Shen, and G. Y. Li, “Vehicular communications: A network layer perspective,” IEEE Transactions on Vehicular Technology, vol. 68, no. 2, pp. 1064–1078, Feb. 2019.
  • [4] M. Torrent-Moreno, P. Santi, and H. Hartenstein, “Distributed fair transmit power adjustment for vehicular ad hoc networks,” 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, vol. 2, pp. 479–488, Sep. 2006.
  • [5] R. Molina-Masegosal, J. Gozalvez, and M. Sepulcre, “An ieee 802.11 p-assisted LTE-V scheduling for reliable multi-link V2X communications,” in 2018 IEEE 88th Vehicular Technology Conference, Chicago, Agust 2018, pp. 1–5.
  • [6] M. Chiang, P. Hande, T. Lan, and C. Tan, “Power control in wireless cellular networks,” Foundation and Trends in Networking, vol. 2, no. 4, pp. 381––533, 2007.
  • [7] A. Hisham, W. Sun, E. G. Strom, and F. Brannstrom, “Power control for broadcast V2V communications with adjacent carrier interference effects,” 2016 IEEE International Conference on Communications (ICC), pp. 1–6, May 2016.
  • [8] M. Torrent-Moreno, J. Mittag, P. Santi, and H. Hartenstein, “Vehicle-to-vehicle communication: Fair transmit power control for safety-critical information,” IEEE Transactions on Vehicular Technology, vol. 58, no. 7, pp. 3684–3703, Sep. 2009.
  • [9] R. Bauza, J. Gozalvez, and M. Sepulcre, “Power-aware link quality estimation for vehicular communication networks,” IEEE Communications Letters, vol. 17, no. 4, pp. 649–652, April 2013.
  • [10] Y. Ren, F. Liu, Z. Liu, C. Wang, and Y. Ji, “Power control in d2d-based vehicular communication networks,” IEEE Transactions on Vehicular Technology, vol. 64, no. 12, pp. 5547–5562, Dec 2015.
  • [11] L. Liang, J. Kim, S. C. Jha, K. Sivanesan, and G. Y. Li, “Spectrum and power allocation for vehicular communications with delayed CSI feedback,” IEEE Wireless Communications Letters, vol. 6, no. 4, pp. 458–461, Aug. 2017.
  • [12] J. Jose, C. Li, X. Wu, L. Ying, and K. Zhu, “Distributed rate and power control in dsrc,” 2015 IEEE International Symposium on Information Theory (ISIT), pp. 2822–2826, June 2015.
  • [13] N. C. Luong, D. T. Hoang, P. Wang, D. Niyato, and Z. Han, “Applications of economic and pricing models for wireless network security: a survey,” IEEE Communications Surveys Tutorials, vol. 19, no. 4, pp. 2735–2767, 2017.
  • [14] K. Konstantinos and A. Giannoulis, “Lightweight power control for energy–utility optimization in wireless networks,” Ad Hoc Networks, vol. 63, pp. 91–103, 2017.
  • [15] Q. Chen, H. Chen, R. Chai, and D. Zhao, “Network utility optimization-based joint user association and content placement in heterogeneous networks,” vol. 122, pp. 1–15, 2018.
  • [16] L. Zheng and C. Tan, “Optimal algorithms in wireless utility maximization: proportional fairness decomposition and nonlinear perron-frobenius theory framework,” vol. 13, no. 4, pp. 2086–2095, 2014.
  • [17] P. Zhang, Y. Gang, X. Huang, S. Zeng, and K. Xie, “Bandwidth allocation with utility maximization in the hybrid segment routing network,” IEEE Access, vol. 7, pp. 85 253–85 261, 2019.
  • [18] J. Gao, L. Zhao, and X. Shen, “Network utility maximization based on an incentive mechanism for truthful reporting of local information,” IEEE Transactions on Vehicular Technology, vol. 67, no. 8, pp. 7523–7537, 2018.
  • [19] C. A. Gutierrez, J. T. Gutierrez-Mena, J. M. Luna-Rivera, D. U. Campos-Delgado, R. Velázquez, and M. Patzold, “Geometry-based statistical modeling of non-wssus mobile-to-mobile rayleigh fading channels,” IEEE Transactions on Vehicular Technology, vol. 67, no. 1, pp. 362–377, 2018.
  • [20] C. Gutiérrez and M. Patzold, “The design of sum-of-cisoids Rayleigh fading channel simulators assuming non-isotropic scattering conditions,” IEEE Transactions on Wireless Communications, vol. 9, no. 4, pp. 1308–1314, Apr. 2010.
  • [21] M. Patzold, Mobile radio channels, 2nd ed.   John Wiley & Sons, 2011.
  • [22] D. U. Campos-Delgado and J. M. Luna-Rivera, “Unified framework for the analysis and design of linear uplink power control in CDMA systems,” Wireless Networks, vol. 18, no. 4, pp. 427–441, 2012.
  • [23] D. Tenne and T. Singh, “Characterizing performance of alpha;- beta;- gamma; filters,” IEEE Transactions on Aerospace and Electronic Systems, vol. 38, no. 3, pp. 1072–1087, July 2002.
  • [24] D. Simon, Optimal state estimation: Kalman, Hinfinity, and nonlinear approaches.   Wiley Interscience, 2006.
  • [25] C. U. Saraydar, N. B. Mandayam, and D. J. Goodman, “Efficient power control via pricing in wireless data networks,” IEEE Transactions on Communications, vol. 50, no. 2, pp. 291–303, Feb. 2002.
  • [26] F. Meshkati, H. V. Poor, S. C. Schwartz, and R. V. Balan, “Energy-efficient resource allocation in wireless networks with quality-of-service constraints,” IEEE Transactions on Communications, vol. 57, no. 11, pp. 3406–3414, Nov 2009.
  • [27] D. U. Campos-Delgado, J. M. Luna-Rivera, and C. A. Gutierrez, “Pre-equalization in the downlink of a multicarrier wireless network under utility and sum-rate optimization,” IEEE Transactions on Communications, vol. 62, no. 10, pp. 3541–3551, Oct. 2014.
  • [28] D. U. Campos-Delgado and J. M. Luna-Rivera, “Distributed power allocation algorihtm in wireless networks under SNR constraints,” International Journal of Electronics and Communications, vol. 67, pp. 1015–1024, 2013.
  • [29] D. Campos Delgado and J. Luna Rivera, “Performance study of distributed power control algorithms under time-delays and measurement uncertainty,” IEEE Latin America Transactions, vol. 11, no. 2, pp. 690–697, 2013.
  • [30] G. Ren, H. Zhang, and Y. Chang, “SNR estimation algorithm based on the preamble for OFDM systems in frequency selective channels,” IEEE Transactions on Communications, vol. 57, no. 8, p. 2230–2234, 2009.
  • [31] A. Das and B. Rao, “SNR and noise variance estimation for mimo systems,” IEEE Transactions on Signal Processing, vol. 60, no. 8, p. 3929–3941, 2012.
  • [32] D. Jiang, Q. Chen, and B. L. Delgrossi, “Optimal data rate selection for vehicle safety communications,” in Proc. 5th ACM Int. Workshop on Veh. Inter-NETworking (VANET 2008), San Francisco, Sep. 2008, pp. 30–38.
  • [33] A. Hjorungnes and D. Gesbert, “Complex-valued matrix differentiation: Techniques and key results,” IEEE Transactions on Signal Processing, vol. 55, no. 6, pp. 2740–2746, June 2007.