This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Joint Beam Management and SLAM for mmWave Communication Systems

Hang Que, Jie Yang, Chao-Kai Wen, Shuqiang Xia, Xiao Li, and Shi Jin Hang Que, Xiao Li, and Shi Jin are with the National Mobile Communications Research Laboratory, Southeast University, Nanjing, China (e-mail: {quehang; li_xiao; jinshi}@seu.edu.cn). Jie Yang is with the School of Automation, Southeast University, Nanjing, China (e-mail: [email protected]). Jie Yang and Shi Jin are with the Frontiers Science Center for Mobile Information Communication and Security, Southeast University, Nanjing, China. Chao-Kai Wen is with the Institute of Communications Engineering, National Sun Yat-sen University, Kaohsiung, 804, Taiwan (e-mail: [email protected]). Shuqiang Xia is with the ZTE Corporation and the State Key Laboratory of Mobile Network and Mobile Multimedia, Shenzhen, China (e-mail: [email protected]).
Abstract

The millimeter-wave (mmWave) communication technology, which employs large-scale antenna arrays, enables inherent sensing capabilities. Simultaneous localization and mapping (SLAM) can utilize channel multipath angle estimates to realize integrated sensing and communication design in 6G communication systems. However, existing works have ignored the significant overhead required by the mmWave beam management when implementing SLAM with angle estimates. This study proposes a joint beam management and SLAM design that utilizes the strong coupling between the radio map and channel multipath for simultaneous beam management, localization, and mapping. In this approach, we first propose a hierarchical sweeping and sensing service design. The path angles are estimated in the hierarchical sweeping, enabling angle-based SLAM with the aid of an inertial measurement unit (IMU) to realize sensing service. Then, feature-aided tracking is proposed that utilizes prior angle information generated from the radio map and IMU. Finally, a switching module is introduced to enable flexible switching between hierarchical sweeping and feature-aided tracking. Simulations show that the proposed joint design can achieve sub-meter level localization and mapping accuracy (with an error <0.5m<0.5\;{\rm m}). Moreover, the beam management overhead can be reduced by approximately 40% in different wireless environments.

Index Terms:
Beam management, mmWave communications, integrated sensing and communication, simultaneous localization and mapping.

I Introduction

Radio sensing and communication systems are evolving to have similar hardware architecture and deployed spectrum [1]. This trend offers an opportunity to implement the integrated sensing and communication (ISAC) design in 6G millimeter-wave (mmWave) wireless communication systems [2]. ISAC allows wireless communication systems to provide high-quality communication services and sensing services simultaneously, such as high-precision positioning, human gesture recognition, and environmental mapping [3].

ISAC research has garnered significant attention from academia and industry in recent years [4]. A joint communication-radar system proposed in [5] achieved symbiotic communication and sensing design by combing a mmWave communication system with a full-duplex radar receiver. Strategies for user equipment (UE) positioning, based on Kalman filtering utilizing multipath angle estimates and sensor measurements, were designed in [6]. In [7], a THz imaging prototype with millimeter-level mapping accuracy, similar in size to traditional mobile UEs, was proposed, demonstrating the fine-grained sensing capabilities of 6G communication systems. Most existing ISAC designs leverage the similarities between wireless communication and radar systems [8, 9, 10], enabling hardware reuse and resulting in benefits in power consumption and spectrum efficiency.

Present studies have introduced the concept of simultaneous localization and mapping (SLAM) to mmWave communication systems in [11, 12, 13]. They proposed SLAM algorithms that utilize the multipath channel state information (CSI) to construct a radio map and locate UE simultaneously. SLAM originally emerged from the field of robotics [14], where the robots are required to locate themselves and map their environment through sensor networks, such as inertial measurement unit (IMU), camera [15], or light detection and ranging (LiDAR) [16]. With the proliferation of intelligent communication equipment, lightweight sensors are increasingly being equipped on UE, creating a broader space for SLAM research based on various sensors. For example, radio map construction is realized through LiDAR SLAM and Wi-Fi sensing in [17], where LiDAR measurements generate the radio map of constrained spaces where the Wi-Fi signal cannot reach. In [18], channel-SLAM based on a particle filter is proposed, which integrates the heading information provided by the IMU to improve UE localization accuracy. Existing works have mainly focused on high-accuracy radio map construction and ignored the benefits that SLAM can provide for communication systems. This study aims to establish the association between SLAM and mmWave beam management, which differs from existing works that realize radar-enabled sensing [8, 9, 10].

The mobility of UE leads to rapid changes in CSI [19], resulting in the changeable beam direction. Therefore, the current release of 3GPP 5G NR adopts a beam management framework consisting of beam sweeping, measurement, determination, and reporting [20]. Angle information of the multipath, such as the angle of arrival (AoA) and angle of departure (AoD), can be extracted during the beam management process using Kalman filters [21, 22]. However, reducing the overhead of beam management requires further research [23]. For example, the concept of belief propagation is utilized in [24], where the beam tracking problem is transformed into a multi-target tracking problem through a probability transfer model that describes the relationship between the historic and current beam management results. In [25], a novel extended Kalman filtering framework is proposed for tracking and predicting the kinematic parameters of vehicles, resulting in an overhead-reduced beam tracking scheme. These studies suggest that the key to overhead-reduced beam management is extracting useful information from historical measurements, UE motion status, and wireless environments [24, 25, 26]. In our study, we believe that the radio map constructed by SLAM can generate prior angle information that is beneficial for achieving overhead-reduced beam tracking.

Based on the geometric characteristics of mmWave CSI [27], the line-of-sight (LoS) path is generated from the base station (BS), whereas the single-bounce specular non-line-of-sight (NLoS) paths can be considered as signals from the mirror images of the BS on different scatter surfaces, as shown in Fig. 1(a). We regard the BS and the mirror images as the physical anchor (PA) and virtual anchors (VAs), respectively. When the UE is moving, although the channel paths change, the PA and VAs remain static, acting as landmarks that describe the wireless environment [11, 28, 29, 30, 31]. Therefore, we can view them as wireless environment features. On the one hand, these features simplify the description of the radio map and establish a connection between the multipath and the radio map, providing convenience for feature association in SLAM. On the other hand, these features can be utilized to generate prior information in the angular domain. Therefore, realizing an ISAC design where the beam management provides angle estimates for SLAM, and SLAM provides prior information for overhead-reduced beam tracking is promising in the mmWave wireless communication system architecture.

However, implementing a joint beam management and SLAM design faces several challenges. First, achieving accurate angle estimates through limited beam management overheads is difficult. Second, predicting UE motion is necessary for compensating for the rapid shift in beam directions caused by UE mobility. In addition, mmWave signals are easily blocked by obstacles, which may cause the birth or death of channel paths. Timely detection of the abrupt change of CSI is required to avoid performance loss. Therefore, we develop a joint design composed of beam management and SLAM with the aid of IMU, which can achieve UE localization, radio map construction, and effective beam management simultaneously. The key contributions of this study are as follows:

  • Beam management and SLAM: The proposed beam management is based on [32], which estimates the mmWave channel parameters through measuring beam pairs with different beam-widths. We introduce the hierarchical sweeping module, which extracts channel multipath parameters through successive interference cancellation, and add an extra termination criterion to estimate channel multipath numbers. SLAM in [11] can be realized through the path angle estimates. The UE localization and radio map construction results of SLAM are further refined with the aid of IMU, which utilizes historic UE position estimates for position prediction. Moreover, we propose a feature-aided tracking module based on the historic radio map from SLAM and the predicted UE position from IMU, extracting multipath parameters with reduced overhead.

  • Switching module: The hierarchical sweeping module can adapt to changeable wireless environments, while the feature-aided tracking module depends on the results from SLAM and IMU and can reduce beam management overhead in stable wireless environments. We propose a switching module based on the channel multipath parameters estimated from these two modules to utilize their advantages. The switching module enables switch between the hierarchical sweeping and feature-aided tracking modules, completing the joint beam management and SLAM design that can adapt to different wireless environments.

  • Performance analysis: We propose various performance metrics for evaluating both communication and sensing. For sensing, we evaluate the angle estimation accuracy, UE localization accuracy, and radio map construction accuracy. For communication, we evaluate the channel estimation accuracy, beam management overhead, and spectral efficiency (SE). Numerical results show that the proposed joint design can achieve decimeter-level UE localization and radio map construction in different wireless environments. Moreover, the overhead-reduced feature-aided tracking module with reliable prior angle information is proved to realize high-accuracy angle estimation. The effectiveness of the proposed switching module is verified.

The rest of this study is organized as follows. Section II introduces the system model and problem formulation. Section III describes the proposed joint design in detail. Section IV introduces the performance metrics for sensing and communication. Section V presents our experimental results. Finally, Section VI concludes the study. For clarity, we summarize the main variables in TABLE I. Notation—In this paper, 𝐀{\mathbf{A}} is a matrix, 𝐚{\mathbf{a}} is a vector, aa is a scalar, and 𝒜{\cal A} is a set. ()T\left(\cdot\right)^{\rm T}, ()H\left(\cdot\right)^{\rm H}, and ()1\left(\cdot\right)^{\rm-1} denote the transpose, conjugate transpose, and matrix inversion operation, respectively. For a matrix 𝐀{\mathbf{A}}, 𝐀F\left\|{{\mathbf{A}}}\right\|_{F} is the Frobenius norm, and 𝐀,:{\mathbf{A}}_{{\cal R},:} (𝐀:,{\mathbf{A}}_{:,{\cal R}}) are the rows (columns) of the matrix 𝐀{\mathbf{A}} with indices in the set {\cal R}. For a vector 𝐚{\mathbf{a}}, the l2{l_{2}} norm is signified by 𝐚2\left\|{{\mathbf{a}}}\right\|_{2}. For a scalar a{a}, |a|\left|{a}\right| is the absolute value, and a\left\lceil{a}\right\rceil is the smallest integer that is greater than a{a}. 𝔼[]\mathbb{E}\left[{\cdot}\right] indicates the statistical expectation.

TABLE I: Notations of Important Variables
Notation Definition Notation Definition
tt time NN codebook resolution
𝐱(t){\mathbf{x}^{\left({{t}}\right)}} UE location rabj{{r}}_{ab}^{j} beam measurement signals
𝐚(t){\mathbf{a}^{\left({{t}}\right)}} UE acceleration 𝐖(j,k){{{\bf{W}}_{({j,k})}}} BS sweeping codebook
𝐯(t){\mathbf{v}^{\left({{t}}\right)}} UE velocity 𝐅(j,k){{{\bf{F}}_{({j,k})}}} UE sweeping codebook
L(t){L^{(t)}} channel path number θVA,l(t),\theta_{{\rm{VA}},l}^{(t)}, ϕVA,l(t)\phi_{{\rm{VA}},l}^{(t)} prior angle values for the ll-th path
𝐇(t)\mathbf{H}^{(t)} downlink channel θscale,l(t),\theta_{{\rm{scale}},l}^{(t)}, ϕscale,l(t)\phi_{{\rm{scale}},l}^{(t)} prior angle searching ranges for the ll-th path
𝐱l(t)\mathbf{x}_{l}^{(t)} PA (l=0l=0) or VA (l1l\geq 1) location jBS{j^{\rm BS}} initial BS tracking layer index
θl(t){\theta_{l}^{(t)}} AoA of the ll-th path jUE{j^{\rm UE}} initial UE tracking layer index
ϕl(t){\phi_{l}^{(t)}} AoD of the ll-th path 𝐖(j,θVA){{{\bf{W}}_{({j,{\theta_{\rm VA}}})}}} BS tracking codebook
gl(t){g_{l}^{(t)}} path gain of the ll-th path 𝐅(j,θVA){{{\bf{F}}_{({j,{\theta_{\rm VA}}})}}} UE tracking codebook
NBS{N_{\rm BS}} BS array antenna number E(t){E^{(t)}} channel power
NUE{{N_{\rm UE}}} UE array antenna number ΔE(t,t1)\Delta_{E}^{({t,t-1})} channel power difference between time tt and t1t-1
𝐚BS(){\mathbf{a}_{\rm BS}}\left(\cdot\right) BS array response D(t){D^{(t)}} switching symbol
𝐚UE(){\mathbf{a}_{\rm UE}}\left(\cdot\right) UE array response ^\hat{*} estimated *, * can be a matrix, a vector, or a scalar
Refer to caption
(a)
Refer to caption
(b)
Figure 1: Illustration of (a) the geometric relationship of LoS and NLoS paths between BS and UE and (b) the change of the LoS path and the ll-th NLoS path between time t1t-1 and tt with the static VA.

II System Model

We consider a mmWave communication system with a static BS and a moving UE, as shown in Fig. 1. The BS and UE equipped with beamforming architectures perform the beam management periodically to maintain highly directional transmission and extract wireless environment features simultaneously.

II-A Kinetic and Geometric Models

The BS and UE are located in the same global two-dimensional (2D) coordinate system with due east as the positive xx axis direction and due north as the positive yy axis direction, as shown in Fig. 1(b). The location of UE at time tt is denoted as 𝐱(t)=[x(t),y(t)]T{\mathbf{x}^{({{t}})}}={[{{x^{({{t}})}},{y^{(t)}}}]^{\rm T}}, and the uniformly accelerated rectilinear motion model is considered to describe the motion of UE during the interval time T{T}, which is given by

𝐱(t)𝐱(t1)\displaystyle{\mathbf{x}^{\left({t}\right)}}-{\mathbf{x}^{\left({{t}-1}\right)}} =T𝐯(t1)+12T2𝐚(t1),\displaystyle={T}{\mathbf{v}^{\left({t-1}\right)}}+\frac{1}{2}{{T}^{2}}{\mathbf{a}^{\left({t-1}\right)}}, (1a)
𝐯(t)𝐯(t1)\displaystyle{\mathbf{v}^{\left(t\right)}}-{\mathbf{v}^{\left({t-1}\right)}} =T𝐚(t1),\displaystyle={T}{\mathbf{a}^{\left({t-1}\right)}}, (1b)

where 𝐯(t),𝐚(t)2×1{\mathbf{v}^{({t})}},{\mathbf{a}^{({t})}}\in{\mathbb{R}^{2\times 1}} represent the velocity and acceleration vectors of UE in the global 2D coordinate at time tt, respectively.

We set the AoA θl(t){\theta_{l}^{(t)}} and AoD ϕl(t){\phi_{l}^{(t)}} of the ll-th path (l=0,1,,L(t)1l=0,1,...,{L^{(t)}}-1) at time tt start from the negative yy axis, as illustrated in Fig. 1(b). The PA (BS) is the source of the LoS path (l=0l=0), which is located at 𝐱0(t)=[x0(t),y0(t)]T\mathbf{x}_{0}^{(t)}={[{{x_{0}^{(t)}},{y_{0}^{(t)}}}]^{\rm T}}. When UE is moving, the LoS path is generated by the static PA, as shown in Fig. 1(b). Thus, θ0(t){\theta_{0}^{(t)}} and ϕ0(t){\phi_{0}^{(t)}} satisfy

tan(θ0(t))=tan(ϕ0(t))=y0(t)y(t)x0(t)x(t).{\rm{tan}}\left(\theta_{0}^{(t)}\right)={\rm{tan}}\left(\phi_{0}^{(t)}\right)={\frac{{{y_{0}^{(t)}}-y^{(t)}}}{{{x_{0}^{(t)}}-x^{(t)}}}}. (2)

