Introduction
Conventional wireless communication systems often function in an unpredictable environment where the line-of-sight (LOS) connection is unavailable primarily due to obstacles and the signals span on multiple paths, resulting in differences in time and angle before arriving at the destination. Hence, wireless systems may come across some issues, including low trustworthy communication, high energy consumption and increased latency. Recently, Intelligent Reflecting Surfaces (IRS) has evolved as an effective solution to subdue these hassles [1], [2], [3], [4]. IRS can carry out passive reflections to aid the wireless systems in satisfying the demands of the fifth generation (5G) and beyond communication systems. IRS stood out as an economical solution to achieve an intelligent and reconfigurable wireless transmission environment by adaptively adjusting signal reflections and subsequently enhancing the system performance. In specific, IRS is a controllable metasurface consisting of multiple passive reflective elements, and each of them will be able to independently modify the phase and/or the amplitude of the incident signal. Thus, the IRS can aid in circumventing obstacles and improving the multi-antenna/multiuser channel rank condition. Because of passive reflections, the IRS exhibits lower power consumption and hardware cost.
Most existing research on channel acquisition in IRS-aided wireless systems focused on static channel conditions, where the base station positions, IRS, and the user remain unchanging. In such static scenarios, acquiring the channel state information (CSI) through channel estimation algorithms is convincing. However, for the high mobility cases, the computational complexity and time requirement of such estimation methods are incredibly high, leading to the recurring communication outage for high-mobility users. Significant efforts are in the pipeline to achieve high-performance communications that involve high-speed vehicles. However, the increasing demands for the rapidly time-varying wireless channels due to high-mobility users are always the barrier in achieving the ultra-reliable, low-latency and high-capacity vehicle-to-everything (V2X) communications.
IRS-aided communication systems are well studied for various wireless systems with methodologies including multiple-input multiple-output (MIMO) [5], [6], orthogonal frequency division multiplexing (OFDM) [7], [8], [9], non-orthogonal multiple access (NOMA) [10], [11], and simultaneous wireless information and power transfer (SWIPT) [12]. Estimating accurate channel state information (CSI) in IRS-assisted systems is challenging due to the passive nature of IRS reflecting elements. There are two primary techniques for IRS channel estimation. The first approach is semi-passive IRS channel estimation, where fewer low-power active sensors are interlaced between passive reflective elements. The second approach is fully-passive IRS channel estimation, in which only passive reflective elements are engaged in the cascaded channel acquisition. In both methods, as the number of reflective elements increases, the training overhead increases, resulting in reduced throughput. Various techniques are available in the literature to address this, including element grouping in IRS [7], [13], anchor-aided channel acquisition [14], reference user-based methods [15], [16], and sparse channel estimation [17].
The knowledge of accurate channel state information (CSI) between BS-IRS-user is essential to achieve a high passive beamforming gain [18]. Since the IRS can perform passive reflections only, channel estimation in IRS systems is very challenging [19], [20], [21]. A possible practical strategy is to perform channel acquisition using pilot transmission [22]. Since the IRS has many passive reflective elements, high training overhead lowers the data transmission throughput. To tackle this issue, grouping adjacent reflecting elements with good spatial correlation into a subsurface is proposed in [8], [10]. Random beamforming is suggested in [23] to reduce the training overhead. Another method to reduce the training overhead using sparse matrix factorization is proposed in [24]. Information regarding the location and statistical CSI is also suggested [21].
Most existing works focus on time-invariant, slow-fading channels with low-mobility users. For high mobility cases, due to the random scattering of environment and vehicle velocity, the signal arrives after multiple reflections and the high Doppler frequency results in a fast-fading channel. This severely degrades the reliability of communication and the achievable rate. Transmitting pilot symbols during each time block for estimating the time-varying channel between the user and the IRS increases the training overhead. In addition, the continuous feedback of estimated channel coefficients from the base station to the IRS controller results in obsolete CSI as the channel varies rapidly due to the high mobility conditions. A method of placing IRSs at multiple fixed positions to aid high-speed communication is given in [25]. A channel estimation scheme for time-varying channels with Doppler shift is proposed in [26]. In [27], the authors proposed a roadside Intelligent Reflecting Surface (IRS)-aided vehicular communication system. By leveraging symmetrical IRS deployment and cooperation among nearby controllers, they introduced a two-stage channel estimation scheme for efficient passive beamforming. The design utilizes existing uplink pilots and achieves high IRS gain. The proposed method enhances communication throughput in high-speed vehicular scenarios. In [28], [29], and [30], the authors focused on two-timescale channel estimation and beamforming for IRS. These approaches aimed to reduce training and signaling overhead by leveraging the static base station (BS) to IRS channel. However, challenges remain: additional pilot symbols from users were required for IRS channel estimation, which leads to increased overhead and protocol modification requirements. Moreover, designing IRS reflection based on BS-acquired CSI introduced feedback delays which affects effectiveness in high-mobility scenarios. Authors in [31] and [32] propose a unified tensor-based approach that combines massive MIMO technology for efficient communication and sensing. They optimize the antenna system to handle both tasks simultaneously. By parameterizing the high-dimensional communication channel, they link channel state information with target parameters, including angular, delay, and Doppler dimensions. Additionally, they investigate tensor factorization’s uniqueness conditions and determine the maximum number of resolvable targets. The authors in [33] proposed a tensor decomposition-based approach to estimate multi-path channel parameters, including azimuth and elevation angles, as well as complex gain coefficients in a general scenario without IRS. The proposed method enables the reconstruction of wireless channels between any pair of transmit and receive movable antenna positions. They introduced a two-stage Tx-Rx successive antenna movement pattern for pilot training and expressed received pilot signals as a third-order tensor. Factor matrices are obtained via canonical polyadic decomposition to estimate angle and gain parameters. However, for dynamic cascaded channels in the presence of IRS, the efficiency and computational complexity are still to be charted.
Efficient channel estimation methods are yet to be explored in time-varying channels with fast-moving users. In this paper, we propose a new, practically demanding, low-complex channel estimation strategy for improving the performance of high-speed vehicular communication mmWave systems with roadside IRS. The major contributions of this paper are outlined as follows.
The proposed strategy for estimating the cascaded channel in IRS-aided systems under dynamic channel conditions consists of two stages to improve the efficiency and accuracy of the assessment. The first stage is the sensing stage, which aims to establish an initial learning of the channel characteristics. For this, we assume significantly fewer RF chains in the IRS controller side for various signal processing associated with the estimation, ensuring minimum power dissipation. We also consider that the channel between the base station and the IRS and between the IRS and the IRS controller is static. In the sensing stage, these static channels and the dynamic channel between the IRS and the fast-moving user are estimated. The CSI acquisition in this stage involves exploiting the sparse nature of the cascaded IRS mmWave channel. For this, Compressive Sampling Matching Pursuit (CoSaMP) algorithm [34] is employed for improved accuracy and reduced computational complexity. The second stage is the prediction stage, which involves real-time channel tracking and prediction of the Angle of Arrival (AoA) and Angle of Departure (AoD) is done using Extended Kalman Filter (EKF) [35], [36], thereby determining the array response vector at the IRS and the user. The dynamic channel estimation can be done based on the predicted array response vectors.
The rest of this paper is organized as follows. The system model and problem formulation are explained in Section II. In Section III, the proposed channel estimation methodology is explained in detail. The simulation results are given in Section IV and summarized in Section V.
System Model and Problem Formulation
In this section, IRS-aided mmWave MIMO communication system with fast-moving users is presented. We then formulate the channel estimation as a compressive sensing-based sparse recovery problem with the aim to reduce the computational complexity and increase accuracy.
A. System Model
Consider a narrow-band mmWave system with a uniform planar array type IRS furnished with N passive reflecting elements stationed to improve the system performance. The base station (BS) is set up with an Nt-antenna uniform linear array (ULA), and the user equipment (UE) is assumed to have a single antenna. We assume that the line-of-sight (LOS) path between the UE and the BS is blocked due to surrounding obstacles. We consider a high-mobility vehicular communication system supported by roadside IRSs deployed on both sides of the road. Without loss of generality, we assume one base station (BS) and a single mobile user with an intelligent reflecting surface (IRS) deployed on one side of the road, as shown in Figure 1. We assume the IRS-user channel with block-fading and is considered to stay roughly invariant during each block of transmission. However, due to the user’s movement, the channel is supposed to change from block to block. Let each block duration be Tb, which is selected as small compared to the coherence time of the channel. To consider the influence of mobility, we consider K successive time blocks in one transmission frame. Between two consecutive
Blocks, the Angle of Arrival (AoA) and Angle of Departure (AoD) in the BS-IRS link are assumed to be constant, while the same in the IRS-UE link varies due to the mobility of the user.
Let the complex baseband transmitted signal be \begin{equation*} \tilde {\boldsymbol {y}}_{\boldsymbol {l}}\left ({{ \boldsymbol {t} }}\right) = \text {Re} \{\alpha _{l}e^{-j\varphi _{l}}\boldsymbol {x}_{\boldsymbol {b}}\left ({{ \boldsymbol {t} }}\right)e^{j2\pi f_{c}t}\} \tag {1}\end{equation*}
The reflection coefficient in the \begin{align*} \boldsymbol {y}_{\boldsymbol {l}}\left ({{ \boldsymbol {t} }}\right)& = \beta _{l}\tilde {\boldsymbol {y}}_{\boldsymbol {l}}\left ({{ \boldsymbol {t-}\boldsymbol {t}_{\boldsymbol {l}} }}\right) \tag {2}\\ & = \text {Re} \{\beta _{k}\alpha _{k}e^{-j\varphi _{k}}\boldsymbol {x}_{\boldsymbol {b}}\left ({{ \boldsymbol {t-}\boldsymbol {t}_{\boldsymbol {k}} }}\right)e^{j2\pi f_{c}\left ({{ t-t_{k} }}\right)}\} \tag {3}\end{align*}
\begin{equation*} \boldsymbol {y}_{\boldsymbol {l}}\left ({{ \boldsymbol {t} }}\right) \approx \text { Re} \{[\beta _{l}e^{{-j\theta }_{l}} \alpha _{l} e^{-j\varphi _{l}}\boldsymbol {x}_{\boldsymbol {b}}\boldsymbol {(t)}{]e}^{j2\pi f_{c}t}\} \tag {4}\end{equation*}
\begin{equation*} \boldsymbol {y}_{\boldsymbol {l}}\left ({{ \boldsymbol {t} }}\right) \approx \text { Re} \{\beta _{l}e^{{-j\theta }_{l}}\boldsymbol {x}_{\boldsymbol {b}}^{\boldsymbol {'}}\left ({{ \boldsymbol {t} }}\right)e^{j2\pi f_{c}t}\} \tag {5}\end{equation*}
\begin{equation*} \boldsymbol {y}_{\boldsymbol {l}}\left ({{ \boldsymbol {t} }}\right) \approx \text { Re} \{\boldsymbol {x}_{\boldsymbol {b}}^{\boldsymbol {o}}\left ({{ \boldsymbol {t} }}\right)e^{j2\pi f_{c}t}\} \tag {6}\end{equation*}
\begin{equation*} \boldsymbol {y}_{\boldsymbol {l}}^{\boldsymbol {r}}\left ({{ \boldsymbol {t} }}\right) = \text {Re} \{[\alpha _{l} e^{-j\varphi _{l}}\beta _{l}e^{{j\theta }_{l}} \alpha _{l}^{r}e^{-j\varphi _{l}^{r}}\boldsymbol {x}_{\boldsymbol {b}}\boldsymbol {(t)}{]e}^{j2\pi f_{c}t} \tag {7}\end{equation*}
The CSI in the cascaded channel model in (7) can be written as \begin{align*} \boldsymbol {y}_{\boldsymbol {l}}^{\boldsymbol {r}}\left ({{ \boldsymbol {t} }}\right)& = \text {Re} \{[ \boldsymbol {H}_{\boldsymbol {bi}}^{\boldsymbol {\ast }}\beta _{l}e^{{j\theta }_{l}}g_{l}\boldsymbol {x}_{\boldsymbol {b}}(t){]e}^{j2\pi f_{c}t}\} \tag {8}\\ & = \text {Re} \{\boldsymbol {y}_{\boldsymbol {l}}\left ({{ \boldsymbol {t} }}\right)e^{j2\pi f_{c}t}\} \tag {9}\end{align*}
\begin{align*} \boldsymbol {y}\left ({{ \boldsymbol {t} }}\right)& =\left ({{ \sum \nolimits _{l=1}^{N} {\boldsymbol {H}_{\boldsymbol {bi}}^{\boldsymbol {\ast }}\beta _{l}e^{{j\theta }_{l}}\boldsymbol {H}_{\boldsymbol {iu}}^{{\left [{{ \boldsymbol {q} }}\right ]}^{\ast }}} }}\right)\boldsymbol {x}_{\boldsymbol {b}}\left ({{ t }}\right) \tag {10}\\ & =\boldsymbol {H}_{\boldsymbol {bi}}^{\boldsymbol {H}}\boldsymbol {Q}\boldsymbol {H}_{\boldsymbol {iu}}^{\left [{{ \boldsymbol {q} }}\right ]}\boldsymbol {}\boldsymbol {x}_{\boldsymbol {b}}\left ({{ t }}\right) \tag {11}\end{align*}
\begin{equation*} \boldsymbol {Y}= \left ({{ \boldsymbol {H}_{\boldsymbol {BI}}^{\boldsymbol {H}}\boldsymbol {}\boldsymbol {Q}\boldsymbol {H}_{\boldsymbol {IU}}^{\left [{{ \boldsymbol {q} }}\right ]} }}\right) \boldsymbol {X}+\boldsymbol {N} \tag {12}\end{equation*}
\begin{equation*} \boldsymbol {H}_{\boldsymbol {IRS}}= \sum \nolimits _{l=1}^{L} \alpha _{l}^{IRS} \boldsymbol {a}_{\boldsymbol {R}}^{\left [{{ \boldsymbol {q} }}\right ]}\left ({{ \vartheta _{l}^{r}, \varphi _{l}^{r} }}\right){\boldsymbol {a}}_{\boldsymbol {T}}^{\boldsymbol {\ast }}\left ({{ \vartheta _{l}^{t}, \varphi _{l}^{t} }}\right) \tag {13}\end{equation*}
B. Problem Formulation
In this section, we will formulate the channel estimation problem for an IRS-aided mmWave system. By intelligently altering the phase shifts of each reflecting element, the signal received at the IRS will be directed to the user equipment without involving any time delay. Our primary task is to estimate the cascaded channel H. It is important to note that for a mmWave channel, the number of multipath components, L is often less than the dimension of the channel matrix. This results in a sparse matrix with very few non-zero coefficients. Precise estimation of channels is difficult in IRS-assisted cascaded mmWave systems. The channel state information (CSI) can be estimated using pilot symbol transmission in a conventional wireless communication system. However, the reflecting elements in IRS systems are passive; hence, they do not possess any signal-processing capability. This makes channel estimation challenging in practice. Most existing research works consider perfect CSI for designing the precoding and phase shift matrices at the base station (BS) and IRS, respectively. However, this presumption is hard to achieve in practice. Many estimation techniques and algorithms were proposed to handle these concerns.
Considering the sparse character of mmWave, where the L number of multipath is typically much less than the channel dimensions, the channel matrix between the base station and the IRS can be expressed in more detail as:\begin{equation*} \boldsymbol {H}_{\boldsymbol {BI}}=\boldsymbol {}\left ({{ \boldsymbol {U}_{\boldsymbol {x}}\boldsymbol {}\otimes \boldsymbol {U}_{\boldsymbol {y}} }}\right)\boldsymbol {A}_{\boldsymbol {L}}\boldsymbol {U}_{\boldsymbol {BS}}^{\boldsymbol {H}} \tag {14}\end{equation*}
\begin{equation*} \boldsymbol {H}_{\boldsymbol {BI}}\triangleq \boldsymbol {U}_{\boldsymbol {IRS,b}}\boldsymbol {A}_{\boldsymbol {L}}\boldsymbol {U}_{\boldsymbol {BS}}^{\boldsymbol {H}} \tag {15}\end{equation*}
\begin{equation*} \boldsymbol {H}_{\boldsymbol {IU}}^{\boldsymbol {H}}\triangleq \boldsymbol {U}_{\boldsymbol {user}}\boldsymbol {A}_{\boldsymbol {L}^{\boldsymbol {'}}}\boldsymbol {U}_{\boldsymbol {IRS,u}}^{\boldsymbol {H}} \tag {16}\end{equation*}
\begin{align*} \boldsymbol {h}& =vec\left ({{ \boldsymbol {H} }}\right)=vec\left ({{ \boldsymbol {U}_{\boldsymbol {IRS,b}}\boldsymbol {A}_{\boldsymbol {L}}\boldsymbol {U}_{\boldsymbol {BS}}^{\boldsymbol {H}}\boldsymbol {Q}\boldsymbol {U}_{\boldsymbol {user}}\boldsymbol {A}_{\boldsymbol {L}^{\boldsymbol {'}}}\boldsymbol {U}_{\boldsymbol {IRS,u}}^{\boldsymbol {H}} }}\right) \tag {17}\\ \boldsymbol {h}& \triangleq \left ({{ \boldsymbol {U}_{\boldsymbol {IRS,u}}^{\boldsymbol {T}}\otimes \boldsymbol {U}_{\boldsymbol {IRS,b}} }}\right) vec\left ({{ \boldsymbol {A}_{\boldsymbol {L}}\boldsymbol {U}_{\boldsymbol {BS}}^{\boldsymbol {H}}\boldsymbol {Q}\boldsymbol {U}_{\boldsymbol {user}}\boldsymbol {A}_{\boldsymbol {L}^{\boldsymbol {'}}} }}\right) \\ & \triangleq \left ({{ \boldsymbol {U}_{\boldsymbol {IRS,u}}^{\boldsymbol {T}}\otimes \boldsymbol {U}_{\boldsymbol {IRS}} }}\right)\left ({{ \boldsymbol {A}_{\boldsymbol {L}^{\boldsymbol {'}}}^{\boldsymbol {T}}\otimes \boldsymbol {A}_{\boldsymbol {L}} }}\right) vec\left ({{ \boldsymbol {U}_{\boldsymbol {BS}}^{\boldsymbol {H}}\boldsymbol {Q}\boldsymbol {U}_{\boldsymbol {user}} }}\right) \\ & \triangleq \left ({{ \boldsymbol {U}_{\boldsymbol {IRS,u}}^{\boldsymbol {T}}\otimes \boldsymbol {U}_{\boldsymbol {IRS}} }}\right)\left ({{ \boldsymbol {A}_{\boldsymbol {L}^{\boldsymbol {'}}}^{\boldsymbol {T}}\otimes \boldsymbol {A}_{\boldsymbol {L}} }}\right) \left ({{ \boldsymbol {U}_{\boldsymbol {user}}^{\boldsymbol {T}}\otimes \boldsymbol {U}_{\boldsymbol {BS}}^{\boldsymbol {H}} }}\right) vec\left ({{ \boldsymbol {Q} }}\right) \\ & \triangleq \left ({{ \boldsymbol {U}_{\boldsymbol {IRS,u}}^{\boldsymbol {T}}\otimes \boldsymbol {U}_{\boldsymbol {IRS}} }}\right)\left ({{ \boldsymbol {A}_{\boldsymbol {L}^{\boldsymbol {'}}}^{\boldsymbol {T}}\otimes \boldsymbol {A}_{\boldsymbol {L}} }}\right) \boldsymbol {Uq} \tag {18}\end{align*}
\begin{align*} \boldsymbol {y}& =vec\left ({{ \boldsymbol {Y} }}\right)=vec\left ({{ \boldsymbol {H} }}\right)\boldsymbol {X}+vec\left ({{ \boldsymbol {N} }}\right) \\ & \triangleq \left ({{ \boldsymbol {U}_{\boldsymbol {IRS,u}}^{\boldsymbol {T}}\otimes \boldsymbol {U}_{\boldsymbol {IRS}} }}\right)\left ({{ \boldsymbol {A}_{\boldsymbol {L}^{\boldsymbol {'}}}^{\boldsymbol {T}}\otimes \boldsymbol {A}_{\boldsymbol {L}} }}\right) \boldsymbol {U}q\boldsymbol {X}+n \tag {19}\end{align*}
\begin{align*} \boldsymbol {y}& =\boldsymbol {P}\left ({{ \boldsymbol {U}_{\boldsymbol {IRS,u}}^{\boldsymbol {T}}\otimes \boldsymbol {U}_{\boldsymbol {IRS}} }}\right)\left ({{ \boldsymbol {A}_{\boldsymbol {L}^{\boldsymbol {'}}}^{\boldsymbol {T}}\otimes \boldsymbol {A}_{\boldsymbol {L}} }}\right) \boldsymbol {U}q\boldsymbol {X}+n \\ & \triangleq {(\boldsymbol {U}^{T}\otimes q}^{T}\otimes {{(\boldsymbol {X}}^{T}\otimes {\boldsymbol {P}})})\left ({{ U_{IRS,u}^{T}\otimes U_{IRS} }}\right) \\ & \quad \times \left ({{ \boldsymbol {A}_{L^{\prime }}^{T}\otimes \boldsymbol {A}_{L} }}\right)U+n \\ & \triangleq {(\boldsymbol {U}^{T}\otimes q}^{T}\otimes {{(\boldsymbol {X}}^{T}\otimes {\boldsymbol {P}})})\left ({{ \boldsymbol {U}_{\boldsymbol {IRS,u}}^{\boldsymbol {T}}\otimes \boldsymbol {U}_{\boldsymbol {IRS}} }}\right)h^{\prime }+ n \\ & \triangleq \boldsymbol {\Psi }h^{\prime }+n \tag {20}\end{align*}
As shown in Figure 1,
Proposed Channel Estimation Scheme
In this paper, we propose a 2-stage channel estimation strategy developed to improve the performance of mmWave wireless communication systems. The first estimation stage involves pilot-based estimation of channels
The first stage of the proposed channel estimation methodology involves three steps. The dedicated channel between the IRS and the corresponding IRS controller (IRSC) is estimated in the first step. The IRS controller (IRSC) transmits pilot symbols to the IRS with 180° reflection, which helps to assess the channel vector
In the second stage, the algorithm focuses on real-time tracking and channel characteristic prediction, which is critical for dynamic environments. The system initially predicts azimuth angle
To estimate the Doppler shift in the proposed IRS-aided mmWave system simulation, key system parameters such as the carrier frequency, vehicle velocity, and angle of motion relative to the line of sight (LOS) are initially defined. The Doppler shift (
A. Sparse Channel Estimation Using CoSaMP
In this sub-section, we will discuss the estimation of sparse channels using the Compressive Sampling Matching Pursuit (CoSaMP) algorithm. CoSaMP is a sparse recovery method that integrates the benefits of both greedy algorithms and convex programs. It is beneficial for sparse channel estimation with multiple paths. Conventional estimation approaches consider closely distributed channel impulse responses. This may lead to elongated training sequences, resulting in inefficient throughput and bandwidth. If the channel impulse response is sparse, compressed sensing can be used to trim the length of training sequences. Cascaded IRS mmWave channel impulse response has very few prevalent taps and considerable near-zero or zero taps. CoSaMP incorporates both greedy algorithm and convex program approaches. Even though greedy algorithms are easy to execute, they lack stability. On the other hand, convex programs are stable but complex for practical implementation. CoSaMP forms a balance between these two methods.
From the received samples, CoSaMP iteratively estimates the sparse channel. It initializes the estimates by assigning all channel coefficients to zero. It then identifies the support set using a greedy method. The support set indicates the indices of non-zero channel coefficients. A convex optimization problem is then solved to fine-tune the estimates within the determined support set. After solving the convex optimization problem, the estimates are updated by merging the results obtained from the greedy method and the convex optimization step. This is continued until convergence. One of the major advantages of CoSaMP is its simplicity, inherited from greedy algorithms which results in reduced computational complexity. The algorithm also exhibits stability in practical scenarios. CoSaMP is suitable for practical implementations, especially in scenarios where computational resources are limited. If the training matrix \begin{equation*} \left ({{ \boldsymbol {1-}\boldsymbol {\epsilon }_{\boldsymbol {S}} }}\right)\left \|{{ \boldsymbol {h} }}\right \|_{\boldsymbol {2}}^{\boldsymbol {2}}\boldsymbol {\le }\left \|{{ \boldsymbol {Xh} }}\right \|_{\boldsymbol {2}}^{\boldsymbol {2}}\boldsymbol {\le }\left ({{ \boldsymbol {1}+\boldsymbol {\epsilon }_{\boldsymbol {S}} }}\right)\left \|{{ \boldsymbol {h} }}\right \|_{\boldsymbol {2}}^{\boldsymbol {2}} \tag {21}\end{equation*}
\begin{equation*} \boldsymbol {}{\boldsymbol {}\left \|{{ \boldsymbol {h}-\hat {\boldsymbol {h}} }}\right \|}_{\boldsymbol {2}}\boldsymbol {\le C max}\left \{{{\boldsymbol {\delta,}\boldsymbol {1} \mathord {\left /{{\vphantom {\boldsymbol {1} \sqrt {\boldsymbol {S}}}}}\right. \hspace {-1.2pt} } \sqrt {\boldsymbol {S}} \boldsymbol {}\left \|{{ \boldsymbol {h-}\hat {\boldsymbol {h}}_{\boldsymbol {2S}} }}\right \|_{\boldsymbol {1}}+\boldsymbol {}\left \|{{ \boldsymbol {n} }}\right \|_{\boldsymbol {2}}\boldsymbol {} }}\right \} \tag {22}\end{equation*}
The CoSaMP algorithm in the proposed methodology picks whole dominant taps in each iteration and diminishes the assessment error after each iteration. The channel estimation algorithm using CoSaMP is as shown in Algorithm 1. The Compressive Sampling Matching Pursuit (CoSaMP) algorithm starts with an initialization phase in which the estimate
Algorithm 1 CoSaMP
Observation vector y, Measurement matrix
Initialization: Set the current estimate
Repeat:
Sparse Support set Estimation:
Identify the
largest components (in magnitude) of the current residual2S .r^{\left ({{ t-1 }}\right)} Form a support set
containing the indices of these\boldsymbol {\Omega }_{\boldsymbol {t}} components.2S
Least Squares Approximation:
Solve the least squares problem to obtain an estimate of the signal support:
. Here,\hat {\boldsymbol {h}}_{\Omega _{t}}=\arg {min}_{x}\left \|{{ \boldsymbol {y}-\boldsymbol {\Phi }_{\boldsymbol {\Omega }_{\boldsymbol {t}}}\boldsymbol {h} }}\right \|_{2}^{2} is the submatrix of\boldsymbol {\Phi }_{\boldsymbol {\Omega }_{\boldsymbol {t}}} formed by the columns corresponding to\boldsymbol {\Phi } .\boldsymbol {\Omega }_{\boldsymbol {t}}
Thresholding:
Keep only the S largest components (in magnitude) of
and set the rest to zero. This enforces sparsity in the estimated signal.\hat {\boldsymbol {h}}_{\boldsymbol {\Omega }_{\boldsymbol {t}}}
Support Union:
Form the updated support set
by combining the non-zero indices from the current estimate with the support indices obtained from the least squares step.\boldsymbol {\Omega }_{\boldsymbol {t}}
Update the Estimate:
Solve the least squares problem using the updated support set to obtain the new estimate
:\boldsymbol {x}^{\left ({{ \boldsymbol {t} }}\right)} \hat {\boldsymbol {h}}_{\boldsymbol {\Omega }_{\boldsymbol {t}}}^{\left ({{ t }}\right)}=\arg {min}_{x}\left \|{{ \boldsymbol {y}-\boldsymbol {\Phi }_{\boldsymbol {\Omega }_{\boldsymbol {t}}}\boldsymbol {h} }}\right \|_{2}^{2}{} Set the components outside of the support set
to zero.\Omega _{t}
Update Residual:
Update the residual:
.\boldsymbol {r}^{\left ({{ \boldsymbol {t} }}\right)}=\boldsymbol {y}-\boldsymbol {\Phi }\boldsymbol {h}^{\left ({{ \boldsymbol {t} }}\right)}
Check Convergence:
Check for convergence conditions. This could involve checking the change in the estimate or the residual.
The final output is the estimate
The algorithm gathers this notion repetitively to match the target. A residual is induced after each iteration. Samples are updated as the algorithm proceeds, and this is reflected in the present residual components. This step delivers an indicative consent for the next approximation. We employ the samples to assess the support set using the least squares. This process is repeated iteratively until convergence. The algorithm delivers an \begin{equation*} \boldsymbol { R-SNR} =\boldsymbol {10}{\boldsymbol {log}}_{\boldsymbol {10}}\boldsymbol {}\frac {\left \|{{ \boldsymbol {h} }}\right \|_{\boldsymbol {2}}}{\left \|{{ \boldsymbol {h-}\hat {\boldsymbol {h}} }}\right \|_{\boldsymbol {2}}} \tag {23}\end{equation*}
B. Realtime Prediction of AoA and AoD Using Extended Kalman Filter
In this sub-section, we will discuss the real-time tracking & prediction of AoA (
A two-timescale estimation is possible without obtaining the real angle knowledge at the IRS. A more practical approach in static channels is the estimation of the cascaded angles at the IRS instead of azimuth and elevation angles. By estimating cascaded angles, the system can infer the overall directionality of the signal propagation, which is crucial for optimizing signal reflection and transmission at the IRS. However, this approach is challenging, especially in dynamic scenarios. Our proposed work uses the Extended Kalman
Filter (EKF) algorithm for tracking and predicting the arrived and (or) departed beams. The state model is hinged on the AoA and AoD. The system for beam tracking and prediction in vehicular communication scenarios using EKF is modelled based on the state evaluation model and observation expression. In the existing approach, the state model is assumed to be linear, which is not the case in a vehicular communication environment. We also consider factors such as the initial position and speed of the vehicle as well as the span of transmission blocks. The proposed algorithm introduces EKF for tracking and predicting angles in a vehicle-to-infrastructure (V2I) scenario. We also consider position and velocity as the state variables and the algorithm exhibits reduced computational complexity. The tracking and prediction algorithm using EKF is as shown in Algorithm 2.
Algorithm 2 Extended Kalman Filter
State Vector: State Vector:
Dynamic Model (State Transition):
Measurement Model: it relates the state to the measurements received from the system.
Initialization: Set state estimate
Repeat:
State Transition:
State prediction:
.\hat {a}_{0}^{-}= f\left ({{ a_{k-1}+v_{k-1} }}\right)+w_{k-1} Error Covariance Prediction:
. Here\boldsymbol {P}_{\boldsymbol {k}}^{\boldsymbol {-}}=\boldsymbol {F}_{\boldsymbol {k}}\boldsymbol {P}_{\boldsymbol {k-1}}\boldsymbol {F}_{\boldsymbol {k}}^{\boldsymbol {T}}+\boldsymbol {Q}_{k-1} at (\boldsymbol {F}_{k}= \frac {\partial f}{\partial a} ) is the Jacobian matrix of f w.r.t a anda_{k-1},v_{k-1} is the process noise covariance matrix.\boldsymbol {Q}_{\boldsymbol {k-1}}
Measurement model:
Measurement Residual:
.\boldsymbol {y}_{\boldsymbol {k}}=\boldsymbol {z}_{\boldsymbol {k}}-m(\hat {a}_{k}^{-}) Measurement Jacobian:
at\boldsymbol {M}_{\boldsymbol {k}}=\frac {\partial m}{\partial a} \hat {a}_{k} Kalman Gain:
, where\boldsymbol {K}_{\boldsymbol {k}}=\boldsymbol {P}_{\boldsymbol {k}}^{\boldsymbol {-}}\boldsymbol {M}_{\boldsymbol {k}}^{\boldsymbol {T}}\left ({{ \boldsymbol {M}_{\boldsymbol {k}}\boldsymbol {P}_{\boldsymbol {k}}^{\boldsymbol {-}}\boldsymbol {M}_{\boldsymbol {k}}^{\boldsymbol {T}}+\boldsymbol {R}_{\boldsymbol {k}} }}\right)^{-1} is the measurement noise covariance matrix.\boldsymbol {R}_{\boldsymbol {k}} State Update:
\hat {a}_{k}=\hat {a}_{k}^{-}+K_{k}y_{k} Error Covariance Update:
\boldsymbol {P}_{\boldsymbol {k}}=\left ({{ \boldsymbol {I-}\boldsymbol {K}_{\boldsymbol {k}}\boldsymbol {M}_{\boldsymbol {k}} }}\right)\boldsymbol {P}_{\boldsymbol {k}}^{\boldsymbol {-}}
Iterative Process:
Repeat steps 1 and 2 for each new measurement as the user’s AoA & AoD change with time.
The final output is the estimate
In the initialization step, an introductory state vector estimate and an error covariance matrix are fixed. Following this, it predicts the evolution of the state through an iterative process. The dynamic model integrates both a state transition function and process noise. Fine-tuning of the estimates is done using the measurements received from the system. The measurement model relates the state to the measurements. A critical step here is the linearization of the nonlinear functions using Jacobian matrices. The extent to which the prediction and measurement influence the updated state estimate is determined by the Kalman Gain. It is calculated based on the prediction error and uncertainty in the measurement.
This iterative method persists with each new measurement and refines the state estimate and error covariance. The extended Kalman filter handles the uncertainties in both system dynamics and measurements. Overall, it is versatile and practical in handling non-linear systems. The vehicular communication system using mmWave technology in the presence of IRS exhibits moderate non-linearity in the state evolution model. We assumed additive Gaussian noise mainly because of the absence of a direct path between the BS and the moving user. The system also showcases the kinematic characteristics of vehicular communications. These issues can be particularized by investigating the evolution of angles of the moving user.
We considered a uniform linear array (ULA) at both destinies of the communication. The dissimilarity between the array response vectors and beamforming angles at both sides of the communication constitutes the tracking error. We keep this error to a minimum so that we can track the beam for a longer time. A comparative analysis of various tracking algorithms is shown in Table 2. Since the IRS-aided mmWave channel is modelled as non-linear, Extended Kalman Filter-based prediction shall outperform since the same is appropriate for moderately non-linear systems, and it assumes Gaussian noise attributes and also maintains moderate computational complexity. The limitation of EKF based prediction is its inability to handle systems with non-Gaussian noise characteristics.
The proposed method has several advantages. Firstly, it remarkably lowers pilot overhead. It also streamlines operations and offers an efficient methodology. This reduction in pilot overhead is essential for improving the overall performance of the system. Moreover, the use of the Extended Kalman Filter (EKF) brings a notable increase in efficiency. The EKF can effectively address non-linear systems. This flexibility guarantees improved performance, especially in dynamic environments. The use of the EKF brings a significant increase in efficiency by effectively addressing the non-linear dynamics. This guarantees improved performance and ensures reliable communication in time varying channels. In the context of research involving time-varying channels with fast-moving vehicles, the Extended Kalman Filter (EKF) outperforms the standard Kalman Filter (KF). Specifically, when dealing with non-linear channel models in the presence of an Intelligent Reflecting Surface (IRS), the EKF excels. It achieves this by linearizing around an estimate of the current mean and covariance. While the KF is optimal for linear systems with Gaussian noise, the EKF provides more accurate estimates for non-linear systems. Consequently, for the given application, the EKF strikes a balance between accuracy and reduced complexity compared to alternatives like the Unscented Kalman Filter or Particle Filter.
Integrating the proposed sparse channel estimation strategy of IRS based systems in existing 5G infrastructure needs careful planning and coordination. Since accurate channel models are crucial, it is important to consider both line-of-sight (LOS) and non-line-of-sight (NLOS) paths and model the channel between the base station (BS), IRS, and static/dynamic user equipment (UE). Proper installation of IRSs at strategic locations (e.g., walls, ceilings) within the coverage area and ensure proper alignment and orientation for optimal reflection are to be done. Along with this, implementation of control algorithms to adjust IRS phase shifts dynamically and coordinate IRS actions with BS and UE for coherent beamforming is crucial. Pilot signals shall be used initially as proposed in the algorithm for channel estimation. In addition to normal communication, allocate resources (frequency, time, power) for IRS reflection and optimize the resource allocation jointly with BS and UE. IRSs are to be connected to the network via wired or wireless backhaul. Proper steps are to be done to avoid interference between IRSs and neighboring cells. Collaboration with standardization bodies (e.g., 3GPP) is needed to define IRS-related protocols for practical deployment.
Simulation Results
In this section, we discuss the performance of the proposed channel estimation technique for IRS-assisted MIMO systems in time-varying channels. We consider ULA at both BS and fast-moving UE sides and operating over the mmWave frequency band. The proposed scheme’s performance is experimentally compared with several existing channel estimation algorithms that rely on pilot-based estimation. To assess the effectiveness of the cascaded channel estimation schemes, we considered the Normalized Mean Square Error (NMSE) and the achievable spectral efficiency (SE). The NMSE will assess the accuracy of channel estimation. The below expression represents it:\begin{equation*} NMSE\triangleq \frac {\left \|{{ \boldsymbol {h-}\hat {\boldsymbol {h}} }}\right \|_{2}^{2}}{\left \|{{ \boldsymbol {h} }}\right \|_{2}^{2}} \tag {24}\end{equation*}
The simulation results of Normalized Mean Square Error (NMSE) versus Signal to Noise Ratio (SNR) for various algorithms for the estimation and tracking of time varying IRS channel with number of transmitting antennas at the BS
Simulation results of NMSE vs SNR (in dB) with N
The improvement in the system performance may be due to the fact that the conventional schemes adopt suboptimal paths and may easily get stuck in suboptimal solutions. CoSaMP performs well in accurately estimating sparse IRS channels with reduced computational complexity. This method will be beneficial, especially when the number of reflecting elements is very large. By exploiting the channel sparsity, CoSaMP efficiently estimates the channel state information even in the presence of noise and interference. Furthermore, the use of the Extended Kalman Filter (EKF) for channel tracking and prediction ensures improved accuracy even though the system is non-linear. The baseline schemes considered here are Orthogonal Matching Pursuit (OMP) and Improved OMP. Unlike OMP, which selects only one atom (basis function) per iteration, the proposed method selects multiple atoms simultaneously and this improves channel estimation accuracy, especially when the channel is sparse and high dimensional. The proposed scheme efficiently handles noise and interference due to its robustness. In the case of time varying channels with fast moving users, OMP and Improved OMP may struggle with noise and non-ideal conditions.
Next, we analyze the effect of the pilot sequence length
This significantly reduces the overhead complexity and improves the data rate of the system. We also observed that the improvement in NMSE is negligible for
The EKF-based predictor accurately predicts the
It is interesting to note that the achievable rate reduces drastically for the conventional techniques like OMP, if the user equipment is moving at a very high velocity of approximately 80km/hr for a given transmit power of
It is observed from figure 7 that, for a given probability of error of
Conclusion
In this paper, we studied a roadside IRS-assisted dynamic vehicular communication system. An efficient, two-stage channel estimation technique was proposed, making fast-moving vehicular communication more efficient, which in turn leads to improved communication throughput and reliability. Our proposed two-stage method ascertained its remarkably enhanced performance over conventional methods under a more general environment. Simulation results indicated that the NMSE performance of the proposed methodology outshines the existing conventional OMP-based algorithms. Additionally, the pilot overhead of the proposed method is much less than that of the existing methods. The proposed method excels in accuracy and computational efficiency, making it ideal for applications where real-time response is less critical. This allows for high-quality results without sacrificing processing speed. More refined or improved algorithms for IRS channel estimation and prediction are worthy of further research.