Meanwhile, the VAs are mirror images of the PA on different scattering surfaces. VAs can be viewed as the source of single-bounce specular NLoS paths (l 1l\;\geq\;1). The locations of the available VAs at time tt are represented by 𝐱l(t)=[xl(t),yl(t)]T,l=1,2,,L(t)1\mathbf{x}_{l}^{(t)}={[{{x_{l}^{(t)}},{y_{l}^{(t)}}}]^{\rm T}},l=1,2,...,{L^{(t)}}-1, and the corresponding reflection points are represented by 𝐩l(t)=[xp,l(t),yp,l(t)]T\mathbf{p}_{l}^{(t)}={[{{x_{{\rm p},l}^{(t)}},{y_{{\rm p},l}^{(t)}}}]^{\rm T}}. Utilizing the geometry relationship in Fig. 1(b), the NLoS path angles θl(t),ϕl(t){\theta_{l}^{(t)}},{\phi_{l}^{(t)}} with l 1l\;\geq\;1 satisfy

tan(θl(t))\displaystyle{\rm{tan}}\left(\theta_{l}^{(t)}\right) =y(t)yl(t)x(t)xl(t),\displaystyle={\frac{{{y^{\left(t\right)}}-y_{l}^{(t)}}}{{{x^{\left(t\right)}}-x_{l}^{(t)}}}}, (3a)
tan(ϕl(t))\displaystyle{\rm{tan}}\left(\phi_{l}^{(t)}\right) =y0xp,l(t)x0yp,l(t),\displaystyle={\frac{{{y_{0}}-x_{{\rm p},l}^{(t)}}}{{{x_{0}}-y_{{\rm p},l}^{(t)}}}}, (3b)

Therefore, the wireless environment features can be represented by the locations of PA and all possible VAs as 𝐱l(t)=[xl(t),yl(t)]T,l=0,1,,L(t)1\mathbf{x}_{l}^{(t)}={[{{x_{l}^{(t)}},{y_{l}^{(t)}}}]^{\rm T}},l=0,1,...,{L^{(t)}}-1.

II-B Signal and Channel Models

For signal model construction, we consider that the BS has NBSN_{{\rm BS}} antennas and one radio frequency (RF) chain with precoder 𝐟NBS×1{\mathbf{f}}\in{\mathbb{C}^{{N_{{\rm BS}}}\times{1}}}. The UE has NUEN_{{\rm UE}} antennas and one RF chain with combiner 𝐰NUE×1{\mathbf{w}}\in{\mathbb{C}^{{N_{{\rm UE}}}\times{1}}}. The power constraint is enforced by 𝐟22=𝐰22=1{\left\|{\mathbf{f}}\right\|}_{2}^{2}={\left\|{\mathbf{w}}\right\|}_{2}^{2}=1. Thus, when the BS transmitted the signal s{s} restricted to |s|=1\left|{s}\right|=1, the received signal r{r} of the UE through the mmWave downlink channel 𝐇(t)NUE×NBS{\mathbf{H}^{(t)}}\in{\mathbb{C}^{{N_{\rm UE}}\times{{N_{\rm BS}}}}} can be represented as

r=𝐰H𝐇(t)𝐟s+𝐰H𝐧,{r}={{\mathbf{w}}^{\rm H}}{\mathbf{H}^{(t)}}{\mathbf{f}}{s}+{{\mathbf{w}}^{\rm{H}}}\mathbf{n}, (4)

where 𝐧𝒩(𝟎,σ2𝐈)\mathbf{n}\sim{\mathcal{N}(\mathbf{0},\sigma^{2}\mathbf{I})} represents the additive Gaussian noise. During the beam management process, one beam pair is measured at a time, where 𝐟\mathbf{f} and 𝐰\mathbf{w} are the beamforming vectors of BS and UE, respectively. The amplitude of the received signal r{r} can be used to evaluate the quality of the beam pair 𝐟\mathbf{f} and 𝐰\mathbf{w}. The qualities of the different beam pairs are measured periodically to monitor CSI change.

For channel model construction, we consider the geometry-based mmWave multipath channel, as shown in Fig. 1(b). The number of the available paths from BS to UE at time tt is given by L(t)L^{(t)}, with the LoS path (l=0)(l=0) from the BS, and the single-bounce specular NLoS paths (l=1,2.,L(t)1)(l=1,2....,L^{(t)}-1) from the VAs. Thus, the downlink channel 𝐇(t)\mathbf{H}^{(t)} can be represented as

𝐇(t)=l=0L(t)1gl(t)𝐚UE(θl(t))𝐚BSH(ϕl(t)),\mathbf{H}^{(t)}=\mathop{\sum}\limits_{l=0}^{L^{(t)}-1}{g_{l}^{(t)}}{\mathbf{a}_{{\rm UE}}}\left({{\theta_{l}^{(t)}}}\right)\mathbf{a}_{{\rm BS}}^{{\rm H}}\left({{\phi_{l}^{(t)}}}\right), (5)

where gl(t){g_{l}^{(t)}} represents the path gain of the ll-th path at time tt, considering the ray tracing path loss model in [33]. The antenna array response vectors at UE and BS are represented by 𝐚UE(θl(t)){\mathbf{a}_{\rm UE}}({\theta_{l}^{(t)}}) and 𝐚BS(ϕl(t)){\mathbf{a}_{\rm BS}}(\phi_{l}^{(t)}) with the ll-th path’s AoA and AoD θl(t),ϕl(t){\theta_{l}^{(t)}},{\phi_{l}^{(t)}} at time tt. We consider that the BS and UE are equipped with uniform linear arrays (ULAs). Thus, the array responses can be represented as

𝐚UE(θl(t))\displaystyle{\mathbf{a}_{\rm UE}}\left({\theta_{l}^{(t)}}\right) =1NUE[1,ejπcos(θl(t)),,ejπ(NUE1)cos(θl(t))]T,\displaystyle=\sqrt{\frac{1}{{{N_{{\rm{UE}}}}}}}{\left[{1,{e^{-j{\pi}\cos\left({\theta_{l}^{(t)}}\right)}},...,{e^{-j{\pi}({N_{{\rm{UE}}}}-1)\cos\left({\theta_{l}^{(t)}}\right)}}}\right]^{\rm T}}, (6a)
𝐚BS(ϕl(t))\displaystyle{\mathbf{a}_{\rm BS}}\left({\phi_{l}^{(t)}}\right) =1NBS[1,ejπcos(ϕl(t)),,ejπ(NBS1)cos(ϕl(t))]T,\displaystyle=\sqrt{\frac{1}{{{N_{{\rm{BS}}}}}}}{\left[{1,{e^{-j{\pi}\cos\left({\phi_{l}^{(t)}}\right)}},...,{e^{-j{\pi}({N_{{\rm{BS}}}}-1)\cos\left({\phi_{l}^{(t)}}\right)}}}\right]^{\rm T}}, (6b)

where the angles θl(t),ϕl(t)(0,π){\theta_{l}^{(t)}},{\phi_{l}^{(t)}}\in(0,\pi)111The channel paths with AoA and AoD beyond (0,π)(0,\pi) can be distinguished by multiple ULAs with different orientations equipped on UE and BS..

II-C Problem Formulation

We consider an indoor scenario where the UE enters an unknown environment served by a single BS. GPS signals are unavailable indoors, making high-accuracy localization of a moving UE difficult to achieve. SLAM can be introduced to estimate the locations of UE, PA, and VAs. However, SLAM requires continuous environment measurements from the UE, and measurement errors can result in performance loss. Additionally, mmWave channel paths are susceptible to blockage by surrounding obstacles, resulting in rapid changes in CSI. To overcome this, periodic beam management can be introduced to search for beam pairs with high beamforming gain. However, the beam sweeping procedure invokes testing numerous beam pairs between the UE and BS, resulting in significant overhead consumption. To address these challenges, this study proposes a joint design where SLAM and beam management can mutually assist each other. By leveraging this joint design, the UE can achieve high-accuracy localization, construct a radio map of the environment, and effectively manage beams.

Refer to caption
Figure 2: Block diagram of the proposed joint beam management and SLAM design.

III Joint Beam Management and SLAM

The proposed joint design consists of four modules in different colored regions, as shown in Fig. 2. The blue region represents the hierarchical sweeping module, which covers the full-angle region. The red region represents the feature-aided tracking module with reduced overhead consumption. The gray region represents the switching module that controls the choice of the hierarchical sweeping and feature-aided tracking modules. The yellow region consists of SLAM and IMU, assisting each other to realize UE localization, radio map construction, and UE position prediction. The hierarchical sweeping, feature-aided tracking, and switching modules complete the beam management, while SLAM and IMU provide sensing services. At the end of time tt, the proposed joint design can estimate the current channel parameters, the UE position, the radio map, and predict the UE position for time t+1t+1.

Fig. 2 shows the working procedure at time tt. First, the switching module utilizes the channel parameters estimated at time t1t-1 to choose between the hierarchical sweeping and feature-aided tracking modules. The feature-aided tracking module is based on the historic radio map and predicted UE position. The effectiveness of the estimates from the feature-aided tracking module is determined by the switching module. Then, the path angle estimates of the hierarchical sweeping or feature-aided tracking module are utilized to realize the sensing services. Finally, the results of the beam management and sensing service are transmitted to time t+1t+1, marking the end of the joint design at time tt. The implementation of different modules depends on the results of the others. Notably, as the UE has no prior information at first, the hierarchical sweeping module is performed for initialization at t=1t=1. Therefore, we first introduce the hierarchical sweeping module. Then, the sensing service based on path angle estimates is introduced, followed by the feature-aided tracking module utilizing the results of the sensing service. Finally, the switching module is introduced to complete the joint design.

III-A Hierarchical Sweeping Module

The hierarchical sweeping module considers the hierarchical codebook proposed in [32], which consists of beam pairs with different beam-widths, as shown in Fig. 3(a). The axes in Fig. 3 describe the AoD and AoA of channel paths. For example, the red mark with coordinate (ϕl(t),θl(t))(\phi_{l}^{(t)},\theta_{l}^{(t)}) represents the ll-th path with AoD ϕl(t)\phi_{l}^{(t)} and AoA θl(t)\theta_{l}^{(t)}. The codebooks under the AoD and AoA axes are equipped by BS and UE, respectively. For example, the codebook of BS consists of JJ layers, and the jj-th layer consists of 2j12^{j-1} subsets. The kk-th (k=1,,2j1)(k=1,...,2^{j-1}) subset in the jj-th (j=1,,J)(j=1,...,J) layer 𝐅(j,k)NBS×2{{{{\bf{F}}_{({j,k})}}}}\in{\mathbb{C}^{{N_{{\rm BS}}}\times{2}}} consists two different beamforming vectors.

The generation of 𝐅(j,k){{{{\bf{F}}_{({j,k})}}}} is shown as follows. First, the discrete AoD and AoA are set as ϕ¯u=πuN,θ¯v=πvN,u,v{1,,N}{\bar{\phi}_{u}}=\frac{{\pi u}}{N},{\bar{\theta}_{v}}=\frac{{\pi v}}{N},{\rm{\;}}u,v\in\{{1,...,N}\}, where {1,,N}\{{1,...,N}\} represents the discrete angle domain, and π/N{\rm{\pi}}/N represents the corresponding angular resolution. One subset 𝐅(j,k){{{{\bf{F}}_{({j,k})}}}} is selected in one layer, and two vectors are measured during the sweeping procedure. For example, in the third layer of Fig. 3(a), the second subset is selected. Thus, the beamforming vectors [𝐅(3,2)]:,1{[{{{\bf{F}}_{({3,2})}}}]_{:,1}} and [𝐅(3,2)]:,2{[{{{\bf{F}}_{({3,2})}}}]_{:,2}} are measured. The design of the mm-th (m=1,2)(m=1,2) beamforming vector of the kk-th (k=1,,2j1)(k=1,...,2^{j-1}) subset in the jj-th (j=1,,J)(j=1,...,J) layer [𝐅(j,k)]:,mNBS×1{[{{{\bf{F}}_{({j,k})}}}]_{:,m}}\in{\mathbb{C}^{{N_{{\rm BS}}}\times{1}}} satisfies the antenna pattern equation sets

[𝐅(j,k)]:,mH𝐚BS(ϕ¯u)={Cj,ifu(j,k,m),0,ifu(j,k,m),\left[{{{\bf{F}}_{\left({j,k}\right)}}}\right]_{:,m}^{\rm H}{{\bf{a}}_{\rm BS}}\left({{{\bar{\phi}}_{u}}}\right)=\left\{{\begin{array}[]{*{20}{c}}{{C_{j}},{\rm{\;if\;}}u\in{{\cal I}_{\left({j,k,m}\right)}}},\\ {0,{\rm{\;\;\;if\;}}u\notin{{\cal I}_{\left({j,k,m}\right)}}},\end{array}}\right. (7)

where the set (j,k,m)={N2j(2(k1)+m1)+1,,N2j(2(k1)+m)}{{\cal I}_{({j,k,m})}}=\{\frac{N}{{{2^{j}}}}({2({k-1})+m-1})+1,...,\frac{N}{{{2^{j}}}}({2({k-1})+m})\} describes the projection range of [𝐅(j,k)]:,m{[{{{\bf{F}}_{({j,k})}}}]_{:,m}} over the discrete angle domain. For example, in the second layer of Fig. 3(a), the beamforming vector [𝐅(2,1)]:,2{[{{{\bf{F}}_{({2,1})}}}]_{:,2}} covers the discrete angle domain (2,1,2)={N4+1,N4+2,,N2}{{\cal I}_{({2,1,2})}}=\{\frac{N}{4}+1,\frac{N}{4}+2,...,\frac{N}{2}\} corresponding to the continuous angle domain [(N4+1)πN,π2][{(\frac{N}{4}+1)\frac{\pi}{N},\frac{\pi}{2}}]. The normalization constant Cj{C_{j}} is set for power constraint 𝐅(j,k)F=1{\|{{{\bf{F}}_{({j,k})}}}\|_{F}}=1. The approximate solution of (7) is given by [32]

[𝐅(j,k)]:,m=Cj(𝐀BS,D𝐀BS,DH)1𝐀BS,D[𝐆(j,k)]:,m,{\left[{{{\bf{F}}_{\left({j,k}\right)}}}\right]_{:,m}}={C_{j}}{\left({{{\bf{A}}_{{\rm{BS,D}}}}{\bf{A}}_{{\rm{BS,D}}}^{\rm H}}\right)^{-1}}{{\bf{A}}_{{\rm{BS,D}}}}{\left[{{{\bf{G}}_{\left({j,k}\right)}}}\right]_{:,m}}, (8)

where 𝐀BS,D=[𝐚BS(ϕ¯0),𝐚BS(ϕ¯1),,𝐚BS(ϕ¯N1)]{{\bf{A}}_{{\rm{BS,D}}}}=[{{{\bf{a}}_{{\rm{BS}}}}({{{\bar{\phi}}_{0}}}),{{\bf{a}}_{{\rm{BS}}}}({{{\bar{\phi}}_{1}}}),...,{{\bf{a}}_{{\rm{BS}}}}({{{\bar{\phi}}_{N-1}}})}], and 𝐆(j,k)N×2{{\bf{G}}_{({j,k})}}\in{\mathbb{R}^{N\times{2}}} is a matrix with the elements of the mm-th column and the uu-th row satisfying u(j,k,m)u\in{{\cal I}_{({j,k,m})}} set as 1 whereas others set as 0. Additionally, the codebook 𝐖(j,k)NUE×2{{{\bf{W}}_{({j,k})}}}\in{\mathbb{C}^{{N_{{\rm UE}}}\times{2}}} at the UE side can be generated similarly.

Refer to caption
(a)
Refer to caption
(b)
Figure 3: Illustration of (a) hierarchical sweeping codebook and (b) feature-aided tracking codebook for the ll-th path.

We propose a sweeping scheme that utilizes the hierarchical codebook design to estimate the multipath channel parameters path by path. Additionally, the scheme incorporates the successive interference cancellation technique [34] to mitigate interference from previously estimated paths. Before the sweeping procedure for the ll-th (l2l\geq 2) path, the sweeping procedures for the first l1l-1 paths have already been completed, and the corresponding results can be expressed as θ^l(t),ϕ^l(t),g^l(t)\hat{\theta}_{l^{\prime}}^{(t)},\hat{\phi}_{l^{\prime}}^{(t)},\;\hat{g}_{l^{\prime}}^{(t)} for l=0,,l2l^{\prime}=0,...,l-2. Thus, the partial channel estimation 𝐇^part,l1{{\bf{\hat{H}}}}_{{\rm{part}},l-1} can be calculated as222For the 11-st path (l=1l=1) case, no sweeping procedure has been performed yet, and the partial channel estimation is initialized to 𝟎{\bf 0}.

𝐇^part,l1={𝟎,ifl=1,l=0l2g^l(t)𝐚UE(θ^l(t))𝐚BSH(ϕ^l(t)),ifl2.{{\bf{\hat{H}}}}_{{\rm{part}},l-1}=\left\{{\begin{array}[]{*{20}{l}}{{\bf{0}},\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;{\rm{if}}\;l=1},\\ {\mathop{\sum}\limits_{{l^{\prime}}=0}^{l-2}\hat{g}_{l^{\prime}}^{\left(t\right)}{{\bf{a}}_{{\rm{UE}}}}\left({\hat{\theta}_{l^{\prime}}^{\left(t\right)}}\right){\bf{a}}_{{\rm{BS}}}^{\rm H}\left({\hat{\phi}_{l^{\prime}}^{\left(t\right)}}\right),\;{\rm{if}}\;l\geq 2}.\end{array}}\right. (9)

The ll-th sweeping procedure starts from the first layer and ends at the JJ-th layer. For the jj-th layer, as UE and BS select one subset consisting of two beamforming vectors, a total of four different beam pairs are measured. The corresponding received signals rabj{{r}}_{ab}^{j} with a,b{1,2}a,b\in\{1,2\} can be represented as

rabj=[𝐖(j,kUEj)]:,aH(𝐇(t)[𝐅(j,kBSj)]:,bs+𝐧),{{r}}_{ab}^{j}=\left[{{{\bf{W}}_{\left({j,{k_{{\rm{UE}}}^{j}}}\right)}}}\right]_{:,a}^{\rm H}\left({{\bf{H}}^{\left(t\right)}{{\left[{{{\bf{F}}_{\left({j,{k_{{\rm{BS}}}^{j}}}\right)}}}\right]}_{:,b}}{{s}}+{\bf{n}}}\right), (10)

where kUEj,kBSj{k_{{\rm{UE}}}^{j}},{k_{{\rm{BS}}}^{j}} are the indexes of the beamforming subset selected by UE and BS for the jj-th layer. Based on (9), the residual of the received signal rr,abj(l){{r}}_{{\rm r},ab}^{j}(l) can be given by

rr,abj(l)=rabj[𝐖(j,kUEj)]:,aH𝐇^part,l1[𝐅(j,kBSj)]:,b,{{r}}_{{\rm r},ab}^{j}\left(l\right)={{r}}_{ab}^{j}-\left[{{{\bf{W}}_{\left({j,{k_{{\rm{UE}}}^{j}}}\right)}}}\right]_{:,a}^{\rm H}{{\bf{\hat{H}}}}_{{\rm{part}},l-1}{{\left[{{{\bf{F}}_{\left({j,{k_{{\rm{BS}}}^{j}}}\right)}}}\right]}_{:,b}}, (11)

Then, we set mUEj,mBSj{1,2}{m_{{\rm{UE}}}^{j}},{m_{{\rm{BS}}}^{j}}\in\{1,2\} as the beamforming vector index of UE and BS corresponding to the maximal rr,abj(l){{r}}_{{\rm r},ab}^{j}(l), satisfying (mUEj,mBSj)=argmax|rr,mUEjmBSjj(l)|({m_{{\rm{UE}}}^{j},m_{{\rm{BS}}}^{j}})=\mathop{{\rm{arg\;max}}}|{{r}}_{{\rm r},m_{{\rm{UE}}}^{j}m_{{\rm{BS}}}^{j}}^{j}(l)|. After that, the sweeping procedure moves from the jj-th layer to the (j+1)(j+1)-th one. The corresponding indexes kUEj+1,kBSj+1{k_{{\rm{UE}}}^{j+1}},{k_{{\rm{BS}}}^{j+1}} are updated by

kUEj+1\displaystyle k_{{\rm{UE}}}^{j+1} =kUEj+(mUEj1),\displaystyle=k_{{\rm{UE}}}^{j}+\left({m_{{\rm{UE}}}^{j}-1}\right), (12a)
kBSj+1\displaystyle k_{{\rm{BS}}}^{j+1} =kBSj+(mBSj1),\displaystyle=k_{{\rm{BS}}}^{j}+\left({m_{{\rm{BS}}}^{j}-1}\right), (12b)

The sweeping procedure repeats from j=1j=1 to JJ, reducing the AoA and AoD range gradually, as shown in Fig 3(a). Finally, at the JJ-th layer, the estimated channel parameters of the ll-th path θ^l(t),ϕ^l(t),g^l(t)\hat{\theta}_{l}^{(t)},\;\hat{\phi}_{l}^{(t)},\;\hat{g}_{l}^{(t)} can be represented by

θ^l(t)=\displaystyle\hat{\theta}_{l}^{\left(t\right)}= π(kUEJ+mUEJ+0.5)N,\displaystyle\frac{{\pi\left({k_{\rm UE}^{J}+m_{\rm UE}^{J}}+0.5\right)}}{N}, (13a)
ϕ^l(t)=\displaystyle\hat{\phi}_{l}^{\left(t\right)}= π(kBSJ+mBSJ+0.5)N,\displaystyle\frac{{\pi\left({k_{\rm BS}^{J}+m_{\rm BS}^{J}}+0.5\right)}}{N}, (13b)
g^l(t)=\displaystyle\hat{g}_{l}^{\left(t\right)}= rr,mUEJmBSJJ(l).\displaystyle{{r}}_{{\rm r},m_{{\rm{UE}}}^{J}m_{{\rm{BS}}}^{J}}^{J}\left(l\right). (13c)

The estimated path gain g^l(t)\hat{g}_{l}^{(t)} depends on the measurement through the beam pair selected in the JJ-th layer. We consider simply repeating and averaging such measurements for adequate times to refine g^l(t)\hat{g}_{l}^{(t)}. Thus, channel parameters of the ll-th path are estimated through the above-mentioned sweeping procedure. The parameters of the remaining paths can be estimated through similar procedures.

In addition, by adding a termination criterion after the first layer’s measurement of every single path, the path number L(t){L^{(t)}} can be estimated from the difference of the received signal. For example, after the measurement in the first layer of the ll-th path’s sweeping procedure, we can get the residuals rr,ab1(l),a,b{1,2}{{r}}_{{\rm r},ab}^{1}(l),\;a,b\in\{1,2\} based on (11). When all channel paths are considered in (9), the residuals should be small and have a little difference in amplitude. We set the residual threshold and amplitude difference threshold as rmin{r}_{\rm min} and Δrmin{{\rm{\Delta}}^{{\rm{min}}}_{r}}, respectively. Thus, when maxa,b=1,2|rr,ab1(l)|<rmin\mathop{\max}\limits_{a,b=1,2}|{{r}}_{{\rm r},ab}^{1}(l)|<{{{r}}_{{\rm{min}}}} and maxa,b,c,d=1,2|rr,ab1(l)rr,cd1(l)|<Δmin\mathop{\max}\limits_{a,b,c,d=1,2}|{{{r}}_{{\rm r},ab}^{1}(l)-{{r}}_{{\rm r},cd}^{1}(l)}|<{{\rm{\Delta}}_{{\rm{min}}}} are satisfied, the hierarchical sweeping module at time tt is terminated, and the estimated channel parameters can be represented as θ^l(t),ϕ^l(t),g^l(t),l=0,1,,L^(t)1\hat{\theta}_{l^{\prime}}^{(t)},\hat{\phi}_{l^{\prime}}^{(t)},\hat{g}_{l^{\prime}}^{(t)},l^{\prime}=0,1,...,{\hat{L}}^{(t)}-1 with L^(t)=l{\hat{L}}^{(t)}=l. Otherwise, the (l+1)(l+1)-th path’s sweeping procedure continues. Algorithm 1 summarizes the proposed hierarchical sweeping module.

Input: Residual threshold rmin{r}_{\rm min}; Amplitude difference threshold Δrmin{{\rm{\Delta}}^{{\rm{min}}}_{r}};
1 Set l=1l=1;
2 while lLdl\leq L_{d} do
3       Calculate partial channel estimation using (9);
4       Set j=1j=1;
5       for jJj\leq J do
6             Run beam measurement using (10) with beamforming vector generated by (8);
7             Calculate residual signal using (11) filtering partial channel estimation using (9);
8             if j=1j=1, maxa,b=1,2|rr,ab1(l)|<rmin,andmaxa,b,c,d=1,2|rr,ab1(l)rr,cd1(l)|<Δmin\mathop{\max}\limits_{a,b=1,2}|{{r}}_{{\rm r},ab}^{1}(l)|<{{{r}}_{{\rm{min}}}},{\rm{and}}\mathop{\max}\limits_{a,b,c,d=1,2}|{{{r}}_{{\rm r},ab}^{1}(l)-{{r}}_{{\rm r},cd}^{1}(l)}|<{{\rm{\Delta}}_{{\rm{min}}}} then
9                   end while
10                  
11             end if
12            Calculate the subset index using (12) for the (j+1)\left(j+1\right)-th layer;
13             Set j=j+1j=j+1;
14            
15       end for
16      Run channel parameters estimation using (13);
17       Set l=l+1l=l+1;
18      
19 end while
20Set L^(t)=l{\hat{L}}^{(t)}=l;
Output: channel parameter estimation θ^l(t),ϕ^l(t),g^l(t)\hat{\theta}_{l^{\prime}}^{(t)},\hat{\phi}_{l^{\prime}}^{(t)},\hat{g}_{l^{\prime}}^{(t)} for l=0,1,,L^(t)1l^{\prime}=0,1,...,{\hat{L}}^{(t)}-1;
21
Algorithm 1 Hierarchical Sweeping

III-B Sensing Service

For realizing sensing services, IMU utilizes the historic UE position estimated in SLAM for position prediction, whereas SLAM utilizes the angle estimates from beam management and the measurements from IMU for localization and mapping.

The output of IMU at time tt can be represented as the linear acceleration 𝐚^(t)=[a^x(t),a^y(t)]T{{\bf{\hat{a}}}^{(t)}}={[{{{\hat{a}}}_{x}^{({t})},{{\hat{a}}}_{y}^{({t})}}]^{\rm T}} under the global coordinate system. We assume that UE is in a fixed motion pattern, and 𝐚^(t){{\bf{\hat{a}}}^{(t)}} can be modeled as

𝐚^(t)=𝐚(t)+𝐧IMU,{{\bf{\hat{a}}}^{\left(t\right)}}={{\bf{a}}^{\left(t\right)}}+{{\bf{n}}_{{\rm{IMU}}}}, (14)

where 𝐧IMU𝒩(𝟎,σIMU2𝐈){{\bf{n}}_{{\rm{IMU}}}}\sim{\mathcal{N}(\mathbf{0},\sigma_{{\rm{IMU}}}^{2}\mathbf{I})} represents the additive Gaussian noise for IMU. The estimated UE trajectory 𝐱^(t)=[x^(t),y^(t)]T{{\bf{\hat{x}}}^{(t)}}={[{{{\hat{x}}^{({t})}},{{\hat{y}}^{(t)}}}]^{\rm T}} exported by SLAM (which is introduced in (16a)) is considered to refine the IMU measurements for reducing the integrating error. For example, the predicted UE location 𝐱^(t){\bf{\hat{x}}}{{}^{\prime(t)}} and velocity 𝐯^(t){{\bf{\hat{v}}}^{\prime(t)}} for time tt can be represented as

𝐱^=(t)\displaystyle{\bf{\hat{x}}}{{}^{\prime\left(t\right)}}= 𝐱^(t1)+T𝐯^(t1)+T22𝐚^(t1),\displaystyle{{{\bf{\hat{x}}}}^{\left({t-1}\right)}}+{T}{{{\bf{\hat{v}}}}^{\left({t-1}\right)}}+\frac{{{T}^{2}}}{2}{{{\bf{\hat{a}}}}^{\left({t-1}\right)}}, (15a)
𝐯^(t)=\displaystyle{{{\bf{\hat{v}}}}^{\prime\left(t\right)}}= 𝐯^(t1)+T𝐚^(t1),\displaystyle{{{\bf{\hat{v}}}}^{\left({t-1}\right)}}+{T}{{{\bf{\hat{a}}}}^{\left({t-1}\right)}}, (15b)

where 𝐯^=(t1)1T(𝐱^(t1)𝐱^(t2))+T2𝐚^(t2){\bf{\hat{v}}}{{}^{({t-1})}}=\frac{1}{T}({{{{\bf{\hat{x}}}}^{({t-1})}}-{{{\bf{\hat{x}}}}^{({t-2})}}})+\frac{T}{2}{{{\bf{\hat{a}}}}^{({t-2})}} is the refined velocity estimate at time t1t-1 utilizing the SLAM results. The predicted results 𝐱^,(t)𝐯^(t){\bf{\hat{x}}}{{}^{\prime(t)}},{{\bf{\hat{v}}}^{\prime(t)}} only depend on the historical results at times t1t-1 and t2t-2, reducing the integrating error of IMU drastically.

The SLAM algorithm proposed in [11] is introduced to estimate the states and locations of the UE, PA, and VAs. First, the input of SLAM in [11] at time tt includes the angle estimates θ^l(t),ϕ^l(t),l=0,1,,L^(t)1\hat{\theta}_{l}^{(t)},\hat{\phi}_{l}^{(t)},l=0,1,...,{\hat{L}}^{(t)}-1 from the beam management. Second, the UE state prediction (position 𝐱^(t){\bf{\hat{x}}}{{}^{\prime(t)}} and velocity 𝐯^(t){{\bf{\hat{v}}}^{\prime(t)}}) in [11] is based on a linear, near constant-velocity motion model in [35]. In this study, the UE state can be predicted directly by IMU through (15). Finally, the particle-based implementation of the SLAM in [11] is considered. Let 𝐱^UE,p(t)=[x^UE,p(t),y^UE,p(t)]T,𝐱^l,p(t)=[x^l,p(t),y^l,p(t)]T,p=1,,P{\bf{\hat{x}}}_{{\rm UE},p}^{(t)}={{{[{\hat{x}_{{\rm UE},p}^{(t)},\hat{y}_{{\rm UE},p}^{(t)}}]}^{\rm T}}},{\bf{\hat{x}}}_{l,p}^{(t)}={{{[{\hat{x}_{l,p}^{(t)},\hat{y}_{l,p}^{(t)}}]}^{\rm T}}},p=1,...,P represent the pp-th particle of the estimated UE and the ll-th anchor with the total particle number PP. Thus, the estimated UE and anchor positions 𝐱^(t)=[x^(t),y^(t)]T,𝐱^l(t)=[x^l(t),y^l(t)]T{{\bf{\hat{x}}}^{(t)}}={[{{{\hat{x}}^{({t})}},{{\hat{y}}^{(t)}}}]^{\rm T}},{\bf{\hat{x}}}_{l}^{(t)}={[{\hat{x}_{l}^{(t)},\hat{y}_{l}^{(t)}}]^{\rm T}} are in the respective centers of their particles, given by

𝐱^(t)\displaystyle{{\bf{\hat{x}}}^{\left(t\right)}} =1Pp=1P𝐱^UE,p(t),\displaystyle=\frac{1}{P}\sum\limits_{p=1}^{P}{\bf{\hat{x}}}_{{\rm UE},p}^{\left(t\right)}, (16a)
𝐱^l(t)\displaystyle{\bf{\hat{x}}}_{l}^{\left(t\right)} =1Pp=1P𝐱^l,p(t),l=0,1,,L^(t)1.\displaystyle=\frac{1}{P}\sum\limits_{p=1}^{P}{\bf{\hat{x}}}_{l,p}^{\left(t\right)},\;l=0,1,...,{\hat{L}}^{\left(t\right)}-1. (16b)

III-C Feature-aided Tracking Module

The feature-aided tracking module utilizes historical results from the sensing service, as shown in the red region of Fig. 2. First, the information transform sub-module generates prior angle information. Then, the feature-aided tracking sub-module realizes overhead-reduced beam tracking.

III-C1 Information Transform

The prior angle information at time tt includes the prior angle values θVA,l(t),ϕVA,l(t)(0,π)\theta_{{\rm{VA}},l}^{(t)},\phi_{{\rm{VA}},l}^{(t)}\in(0,\pi) and the prior angle searching ranges θscale,l(t),ϕscale,l(t)(0,π)\theta_{{\rm{scale}},l}^{(t)},\phi_{{\rm{scale}},l}^{(t)}\in(0,\pi) for L^(t1){\hat{L}}^{({t-1})} paths. The true angles are believed to be in the ranges centered on θVA,l(t)\theta_{{\rm{VA}},l}^{(t)} (or ϕVA,l(t)\phi_{{\rm{VA}},l}^{(t)}) with widths equal to θscale,l(t)\theta_{{\rm{scale}},l}^{(t)} (or ϕscale,l(t)\phi_{{\rm{scale}},l}^{(t)}). The prior angle information is generated through the predicted UE location 𝐱^(t){\bf{\hat{x}}}{{}^{\prime(t)}} from IMU and the radio map 𝐱^l(t1),𝐱^l,p(t1),l=0,1,,L^(t1)1{\bf{\hat{x}}}_{l}^{({t-1})},{\bf{\hat{x}}}_{l,p}^{(t-1)},l=0,1,...,{\hat{L}}^{({t-1})}-1 from SLAM. The LoS and NLoS paths are discussed separately because of their different characteristics.

Refer to caption
(a)
Refer to caption
(b)
Figure 4: Illustration of generating prior angle information from the historic radio map and predicted UE location for (a) the LoS path and (b) the NLoS path.

For the LoS path (l=0)(l=0), the prior angle values θVA,0(t)\theta_{{\rm{VA,0}}}^{(t)} and ϕVA,0(t)\phi_{{\rm{VA,0}}}^{(t)} are viewed as AoA and AoD of the path from estimated PA 𝐱^0(t1){\bf{\hat{x}}}_{0}^{({t-1})} to predicted UE 𝐱^(t){\bf{\hat{x}}}{{}^{\prime(t)}}, as illustrated in Fig. 4(a). Thus, θVA,0(t),ϕVA,0(t)\theta_{{\rm{VA,0}}}^{(t)},\phi_{{\rm{VA,0}}}^{(t)} can be calculated as

θVA,0(t)\displaystyle\theta_{{\rm{VA,0}}}^{\left(t\right)} =atan(y^0(t1)y^(t)x^0(t1)x^(t))+0.5π,\displaystyle={\rm{atan}}\left({\frac{{\hat{y}_{0}^{\left({t-1}\right)}-\hat{y}{{}^{\prime\left(t\right)}}}}{{\hat{x}_{0}^{\left({t-1}\right)}-\hat{x}{{}^{\prime\left(t\right)}}}}}\right)+0.5\pi, (17a)
ϕVA,0(t)\displaystyle\phi_{{\rm{VA,0}}}^{\left(t\right)} =θVA,0(t)±π.\displaystyle=\theta_{{\rm{VA,0}}}^{\left(t\right)}\pm\pi. (17b)

The prior angle searching ranges are calculated to cover most of the PA/VA particles. As the coordinate particle x^l,p(t)\hat{x}_{l,p}^{(t)} and y^l,p(t)\hat{y}_{l,p}^{(t)} can be approximated as Gaussian distribution, the distance between the estimated PA/VA and the particles Rl,p(t1)=𝐱^l(t)𝐱^l,p(t)2{R^{(t-1)}_{l,p}}=\|{\bf{\hat{x}}}_{l}^{(t)}-{\bf{\hat{x}}}_{l,p}^{(t)}\|_{2} obeys the Rayleigh distribution. Thus, the statistical mean R¯l,p(t1)\overline{R}_{l,p}^{(t-1)} and variance σRl,p(t1)2\sigma^{2}_{{R^{(t-1)}_{l,p}}} can be calculated as

R¯l,p(t1)\displaystyle\overline{R}_{l,p}^{\left(t-1\right)} =1Pp=1PRl,p(t1),\displaystyle=\frac{1}{P}\sum\limits_{p=1}^{P}{R^{\left(t-1\right)}_{l,p}}, (18)
σRl,p(t1)2\displaystyle\sigma^{2}_{{R^{\left(t-1\right)}_{l,p}}} =1Pp=1P(Rl,p(t1)R¯l,p(t1))2.\displaystyle=\frac{1}{P}\sum\limits_{p=1}^{P}{{\left({R^{\left(t-1\right)}_{l,p}}-\overline{R}_{l,p}^{\left(t-1\right)}\right)}^{2}}. (19)

Then, the PA/VA circular region 𝐂l(t1){\bf{C}}^{(t-1)}_{l} centered on 𝐱^l(t1){\bf{\hat{x}}}_{l}^{({t-1})} and with radius Rl(t1)=CangleσRl,p(t1){R^{(t-1)}_{l}}={{\rm C}_{\rm angle}}\sigma_{{R^{(t-1)}_{l,p}}} is set for LoS and NLoS paths with the angle searching range constant Cangle{{\rm C}_{\rm angle}}, as illustrated in Fig. 4(a) and (b), respectively. With the accurate UE and BS location, the circular regions with Cangle3.2759{{\rm C}_{\rm angle}}\geq 3.2759 can cover all PA/VA particles with over 90% confidence according to the characteristics of Gaussian distribution. Then, the prior angle searching range of the LoS path θscale,0(t)\theta_{{\rm{scale,0}}}^{(t)} and ϕscale,0(t)\phi_{{\rm{scale,0}}}^{(t)} can be seen as the angle ranges of the paths from the circular region 𝐂0(t1){\bf{C}}^{(t-1)}_{0} to predicted UE 𝐱^(t){\bf{\hat{x}}}{{}^{\prime(t)}}, as illustrated in Fig. 4(a). Thus, θscale,0(t),ϕscale,0(t)\theta_{{\rm{scale,0}}}^{(t)},\phi_{{\rm{scale,0}}}^{(t)} can be calculated as

θscale,0(t)=ϕscale,0(t)=2arcsin(R0(t1)𝐱^0(t1)𝐱^2(t)).\theta_{{\rm{scale,0}}}^{\left(t\right)}=\phi_{{\rm{scale,0}}}^{\left(t\right)}=2{\rm{arcsin}}\left({\frac{{R_{0}^{\left({t-1}\right)}}}{{\left\|{\hat{\bf{x}}_{0}^{\left({t-1}\right)}-\hat{\bf{x}}{{}^{\prime\left(t\right)}}}\right\|}_{2}}}\right). (20)

NLoS paths (l1)(l\geq 1) have different transmission characteristics compared with the LoS path. NLoS paths first start from PA, then to the reflection point 𝐏{\bf{P}}, and finally to the UE, as shown by the blue trajectory in Fig. 4(b). When VA is moving around on the circle of 𝐂l(t1){\bf{C}}^{(t-1)}_{l}, the point 𝐏{\bf{P}} formulates a closed convex 𝐏l(t1){\bf{P}}^{(t-1)}_{l} in red. We set the slopes of the tangents to 𝐏l(t1){\bf{P}}^{(t-1)}_{l} from 𝐱^(t){\bf{\hat{x}}}{{}^{\prime(t)}} and 𝐱^0(t1){\bf{\hat{x}}}_{0}^{({t-1})} as κl,UE,max(t)>κl,UE,min(t)\kappa_{l,{\rm{UE,max}}}^{(t)}>\kappa_{l,{\rm{UE,min}}}^{(t)} and κl,PA,max(t)>κl,PA,min(t)\kappa_{l,{\rm{PA,max}}}^{(t)}>\kappa_{l,{\rm{PA,min}}}^{(t)}, respectively. Then, the definition of the prior angle information of the ll-th path θVA,l(t),\theta_{{\rm{VA}},l}^{(t)}, ϕVA,l(t),\phi_{{\rm{VA}},l}^{(t)}, θscale,l(t),\theta_{{\rm{scale}},l}^{(t)}, ϕscale,l(t)(0,π)\phi_{{\rm{scale}},l}^{(t)}\in\left(0,\pi\right) is similar to those of the LoS path and can be calculated as

θVA,l(t)\displaystyle\theta_{{\rm VA},l}^{\left(t\right)} =atan(κl,UE,max(t))+atan(κl,UE,min(t))2+0.5π,\displaystyle=\frac{{{\mathop{\rm atan}\nolimits}\left({\kappa_{l,{\rm{UE,max}}}^{(t)}}\right)+{\rm atan}\left({\kappa_{l,{\rm{UE,min}}}^{(t)}}\right)}}{2}+0.5\pi, (21a)
ϕVA,l(t)\displaystyle\phi_{{\rm VA},l}^{\left(t\right)} =atan(κl,PA,max(t))+atan(κl,PA,min(t))2+0.5π,\displaystyle=\frac{{{\rm atan}\left({\kappa_{l,{\rm{PA,max}}}^{(t)}}\right)+{\rm atan}\left({\kappa_{l,{\rm{PA,min}}}^{(t)}}\right)}}{2}+0.5\pi, (21b)
θscale,l(t)\displaystyle\theta_{{\rm scale},l}^{\left(t\right)} =atan(κl,UE,max(t))atan(κl,UE,min(t)),\displaystyle={\rm atan}\left({\kappa_{l,{\rm{UE,max}}}^{(t)}}\right)-{\rm atan}\left({\kappa_{l,{\rm{UE,min}}}^{(t)}}\right), (21c)
ϕscale,l(t)\displaystyle\phi_{{\rm scale},l}^{\left(t\right)} =atan(κl,PA,max(t))atan(κl,PA,min(t)).\displaystyle={\rm atan}\left({\kappa_{l,{\rm{PA,max}}}^{(t)}}\right)-{\rm atan}\left({\kappa_{l,{\rm{PA,min}}}^{(t)}}\right). (21d)

In Fig. 4, the yellow regions illustrate the prior angle searching ranges centered on the prior angle values, which are believed to cover the true angles.

III-C2 Feature-aided Tracking

This sub-module utilizes prior angle information θVA,l(t),\theta_{{\rm{VA}},l}^{(t)}, ϕVA,l(t),\phi_{{\rm{VA}},l}^{(t)}, θscale,l(t),\theta_{{\rm{scale}},l}^{(t)}, ϕscale,l(t)\phi_{{\rm{scale}},l}^{(t)}, l=0,,L^(t1)1l=0,...,{\hat{L}}^{({t-1})}-1 to realize the overhead-reduced beam tracking. A total of L^(t1){\hat{L}}^{({t-1})} paths are tracked, and the tracking procedure of the ll-th path is taken as an example. For brevity, the prior angle information of the ll-th path is simplified as ϕVA:=ϕVA,l(t),ϕscale:=ϕscale,l(t),θVA:=θVA,l(t),θscale:=θscale,l(t){\phi_{\rm VA}}:=\phi_{{\rm{VA}},l}^{(t)},{\phi_{{\rm{scale}}}}:=\phi_{{\rm{scale}},l}^{(t)},{\theta_{\rm VA}}:=\theta_{{\rm{VA}},l}^{(t)},{\theta_{{\rm{scale}}}}:=\theta_{{\rm{scale}},l}^{(t)} in this sub-section. The tracking procedure considers measuring beam pairs with different widths, similar to the hierarchical sweeping module. However, the center of the tracking codebook is focused on ϕVA,θVA{\phi_{\rm VA}},{\theta_{\rm VA}}, and the initial tracking layer is decided by ϕscale,l,θscale,l\phi_{{\rm{scale}},l},\theta_{{\rm{scale}},l}, as shown in Fig. 3(b).

The tracking codebook of the BS is taken for example, the jj-th (j=1,,J)(j=1,...,J) layer of the ll-th path’s codebook only has one subset 𝐅(j,ϕVA)NBS×2{{{{\bf{F}}_{({j,{\phi_{\rm VA}}})}}}}\in{\mathbb{C}^{{N_{{\rm BS}}}\times{2}}} consisting of two beamforming vectors. We define (j,ϕVA,m)={N2j(m2)+ϕVAπ/N,,N2j(m1)+ϕVAπ/N}{{\cal I}_{({j,{\phi_{\rm VA}},m})}}=\{{\frac{N}{{{2^{j}}}}({m-2})+\lceil\frac{{\phi_{\rm VA}}}{\pi/N}\rceil,...,\frac{N}{{{2^{j}}}}({m-1})+\lceil\frac{{\phi_{\rm VA}}}{\pi/N}\rceil}\} centered on the discrete angle ϕVAπ/N\lceil\frac{{\phi_{\rm VA}}}{\pi/N}\rceil, and 𝐆(j,ϕVA)N×2{{\bf{G}}_{({j,{\phi_{\rm VA}}})}}\in{\mathbb{R}^{N\times{2}}} with the elements of the mm-th column and the uu-th row satisfying u(j,ϕVA,m)u\in{{\cal I}_{({j,{\phi_{\rm VA}},m})}} as 1, whereas others 0. Thus, 𝐅(j,ϕVA){\bf{F}}_{({j,{\phi_{\rm VA}}})} can be similarly calculated according to (7) and (8). Additionally, the tracking codebook 𝐖(j,θVA)NUE×2{{{\bf{W}}_{({j,{\theta_{\rm VA}}})}}}\in{\mathbb{C}^{{N_{{\rm UE}}}\times{2}}} at the UE side can be generated similarly.

The tracking procedure can be simplified based on the tracking codebook. As the true AoD ϕl(t)\phi_{l}^{(t)} is believed to be in range (ϕVA+0.5ϕscale,ϕVA0.5ϕscale)(\phi_{\rm VA}+0.5{\phi_{{\rm{scale}}}},\phi_{\rm VA}-0.5{\phi_{{\rm{scale}}}}), the initial tracking layer jBS{j^{\rm BS}} in BS can be calculated through the range width

jBS=log2ϕscaleπ/N,{j^{\rm BS}}=\left\lceil{{{\log}_{2}}\frac{{{\phi_{\rm scale}}}}{{{\rm{\pi}}/N}}}\right\rceil, (22)

and the initial tracking layer jUE{j^{\rm UE}} in UE can be similarly calculated through θscale\theta_{{\rm{scale}}}. Fig. 3(b) shows the tracking procedure. Finally, the channel parameter estimates of the ll-th path can be given as (13). A total of L^(t1){\hat{L}}^{({t-1})} path in the descending order of g^l(t1)\hat{g}_{l}^{({t-1})} are tracked by repeating the tracking procedure through the successive interference cancellation, which is similar to the hierarchical sweeping module. Notably, the termination criterion in Section III-A is also considered at the beginning of each path’s tracking procedure to check whether the path exists at time tt. When the criterion is satisfied, the corresponding tracking procedure is omitted. Thus, the estimates of the feature-aided tracking module can be given as θ^l(t),ϕ^l(t),g^l(t),l=0,1,,L^(t)1\hat{\theta}_{l^{\prime}}^{(t)},\hat{\phi}_{l^{\prime}}^{(t)},\;\hat{g}_{l^{\prime}}^{(t)},{l^{\prime}}=0,1,...,{\hat{L}}^{(t)}-1 with L^(t)=L^(t1){{\hat{L}}^{({t})}}={\hat{L}}^{({t-1})}. A complete algorithm of the proposed feature-aided tracking module is presented in Algorithm 2.

The hierarchical sweeping and feature-aided tracking modules have different characteristics. The hierarchical sweeping module performs independently and covers the whole angle domain, which means this module requires heavy overhead. However, the hierarchical sweeping module can detect the birth or death of channel paths and adapt to changeable wireless environments. Meanwhile, the feature-aided tracking module depends on the results from the sensing service and focuses on a specific angle domain, which means this module can reduce overhead consumption and noise effect. However, the feature-aided tracking module relies on prior angle information and cannot detect the birth of channel paths. Therefore, the beam management should switch between the hierarchical sweeping and feature-aided tracking modules to make the most of their advantages.

Input: Predicted UE location 𝐱^(t){\bf{\hat{x}}}{{}^{\prime(t)}}; Estimated radio map 𝐱^l(t1),𝐱^l,p(t1){\bf{\hat{x}}}_{l}^{({t-1})},{\bf{\hat{x}}}_{l,p}^{(t-1)} for l=0,1,,L^(t1)1l=0,1,...,{\hat{L}}^{({t-1})}-1;
1 Calculate prior angle information using (17) and (21);
2 Set l=1l=1;
3 while lL^(t1)l\leq{\hat{L}}^{(t-1)} do
4       Calculate partial channel estimation using (9);
5       Calculate jBS,jUE{j^{\rm BS}},{j^{\rm UE}} using (22);
6       Set j=min{jBS,jUE}{j}={\rm{min}}\left\{{j^{\rm BS}},{j^{\rm UE}}\right\};
7       for jJj\leq J do
8             Run beam measurement using (10);
9             Calculate residual signal using (11);
10             Calculate the subset index using (12) for the (j+1)\left(j+1\right)-th layer;
11             Set j=j+1j=j+1;
12            
13       end for
14      Run channel parameter estimation of the ll-th path using (13);
15       Set l=l+1l=l+1;
16      
17 end while
18Set L^(t)=L^(t1){\hat{L}}^{(t)}={\hat{L}}^{(t-1)};
Output: Channel parameter estimation θ^l(t),ϕ^l(t),g^l(t)\hat{\theta}_{l^{\prime}}^{(t)},\hat{\phi}_{l^{\prime}}^{(t)},\hat{g}_{l^{\prime}}^{(t)} for l=0,1,,L^(t)1l^{\prime}=0,1,...,{\hat{L}}^{(t)}-1;
Algorithm 2 Feature-aided Tracking

III-D Switching Module

The switching module is shown in the gray region of Fig. 2, consisting of two sub-modules. The first sub-module is set at the beginning of the beam management, deciding whether the hierarchical sweeping or feature-aided tracking module is performed. The second one is set after the feature-aided tracking module, which is used to judge the effectiveness of the feature-aided tracking module and decide whether the hierarchical sweeping module is required additionally.

These two sub-modules share the same design. First, the channel power is calculated through the estimated channel parameters. Then, the calculated channel power is compared with the historical one for CSI abrupt change detection. The channel power calculation and the CSI abrupt change detection are introduced as follows.

III-D1 Channel Power Calculation

For CSI abrupt change detection, the channel power calculated through the estimated channel parameters in (13) from the hierarchical sweeping or feature-aided tracking module should be introduced first. Based on the estimated parameters, the channel estimation 𝐇^(t)NUE×NBS{{\bf{\hat{H}}}}^{\left(t\right)}\in{\mathbb{C}^{{N_{\rm UE}}\times{{N_{\rm BS}}}}} at time tt can be calculated as

𝐇^(t)=l=0L^(t)1g^l(t)𝐚UE(θ^l(t))𝐚BSH(ϕ^l(t)).{{{{\bf{\hat{H}}}}^{\left(t\right)}}}=\mathop{\sum}\limits_{l=0}^{{{\hat{L}}^{\left({t}\right)}}-1}\hat{g}_{l}^{\left(t\right)}{{\bf{a}}_{{\rm{UE}}}}\left({\hat{\theta}_{l}^{\left(t\right)}}\right){\bf{a}}_{{\rm{BS}}}^{\rm H}\left({\hat{\phi}_{l}^{\left(t\right)}}\right). (23)

However, the channel power calculation based on 𝐇^(t){{\bf{\hat{H}}}}^{(t)} is mainly influenced by the LoS path. The birth or death of NLoS paths may be swamped because of the LoS path gain change in mmWave systems. Therefore, the LoS and NLoS paths should be considered separately.

The LoS path CSI component 𝐇^LoS(t)NUE×NBS{\bf{\hat{H}}}_{{\rm{LoS}}}^{(t)}\in{\mathbb{C}^{{N_{\rm UE}}\times{{N_{\rm BS}}}}} can be observed through its significantly high path gain, which is given by

𝐇^LoS(t)\displaystyle{\bf{\hat{H}}}_{{\rm{LoS}}}^{\left(t\right)} =eLoS(t)g^0(t)𝐚UE(θ^0(t))𝐚BSH(ϕ^0(t)),\displaystyle={e_{\rm LoS}^{\left(t\right)}}{\hat{g}_{0}^{\left(t\right)}{{\bf{a}}_{{\rm{UE}}}}\left({\hat{\theta}_{0}^{\left(t\right)}}\right){\bf{a}}_{{\rm{BS}}}^{\rm{H}}\left({\hat{\phi}_{0}^{\left(t\right)}}\right)}, (24a)
eLoS(t)\displaystyle e_{{\rm{LoS}}}^{\left(t\right)} ={1,ifmaxlg^l(t)>gLoS,0,otherwise,\displaystyle=\left\{{\begin{array}[]{*{20}{l}}{1,\;{\rm{if}}\mathop{\max}\limits_{l}\hat{g}_{l}^{\left(t\right)}>{g_{\rm LoS}}},\\ {0,\;{\rm{otherwise}}},\end{array}}\right. (24d)

where eLoS(t)e_{{\rm{LoS}}}^{(t)} is a 0-10{\raisebox{0.0pt}{-}}1 variable describing the existence of the LoS path, and gLoS{g_{\rm LoS}} is the minimum LoS path gain threshold.

Based on (23)-(24), the channel power E(t){E^{(t)}} in [36] can be calculated by setting the LoS path power as eLoS(t)ΔEmine_{{\rm{LoS}}}^{(t)}\Delta_{E}^{\rm min} with constant ΔEmin\Delta_{E}^{\rm min}. Then, the corresponding power difference ΔE(t,t1)\Delta_{E}^{({t,t-1})} is set to measure the difference between E(t){E^{(t)}} and E(t1){E^{(t-1)}}. They can be calculated as

E(t)\displaystyle{E^{\left(t\right)}} =𝐇^(t)𝐇^LoS(t)F2+eLoS(t)ΔEmin,\displaystyle={\left\|{{{{{{{\bf{\hat{H}}}}^{\left(t\right)}}-{\bf{\hat{H}}}_{{\rm{LoS}}}^{\left(t\right)}}}}}\right\|^{2}_{F}}+e_{{\rm{LoS}}}^{\left(t\right)}\Delta_{E}^{\rm min}, (25a)
ΔE(t,t1)\displaystyle\Delta_{E}^{\left({t,t-1}\right)} =|E(t)E(t1)|E(t1).\displaystyle=\frac{\left|{{E^{\left(t\right)}}-{E^{\left({t-1}\right)}}}\right|}{{E^{\left({t-1}\right)}}}. (25b)

The path gain change of LoS path is neglected when its existence is detected through eLoS(t)e_{{\rm{LoS}}}^{(t)}, which allows ΔE(t,t1)\Delta_{E}^{({t,t-1})} to detect the birth or death of NLoS paths clearly when LoS path exists.

III-D2 CSI Abrupt Change Detection

After the channel power calculation in (25), the sub-modules detect the CSI abrupt change. The logical variable D(t){True,False}{D^{(t)}}\in\{{\rm{True}},{\rm{False}}\} is set to represent whether CSI abrupt change happens or not. For detection before the beam management sub-module, D(t1){D^{(t-1)}} is decided through E(t1){E^{(t-1)}} and ΔE(t1,t2)\Delta_{E}^{({t-1,t-2})}, which compare the channel power at time t1t-1 with that at time t2t-2. For detection after the tracking sub-module, D(t){D^{(t)}} is decided by comparing the channel power calculated at time tt with that at time t1t-1. The channel power at time tt is calculated utilizing the estimated parameters of the feature-aided tracking module.

The calculation of D(t){D^{(t)}} is taken for example, where E(t){E^{(t)}} is set to measure the channel power, and ΔE(t,t1)\Delta_{E}^{({t,t-1})} is set to detect the birth or death of NLoS paths. When channel power is too small or channel power difference is too large, D(t){D^{(t)}} is set as true, and not otherwise. Thus, the calculation can be given by

D(t)={True,E(t)<EminorΔE(t,t1)>ΔEmin,False,otherwise,{D^{(t)}}=\left\{{\begin{array}[]{*{20}{l}}{{\rm{True}},\;{E^{\left(t\right)}}<{E_{{\rm{min}}}}}\;{\rm{or}}\;\Delta_{E}^{\left({t,t-1}\right)}>\Delta_{E}^{\rm min},\\ {{\rm{False,\;otherwise}}},\end{array}}\right. (26)

where ΔEmin\Delta_{E}^{\rm min} is a constant threshold corresponding to the minimum power threshold of the CSI abrupt change, and Emin{E_{{\rm{min}}}} is the minimum channel power threshold satisfying the UE’s communication demands. When ΔE(t,t1)\Delta_{E}^{({t,t-1})} is beyond the threshold ΔEmin\Delta_{E}^{\rm min}, or E(t){E^{(t)}} cannot reach the threshold Emin{E_{{\rm{min}}}}, and the CSI abrupt change is detected (D(t){D^{(t)}} is true).

As shown in Fig. 2, if an abrupt change in CSI is detected (D(t1){D^{(t-1)}} is true) in the detection before beam management sub-module, the hierarchical sweeping module is chosen to perform sweeping across the full-angle domain. Otherwise, the feature-aided tracking module is selected for tracking with reduced overhead. Meanwhile, if a CSI abrupt change is detected (D(t){D^{(t)}} is true) in the detection after tracking sub-module, the hierarchical sweeping module is required to compensate for the feature-aided tracking module. Otherwise, the hierarchical sweeping module is not necessary for compensation. The switching module completes the joint beam management and SLAM design, as depicted in Fig. 2. Algorithm 3 provides a summary of the proposed beam management scheme, which encompasses the hierarchical sweeping module, the feature-aided tracking module, and the switching module.

Input: Switching logical symbol D(t1)D^{(t-1)};
1 if D(t1)=TrueD^{(t-1)}={\rm{True}} then
2      Run Algorithm 1;
3      
4else
5       Run Algorithm 2;
6       Calculate D(t)D^{(t)} using (26) based on the results from Algorithm 2;
7       if D(t)=TrueD^{(t)}={\rm{True}} then
8            Rerun Algorithm 1 to compensate for Algorithm 2;
9            
10       end if
11      
12 end if
13Update D(t)D^{(t)} using (26) based on the results from Algorithm 1 or 2;
Algorithm 3 Beam Management with Switching Module

IV Performance Metric

The proposed joint design can obtain estimates including channel parameters θ^l(t),ϕ^l(t),g^l(t),l=0,1,,L^(t)1\hat{\theta}_{l}^{(t)},\hat{\phi}_{l}^{(t)},\hat{g}_{l}^{(t)},l=0,1,...,{\hat{L}}^{(t)}-1, channel 𝐇^(t){{{{\bf{\hat{H}}}}^{(t)}}}, PA/VA locations 𝐱^l(t),l=0,1,,L^(t)1{\bf{\hat{x}}}_{l}^{(t)},l=0,1,...,{\hat{L}}^{(t)}-1, and UE location 𝐱^(t){\bf{\hat{x}}}^{(t)}. Therefore, this section introduces different performance metrics to evaluate the proposed joint design from the aspects of sensing and communication. The results at time tt are considered, and the superscript (t)(t) is omitted for simplicity in this section.

IV-A Sensing Performance Metrics

The performance metrics for sensing can be divided into two types. On the one hand, the sensing ability of beam management is evaluated by the angle estimation error Eangle{{\rm{E}}_{{\rm{angle}}}}. Considering that the estimated path number L^{\hat{L}} may mismatch the true value L{L}, the metric Eangle{{\rm{E}}_{{\rm{angle}}}} should consider both the angle estimation accuracy and the path number estimation accuracy. Therefore, Eangle{{\rm{E}}_{{\rm{angle}}}} can be designed as the multi-object miss-distance metric describing the difference between finite nonempty subsets {[θ^1,ϕ^1]T,,[θ^L^,ϕ^L^]T}\{[{{\hat{\theta}}_{1}},{{\hat{\phi}}_{1}}]^{\rm T},...,[{{\hat{\theta}}_{\hat{L}}},{{\hat{\phi}}_{\hat{L}}}]^{\rm T}\} and {[θ1,ϕ1]T,,[θL,ϕL]T}\{[{{\theta}_{1}},{{\phi}_{1}}]^{\rm T},...,[{{\theta}_{L}},{{\phi}_{L}}]^{\rm T}\}. We define the miss-distance dangle(l,l)d_{\rm angle}\left(l,l^{\prime}\right) between [θl,ϕl]T[{{\theta}_{l}},{{\phi}_{l}}]^{\rm T} and [θ^l,ϕ^l]T[{{\hat{\theta}}_{l^{\prime}}},{{\hat{\phi}}_{l^{\prime}}}]^{\rm T} as

dangle(l,l)=|θlθ^l|+|ϕlϕ^l|.d_{\rm angle}\left(l,l^{\prime}\right)=\left|{\theta_{l}}-{{\hat{\theta}}_{l^{\prime}}}\right|+\left|{\phi_{l}}-{{\hat{\phi}}_{l^{\prime}}}\right|. (27)

The metric Eangle{{\rm{E}}_{{\rm{angle}}}} can be calculated according to [37]

Eangle=12Lmax(minεΠLeffl=0Leff1dangle(ε(l),l)+2cangleLΔ),{{\rm{E}}_{{\rm{angle}}}}=\frac{1}{{2{L_{{\rm{max}}}}}}\left({\mathop{\min}\limits_{\varepsilon\in{{\rm{\Pi}}_{{L_{{\rm{eff}}}}}}}\mathop{\sum}\limits_{l=0}^{{L_{{\rm{eff}}}}-1}d_{\rm angle}\left({\varepsilon\left(l\right)},l\right)+2{c_{{\rm{angle}}}}{L_{\rm{\Delta}}}}\right), (28)

where Lmax=max{L,L^}{L_{\max}}={\rm{max}}\{{L,{{\hat{L}}}}\}, Leff=min{L,L^}{L_{{\rm{eff}}}}={\rm{min}}\{{L,{{\hat{L}}}}\}, and LΔ=|LL^|{L_{\Delta}}=|{L-{{\hat{L}}}}|. The set ΠLeff{{\rm{\Pi}}_{{L_{{\rm{eff}}}}}} represents the permutations on {0,1,,L^1}\{0,1,...,{{\hat{L}}}-1\}. The penalty term 2cangleLΔ2{c_{{\rm{angle}}}}{L_{\Delta}} with constant cangle{c_{{\rm{angle}}}} is considered to measure the path number estimation error.

On the other hand, the sensing service provided by SLAM is evaluated by the estimation error of UE location EUE{{\rm{E}}_{{\rm{UE}}}} represented as

EUE=𝐱^𝐱2,{{\rm{E}}_{{\rm{UE}}}}={\left\|{{\bf{\hat{x}}}-{\bf{x}}}\right\|}_{2}, (29)

and the radio map construction error is represented by optimal sub-pattern assignment (OSPA) in [11] as

OSPA=1Lmax(minεΠLeffl=0Leff1𝐱^l𝐱ε(l)2+cmapLΔ),{\rm{OSPA}}=\frac{1}{{{L_{{\rm{max}}}}}}\left({\mathop{\min}\limits_{\varepsilon\in{{\rm{\Pi}}_{{{L_{{\rm{eff}}}}}}}}\mathop{\sum}\limits_{l=0}^{{L_{{\rm{eff}}}}-1}\left\|{{\hat{\bf{x}}}_{l}}-{\bf{x}}_{\varepsilon\left(l\right)}\right\|_{2}+{c_{{\rm{map}}}}{L_{\rm{\Delta}}}}\right), (30)

where cmap{c_{{\rm{map}}}} is the penalty constant similar to cangle{c_{{\rm{angle}}}} in (28).

IV-B Communication Performance Metrics

Three performance metrics for communication are considered in this study. First, the channel estimation is evaluated by normalized mean squared error (NMSE) represented as

NMSE=𝐇𝐇^F2/𝐇F2.{\rm{NMSE}}={{{\left\|{\bf{H}}-{\bf{\hat{H}}}\right\|}_{F}^{2}}}\bigg{/}{{{\left\|{\bf{H}}\right\|}_{F}^{2}}}. (31)

Then, the beam management overhead can be evaluated utilizing the total layers used by hierarchical sweeping or feature-aided tracking modules. For the hierarchical sweeping module, the layer number for each path is fixed as JJ. For the feature-aided tracking module, the layer number of the ll-th path is given by (Jjl+1)(J-{j_{l}}+1) with jl=min{jlBS,jlUE}{j_{l}}=\min\{j_{l}^{{\rm{BS}}},j_{l}^{{\rm{UE}}}\} in (23). For each layer, UE and BS consider two different beams, and a total of four different beam pairs are measured. Thus, the beam management overhead TBM{T}_{\rm BM} can be calculated as

TBM={4JL^Tb,for hierarchical sweeping,l=0L^14(Jjl+1)Tb,for feature-aided tracking,{{{T}}_{{\rm{BM}}}}=\left\{{\begin{array}[]{*{20}{l}}4{J{{\hat{L}}}{T_{\rm b}},\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;{\mbox{for hierarchical sweeping}}},\\ {\mathop{\sum}\nolimits_{l=0}^{{{\hat{L}}}-1}4\left({J-{j_{l}}}+1\right){T_{\rm b}},\,\,{\mbox{for feature-aided tracking}}},\end{array}}\right. (32)

where Tb{T_{\rm b}} represents the time for measuring a single beam pair.

Finally, the corresponding SE is calculated to evaluate the communication ability synthetically. For calculation, the joint precoding design based on 𝐇^{{\bf{\hat{H}}}} is discussed as follows. SE with perfect CSI 𝐇\bf H can be calculated as [38]

SEP=log2(1+|𝐰H𝐇𝐟|2σ2).{\rm{S}}{{\rm{E}}_{\rm{P}}}={\log_{2}}\left({{1}+\frac{{\left|{{\bf{w}}^{\rm H}{\bf{H}}{{\bf{f}}}}\right|}^{2}}{{\sigma^{2}}}}\right). (33)

The precoding problem can be decoupled into two steps in [39]: Design of the precoder 𝐟{{\bf{f}}} in BS, followed by the combiner design 𝐰{{\bf{w}}} in UE. For BS, the precoder design 𝐟optNBS×1{{{\bf{f}}}_{{\rm{opt}}}}\in\mathbb{C}^{{N_{{\rm{BS}}}}\times{1}} can be described as

𝐟opt=argmax𝐟(𝐟),{{{\bf{f}}}_{{\rm{opt}}}}=\mathop{{\rm{arg\;max}}}\limits_{{{\bf{f}}}}{\cal I}\left({{{\bf{f}}}}\right), (34)

where (𝐟)=log2(|𝐈+1σ2𝐇𝐟𝐟H𝐇H|){\cal I}({{{\bf{f}}}})={\log_{2}}({|{{\bf{I}}+\frac{{\rm{1}}}{{{{\rm{\sigma}}^{2}}}}{\bf{H}}{{\bf{f}}}{\bf{f}}^{\rm H}{{\bf{H}}^{\rm H}}}|}) represents the mutual information of Gaussian signals on 𝐇\bf{H}. The channel’s singular value decomposition (SVD) is considered as 𝐇=𝐔𝚺𝐕H{\bf{H=U\Sigma}}{{\bf{V}}^{\rm H}} with the unitary matrix 𝐔NUE×rank(𝐇){\bf{U}}\in\mathbb{C}^{{N_{{\rm{UE}}}}\times{\rm{rank}}({\bf{H}})}, the diagonal matrix 𝚺rank(𝐇)×rank(𝐇){\bf{\Sigma}}\in\mathbb{C}^{{\rm{rank}}({\bf{H}})\times{\rm{rank}}({\bf{H}})}, and the unitary matrix 𝐕NBS×rank(𝐇){\bf{V}}\in\mathbb{C}^{{N_{{\rm{BS}}}}\times{\rm{rank}}({\bf{H}})}. Furthermore, we define the first column of 𝐕\bf{V} as the vector 𝐯1NBS×1{{\bf{v}}_{1}}\in\mathbb{C}^{{N_{{\rm{BS}}}}\times{1}}. Thus, the optimal unconstrained unitary precoder for 𝐇\bf{H} is simply given by 𝐟opt=𝐯1{{{\bf{f}}}_{{\rm{opt}}}}={{{\bf{v}}}_{1}}. As for UE, the combiner design 𝐰MMSENUE×1{{\bf{w}}_{{\rm{MMSE}}}}\in\mathbb{C}^{{N_{{\rm{UE}}}}\times{1}} can be transformed into a minimum mean square error (MMSE) problem as

𝐰MMSE=argmax𝐰𝔼[|s𝐰H(𝐇𝐟opt+𝐧)|2],{{\bf{w}}_{{\rm{MMSE}}}}=\mathop{{\rm{arg\;max}}}\limits_{{{\bf{w}}}}\mathbb{E}\left[{{\left|{{{{s}}-{\bf{w}}^{\rm H}\left({{\bf{H}}{{{\bf{f}}}_{{\rm{opt}}}}+{\bf n}}\right)}}\right|}^{2}}\right], (35)

which can be solved as

𝐰MMSEH=(𝐇𝐟opt22+σ2)1𝐟optH𝐇H.{\bf{w}}_{{\rm{MMSE}}}^{\rm H}={\left({\left\|\bf{H}{{\bf{f}}_{{\rm{opt}}}}\right\|_{2}^{2}+{{{\rm{\sigma}}^{2}}}}\right)^{-1}}{\bf{f}}_{{\rm{opt}}}^{\rm H}{{\bf{H}}^{\rm H}}. (36)

Based on the estimated CSI 𝐇^{{\bf{\hat{H}}}}, the SVD precoder 𝐟^opt=𝐯^1{{{{\bf{\hat{f}}}}_{{\rm{opt}}}}}={{{\bf{\hat{v}}}}_{1}} can be constructed as the first column of 𝐕^{{\bf{\hat{V}}}} from 𝐇^=𝐔^𝚺^𝐕^H\hat{\bf{H}}={\bf{\hat{U}\hat{\Sigma}}}{{{\bf{\hat{V}}}}^{\rm H}}, and the MMSE combiner 𝐰^MMSE{\bf{\hat{w}}}_{{\rm{MMSE}}} can be similarly calculated as (36). After the precoding design, we set the corresponding effective channel as heff=𝐰^MMSEH𝐇𝐟^opth_{\rm eff}={\bf{\hat{w}}}_{{\rm{MMSE}}}^{\rm H}{\bf H}{\bf{\hat{f}}}_{\rm{opt}}. We consider transmit |s|=1|{s}|=1 through beam pair 𝐰^MMSE{\bf{\hat{w}}}_{{\rm{MMSE}}} and 𝐟^opt{\bf{\hat{f}}}_{\rm{opt}}, the corresponding received signal r{r} can be given by

r=heffs+𝐰^MMSEH𝐧.{r}=h_{\rm eff}s+{\bf{\hat{w}}}_{{\rm{MMSE}}}^{\rm H}{\bf n}. (37)

By repeating such transmission for adequate times, the effective channel estimation h^eff{\hat{h}}_{\rm eff} can be calculated by averaging r{r}. Thus, SEIP{\rm{S}}{{\rm{E}}_{{\rm{IP}}}} under the imperfect CSI 𝐇^\hat{\bf{H}} can be calculated as

SEIP=TTBMT×log2(1+|h^eff|2σ2+|heffh^eff|2),\displaystyle{\rm{S}}{{\rm{E}}_{{\rm{IP}}}}=\frac{{{{T}}-{{{T}}_{{\rm{BM}}}}}}{{{T}}}\times{\log_{2}}\left({{{1}}+\frac{\left|{\hat{h}}_{\rm eff}\right|^{2}}{{{\rm{\sigma}}^{2}}+\left|{h}_{\rm eff}-{\hat{h}}_{\rm eff}\right|^{2}}}\right), (38)

In this section, the angle estimation error Eangle{{\rm{E}}_{{\rm{angle}}}}, UE localization error EUE{{\rm{E}}_{{\rm{UE}}}}, and radio map construction error OSPA are introduced to evaluate the sensing performance. Meanwhile, the channel estimation error NMSE, the overhead consumption TBM{{{T}}_{{\rm{BM}}}}, and SEIP{\rm{S}}{{\rm{E}}_{{\rm{IP}}}} based on the imperfect CSI are introduced to evaluate the communication performance.

TABLE II: Parameters for Joint Design Simulations
SNR SNR =15dB=15\;{\rm{dB}} Codebook Resolution N=512N=512
IMU Noise σIMU=0.02m/s2\sigma_{{\rm{IMU}}}=0.02\;{\rm m/s^{2}} Angle Searching Range Constant Cangle=3.27{{\rm C}_{\rm angle}}=3.27
Antenna Number NBS=32{N_{{\rm{BS}}}}=32 Time Duration T=1s{{T}}=1\;{{\rm s}}
NUE=16{N_{{\rm{UE}}}}=16 Tb=1/16ms{{{T}}_{\rm{b}}}={1}/{{16}}\;{\rm{ms}}

V Numerical Results

In this section, we first perform the proposed joint design in different scenarios for evaluating the beam management and sensing service in changeable and stable wireless environments. We then discuss numerical results evaluating the performance of the hierarchical sweeping, feature-aided tracking, and switching modules.

V-A Performance of Beam Management and SLAM Joint Design

This section analyzes the experiments for scenarios where UE moves in specific physical indoor environments. The experimental scenes are established at the 2D T-shaped intersection and a square hall with a single UE and BS, as shown in Fig. 5. TABLE II presents the parameters of this section. The proposed joint design performs with time interval T=1sT=1{\;\rm s}, and a single beam pair is measured for Tb=1/16ms{{{T}}_{\rm{b}}}={1}/{{16}}\;{\rm{ms}}. In addition, the path angles are generated by (3) based on the geometry environment, and the path gains are generated through the ray tracing path loss model in [33]. Three experiments are considered for evaluating the benefits of IMU and switching modules: “Proposed Method” represents the proposed joint design; “Hierarchical Method” considers the absence of the switching module and only performs the hierarchical sweeping module for beam management; “Without IMU” considers the absence of IMU, where the predicted UE location at time tt is replaced by 𝐱^(t1){{\bf{\hat{x}}}^{({t-1})}} in (16a) and SLAM is performed without IMU. The performance metrics are set according to Section IV: Eangle{{\rm{E}}_{{\rm{angle}}}} in (28) with cangle=0.1radc_{\rm angle}=0.1\;{\rm rad}, SEIP{\rm{S}}{{\rm{E}}_{{\rm{IP}}}} in (38), and TBM{{{T}}_{{\rm{BM}}}} in (32) are set for evaluating beam management; EUE{{\rm{E}}_{{\rm{UE}}}} in (29) and OSPA in (30) with cmap=3.5mc_{\rm map}=3.5\;{\rm m} are set for evaluating sensing services. Two different scenarios in Fig. 5 considering different wireless environments are evaluated. They are discussed as follows.

Refer to caption
(a)
Refer to caption
(b)
Figure 5: Floor plan for the joint design simulations with different wireless environments: (a) Scenario 1 and (b) Scenario 2.

V-A1 Changeable Wireless Environment

Scenario 1 considers the changeable wireless environment, as shown in Fig. 5(a). In this scenario, the UE first enters the BS servicing area from the south of the intersection, which causes an increase in the channel path number. The UE then moves to the central area, where the channel path number remains unchanged. Finally, the UE leaves the intersection, and the channel path number decreases. Fig. 5(a) also show the results of “Proposed Method” and “Without IMU” through Scenario 1. The UE trajectory is fixed as the black curve. The blue curves and marks represent the results of “Proposed Method”, whereas the red ones represent the results of “Without IMU”. For Scenario 1, the blue trajectory is closer to the black trajectory compared with the red one. “Proposed Method” has an average EUE{{\rm{E}}_{{\rm{UE}}}} reduction of 0.35m0.35\;{\rm m} compared with “Without IMU”. The blue circles are closer to the true anchors compared with the red crosses for VA1, VA2, and BS, with OSPA reduction of 0.3m0.3\;{\rm m}.

Refer to caption
(a)
Refer to caption
(b)
Refer to caption
(c)
Refer to caption
(d)
Refer to caption
(e)
Figure 6: (a) Angle estimation performance, (b) SE performance, and (c) overhead consumption of the beam management; (d) UE localization accuracy and (e) radio map construction accuracy for “Proposed Method” and “Hierarchical Method” in Scenario 1.
Refer to caption
(a)
Refer to caption
(b)
Refer to caption
(c)
Refer to caption
(d)
Refer to caption
(e)
Figure 7: (a) Angle estimation performance, (b) SE performance, and (c) overhead consumption of beam management; (d) UE localization accuracy and (e) radio map construction accuracy for “Without IMU”, “Proposed Method”, and “Hierarchical Method” in Scenario 2.

Fig. 6 shows the results of “Proposed Method” and “Hierarchical Method” with 5000 Monte-Carlo simulations in Scenario 1, where panels (a)-(c) show Eangle{{\rm{E}}_{{\rm{angle}}}}, SEIP{\rm{S}}{{\rm{E}}_{{\rm{IP}}}}, and TBM{{{T}}_{{\rm{BM}}}} trend diagrams evaluating the beam management, and panels (d)-(e) show EUE{{\rm{E}}_{{\rm{UE}}}} and OSPA trend diagrams evaluating the sensing services, respectively. The red curves represent “Hierarchical Method”, whereas the blue ones represent “Proposed Method”. In addition, the gray bar describes the change of path number L(t)L^{(t)}. The analysis of the figure is as follows.

First, Fig. 6(a) shows the trend diagram of the angle estimation error. The similar performance can be observed at t(1,10)(35,40)st\in{(1,10)}\cup{(35,40)}{\;\rm s}, where path number L(t)<3L^{(t)}<3. The reason is that the experiments all perform the hierarchical sweeping module because of low channel power. Meanwhile, “Proposed Method” outperforms “Hierarchical Method” at t(10,35)st\in{(10,35)}{\;\rm s}. This is when the path number L(t)=4L^{(t)}=4, and the feature-aided tracking module is activated by the switching module in “Proposed Method”, leading to the better performance of “Proposed Method” compared with “Hierarchical Method”. Fig. 6(b) and (c) illustrate that when the feature-aided tracking module is activated (t(10,35)st\in{(10,35)}{\;\rm s}), “Proposed Method” can improve SE by 4%4\% while reducing overhead consumption by 56%56\%, compared to “Hierarchical Method”. The reason is that the feature-aided tracking module with effective prior angle information outperforms the hierarchical sweeping module with less overhead. The path number estimation error of the hierarchical sweeping module exacerbates this phenomenon. Fig. 6(d) verifies the decimeter-level UE localization ability (<0.4m<0.4\;{\rm m}) of “Proposed Method” in changeable wireless environments. The experiments have similar performance at t(1,20)st\in{(1,20)}{\;\rm s}. Then, the angle estimation error from the hierarchical sweeping module affects “Hierarchical Method” at t(20,40)st\in{(20,40)}{\;\rm s}, where “Proposed Method” outperforms it by EUE{{\rm{E}}_{{\rm{UE}}}} reduction of 0.25m0.25{\;\rm m}. Fig. 6(e) verifies the decimeter-level radio map construction ability (<0.25m<0.25\;{\rm m}) of “Proposed Method” in changeable wireless environments. There exists a sudden increase of OSPA at t=10st=10{\;\rm s}. The reason is that the corresponding emerging LoS path from BS is close to the presenting NLoS path from VA2 in the aspect of AoA. Their performance get stable at t(11,30)st\in{(11,30)}{\;\rm s}, where “Proposed Method” outperforms “Hierarchical Method” by OSPA reduction of 0.1m0.1{\;\rm m}. Then, OSPA increases at t(30,40)st\in{(30,40)}{\;\rm s} because of the path number reduction.

V-A2 Stable Wireless Environment

Scenario 2 in Fig. 5(b) depicts the stable wireless environment where no birth or death of the channel path occurs. In this scenario, the UE remains in the area where one LoS path from the BS and three NLoS paths from VA1-VA3 are present. We assume that the UE trajectory between time tt and t1t-1 satisfies 𝐱(t)𝐱(t1)2𝒰(0.7m,0.9m){\left\|{{\mathbf{x}^{(t)}}-\mathbf{x}^{(t-1)}}\right\|}_{2}\sim\mathcal{U}\left({0.7{\;\rm m},0.9{\;\rm m}}\right). We then generate random UE trajectories consisting of 3030 steps to perform 5000 Monte-Carlo simulations. In addition, we assume that the experiments know the location of the BS and initial UE position, and that the hierarchical sweeping module is performed during the first three steps for initialization.

TABLE III: Parameters for Beam Management Simulations
Path Number L=3(1)L=3\;\left(1\right) Path Gain g0𝒰(0.7,0.9){g_{0}}\sim\mathcal{U}\left({0.7,0.9}\right)
Codebook Resolution N=512(256)N=512\;\left(256\right) gl𝒰(0.3,0.5),l1{g_{l}}\sim\mathcal{U}\left({0.3,0.5}\right),\;l\geq 1
Antenna Number NBS=32,NUE=16{N_{{\rm{BS}}}}=32,{\rm{\;}}{N_{{\rm{UE}}}}=16 Prior Angle Information θscale,l,ϕscale,l=0.1πrad\theta_{{\rm{scale}},l},\phi_{{\rm{scale}},l}=0.1\pi\;{\rm{rad}}
(NBS=16,NUE=8)\left({N_{{\rm{BS}}}}=16,{\rm{\;}}{N_{{\rm{UE}}}}=8\right) θVA,l𝒰(θl0.25θscale,l,θl+0.25θscale,l){\theta_{{\rm{VA}},l}}\sim\mathcal{U}\left({{\theta_{l}}-0.25{\theta_{{\rm{scale}},l}},{\theta_{l}}+0.25{\theta_{{\rm{scale}},l}}}\right) ϕVA,l𝒰(ϕl0.25ϕscale,l,ϕl+0.25ϕscale,l){\phi_{{\rm{VA}},l}}\sim\mathcal{U}\left({{\phi_{l}}-0.25{\phi_{{\rm{scale}},l}},{\phi_{l}}+0.25{\phi_{{\rm{scale}},l}}}\right)
Path Angle θl,ϕl𝒰(0,π)rad{\theta_{l}},{\phi_{l}}\sim\mathcal{U}\left({0,\pi}\right)\;{\rm rad}

Fig. 7 shows the results of “Proposed Method”, “Hierarchical Method”, and “Without IMU” in Scenario 1. In this figure, the red curves represent “Hierarchical Method”, the blue ones represent “Proposed Method”, and the yellow ones represent “Without IMU”. The gray bar describes the change of path number L(t)L^{(t)}. The analysis of the figure is as follows.

Fig. 7(a)-(c) illustrate that “Proposed Method” can realize better angle estimation and get higher SE with around 44%44\% less overhead consumption compared with “Hierarchical Method” and “Without IMU” in stable wireless environments. Additionally, Fig. 7(a)-(c) show that “Hierarchical Method” and “Without IMU” approaches exhibit similar performance. Fig. 7(d) verifies the centimeter-level UE localization ability (around 0.05m0.05\;{\rm m}) of “Proposed Method” in stable wireless environments. “Proposed Method” slightly outperforms “Hierarchical Method” and exhibits an error reduction of around 0.2m0.2\;{\rm m} compared to “Without IMU”. Fig. 7(e) verifies the decimeter-level radio map construction ability (around 0.25m0.25\;{\rm m}) of “Proposed Method” in stable wireless environments. The radio map constructed by “Proposed Method” has similar accuracy to “Hierarchical Method” and has an OSPA reduction of around 0.4m0.4\;{\rm m} compared to “Without IMU”.

To summarize, radio map construction (with OSPA <0.5m<0.5\;{\rm m}) and UE localization (with an error <0.4m<0.4\;{\rm m}) can be realized by the proposed joint design in changeable wireless environments. High-precision radio map construction (with OSPA around 0.25m0.25\;{\rm m}) and centimeter-level UE localization (with an error around 0.05m0.05\;{\rm m}) can be realized in stable wireless environments. The introduction of IMU can improve UE localization (with an error reduction around 0.3m0.3\;{\rm m}) and radio map construction accuracy (with an OSPA reduction 0.4m0.4\;{\rm m}), particularly in changeable wireless environments. The introduction of the switching module can enable the feature-aided tracking module (with an overhead reduction of around 40%40\%) and improve the angle estimation accuracy, particularly in stable wireless environments.

V-B Performance of Proposed Modules

In Section IV-A, “Proposed Method” can outperform “Hierarchical Method” when the feature-aided tracking module with a reliable radio map is activated. To evaluate the hierarchical sweeping module, the feature-aided tracking module, and the switching module thoroughly, a set of 5000 Monte-Carlo simulations are conducted. TABLE III presents the parameters. The path number, codebook resolution, and antenna number are set as L=3L=3, N=512N=512, and NBS=32,NUE=16N_{\rm BS}=32,N_{\rm UE}=16, respectively.

Refer to caption
(a)
Refer to caption
(b)
Refer to caption
(c)
Refer to caption
(d)
Refer to caption
(e)
Figure 8: (a) Angle estimation performance of different schemes; (b) Angle estimation performance, (c) channel estimation performance, and (d) SE performance of the hierarchical sweeping and feature-aided tracking modules with different path number LL, codebook resolution NN, and antenna number NBS,NUEN_{\rm BS},N_{\rm UE}; (e) Success detection rate and false alarm rate of the switching module.

V-B1 Benchmark Comparison

In this subsection, [21, 22] based on Kalman filters are set as benchmarks for the proposed modules, called Full-KF and Part-EKF, respectively. Full-KF is implemented with MBSMUEM_{\rm BS}M_{\rm UE} measurements covering fixed angle domain for angle estimation, where we set MBS=32M_{\rm BS}=32 and MUE=16M_{\rm UE}=16. Part-EKF is implemented with 4L4L measurements pointing to a specific angle provided by Kalman prediction. These benchmarks assume that the AoA and AoD change slowly and that the path number is available. We evaluate the angle estimation accuracy, time complexity, and computational complexity for comparison based on 5000 Monte Carlo simulations using the parameters in Table III.

The angle estimation accuracy of different schemes for varied SNRs is shown in Fig. 8(a), where “Sweeping” and “Tracking” curves represent the hierarchical sweeping module and the feature-aided tracking module, respectively. As expected, all the schemes achieve better accuracy as SNR increases. The feature-aided tracking module outperforms the others over the SNR, while the others have different advantages in different SNR regions. In the low SNR region, Part-EKF and the feature-aided tracking module covering a limited angle domain can reduce the effect of noise and have better performance over Full-KF and the hierarchical sweeping module. In the high SNR region, the performance of Part-EKF is limited by inadequate beam measurements. Additionally, Full-KF and the hierarchical sweeping module are affected by multipath interference. Therefore, the feature-aided tracking module can outperform these three schemes.

The time and computational complexities are discussed in TABLE IV. The time complexities are calculated based on the number of the beam measurements required for one single estimation, where the exact values are given based on the parameters in TABLE III. Full-EKF and Part-EKF have the highest and lowest time complexity, respectively. The feature-aided tracking module has a time complexity that is around 33.4%33.4\% lower than that of the hierarchical sweeping module. The computational complexities are calculated based on the variables of codebook resolution NN and channel path number LL, taking into account both codebook generation and beam management procedures.333The codebooks of the hierarchical sweeping module and Full-EKF can be partially pre-generated to trade off storage complexity for reduced computational complexity, thus accommodating different hardware conditions. Among the methods considered, Full-EKF has the highest computational complexity, while Part-EKF has the lowest, which is solely dependent on the path number LL. The feature-aided tracking module is capable of reducing computational complexity compared to the hierarchical sweeping module by leveraging prior angle information.

To summarize, the feature-aided tracking module can get accurate angle estimation with relatively low time and computational complexities compared to other benchmarks. However, the beamforming vectors of the feature-aided tracking module are designed to point at arbitrary angles, and the prior angle information relies on results from the sensing services that require IMU and SLAM.

TABLE IV: Algorithm Complexity Comparison
Algorithm Time Complexity Computational Complexity Extra Demand
Sweeping (4log2N)L\left(4{{\rm{log}}_{2}N}\right)L 108108 O(LNlog2N+Llog2N+L)\mathrm{O}\left(LN\log_{2}N+L\log_{2}N+L\right) None
Tracking l=0L14(log2Njl)\mathop{\sum}\nolimits_{l=0}^{L-1}4\left({{{\rm{log}}_{2}N}-{j_{l}}}\right) 7272 O(LNlog2(ϕscaleπN)+Llog2(ϕscaleπN)+L)\mathrm{O}\left(LN\log_{2}\left(\frac{{\phi_{\rm{scale}}}}{\pi}N\right)+L\log_{2}\left(\frac{{\phi_{\rm{scale}}}}{\pi}N\right)+L\right) Prior angle information
Full-KF MBSMUEM_{\rm BS}M_{\rm UE} 10241024 O((MUEMBS)3+L(MUEMBS)2+L2MUEMBS+L3){\mathrm{O}}\left(\left(M_{\mathrm{UE}}M_{\mathrm{BS}}\right)^{3}+L\left(M_{\mathrm{UE}}M_{\mathrm{BS}}\right)^{2}+L^{2}M_{\mathrm{UE}}M_{\mathrm{BS}}+L^{3}\right) Angle changes slowly; Path number available
Part-EKF 4L4L 1212 O(L){\mathrm{O}(L)}

V-B2 Impact of path number, code resolution, and number of antennas

The parameters in TABLE III are set with different values (L=1L=1, N=256N=256, or NBS=16,NUE=8N_{\rm BS}=16,N_{\rm UE}=8) separately for performance evaluation of the hierarchical sweeping and the feature-aided tracking modules. The channel path number LL is perfectly known in this subsection because the path number estimation error of the hierarchical sweeping module can bring unfairness. The performance metrics are set according to Section IV: Eangle{{\rm{E}}_{{\rm{angle}}}} in (28) with LΔ=0L_{\Delta}=0 is set for evaluating sensing ability. Then, NMSE in (31) and SEIP{\rm{S}}{{\rm{E}}_{{\rm{IP}}}} in (38) are set for evaluating communication performance. Fig. 8 depicts the performance curves SNR-Eangle{{\rm{E}}_{{\rm{angle}}}}/NMSE/SE. The red and blue curves represent hierarchical sweeping and feature-aided tracking modules, respectively. The performance analysis is as follows.

The sensing ability is evaluated by SNR-Eangle{{\rm{E}}_{{\rm{angle}}}} curves shown in Fig. 8(b), where the solid curve represents the original experiment with L=3,N=512L=3,N=512, the scatter curve represents the path number control experiment with L=1,N=512L=1,N=512, and the dotted curve represents the codebook resolution control experiment with L=3,N=256L=3,N=256. First, Eangle{{\rm{E}}_{{\rm{angle}}}} decreases as SNR increases, and it reaches the lower bound (varying from 2×102rad2\times 10^{-2}\;{\rm rad} to 6×103rad6\times 10^{-3}\;{\rm rad}) when SNR is approximately 15dB15\;{\rm dB}, where the lower bound is limited by the angular resolution π/N{\rm{\pi}}/N. Then, the feature-aided tracking module outperforms the hierarchical sweeping module over the SNR region because the prior angle information can reduce the angle searching range in the feature-aided tracking module. Finally, Eangle{{\rm{E}}_{{\rm{angle}}}} is negatively correlated with the codebook resolution NN and positively correlated with the path number LL in the high SNR region. The reason is that Eangle{{\rm{E}}_{{\rm{angle}}}} is lower bounded by the codebook resolution π/Nrad{\pi}/{{N}}\;{\rm rad}, and the modules pass errors of the already estimated paths through residual channel calculation in (9). In addition, the hierarchical sweeping module suffers more performance reduction with the increase of path number LL compared with the feature-aided tracking module, as shown in Fig. 8(b). The prior angle information enables the feature-aided tracking module to isolate the noise and possible path interference beyond the angle searching range, leading to higher angle estimation accuracy compared with the hierarchical sweeping module.

The communication performance is evaluated by SNR-NMSE/SE curves, as shown in Fig. 8(c) and (d). The representations of curves in Fig. 8(c) remain the same as those in Fig. 8(b). Similar conclusions can be achieved that the feature-aided tracking module outperforms the hierarchical sweeping module in the aspect of channel estimation over the SNR region, and the channel estimation accuracy is positively correlated with NN, and negatively correlated with LL in high SNR region. The difference between curves in Fig. 8(c) in high SNR region is more evident than those in Fig. 8(b). The path gain estimation error is correlated with the angle estimation error. Therefore, channel estimation based on the path gain and angle estimation is more sensitive. Fig. 8(d) shows the SE performance, where different antenna number settings are considered. SE with perfect CSI in (33) is drawn in black as the upper bound. The feature-aided tracking module gets higher SE compared with the hierarchical sweeping module over the SNR region, and the SE is positively correlated with antenna numbers NBS,NUEN_{\rm BS},N_{\rm UE}. The reason is that antenna arrays with more antenna elements generate beams with narrower widths, leading to less energy loss.

To conclude, the feature-aided tracking modules can complete high-accuracy angle estimation with relatively low time and computational complexities, compared with the hierarchical sweeping module and schemes based on Kalman filters [21, 22]. The feature-aided tracking module outperforms the hierarchical sweeping module with reduced overhead by approximately 40%40\%.

V-B3 Performance of Switching Module

To evaluate the switching module, two metrics have been proposed: success detection rate and false alarm rate. The former measures the percentage of correctly switching between the hierarchical sweeping module and the feature-aided tracking module when the path number changes, while the latter measures the false switch when the path number remains unchanged. The effectiveness of the switching module is evaluated using these two metrics with 5000 Monte-Carlo simulations for different SNRs. The success detection rate and false alarm rate curves are shown in Fig. 8(e).

As seen from Fig. 8(e), with the increase of SNR, the change trends of the success detection rate and false alarm rate are opposite. These two metrics depend on the same thresholds EminE_{\rm{min}} and ΔEmin\Delta_{E}^{\rm min} in (26) controlling the change of switching symbol D(t){D^{(t)}}. Therefore, there is a tradeoff between the success detection rate and the false alarm rate. A high success detection rate can detect path number change accurately, while a low false alarm rate can effectively reduce overhead consumption. For SNRs greater than 15dB15\;{\rm{dB}}, the joint design maintains the success detection rate above 80%80\%. As the SNR increases, the false alarm rate reduces from 6%6\% to 4%4\%. These results indicate that the proposed switching module achieves a good balance between reducing overhead and detecting path number changes.

VI Conclusion

This study investigated a joint beam management and SLAM design. The beam management module estimates channel parameters, while SLAM utilizes the angle estimates with the help of IMU to perform UE localization and radio map construction. The switching module allows the design to adapt to different wireless environments. Performance metrics were introduced for sensing and communication. The simulation results demonstrate that the proposed joint design can achieve overhead-reduced beam management with a reduction of around 40%40\%, high-accuracy radio map construction with an error of less than 0.5m0.5\;{\rm m}, and UE localization with an error of less than 0.4m0.4\;{\rm m} in different wireless environments.

References

  • [1] F. Liu, Y. Cui, C. Masouros, J. Xu, T. X. Han, Y. C. Eldar, and S. Buzzi, “Integrated sensing and communications: Toward dual-functional wireless networks for 6G and beyond,” IEEE J. Sel. Areas Commun., vol. 40, no. 6, pp. 1728–1767, Mar. 2022.
  • [2] W. Saad, M. Bennis, and M. Chen, “A vision of 6G wireless systems: Applications, trends, technologies, and open research problems,” IEEE Network, vol. 34, no. 3, pp. 134–142, Jun. 2020.
  • [3] D. K. Pin Tan, J. He, Y. Li, A. Bayesteh, Y. Chen, P. Zhu, and W. Tong, “Integrated sensing and communication in 6G: Motivations, use cases, requirements, challenges and future directions,” in Proc. 1st IEEE Int. Online Symp. Joint Commun. Sens. (JC&S), Dresden, Germany, Feb. 2021, pp. 1–6.
  • [4] Y. Cui, F. Liu, X. Jing, and J. Mu, “Integrating sensing and communications for ubiquitous IoT: Applications, trends, and challenges,” IEEE Network, vol. 35, no. 5, pp. 158–167, Oct. 2021.
  • [5] P. Kumari, A. Mezghani, and R. W. Heath, “JCR70: A low-complexity millimeter-wave proof-of-concept platform for a fully-digital SIMO joint communication-radar,” IEEE Open J. Veh. Technol., vol. 2, pp. 218–234, Mar. 2021.
  • [6] Z. Ye, J. Vinogradova, G. Fodor, and P. Hammarberg, “Vehicular positioning and tracking in multipath non-line-of-sight channels,” 2022, arXiv:2203.17007. [Online]. Available: https://arxiv.org/abs/2203.17007.
  • [7] O. Li, J. He, K. Zeng, Z. Yu, X. Du, Y. Liang, G. Wang, Y. Chen, P. Zhu, W. Tong, D. Lister, and L. Ibbotson, “Integrated sensing and communication in 6G a prototype of high resolution THz sensing on portable device,” in Proc. IEEE EuCNC/6G, Porto, Portugal, Jun. 2021, pp. 544–549.
  • [8] F. Liu, C. Masouros, A. P. Petropulu, H. Griffiths, and L. Hanzo, “Joint radar and communication design: Applications, state-of-the-art, and the road ahead,” IEEE Trans. Wireless Commun., vol. 68, no. 6, pp. 3834–3862, Feb. 2020.
  • [9] L. Zheng, M. Lops, Y. C. Eldar, and X. Wang, “Radar and communication coexistence: An overview: A review of recent methods,” IEEE Signal Process. Mag., vol. 36, no. 5, pp. 85–99, Sept. 2019.
  • [10] J. A. Zhang et al., “An overview of signal processing techniques for joint communication and radar sensing,” IEEE J. Sel. Topics Signal Process., vol. 15, no. 6, pp. 1295–1315, Nov. 2021.
  • [11] E. Leitinger, F. Meyer, F. Hlawatsch, K. Witrisal, F. Tufvesson, and M. Z. Win, “A belief propagation algorithm for multipath-based SLAM,” IEEE Trans. Wireless Commun., vol. 18, no. 12, pp. 5613–5629, Sept. 2019.
  • [12] J. Palacios, G. Bielsa, P. Casari, and J. Widmer, “Communication-driven localization and mapping for millimeter wave networks,” in Proc. IEEE Conf. Comput. Commun. (INFOCOM), Honolulu, HI, USA, Apr. 2018, pp. 2402–2410.
  • [13] C. Gentner, B. Ma, M. Ulmschneider, T. Jost, and A. Dammann, “Simultaneous localization and mapping in multipath environments,” in Proc. IEEE/ION Position, Location Navigat. Symp. (PLANS), Savannah, GA, USA, Apr. 2016, pp. 807–815.
  • [14] C. Cadena et al., “Past, present, and future of simultaneous localization and mapping: Toward the robust-perception age,” IEEE Trans. Robot., vol. 32, no. 6, pp. 1309–1332, Dec. 2016.
  • [15] T. Qin, P. Li, and S. Shen, “VINS-Mono: A robust and versatile monocular visual-inertial state estimator,” IEEE Trans. Robot., vol. 34, no. 4, pp. 1004–1020, Aug. 2018.
  • [16] W. Hess, D. Kohler, H. Rapp, and D. Andor, “Real-time loop closure in 2D LIDAR SLAM,” in Proc. IEEE Int. Conf. Robot. Automat. (ICRA), Stockholm, Sweden, May 2016, pp. 1271–1278.
  • [17] H. Zou, C.-L. Chen, M. Li, J. Yang, Y. Zhou, L. Xie, and C. J. Spanos, “Adversarial learning-enabled automatic WiFi indoor radio map construction and adaptation with mobile robot,” IEEE Internet Things J., vol. 7, no. 8, pp. 6946–6954, Mar. 2020.
  • [18] C. Gentner, R. Pöhlmann, M. Ulmschneider, T. Jost, and S. Zhang, “Positioning using terrestrial multipath signals and inertial sensors,” Mobile Inf. Syst., vol. 2017, pp. 1–18, Oct. 2017.
  • [19] J. G. Andrews, T. Bai, M. N. Kulkarni, A. Alkhateeb, A. K. Gupta, and R. W. Heath, “Modeling and analyzing millimeter wave cellular systems,” IEEE Trans. Commun., vol. 65, no. 1, pp. 403–430, Jan. 2017.
  • [20] M. Giordani, M. Polese, A. Roy, D. Castor, and M. Zorzi, “A tutorial on beam management for 3GPP NR at mmwave frequencies,” IEEE Commun. Surveys Tuts., vol. 21, no. 1, pp. 173–196, Jan. 2019.
  • [21] C. Zhang, D. Guo, and P. Fan, “Tracking angles of departure and arrival in a mobile millimeter wave channel,” in Proc. IEEE Int. Conf. Commun. (ICC), Kuala Lumpur, Malaysia, May 2016, pp. 1–6.
  • [22] V. Va, H. Vikalo, and R. W. Heath, “Beam tracking for mobile millimeter wave communication systems,” in Proc. IEEE Global Conf. Signal Inf. Process. (GlobalSIP), Washington, DC, USA, Dec. 2016, pp. 743–747.
  • [23] A. Alkhateeb, J. Mo, N. Gonzalez-Prelcic, and R. W. Heath, “MIMO precoding and combining solutions for millimeter-wave systems,” IEEE Commun. Mag., vol. 52, no. 12, pp. 122–131, Dec. 2014.
  • [24] X. Li, E. Leitinger, and F. Tufvesson, “Detection and tracking of multipath channel parameters using belief propagation,” in Proc. 54th Asilomar Conf. Signals, Syst., Comput. (ACSSC), Pacific Grove, CA, USA, Nov. 2020, pp. 1083–1089.
  • [25] F. Liu, W. Yuan, C. Masouros, and J. Yuan, “Radar-assisted predictive beamforming for vehicular links: Communication served by sensing,” IEEE Trans. Wireless Commun., vol. 19, no. 11, pp. 7704–7719, Nov. 2020.
  • [26] C. Liu, W. Yuan, Z. Wei, X. Liu, and D. W. K. Ng, “Location-aware predictive beamforming for UAV communications: A deep learning approach,” IEEE Wireless Commun. Lett., vol. 10, no. 3, pp. 668–672, Mar. 2021.
  • [27] T. S. Rappaport, F. Gutierrez, E. Ben-Dor, J. N. Murdock, Y. Qiao, and J. I. Tamir, “Broadband millimeter-wave propagation measurements and models using adaptive-beam antennas for outdoor urban cellular communications,” IEEE Trans. Antennas Propag., vol. 61, no. 4, pp. 1850–1859, Apr. 2013.
  • [28] R. Mendrzik, F. Meyer, G. Bauch, and M. Z. Win, “Enabling situational awareness in millimeter wave massive MIMO systems,” IEEE J. Sel. Topics Signal Process., vol. 13, no. 5, pp. 1196–1211, Sept. 2019.
  • [29] H. Kim, K. Granström, L. Gao, G. Battistelli, S. Kim, and H. Wymeersch, “5G mmwave cooperative positioning and mapping using multi-model PHD filter and map fusion,” IEEE Trans. Wireless Commun., vol. 19, no. 6, pp. 3782–3795, Jun. 2020.
  • [30] J. Yang, C.-K. Wen, S. Jin, and X. Li, “Enabling plug-and-play and crowdsourcing SLAM in wireless communication systems,” IEEE Trans. Wireless Commun., vol. 21, no. 3, pp. 1453–1468, Mar. 2022.
  • [31] J. Yang, C.-K. Wen, and S. Jin, “Hybrid active and passive sensing for SLAM in wireless communication systems,” IEEE J. Sel. Areas Commun., vol. 40, no. 7, pp. 2146–2163, Mar. 2022.
  • [32] A. Alkhateeb, O. El Ayach, G. Leus, and R. W. Heath, “Channel estimation and hybrid precoding for millimeter wave cellular systems,” IEEE J. Sel. Topics Signal Process., vol. 8, no. 5, pp. 831–846, Jul. 2014.
  • [33] A. Goldsmith, Wireless communications.   U.K.: Cambridge Univ. Press, 2005.
  • [34] B. Sun, Y. Zhou, L. Tian, and J. Shi, “Successive interference cancellation based channel estimation for massive MIMO systems,” in Proc. IEEE Global Telecommun. Conf. (GLOBECOM), Singapore, Jan. 2017, pp. 1–6.
  • [35] Y. Bar-Shalom, T. Kirubarajan, and X.-R. Li, Estimation with Applications to Tracking and Navigation.   New York, USA: Wiley, 2002.
  • [36] Z. Shen, J. Andrews, and B. Evans, “Upper bounds on MIMO channel capacity with channel Frobenius norm constraints,” in Proc. IEEE Global Telecommun. Conf. (GLOBECOM), vol. 3, St. Louis, MO, USA, Nov. 2005, pp. 1505–1509.
  • [37] D. Schuhmacher, B.-T. Vo, and B.-N. Vo, “A consistent metric for performance evaluation of multi-object filters,” IEEE Trans. Signal Process., vol. 56, no. 8, pp. 3447–3457, Aug. 2008.
  • [38] A. Goldsmith, S. Jafar, N. Jindal, and S. Vishwanath, “Capacity limits of MIMO channels,” IEEE J. Sel. Areas Commun., vol. 21, no. 5, pp. 684–702, Jun. 2003.
  • [39] O. E. Ayach, S. Rajagopal, S. Abu-Surra, Z. Pi, and R. W. Heath, “Spatially sparse precoding in millimeter wave MIMO systems,” IEEE Trans. Wireless Commun., vol. 13, no. 3, pp. 1499–1513, Jan. 2014.