 Research
 Open access
 Published:
Information and sensing beamforming optimization for multiuser multitarget MIMO ISAC systems
EURASIP Journal on Advances in Signal Processing volume 2023, Article number: 15 (2023)
Abstract
Integrated sensing and communication (ISAC) has been envisioned as a key enabler in the nextgeneration wireless networks. In this paper, we consider the joint information and sensing beamforming design in a multiuser and multitarget multiinput multioutput ISAC system, where a transmit BS and a sensing BS collaborate to sense targets, and the transmit BS sends information streams to communication users at the same time. To optimize the sensing performance and guarantee the communication throughput, we formulate a joint beamforming design problem to minimize the trace of the weighted Cramer–Rao bound of target parameters subject to the sumrate constraint. The problem is challenging to solve due to the intricate nonconvex objective function and constraints. We firstly exploit the weighted mean square error minimization (WMMSE) and semidefinite relaxation (SDR) techniques to devise a WMMSE–SDR algorithm that can achieve a KKT point of the problem. The SDR can be shown to be tight for a subproblem in the WMMSE–SDR algorithm, which implies zero duality for the subproblem. Based on this property and fractional programming techniques, we further reformulate the beamforming problem as a min–max form with simple constraints which then can be efficiently solved by firstorder min–max optimization algorithms. Finally, the proposed algorithms are evaluated extensively in simulations. Numerical results show that both proposed algorithms can achieve promising performance in sensing and communication, and the lowcomplexity algorithm has a significantly reduced computation time.
1 Introduction
With the deployment of massive antennas and the utilization of higherfrequency spectrum like millimeter wave, the nextgeneration wireless networks are envisioned to provide higher service quality for communications as well as sensing functionality to support many emerging applications like smart manufacturing, environment monitoring and intelligent transportation, etc. [1]. To achieve this target, the integrated sensing and communication (ISAC) technique has been recognized as a key enabler and gained paramount interest from both academia and industry [1, 2].
Contrary to the traditional systems where the communication and radar sensing are usually designed independently and deployed separately, ISAC aims to realize the dual functionality in a unified system by the sharing of frequency, hardware and the joint signal processing design [3,4,5,6]. In ISAC, the implementation of digital processing technology on the radar sensing and communication facilitates the sharing of hardware components, making it possible to build a unified and simple structure with reduced device size and energy consumption. Moreover, by codesigning the waveform, the dual functionality can be operated simultaneously and achieve a higher spectral and time efficiency. The paper [7] considers the employment of the ISAC technique for assisting orthogonal time frequency space (OTFS) transmission in both uplink and downlink vehicular communication systems. Authors in [8] propose to jointly design the dualfunctional transmit signals occupying several subcarriers to realize multiuser OFDM communications and detect one moving target in the presence of clutters. Beyond the sharing of timespectral resources, the interplay between communication information and sensing information in ISAC will be beneficial to both functionalities [9]. For example, the information distributed on a communication network can be used in radar sensing applications to increase detection probability and estimation precision, while the radar sensing can assist the proactive resource management in wireless communications.
In this work, we consider the multiinput multioutput (MIMO) ISAC waveform design in wireless multiuser (MU) networks and investigate the joint information and sensing beamforming optimization problem to ensure highquality dual functionalities in both communication and sensing. The beamforming designs for mitigating the interference between a communication system and a coexisting radar system have been widely studied [10,11,12,13,14,15,16]. While these designs are effective to control the interference, the beamforming designs are separate in two systems and they often need extra centralized entities to exchange knowledge such as the interference channel information and radar waveform parameters between the two systems, causing high system complexity and increased energy consumption [17]. ISAC, which brings the radar and communication systems together, can avoid this issue and enable the dual functions by proper time frequency resource allocation [6, 18,19,20]. For instance, the work [18] studied a timedivisionbased ISAC system to implement a spectrumsharing dualfunction signaling. While the probing capabilities of orthogonal frequency division multiplexing (OFDM) waveforms were studied in [3, 6, 19, 20], though the hardware is shared, the integration between sensing and communication in most of these works [18, 19] is still weak as the dual functionalities operate in different time slots or frequency bands. Besides, some of these existing schemes [6, 20] are based on a single directional antenna and thereby suffer from a notable degradation in signaltonoiseratio (SNR) when the communication receivers are not physically located within the radar lobe. As a result, they are not able to illuminate multiple targets and communicate with multiple users simultaneously.
While the aforementioned works did not fully integrate the sensing and communication, the recent works [3, 17, 21,22,23,24,25] stepped further into a stronger integration via considering the unified waveform design in the context of MUMIMO. In paper [22], the authors introduced an approach to dualfunction radar communications using waveform diversity in tandem with sidelobe control by designing two transmit beamforming weight vectors. The paper [26] proposed a quadrature amplitude modulation (QAM)based dualfunction radar communications (DFRC) strategy which exploits sidelobe control and waveform diversity to transmit communication information. However, both of these two papers only considered limited desired direction set. It will limit the performance of sensing when the targets located out of the direction set. The paper [23] proposed an antennaselectionbased signaling strategy for DFRC systems to embed communication symbols into transmit array configurations. But the usage of transmit antennas for the dual function individually prevents the system from making use of the whole antennas, limiting both the performance of sensing and communication. Authors in [27] tackled the joint design of the DFRC transmitter and of the radar, and user receivers and formulate a general resource allocation problem. But both radarcentric and communicationcentric designs cannot achieve scalable tradeoff between the two functions. In [25], a joint sensing and communication model is considered and the modulation symbol is precoded by the communication beamforming vector and the sensing beamforming vector to sense the target while serving the communication user. In [17], the authors designed the array probing signal to match the desired radar transmit beampattern and minimize the interference power at communication receivers. In the work [21], a transmit beamforming design was proposed wherein the communication waveform was also utilized as a radar sensing waveform. In these works, the communication waveform is also used for target sensing, and thus, the available degrees of freedom (DoF) for sensing is equal to the number of communication users [3]. When the number of users is small, it incurs a loss of DoF of sensing and may lead to distortion of radar beampattern. To address this issue, the authors of [3] employed an additional sensing waveform and proposed to jointly optimize both communication and sensing waveforms, which not only greatly improves the design flexibility but also makes fully use of the DoF of antenna arrays. Instead of minimizing the mismatch between a desired sensing waveform, the work [24] introduced the Cramer–Rao bound (CRB) as the measure of sensing performance and used it in the ISAC joint waveform design. A CRBminimization problem was formulated under peruser SINR constraints, and the authors demonstrated that the proposed beamforming design could achieve a better sensing performance than its counterparts based on the beampattern matching [3].
In this paper, we propose a framework for ISAC beamforming in a multiuser and multitarget multiinput multioutput (MUMTMIMO) network, with a specific emphasis on optimization of the target estimation performance measured by the CRB for unbiased estimators, subject to the communication sumrate constraint as well as the transmit power budget limit. Specifically, in the MUMTMIMO network, we consider two connected base stations (BSs) collaborating in a bistatic sensing mode for the target sensing. At the same time, the transmit BS also sends information data streams to communication users. Compared with the monostatic sensing mode in [3, 24, 28] that requires fullduplexing and suffers from selfinterference, the bistatic sensing avoids this problem as the transmission of sensing signals and the reception of reflected signals are separate at different BSs. In our formulated beamforming design problem, the CRB of target parameters is minimized to improve the sensing performance. Different from the work [24] that considers minimizing the CRB of one subset of parameters (angles or reflection coefficients) of a single target only and [29, 30] that emphasize the localization accuracy by CRB of locations of the targets, we consider multiple targets and minimize the CRB of all the parameters including angle of arrival (AoA), angle of departure (AoD) and reflection coefficient simultaneously in the formulation. By doing that, the designed beamforming can achieve a better sensing performance [31]. In addition, unlike the individual SINR constraint for each user equipment (UE) in [3], the sumrate constraint is considered in our design to guarantee the network throughput performance.
While the resultant joint information and sensing beamforming problem is highly nonconvex and challenging to solve, we first devise an effective algorithm by the weighted mean square error minimization (WMMSE) [32] and semidefinite relaxation (SDR) techniques. Although the WMMSE–SDR method can converge properly and one can show that the SDR is tight without performance loss, its computational complexity can be high when the numbers of targets and transmit antennas are large. To alleviate the computational burden of the WMMSE–SDR algorithm, we further develop a lowcomplexity algorithm for the joint beamforming design by leveraging fractional programming (FP) [33] and firstorder algorithms for min–max problems (e.g., the smoothed gradient descent–ascent (SGDA) [34]). For example, in paper [35, 36], the authors make use of the fractional programming transformation to transform the nonconvex sumrate objective function into a convex form with introduce auxiliary variables and both of them specialize in singleratio problems. We are the first to apply the quadratic transform for FP to solve the CRBminimization problem. The main contributions of our work are summarized as follows.

We formulate a new joint ISAC beamforming design problem in a multiuser and multitarget MIMO network for simultaneous target sensing and communications. The formulated problem considers the comprehensive optimization of the CRB of all the parameters of multiple targets while guaranteeing the network throughput (sum rate) for communication users.

We devise an effective WMMSE–SDR algorithm for handling the joint beamforming design problem and show that SDR is in fact tight and incurs no performance loss.

By leveraging the tightness of SDR and the FP techniques, we further show that the joint beamforming problem can be equivalently reformulated as a min–max–min problem with simple constraints. This allows us to combine the block coordinate descent (BCD) method and the SGDA algorithm to devise a lowcomplexity FPSGDA algorithm. It is shown that the FPSGDA algorithm can achieve almost the same performance as the WMMSE–SDR algorithm but has a significantly reduced complexity.

We evaluate the proposed algorithms by extensive simulations. The numerical results reveal that the minimization of CRB of all parameters achieves a better sensing performance than that of partial parameters only. In addition, it demonstrates that our proposed FPSGDA algorithm solves the beamforming problem efficiently with greatly reduced computation time.
The remainder of this paper is organized as follows. In Sect. 2, we introduce the system model and formulate the beamforming design problem by deriving the CRB for radar sensing and sum rate for communication. Sections 3 and 4 elaborate on the design of WMMSE–SDR and FPSGDA to solve the formulated problem. Simulation results are presented in Sect. 5. Finally, Sect. 6 provides concluding remarks.
Notations Column vectors and matrices are, respectively, written in boldfaced lowercase and uppercase letters, e.g., \({\textbf{a}}\) and \({\textbf{A}}\). The superscripts \((\cdot )^{\mathrm{T}}\), \(\bar{(\cdot )}\) and \((\cdot )^{\mathrm{H}}\) represent the transpose, conjugate and Hermitian transpose, respectively. \({\textbf{I}}_{K}\) is the \(K \times K\) identity matrix; \(\Vert {\textbf{a}}\Vert\) denotes the Euclidean norm of vector \({\textbf{a}}\), and \(\cdot _{F}\) denotes the Frobenius norm. \(\odot\) denotes the Hadamard (elementwise) matrix product. \(\Im (\cdot )\) and \(\Re (\cdot )\) represent the imaginary and real part of a complex value, respectively. \(\{a_{i}\}\) denotes the set of all \(a_{i}\) with subscripts i covering all the admissible integers.
2 Dualfunctional system model and problem formulation
In this section, we build the signal and channel model for the MIMO communication and sensing systems followed by formulating the joint information and sensing signal beamforming design problem.
2.1 Signal model
We consider a dualfunctional MUMTMIMO ISAC system in Fig. 1a.^{Footnote 1} The transmit BS, which is equipped with \(N_{t}\) transmit antennas, sends communication signals to \(N_{u}\) singleantenna UEs, while transmits the probing signals to the L targets. At the same time, the sensing BS with \(N_{s}\) receiving antennas receives the signals reflected by these targets and performs sensing operation collaboratively with the transmit BS in a bistatic mode. Without loss of generality, we assume \(N_{u} < N_{s} \le N_{t}\). For both transmit BS and sensing BS, we assume a uniform linear array (ULA) with halfwavelength separation, i.e., \(d=\lambda /2\) with \(\lambda = c/f_{\mathrm{c}}\), c the speed of light, and \(f_{\mathrm{c}}\) the carrier frequency.
As shown in Fig. 1b, at the transmit BS, both the communication and sensing functionalities operate simultaneously by joint beamforming; each data symbol \(s_{i} \in {\mathbb{C}}\) for the ith communication UE and the sensing signal \({\textbf{s}}_{s} \in {\mathbb{C}}^{N_{t} \times 1}\) are first precoded by a digital precoding vector \({\textbf{w}}_{i} \in {\mathbb{C}}^{N_{t}}\) and a digital precoding matrix \({\textbf{W}}_{s} \in {\mathbb{C}}^{N_{t}\times N_{t}}\), respectively. The corresponding transmitted baseband signal \({\textbf{x}}\in {\mathbb{C}}^{N_{t}}\) integrated by \(s_{i}\) and \({\textbf{s}}_{s}\) is a weighted sum of communication symbols and radar waveforms given by
Without loss of generality, the transmit signals satisfy the following assumptions:

1.
Both the signals \(s_{i}\) for communication and \({\textbf{s}}_{s}\) for sensing are zeromean and widesense stationary stochastic process;

2.
The communication signals intended to different users are uncorrelated, namely \({\mathbb{E}}\{s_{i}s_{j}\} = 0\) for \(i\ne j\), and \({\mathbb{E}}\{s_{i}^{2}\} = 1\);

3.
The sensing signals sent from different antennas are uncorrelated with each other, i.e., \({\mathbb{E}}\{{\textbf{s}}_{s}{\textbf{s}}_{s}^{\mathrm{H}}\} = {\textbf{I}}_{N_{t}}\). In practice, the corresponding waveform can be generated by pseudorandom coding [37,38,39,40,41].

4.
Both \(s_{i}\) and \({\textbf{s}}_{s}\) are known at the transmit BS and the sensing BS. For example, the information can be exchanged among BSs via an fiberoptic backhaul.
2.2 Sensing channel model
As shown in Fig. 1a, since the transmit BS and sensing BS work in a bistatic mode of passive sensing, it means that the transmitter and receiver are located in different places. Therefore, the AoD and AoA are different. Denote \(\theta _{\ell }, \phi _{\ell }\) as the AoD and AoA of the \(\ell\)th target to the transmit BS and the sensing BS, respectively, \(\ell = 1, \dots , L\). Then, the transmit array response vector and the receive array response vector can be expressed as
respectively. Correspondingly, the channel response matrix from the transmit BS to the sensing BS \({\textbf{G}}\in {\mathbb{C}}^{N_{s}\times N_{t}}\) can be modeled as
where \(b_{\ell }\in {\mathbb{C}}\) is the reflection coefficient accounting for the path loss, including the distance information and the radar cross section (RCS) of the \(\ell\)th target. Since the sensing task is typically accomplished within a few milliseconds [42], the sensing channel (3) is assumed to be quasistatic, and the parameters \(\{\phi _{\ell }, \theta _{\ell }, b_{\ell }\}_{\ell =1}^{L}\) maintain unchanged during the sensing period. Meanwhile, it is assumed that the channel state information (CSI) of the downlink (DL) communication channel from transmit BS to UE i \({\textbf{h}}_{i} \in {\mathbb{C}}^{N_{t}}, i = 1, \ldots , N_{u}\) is available to the transmit BS.
2.3 Problem formulation
To facilitate the dual functionalities of the DL communication and the target sensing, the beamformer \(\{{\textbf{w}}_{i}\}\) and \({\textbf{W}}_{s}\) are jointly designed in the ISAC system. In this subsection, the performance metrics for the communication as well as the target sensing are described firstly, based on which the joint beamforming optimization problem is formulated.
2.3.1 Information throughput
With the transmitted signal \({\textbf{x}}_{t} \in {\mathbb{C}}^{N_{t}}\) in (1), the received signal \(y_{i}\in {\mathbb{C}}\) at UE i can be written as
in which \(n_{i} \sim {\mathcal{C}}{\mathcal{N}}(0, \sigma ^{2}_{i})\) is the additive white Gaussian noise (AWGN) at UE i. In (4), the first term is the desired signal for the ith communication UE, while the second term and the third term are the interference caused by the signals to the other UEs and the sensing signals, respectively. To this end, the signaltointerference plus noise ratio (SINR) at the ith communication UE can be expressed as
where \({\textbf{R}}_{s} = {\textbf{W}}_{s}{\textbf{W}}_{s}^{\mathrm{H}}\) denotes the sensing covariance matrix. The overall throughput (sum rate) of the DL communication in the network is
2.3.2 Sensing CRB
Similar to (4), the reflected signal received at the sensing BS is
with \({\textbf{n}}_{s} \sim {\mathcal{C}}{\mathcal{N}}({\textbf{0}}, \sigma ^{2}_{s} {\textbf{I}}_{N_{s}})\) being the AWGN. Note here both the sensing signal \({\textbf{s}}_{s}\) and the communication signal \({\textbf{s}}_{i}\) can be used for sensing since they are known by the sensing BS.
Combining (3) and (7), the received signal \({\textbf{y}}_{s}\) can be written as
where
and \({{\text{diag}}}({\textbf{b}})\) represents a diagonal matrix with \(b_{\ell }\) being its diagonal entries.
From the perspective of target sensing, the parameter estimation accuracy is of the main interest in the work, where we adopt the CRB to evaluate the performance of the target sensing for the beamforming design. The CRB represents the best performance of any unbiased estimators [43] and is widely applied to assess the sensing performance. As shown in [24], the CRBminimization beamformers outperform other methods based on beampattern matching for target sensing. Denote the parameters of the targets as \({\varvec{\phi }}, {\varvec{\theta }}, {\textbf{b}}_{R}, {\textbf{b}}_{i}\), where \({\textbf{b}}_{R} = \Re ({\textbf{b}})\) and \({\textbf{b}}_{i} = \Im ({\textbf{b}})\). Given the received signal \({\varvec{y}}\) in (8), the Fisher information matrix (FIM) w.r.t. \({\varvec{\phi }}, {\varvec{\theta }}, {\textbf{b}}_{R}, {\textbf{b}}_{i}\) can be derived as
where
and
The details of the derivation of (10), (11), (12) are given in “Appendix 1.” Notice that \({\textbf{M}}\in {\mathbb{C}}^{4L \times 4L}\). Given \({\textbf{M}}\), the CRB matrix for the target sensing is given by \({\textbf{C}}= {\textbf{M}}^{1}\).
Based on the sumrate expression in (6) and the CRB matrix \({\textbf{C}}\) derived before, the joint information and sensing beamforming design problem to achieve the dual functionalities in the ISAC system can be formulated as
where \(\Lambda _{{\varvec{\alpha }}} = {\text{diag}}\{\alpha _{1},\ldots ,\alpha _{4L}\}\) is a diagonal matrix with \(\alpha _{\ell} , \ell =1,\ldots ,4L\), being the weights for different target parameters, and P is the maximum transmission power of the transmit BS. With defined weights \(\alpha _{\ell }, \ell = 1,\ldots ,4L\), sum rate \(r_{m}\) and the power P, problem (13) aims to improve the sensing performance via minimizing the trace of the weighted CRB matrix in (13a) while guaranteeing the DL communication performance of the network by imposing the sumrate constraint in (13b). The constraint (13c) is to ensure the system to meet the total transmit power limit. It is necessary to point out that, compared with existing works [24, 31], our formulation in (13a) incorporates the CRB of all the sensing parameters instead of only parts of them. As demonstrated in [31], the minimization of CRB of more parameters could achieve a better accuracy for the parameter estimation, which will also be verified in Sect. 5.
While CRB is a function of \({\varvec{\phi }}, {\varvec{\theta }}, {\textbf{b}}_{R}, {\textbf{b}}_{i}\) as can be seen in (10), problem (13) can be interpreted as optimizing the beamformers \(\{{\textbf{w}}_{i}\}, {\textbf{W}}_{s}\) with respect to targets of interest with the potential values of \(\{b_{\ell }, \theta _{\ell }, \phi _{\ell }\}\). This is quite typical in the target tracking scenario where we wish to beamform toward an estimated/predicted direction to track the movement of the target [24, 31]. Thus, these parameters are assumed to be known and incorporated into the optimization.
Problem (13) is very challenging to solve because of the nonconvexity of (13b) and \({\textbf{M}}^{1}\) in (13a). What’s more, the high dimension of \({\textbf{M}}\) makes it unrealistic to give explicit expression of \({\textbf{M}}^{1}\). In what follows, we address these challenges to solve problem (13) and develop two computationally efficient beamforming algorithms.
3 Proposed WMMSE–SDR algorithm
In this section, we tackle the intricate joint beamforming problem (13). The ingredients are to leverage the seminal WMMSE algorithm [32] to deal with the sumrate constraint while using the SDR to overcome the nonconvexity in the CRB function.
To elaborate this, firstly, note that by the epigraph form, we can write the objective of (13) as \(\sum _{\ell =1}^{4L} \alpha _{\ell} t_{\ell}\) and have additional constraints \({\textbf{e}}_{\ell} ^{\mathrm{T}} {\textbf{M}}^{1} {\textbf{e}}_{\ell} \le t_{\ell} , \ell =1,\ldots ,4L,\) where \({\textbf{e}}_{\ell} \in {\mathbb{R}}^{4L}\) is the \(\ell\)th column of the identity matrix \({\textbf{I}}_{4L}\), and \(\{t_{\ell} \}\) is introduced slack variables. Then, by applying the Schur complement [44], we can reformulate (13) into the following problem
As seen, we no longer deal with \({\textbf{M}}^{1}\) in (14).
As mentioned before, another challenge for solving problem (14) is the nonconvex sumrate constraint (14c). Note that, unlike the SINR constraints considered in [24], directly application of SDR to constraint (14c) does not yield a tractable form. Instead, we exploit the relation between the rate expression and mean square error (MSE), following the WMMSE method [32]. The WMMSE algorithm addresses weighted sumrate maximization by solving a problem equivalent to it, i.e., with the same optimal solution, and amenable for block coordinate descent [45]. With the assumption provided in Sect. 2.1, the equivalent problem is given by a weighted sum mean square error minimization problem (15) as illustrated in Theorem 1 [32].
in which \(e_{i}\) is the MSE of the estimated data symbol and transmitted data symbol given by
and \(v_{i}\) is the user weight, \(u_{i}\) is the receiver gain, and both of them are the introduced auxiliary variables need to be optimized. Problem (15) is convex in in each individual \(\{v_{i}\}\) and \(\{u_{i}\}\) with fixed \(\{{\textbf{w}}_{i}\}\) and \({\textbf{W}}_{s}\), and hence, the partial optimization problem can be easily solved and a local optimum can be obtained by iteratively minimizing the cost function with respect to one variable while keeping the others fixed.
Based on (15), problem (14) is updated to
Until now, the constraint (17d) is convex and the MSE \(e_{i}\) in (16) is also convex w.r.t. each variable.^{Footnote 2} However, problem (17) is still hard to solve due to the intricate nonconvex mapping from \(\{{\textbf{w}}_{i}\}, {\textbf{R}}_{s}\) to \({\textbf{M}}\) in (10) and (11). To handle it, we adopt the popular semidefinite relaxation (SDR) technique [31]. By defining \({\textbf{R}}_{i} = {\textbf{w}}_{i}{\textbf{w}}_{i}^{\mathrm{H}}\), \({\textbf{R}}_{{\textbf{x}}_{t}}\) in (12) can be written as
Therefore, by SDR, \({\textbf{M}}\) becomes a linear function of \({\textbf{R}}_{i}\) and \({\textbf{R}}_{s}\). On the other hand, the MSE \(e_{i}\) in (17d) can be expressed by \({\textbf{R}}_{{\textbf{x}}_{t}}\) as follows
Therefore, problem (17) is updated to (20) as follows
In problem (20), the only nonconvex constraint is (20f). By SDR, we relax the constraint to \({\textbf{R}}_{i} \succeq {\textbf{w}}_{i}{\textbf{w}}_{i}^{\mathrm{H}}\) which, by the Schur complement, is equivalent to the following linear matrix inequality (LMI)
Based on the above derivations, problem (17) can be updated to
As seen, given \(\{v_{i}\}, \{u_{i}\}\), the remaining part of problem (22) is an SDP that can be efficiently solved with offtheshelf solvers, such as \({\textsf{CVX}}\) [46]. Once the SDP is solved, \(\{v_{i}\}, \{u_{i}\}\) can be updated at each rth iteration with the following closedform expressions
The alternating updates proceed iteratively until convergence. The details of the proposed WMMSE–SDR algorithm for problem (22) are given in Algorithm 1.
It is necessary to point out that the equality in (21) may not be satisfied by the solution of a general SDP problem (22) after SDR. In that case, \({\textbf{R}}_{i}\) is not rank1 and only an approximate solution \({\textbf{w}}_{i}\) can be attained, which could bring performance loss. However, it is interesting to find in the work that a rank1 solution of problem (22) is always achievable from the points obtained by Algorithm 1. In particular, Theorem 1 holds for problem (22).
Theorem 1

(1)
Algorithm 1 converges, and any limit point is a KKT solution of (22).

(2)
For any feasible solution \(\{\{{\hat{t}}_{\ell }\},\{{\hat{{\textbf{R}}}}_{i}\}, {\hat{{\textbf{R}}}}_{s}\}\) of problem (22), one can construct
$$\begin{aligned} \tilde{t}_{\ell }&= {\hat{t}}_{\ell }, \ell = 1, \ldots , 4L, \end{aligned}$$(24a)$$\begin{aligned} {\tilde{{\textbf{w}}}}_{i}&= \frac{{\hat{{\textbf{R}}}}_{i}{\textbf{h}}_{i}}{\sqrt{{\textbf{h}}_{i}^{\mathrm{H}}{\hat{{\textbf{R}}}}_{i}{\textbf{h}}_{i}}}, i=1, \ldots , N_{u}, \end{aligned}$$(24b)$$\begin{aligned} {\tilde{{\textbf{R}}}}_{i}&= {\tilde{{\textbf{w}}}}_{i}{\tilde{{\textbf{w}}}}_{i}^{\mathrm{H}}, i=1, \ldots , N_{u}, \end{aligned}$$(24c)$$\begin{aligned} {\tilde{{\textbf{R}}}}_{s}&= \sum _{i = 1}^{N_{u}}{\hat{{\textbf{R}}}}_{i} +{\hat{{\textbf{R}}}}_{s}  \sum _{i=1}^{N_{u}}{\tilde{{\textbf{R}}}}_{i}, \end{aligned}$$(24d)which is also a feasible solution of (22).
Proof
See “Appendix 2.” \(\square\)
Theorem 1 implies that SDR is in fact tight to problem (22), since by (24b) and (24d) one can always construct a rankone feasible solution \({\tilde{{\textbf{R}}}}_{i}\) together with \({\tilde{{\textbf{R}}}}_{s}\) for (22). Thus, \({\tilde{{\textbf{w}}}}_{i}\) and \({\tilde{{\textbf{R}}}}_{s}\) is a feasible solution to problem (17). Then, the sensing beamforming \({\tilde{{\textbf{W}}}}_{s}\) can be extracted from \({\tilde{{\textbf{R}}}}_{s}\) by Cholesky decomposition or eigenvalue decomposition. Lastly, the tightness of SDR implies that with fixed \(\{u_{i}, v_{i}\}\) problem (17) has the strong duality.
Corollary 1
With fixed \(\{u_{i},v_{i}\}\), problem (17) has a zero duality gap with its Lagrange dual.
Proof
With \(\{u_{i}\}\) and \(\{v_{i}\}\) fixed, problem (22) is convex w.r.t. \(\{\{{\textbf{w}}_{i}\}, \{{\textbf{R}}_{i}\}, {\textbf{R}}_{s}\}\}\), so it has no duality gap with its dual problem, which is given by
where the Lagrangian function is
and \(\Omega _{1} \triangleq \{\{{\textbf{w}}_{i}\},\{{\textbf{R}}_{i}\},\{{\textbf{R}}_{s}\}, \lambda , \mu , \{\Gamma _{i}\}, \Xi _{s}, \{\xi _{\ell }\}\}\).
Because of the tightness of SDR \({\textbf{R}}_{i} = {\textbf{w}}_{i}{\textbf{w}}_{i}^{\mathrm{H}}\), the last term of (26) will be zero, making (25) the same as the dual problem of (17), which is given by
where the Lagrangian function is
and \(\Omega _{2} \triangleq \{\{{\textbf{w}}_{i}\},\{{\textbf{R}}_{s}\}, \lambda , \mu , \Xi _{s}, \{\xi _{\ell }\}\}\).
Thus, under the equivalence between (17) and (22) built in Theorem 1, there is zero gap between problem (17) and its dual problem. That completes the proof. \(\square\)
4 Proposed FPSGDA algorithm
While the proposed WMMSE–SDR algorithm can achieve a KKT point, it needs to solve an SDP in Step 3, which is usually of high computational complexity with \(O(L^3 + L^{2}N_{t}^{2}+L^{2}N_{s}^{2} + LN_{t}^{2} + N_{u}N_{t}^{2})\). Therefore, it necessitates to tailor a computationefficient algorithm. To accomplish the task, we resort to the FP techniques and the primaldual relation to transform the original problem (13) to a min–max problem with simple constraints, which then can be efficiently handled by lowcomplexity algorithms base on the tightness of SDR proved by Theorem 1 and the zero duality in Corollary 1 for the subproblem.
Firstly, problem (17) can be equivalently written as
in which \({\mathcal{C}}_{1}\) is defined as the variable set of (29) given by,
For such a problem, the FP is introduced to avoid dealing with \({\textbf{M}}^{1}\) directly.
FP refers to a family of optimization problems that involve ratio term(s). Compared with the literature of FP that specialize in singleratio problems [47, 48], the quadratic transform proposed by [33] can recast the original problem to a form amenable to iterative optimization with decoupled numerator and denominator of each ratio term by introducing some suitable auxiliary variables. This decoupling feature of the proposed quadratic transform can convert the original nonconvex problem into a sequence of convex problems, making it particularly suited for the coordinated resource optimization problem across multiple cells in a wireless cellular network. To deal with the FP problem (29) which in a multidimensional complex case where the numerators are vectors and the denominators are matrices, the following lemma is given.
Lemma 1
[33] Consider the following sum of fractional terms
where each \({\varvec{a}}_{m} \in {\mathbb{C}}^d\), and \({\textbf{B}}_{m} \in {\mathbb{C}}^{d\times d}\) is Hermitian, for \(m=1,\dots ,M\). Then, the above term is equal to
Regard \({\textbf{M}}\) and \({\textbf{e}}_{\ell }\) as \({\textbf{B}}\) and \({\textbf{a}}_{m}\) in Lemma 1, respectively, and introducing auxiliary variables \(\{{\textbf{y}}_{\ell }\in {\mathbb{C}}^{4L}\}_{\ell =1}^{4L}\), problem (29) can be transformed to
Notice that problem (32) successfully circumvents dealing with the intricate \({\textbf{M}}^{1}\) in problem (29) directly. Let us rewrite problem (32) by separating \(\{\{u_{i}\}, \{v_{i}\}\}\) and \(\{\{{\textbf{w}}_{i}\}, {\textbf{R}}_{i}\}\) as
and consider the inner min–max problem when \(\{\{u_{i}\}, \{v_{i}\}\}\) is fixed. After SDR by (18) and (21), the inner min–max problem is
in which \({\mathcal{C}}_{2}\) is defined by
Because problem (34) is concave in \(\{{\textbf{y}}_{\ell }\}\) and convex in \(\{\{{\textbf{w}}_{i}\},\{{\textbf{R}}_{i}\}, {\textbf{R}}_{s}\}\), the order of min–max in (34) can be changed to max–min as
Since the SDR is tight according to Theorem 1, the inner SDR minimization problem in (35b) is equivalent to
According to Corollary 1, problem (36) has no duality gap, and thus can be solved by considering its Lagrangian dual
where \(\lambda ,\mu\) are the dual variables, \(\Omega = \{\{{\textbf{w}}_{i}\},{\textbf{R}}_{s}, \lambda , \mu \}\) are the variable set, and
Therefore, problem (35b) is further equivalent to
Incorporating the minimization over \(\{u_{i},v_{i}\}\), problem (32) is equivalent to
It is not difficult to check that the objective function in (40) is convex in each variable of \(\{v_{i}\}\) and \(\{u_{i}\}\), concave w.r.t \(\{{\textbf{y}}_{\ell }\}, \lambda , \mu\), but nonconvex in \(\{\{{\textbf{w}}_{i}\},{\textbf{R}}_{s}\}\). In the work, we adopt BCD algorithm to update \(\{v_{i}\}, \{u_{i}\}\) and the inner max–min problem alternatively. With \(\{v_{i}\}, \{u_{i}\}\) fixed, the inner max–min problem can be solved by the SGDA algorithm [34] that is designed for nonconvex–concave problems. The SGDA is very computationally efficient since it takes only a singleloop update in each iteration. Specifically, by introducing auxiliary sequences \(\{{\hat{{\textbf{w}}}}_{i}\}\) and \({\hat{{\textbf{R}}}}_{s}\), the following problem can be built from the inner max–min problem in (40)
where p and q are constants. When SGDA is applied to (40), gradient ascent and gradient descent are conducted alternatingly over the objective function of problem (41), while the auxiliary sequences are updated through a averaging step. That gives the FPSGDA algorithm for the joint beamforming optimization problem (13). The details of the proposed FPSGDA algorithm are summarized in Algorithm 2.
In Algorithm 2, \(\gamma , \beta\) and c are step sizes and the expressions of \(\nabla _{{\textbf{w}}_{i}} {\mathcal{L}}(\Omega )\) and \(\nabla _{{\textbf{R}}_{s} } {\mathcal{L}}(\Omega )\) are
where \({\textbf{y}}_{\ell }=[{\textbf{y}}_{\ell ,1}^{\mathrm{T}},\ldots ,{\textbf{y}}_{\ell ,4}^{\mathrm{T}}]^{\mathrm{T}}\) and \({\textbf{D}}_{{\textbf{y}}_{\ell ,k}} = {\text{diag}}({\textbf{y}}_{\ell ,k})\). As expressed in (10), \({\textbf{M}}\) is a \(4L\times 4L\) block matrix, where each subblock expressed in (11) can be written in the following unified form
For example, \({\textbf{M}}_{11}\triangleq {\textbf{M}}_{{\varvec{\phi }}{\varvec{\phi }}} = {\textbf{M}}^{{\textbf{A}}}_{11} \odot {\textbf{M}}^{{\textbf{B}}}_{11}{\bar{{\textbf{R}}}}_{{\textbf{x}}_{t}}{\textbf{M}}^{{\textbf{C}}}_{11}\), where \({\textbf{M}}^{{\textbf{A}}}_{11} = {\dot{{\textbf{A}}}}^{\mathrm{H}}{\dot{{\textbf{A}}}}, {\textbf{M}}^{{\textbf{B}}}_{11} = {\bar{{\textbf{B}}}}{\textbf{V}}^{\mathrm{H}}\) and \({\textbf{M}}^{{\textbf{C}}}_{11} = {\textbf{V}}{\textbf{B}}\).
In FPSGDA algorithm, it has the computational complexity with \(O(LN_{t}^{2} + L^{2}N_{s}^{2} + LN_{t} + N_{u}N_{t})\), which is much smaller than that in WMMSE–SDR algorithm. It is also verified by the simulation results.
5 Simulation results and discussion
In this section, the performance of our proposed ISAC beamforming algorithms is evaluated extensively through simulation. The network consists of \(N_{u} = 5\) UEs and \(L = 5\) targets. The number of antennas equipped at both BSs is \(N_{s} = N_{t} = 20\). The carrier frequency is 2.35 GHz and the signal bandwidth is 100 MHz. The path loss between the UE and the transmit BS is set as \(128.1 + 37.6\log _{10}({\text{d}})\) (dB), in which d is the distance between BS and UE [49]. The power spectral density of is − 174 dBm/Hz . The transmit BS is located at \((x,y) =(0, 0)\) m, and the sensing BS is at (0, 500) m. As shown in Fig. 2, the targets and UEs are randomly located in a rectangular area enclosed by the magenta dotted line and that by the dotted line, respectively. Two scenarios with different distributions of UE’s location are considered. In scenario 1, UEs are located near the targets to sense and the directions of them to the BSs are close. In scenario 2, UEs are located far away from the targets and they have different directions to the BSs. Totally 500 Monte Carlo realizations of typologies are conducted and the performance is averaged over them. Unless specified otherwise, the weights of CRB for all parameters are set as \(\alpha _{\ell } = 1\). The maximum transmit power is \(P = 30\) (dBm), and the sumrate threshold is \(r_{m} = 20\) (bits/s/Hz). The initial values of \(\{{\varvec{w}}_{i}^0\}\) are set via the zeroforcing beamforming for both WMMSE–SDR and FPSGDA. The step sizes in FPSGDA are set as \(\gamma = 0.01\) and \(\beta = c = 0.02\). In our experiments, the MATLAB is operated on the platform with CPU of i79800X and GPU of RTX3080Ti.
5.1 Comparison between WMMSE–SDR and FPSGDA beamforming
In this subsection, the performance of the proposed WMMSE–SDR and FPSGDA beamforming schemes is compared in terms of the convergence behavior and the computational time.
5.1.1 Convergence behavior
Figure 3 presents the convergence behaviors of the proposed algorithms. One can observe that the objective value \({\mathrm{Tr}}({\textbf{M}}^{1})\) obtained by WMMSE–SDR and that by FPSGDA decrease quickly. While both algorithms converge to almost the same objective value within a few iterations, it shows that WMMSE–SDR takes fewer iterations to converge. An interesting phenomenon in Fig. 3 is that both the two algorithms will converge a little faster with a larger transmit power budget P.
Compared with scenario 1, the ISAC system in scenario 2 achieves a lower objective value during the iteration, corresponding to a better sensing performance. This is because that the communication signals received at UEs are more easily to be interfered by the sensing signals when the targets and UEs are located close to each other. As a consequence, more power will be allocated to communication to meet the throughput requirement in scenario 1, and the corresponding sensing performance is degraded.
5.1.2 Impact of power and sumrate constraint
Figure 4 demonstrates the achieved value of the trace of CRB matrix versus the sumrate threshold \(r_{m}\) under different transmit power limits. In both scenarios, the achieved value of the trace increases with a higher threshold of sum rate. This is reasonable as more power will be used for communication to satisfy a more stringent throughput requirement. Moreover, with more transmit power budget, the attained CRB values will go down and the sensing performance is improved.
In both scenarios, the trend of curves of WMMSE–SDR and that of FPSGDA are similar. FPSGDA obtains almost the same values as WMMSE–SDR. In addition, under the same power and sumrate constraint settings, the obtained CRB in scenario 2 is smaller than that of scenario 1, which is in accordance with our expectation.
5.1.3 Computational time
As analyzed in Sect. 4, one big advantage of the proposed FPSGDA is its lower computational complexity to WMMSE–SDR. To demonstrate that, the computational time (in seconds) of the two proposed algorithms versus the number of targets with different number of transmit antennas is listed in Table 1.
As shown in Table 1, the computational time of WMMSE–SDR and that of FPSGDA increase with more targets to be sensed and more antennas equipped at BSs, because the increase of number of targets L and the number of antennas \(N_{t}\) will lead to a problem of a larger dimension and increased complexity.
More importantly, Table 1 shows that FPSGDA reduce the computational time significantly. In fact, the averaged computational time of FPSGDA is only 3–4% of that of WMMSE–SDR, under the same setting of L and \(N_{t}\). It verifies the effectiveness of our designs to reduce the computational complexity in the proposed FPSGDA. And its computational advantage seems more significant with a larger number of targets and transmit antennas. In addition, it showcases that the computational time of FPSGDA is less sensitive to the increase of \(N_{t}\), making it more appealing to the massive MIMO scenarios.
As the two proposed algorithms attain almost the same objective values, while FPSGDA admits much better computational efficiency, it is compared with other benchmark schemes in the next subsection.
5.2 Comparison of improvement for parameter estimation
In this subsection, the achieved performance of our considered joint beamforming formulation is compared with other benchmark schemes. Specifically, the following schemes are evaluated for comparison.

Com.: Problem (13) is solved with the sumrate threshold set as the objective value of the classical sumrate maximization problem obtained by the WMMSE algorithm [32]. In this scheme, the network throughput is more emphasized.

AOD (\({\textbf{M}}_{11}\)): Problem (13) is solved with the objective function changed to \({\mathrm{Tr}}({\textbf{M}}_{11}^{1})\). In this scheme, the channel parameters AOA and reflection coefficient \(\{{\varvec{\theta }}, {\varvec{v}}\}\) are assumed to be known, and only the minimization of the CRB of AOD \({\varvec{\phi }}\) is considered.

AOD (\(\alpha _{\ell }\)): Problem (13) is solved with the weights in the objective function set to \(\alpha _{\ell } = 1, \ell =1,\ldots ,L\) and \(\alpha _{\ell } = 0, \ell =L+1,\ldots ,4L\). Note that, different from that in AOD (\({\textbf{M}}_{11}\)), this scheme treats the other parameters including AoA and reflection coefficient unknown here.

All para: Problem (13) is solved with \(\alpha _{\ell } = 1, \ell =1,\ldots ,4L\) in the objective function with \({\mathrm{Tr}}(\Lambda _{{\varvec{\alpha }}}{\textbf{M}}^{1})\). In this scheme, the minimization of the CRB of all parameters \(\{{\varvec{\phi }}, {\varvec{\theta }}, {\textbf{b}}_{R}, {\textbf{b}}_{i}\}\) is considered in the optimization.

Sen.: Problem (13) is solved by setting the sumrate constraint as \(r_{m} = 0\). The target sensing is more emphasized in this scheme.
Figure 5 presents the values of MSE and Tr(CRB) obtained by the beamforming optimized from all the aforementioned schemes above with FPSGDA. MUSIC algorithm is applied to acquire the AoD estimation. \({\text{MSE}}(\cdot )\) is calculated by the summation of the mean square errors of the estimated and true AoDs. \({\mathrm{Tr}}({\text{CRB}})(\cdot )\) corresponds to the achieved summation of the CRB of AoD \({\varvec{\phi }}\). The values of \({\text{MSE}}(\cdot )\) are depicted by points, while values of \({\mathrm{Tr}}({\text{CRB}})(\cdot )\) are illustrated by dotted lines.
One can see from Fig. 5 that all the schemes can provide higher estimation accuracy when the transmit power is increased. Among all the schemes, the sensing performance of Com. is the worst as it emphasizes the most on communication and nearly all the power is allocated to the data transmission. In contrast, Sen. gets the best estimation accuracy, because it considers the optimization of sensing performance only. Besides, All para attains the better performance than AOD (\(\alpha _{\ell }\)). The reason is that the sensing of different parameters for each target indeed impacts each other. As illustrated in [31], the optimization of CRB of AoD solely could deteriorate the estimation of the reflection coefficient, since the obtained beampattern has a notch at the direction to the target when the minimization of the CRB of reflection coefficients is ignored. The phenomenon here is consistent with what demonstrated in [31]. Comparing AOD (\({\textbf{M}}_{11}\)) with AOD (\(\alpha _{\ell }\)), one can observe that the performance of the two schemes is very near, while the latter one achieve slightly better performance. This is in accordance with our expectation since AOD (\({\textbf{M}}_{11}\)) ignores the uncertainty of the other unknown parameters in the optimization.
5.3 Discussion
We conduct extensive simulations to evaluate our proposed WMMSE–SDR and FPSGDA in various scenarios under different power and sumrate constraints. The numerical results show that our proposed algorithms can improve the sensing performance effectively and converge within only a few iterations. It also showcases that the sensing performance that is evaluated by the achieved trace of the weighted CRB of parameters will be improved with an increased transmit power and degraded with a more stringent sumrate threshold. The phenomenon reveals the tradeoff between sensing and information transmission under limited power. In addition, the comparison of the computational time demonstrates that FPSGDA does not only achieve almost the same sensing performance as WMMSE–SGDA, but also significantly reduces the computational time. It verifies the efficacy of our proposed lowcomplexity designs. Moreover, the proposed MUMTISAC framework is also compared with other benchmark schemes, including one scheme considering the minimization of CRB of partial parameters only, one treating partial parameters as deterministic, one focused more on sensing and another one emphasizing sensing. The comparison presents that our proposed framework achieves the best balance between sensing and information transmission. In a nutshell, the simulation verifies the effectiveness of our proposed MUMTISAC framework. It shows our proposed joint beamforming algorithms can effectively improve the estimation accuracy and ensure a high communication throughput with highly reduced computational complexity.
6 Conclusion
In this paper, we have investigated the joint information and sensing beamforming design problem in MUMTMIMO ISAC systems. We have proposed a new MUMTMIMO ISAC framework where two BSs collaborate to sense targets in a bistatic mode, while the transmit BS sends information streams to communication users simultaneously. To improve the sensing performance and ensure a high communication throughput, we have formulated a beamforming problem to minimize the trace of the weighted CRB of target parameters subject to the sumrate constraint. To solve the intricate nonconvex problem, we have proposed a WMMSE–SDR algorithm, which can achieve a KKT point of the problem. In addition, we have proved the tightness of SDR and developed a lowcomplexity FPSGDA algorithm. Through extensive simulation, we found that our proposed algorithms can achieve a promising sensing and communication performance, and the FPSGDA algorithm can significantly reduce the computational time. Besides the parameters considered in this paper, range and Doppler are also the directions for future research.
Availability of data and materials
All data generated or analyzed during this study are included in this paper.
Notes
One can rotate the phase so that the term \({\textbf{h}}_{i}^{\mathrm{H}}{\textbf{w}}_{i}\) in the RHS of (16) is real valued.
Abbreviations
 MUMTMIMO:

Multiuser and multitarget multiinput multioutput
 ISAC:

Integrated sensing and communication
 QoS:

Quality of service
 CRB:

Cramer–Rao bound
 WMMSE:

Weighted mean square error
 SDR:

Semidefinite relaxation
 FP:

Fractional programming
 SGDA:

Smoothed gradient descent–ascent
 OFDM:

Orthogonal frequency division multiplexing
 SNR:

Signaltonoise ratio
 DL:

Downlink
 DoF:

Degrees of freedom
 SINR:

Signaltointerference and noise ratio
 BS:

Base station
 UE:

User equipment
 ULA:

Uniform linear array
 CSI:

Channel state information
 AWGN:

Additive white Gaussian noise
 SDP:

Semidefinite programming
References
F. Liu, Y. Cui, C. Masouros, J. Xu, T.X. Han, Y.C. Eldar, S. Buzzi, Integrated sensing and communications: toward dualfunctional wireless networks for 6G and beyond. IEEE J. Sel. Areas Commun. 40(6), 1728–1767 (2022)
M.L. Rahman, J.A. Zhang, X. Huang, Y.J. Guo, R.W. Heath, Framework for a perceptive mobile network using joint communication and radar sensing. IEEE Trans. Aerosp. Electron. Syst. 56(3), 1926–1941 (2020)
X. Liu, T. Huang, N. Shlezinger, Y. Liu, J. Zhou, Y.C. Eldar, Joint transmit beamforming for multiuser MIMO communications and MIMO radar. IEEE Trans. Signal Process. 68, 3929–3944 (2020)
J.A. Zhang, F. Liu, C. Masouros, R.W. Heath, Z. Feng, L. Zheng, A. Petropulu, An overview of signal processing techniques for joint communication and radar sensing. IEEE J. Sel. Top. Signal Process. 15, 1295–1315 (2021)
P. Kumari, J. Choi, N. GonzálezPrelcic, R.W. Heath, IEEE 802.11 adbased radar: an approach to joint vehicular communicationradar system. IEEE Trans. Veh. Technol. 67(4), 3012–3027 (2017)
C. Sturm, W. Wiesbeck, Waveform design and signal processing aspects for fusion of wireless communications and radar sensing. Proc. IEEE 99(7), 1236–1259 (2011)
W. Yuan, Z. Wei, S. Li, J. Yuan, D.W.K. Ng, Integrated sensing and communicationassisted orthogonal time frequency space transmission for vehicular networks. IEEE J. Sel. Top. Signal Process. 15(6), 1515–1528 (2021)
Z. Xiao, R. Liu, M. Li, Y. Liu, Q. Liu, Joint beamforming design in DFRC systems for wideband sensing and ofdm communications (2022). arXiv preprint arXiv:2208.03055
O. Ma, A.R. Chiriyath, A. Herschfelt, D.W. Bliss, Cooperative radar and communications coexistence using reinforcement learning, in 2018 52nd Asilomar Conference on Signals, Systems, and Computers (IEEE, 2018), pp. 947–951
F. Liu, C. Masouros, A.P. Petropulu, H. Griffiths, L. Hanzo, Joint radar and communication design: applications, stateoftheart, and the road ahead. IEEE Trans. Commun. 68(6), 3834–3862 (2020)
J.A. Mahal, A. Khawar, A. Abdelhadi, T.C. Clancy, Spectral coexistence of MIMO radar and MIMO cellular system. IEEE Trans. Aerosp. Electron. Syst. 53(2), 655–668 (2017)
M. Rihan, L. Huang, Optimum codesign of spectrum sharing between MIMO radar and MIMO communication systems: an interference alignment approach. IEEE Trans. Veh. Technol. 67(12), 11667–11680 (2018)
J. Qian, M. Lops, L. Zheng, X. Wang, Z. He, Joint system design for coexistence of MIMO radar and MIMO communication. IEEE Trans. Signal Process. 66(13), 3504–3519 (2018)
B. Li, A.P. Petropulu, W. Trappe, Optimum codesign for spectrum sharing between matrix completion based MIMO radars and a MIMO communication system. IEEE Trans. Signal Process. 64(17), 4562–4575 (2016)
B. Li, A.P. Petropulu, Joint transmit designs for coexistence of MIMO wireless communications and sparse sensing radars in clutter. IEEE Trans. Aerosp. Electron. Syst. 53(6), 2846–2864 (2017)
F. Liu, C. Masouros, A. Li, T. Ratnarajah, J. Zhou, MIMO radar and cellular coexistence: a powerefficient approach enabled by interference exploitation. IEEE Trans. Signal Process. 66(14), 3681–3695 (2018)
F. Liu, L. Zhou, C. Masouros, A. Li, W. Luo, A. Petropulu, Toward dualfunctional radarcommunication systems: optimal waveform design. IEEE Trans. Signal Process. 66(16), 4264–4279 (2018)
J. Moghaddasi, K. Wu, Multifunctional transceiver for future radar sensing and radio communicating datafusion platform. IEEE Access 4, 818–838 (2016)
C. Sturm, T. Zwick, W. Wiesbeck, An OFDM system concept for joint radar and communications operations, in VTC Spring 2009IEEE 69th Vehicular Technology Conference (IEEE, 2009), pp. 1–5
T. Zhang, X.G. Xia, OFDM synthetic aperture radar imaging with sufficient cyclic prefix. IEEE Trans. Geosci. Remote Sens. 53(1), 394–404 (2014)
F. Liu, C. Masouros, A. Li, H. Sun, L. Hanzo, MUMIMO communications with MIMO radar: from coexistence to joint transmission. IEEE Trans. Wirel. Commun. 17(4), 2755–2770 (2018)
A. Hassanien, M.G. Amin, Y.D. Zhang, F. Ahmad, Dualfunction radarcommunications: information embedding using sidelobe control and waveform diversity. IEEE Trans. Signal Process. 64(8), 2168–2181 (2015)
X. Wang, A. Hassanien, M.G. Amin, Dualfunction MIMO radar communications system design via sparse array optimization. IEEE Trans. Aerosp. Electron. Syst. 55(3), 1213–1226 (2018)
F. Liu, Y.F. Liu, A. Li, C. Masouros, Y.C. Eldar, Cramér–Rao bound optimization for joint radarcommunication beamforming. IEEE Trans. Signal Process. 70, 240–253 (2021)
L. Pucci, E. Paolini, A. Giorgetti, Systemlevel analysis of joint sensing and communication based on 5G new radio. IEEE J. Sel. Areas Commun. 40, 2043–2055 (2022)
A. Ahmed, Y.D. Zhang, Y. Gu, Dualfunction radarcommunications using QAMbased sidelobe modulation. Digit. Signal Process. 82, 166–174 (2018)
J. Johnston, L. Venturino, E. Grossi, M. Lops, X. Wang, MIMO OFDM dualfunction radarcommunication under error rate and beampattern constraints. IEEE J. Sel. Areas Commun. 40(6), 1951–1964 (2022)
Z. Xiao, Y. Zeng, Waveform design and performance analysis for fullduplex integrated sensing and communication. IEEE J. Sel. Areas Commun. 40(6), 1823–1837 (2022)
H. Godrich, A.M. Haimovich, R.S. Blum, Target localization accuracy gain in MIMO radarbased systems. IEEE Trans. Inf. Theory 56(6), 2783–2803 (2010)
A. Ahmed, Y.D. Zhang, B. Himed, Distributed dualfunction radarcommunication MIMO system with optimized resource allocation, in 2019 IEEE Radar Conference (RadarConf) (IEEE, 2019), pp. 1–5
J. Li, L. Xu, P. Stoica, K.W. Forsythe, D.W. Bliss, Range compression and waveform optimization for MIMO radar: a Cramér–Rao bound based study. IEEE Trans. Signal Process. 56(1), 218–232 (2007)
Q. Shi, M. Razaviyayn, Z.Q. Luo, C. He, An iteratively weighted MMSE approach to distributed sumutility maximization for a MIMO interfering broadcast channel. IEEE Trans. Signal Process. 59(9), 4331–4340 (2011)
K. Shen, W. Yu, Fractional programming for communication systems–Part I: power control and beamforming. IEEE Trans. Signal Process. 66(10), 2616–2630 (2018)
J. Zhang, P. Xiao, R. Sun, Z. Luo, A singleloop smoothed gradient descentascent algorithm for nonconvex–concave min–max problems. Adv. Neural Inf. Process. Syst. 33, 7377–7389 (2020)
R. Liu, M. Li, A.L. Swindlehurst, Joint beamforming and reflection design for RISassisted ISAC systems (2022). arXiv preprint arXiv:2203.00265
Z. Wang, X. Mu, Y. Liu, Z. Ding, Exploiting sensing signal in ISAC: a NOMA inspired scheme (2022). arXiv preprint arXiv:2201.04547
S. Guangmin, L. Guosui, G. Hong, Signal analysis and processing for random binary phase coded pulse radar. J. Syst. Eng. Electron. 15(4), 520–524 (2004)
E.H. Kim, K.H. Kim, Random phase code for automotive MIMO radars using combined frequency shift keyinglinear FMCW waveform. IET Radar Sonar Navig. 12(10), 1090–1095 (2018)
G. Sharma, K.R. Rajeswari, Fourphase orthogonal code design for MIMO radar systems, in 2012 National Conference on Communications (NCC) (IEEE, 2012), pp. 1–4
D.V. Sarwate, M.B. Pursley, Crosscorrelation properties of pseudorandom and related sequences. Proc. IEEE Inst. Electr. Electron. Eng. 68(5), 593–619 (1980)
S.W. Golomb, G. Gong, Signal Design for Good Correlation: for Wireless Communication, Cryptography, and Radar (Cambridge University Press, Cambridge, 2005)
M.L. Rahman, J.A. Zhang, X. Huang, Y.J. Guo, R.W. Heath Jr., Framework for a perceptive mobile network using joint communication and radar sensing. IEEE Trans. Aerosp. Electron. Syst. 56(3), 1926–1941 (2019)
M.K. Steven, Fundamentals of Statistical Signal Processing: Estimation Theory, vol. 1 (PTR PrenticeHall, Englewood Cliffs, 1993)
S.M. Kay, The Schur Complement and Its Applications (Springer, Berlin, 2006)
L. Pellaco, M. Bengtsson, J. Jaldén, Deep unfolding of the weighted MMSE beamforming algorithm (2020). arXiv preprint arXiv:2006.08448
M. Grant, S. Boyd, CVX: Matlab software for disciplined convex programming, version 2.1 (2014)
C. Isheden, Z. Chong, E. Jorswieck, G. Fettweis, Framework for linklevel energy efficiency optimization with informed transmitter. IEEE Trans. Wirel. Commun. 11(8), 2946–2957 (2012)
A. Zappone, E. Björnson, L. Sanguinetti, E. Jorswieck, Globally optimal energyefficient power control and receiver design in wireless networks. IEEE Trans. Signal Process. 65(11), 2844–2859 (2017)
E. LTE, Evolved universal terrestrial radio access (EUTRA); radio frequency (RF) requirements for LTE Pico Node B (3GPP TR 36.931 version 9.0. 0 Release 9). ETSI (2011)
S.M. Kay, Fundamentals of Statistical Signal Processing: Estimation Theory (PrenticeHall Inc, PrenticeHall, 1993)
Funding
The work is supported by Shenzhen Science and Technology Program under Grant RCJC20210609104448114, the NSFC, China, under Grant 62071409, and by the Guangdong Provincial Key Laboratory of Big Data Computing.
Author information
Authors and Affiliations
Contributions
All authors are equally contributed. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
All procedures performed in this paper were in accordance with the ethical standards of research community.
Competing interests
The authors declare that they have no competing interests
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix 1: Cramer–Rao bound
For the sake of discussion simplicity, let us stack all the parameters in one vector, i.e., \({\varvec{\xi }}= [{\varvec{\phi }}^{\mathrm{T}}, {\varvec{\theta }}^{\mathrm{T}}, {\textbf{b}}_{R}^{\mathrm{T}} ,{\textbf{b}}_{I}^{\mathrm{T}}]^{\mathrm{T}} \in {\mathbb{C}}^{4L}\). Based on the definition of the FIM matrix [50], the expression of the (i, j)th entry of the FIM is
It is not difficult to verify that
Denote \({\textbf{e}}_{i}\) as the ith column of \({\textbf{I}}_{L}\), we have
where \({\textbf{X}}_{ij}\) denotes the (i, j)th element of \({\textbf{X}}\). Hence, \({\textbf{M}}_{{\varvec{\phi }}{\varvec{\phi }}}, {\textbf{M}}_{{\varvec{\phi }}{\varvec{\theta }}}, {\textbf{M}}_{{\varvec{\phi }}{\textbf{b}}}\) can be written as
And (11d)–(11f) can be derived in the similar way. Given (11a)–(11f), (10) follows immediately.
Appendix 2: Proof of Theorem 1

(1)
Denote the \({\textbf{X}}\) as the set containing variables \(\{\{{\textbf{R}}_{i}\}, \{{\textbf{w}}_{i}\}, {\textbf{R}}_{s}, \{t_{\ell }\}\}\) of problem (22), i.e., \({\textbf{X}}\triangleq \{\{{\textbf{R}}_{i}\}, \{{\textbf{w}}_{i}\}, {\textbf{R}}_{s}, \{t_{\ell }\}\}\). With fixed \(\{u_{i}\}\) and \(\{v_{i}\}\), problem (22) is convex w.r.t. \({\textbf{X}}\). Therefore, solving problem (22) at Step 3 in Algorithm 1 can provide the optimal solutions \({\textbf{X}}^{*}\). Since the constraint (22d) is also convex w.r.t. \(\{u_{i}\}\) and \(\{v_{i}\}\), the alternative updates of \(\{u_{i}\}\) and \(\{v_{i}\}\) by (23a) and (23b) will not increase \(\sum _{i=1}^{N_{u}} (v_{i}e_{i}\log (v_{i}))\), implying that \({\textbf{X}}^{*}\) is still feasible in the updated set. Therefore, the objective value will be nonincreasing during the iteration and the proposed Algorithm 1 converges. Now let us show that Algorithm 1 converges to a KKT point. The Lagrangian function of problem (22) is given by (26), and the KKT conditions of problem (22) are given by
$$\begin{aligned}&\nabla _{{\textbf{X}}}{\mathcal{L}}(\Omega _{3})=0, \end{aligned}$$(48a)$$\begin{aligned}&\nabla _{u_{i}}{\mathcal{L}}(\Omega _{3})\!= v_{i}\left[ {\textbf{h}}_{i}^{\mathrm{H}}\left( \sum _{i=1}^{N_{u}}{\mathrm{Tr}}({\textbf{R}}_{i}) + {\mathrm{Tr}}({\textbf{R}}_{s})\right) {\textbf{h}}_{i}+\sigma _{i}^{2}u_{i}\!\!{\textbf{h}}_{i}{\textbf{w}}_{i}\right] \! =\! 0, \end{aligned}$$(48b)$$\begin{aligned}&\nabla _{v_{i}}{\mathcal{L}}(\Omega _{3})=e_{i}  \frac{1}{v_{i}} = 0, \end{aligned}$$(48c)$$\begin{aligned}&{\mathrm{Tr}}(\Xi _{s}{\textbf{R}}_{s}) = 0, \end{aligned}$$(48d)$$\begin{aligned}&\mu \left[ \left( \sum _{i=1}^{N_{u}}{\mathrm{Tr}}({\textbf{R}}_{i}) + {\mathrm{Tr}}({\textbf{R}}_{s})\right) P_{T}\right] = 0, \end{aligned}$$(48e)$$\begin{aligned}&\lambda \left[ \sum _{i=1}^{N_{u}}\ (v_{i}e_{i}\log (v_{i}))  N_{t}+r_{m}\right] = 0, \end{aligned}$$(48f)$$\begin{aligned}&\xi _{\ell }({\textbf{e}}_{\ell }^{\mathrm{T}}{\textbf{M}}^{1}{\textbf{e}}_{\ell }t_{\ell }) = 0,\quad \ell = 1, \ldots , 4L, \end{aligned}$$(48g)$$\begin{aligned}&{\mathrm{Tr}}[\Gamma _{i}({\textbf{R}}_{i}{\textbf{w}}_{i}{\textbf{w}}_{i}^{\mathrm{H}})] = 0,\quad i=1,\ldots ,N_{u} \end{aligned}$$(48h)$$\begin{aligned}&{\textbf{R}}_{s}\succeq 0, \end{aligned}$$(48i)$$\begin{aligned}&\left( \sum _{i=1}^{N_{u}}{\mathrm{Tr}}({\textbf{R}}_{i}) + {\mathrm{Tr}}({\textbf{R}}_{s}) \right)  P_{T} \le 0, \end{aligned}$$(48j)$$\sum _{i=1}^{N_{u}}\ (v_{i}e_{i}\log (v_{i}))  N_{t}+r_{m} \le 0,$$(48k)$$\begin{aligned}&{\textbf{e}}_{\ell }^{\mathrm{T}}{\textbf{M}}^{1}{\textbf{e}}_{\ell }\le t_{\ell },\quad \ell = 1, \ldots , 4L, \end{aligned}$$(48l)$$\begin{aligned}&{\textbf{R}}_{i}{\textbf{w}}_{i}{\textbf{w}}_{i}^{\mathrm{H}} \succeq 0,\quad i=1,\ldots ,N_{u}, \end{aligned}$$(48m)where \(\Omega _{3} \triangleq \{{\textbf{X}}, \{u_{i}\},\{v_{i}\}, \lambda , \mu , \{\Gamma _{i}\}, \Xi _{s}, \{\xi _{\ell }\}\}\). Since the objective function is coercive, \({\textbf{X}}\) and \(\{\{u_{i}\},\{v_{i}\}\}\) are all bounded. Hence, the sequence \(\{{\textbf{X}}, \{u_{i}\},\{v_{i}\}\}\) has at least one limit point. Consider the subsequence \(\{{\textbf{X}}^r, \{u_{i}^r\},\{v_{i}^r\}\}_{r=0}^{\infty }\) obtained by algorithm converging to the limit point \(\{{\textbf{X}}^*, \{u_{i}^*\},\{v_{i}^*\}\}\), we prove that the limit point is a KKT point of problem (22). Based on the update rule given by (23a) and (23b), letting \(r\rightarrow \infty\) implies
$$\begin{aligned} u_{i}^{*}&= \left[ {\textbf{h}}_{i}^{\mathrm{H}}\left( \sum _{j=1}^{N_{u}}{\textbf{R}}_{j}^{*}+{\textbf{R}}_{s}^{*}\right) {\textbf{h}}_{i}+\sigma _{i}^{2}\right] ^{1}{\textbf{h}}_{i}^{\mathrm{H}}{\textbf{w}}_{i}^{*}, \forall i, \end{aligned}$$(49a)$$\begin{aligned} v_{i}^{*}&= \left( 1\bar{u}_{i}^{*}{\textbf{h}}_{i}^{\mathrm{H}}{\textbf{w}}_{i}^{*}\right) ^{1}, \forall i. \end{aligned}$$(49b)With fixed \(\{\{u_{i}\},\{v_{i}\}\}\), problem (22) is convex w.r.t. \({\textbf{X}}\), and there exists a set of multipliers \(\{\lambda ^*, \mu ^*, \{\Gamma _{i}\},\Xi _{s}^*, \{\xi _{\ell }^*\}\}\) and optimal solution \({\textbf{X}}^*\) so that
$$\begin{aligned}&\nabla _{{\textbf{X}}^*}{\mathcal{L}}(\Omega _{1})=0, \end{aligned}$$(50a)$$\begin{aligned}&{\mathrm{Tr}}\left( \Xi _{s}^*{\textbf{R}}_{s}^*\right) = 0, \end{aligned}$$(50b)$$\begin{aligned}&\mu ^*\left[ \left( \sum _{i=1}^{N_{u}}{\mathrm{Tr}}({\textbf{R}}_{i}^*) + {\mathrm{Tr}}({\textbf{R}}_{s}^*)\right) P_{T}\right] = 0, \end{aligned}$$(50c)$$\begin{aligned}&\lambda ^*\left[ \sum _{i=1}^{N_{u}}\ (v_{i}^*e_{i}^*\log (v_{i}^*))  N_{t}+r_{m}\right] = 0, \end{aligned}$$(50d)$$\begin{aligned}&\xi _{\ell }^*({\textbf{e}}_{\ell }^{\mathrm{T}}({\textbf{M}}^*)^{1}{\textbf{e}}_{\ell }t_{\ell }^*) = 0,\quad \ell = 1, \ldots , 4L, \end{aligned}$$(50e)$$\begin{aligned}&{\mathrm{Tr}}[\Gamma _{i}^*({\textbf{R}}_{i}^*{\textbf{w}}_{i}^*({\textbf{w}}_{i}^*)^{\mathrm{H}})] = 0,\quad i=1,\ldots ,N_{u}, \end{aligned}$$(50f)$$\begin{aligned}&{\textbf{R}}_{s}^*\succeq 0, \end{aligned}$$(50g)$$\begin{aligned}&\left( \sum _{i=1}^{N_{u}}{\mathrm{Tr}}({\textbf{R}}_{i}^*) + {\mathrm{Tr}}({\textbf{R}}_{s}^*) \right)  P_{T} \le 0, \end{aligned}$$(50h)$$\sum _{i=1}^{N_{u}}\ (v_{i}^*e_{i}^*\log (v_{i}^*))  N_{t}+r_{m} \le 0,$$(50i)$$\begin{aligned}&{\textbf{e}}_{\ell }^{\mathrm{T}}({\textbf{M}}^*)^{1}{\textbf{e}}_{\ell } t_{\ell }^*\le 0,\quad \ell = 1, \ldots , 4L, \end{aligned}$$(50j)$$\begin{aligned}&{\textbf{R}}_{i}^*{\textbf{w}}_{i}^*({\textbf{w}}_{i}^*)^{\mathrm{H}} \succeq 0,\quad i=1,\ldots ,N_{u}, \end{aligned}$$(50k)in which
$$\begin{aligned} \begin{aligned} e_{i}^* = 12\Re (u_{i}^*{\textbf{h}}_{i}^{\mathrm{H}}{\textbf{w}}_{i}^*) + u_{i}^*^{2}{\textbf{h}}_{i}^{\mathrm{H}}\left( \sum _{i=1}^{N_{u}}{\mathrm{Tr}}({\textbf{R}}_{i}^*) + {\mathrm{Tr}}({\textbf{R}}_{s}^*)\right) {\textbf{h}}_{i}^* + \sigma _{i}^{2}u_{i}^*^{2}. \end{aligned} \end{aligned}$$(51)With \(\{\{u_{i}^*\},\{v_{i}^*\}\}\) given by (49a) and (49b), we infer that
$$\begin{aligned}&\nabla _{u_{i}^*}{\mathcal{L}}(\Omega _{1})\! = \left[ {\textbf{h}}_{i}^{\mathrm{H}}\left( \sum _{i=1}^{N_{u}}{\mathrm{Tr}}({\textbf{R}}_{i}^*) + {\mathrm{Tr}}({\textbf{R}}_{s}^*)\right) {\textbf{h}}_{i}+\sigma _{i}^{2}\right] u_{i}^*{\textbf{h}}_{i}^*{\textbf{w}}_{i}^* \!=\! 0, \end{aligned}$$(52a)$$\begin{aligned}&\nabla _{v_{i}^*}{\mathcal{L}}(\Omega _{1}) = e_{i}^*  \frac{1}{v_{i}^*} = 0, \end{aligned}$$(52b)Clearly, (50) and (52) imply that the limit point \(\{{\textbf{X}}^*, \{u_{i}^*\},\{v_{i}^*\}\}\) is a KKT point of problem (22).

(2)
Let us consider problem (22) with fixed \(\{u_{i}, v_{i}\},\) and let \({\textbf{X}}^*\triangleq \{\{ {\textbf{R}}_{i}^*\}, \{{\textbf{w}}_{i}^*\}, {\textbf{R}}_{s}^*, \{t^*_{\ell }\} \}\) be a feasible solution. Consider the construction of \(\tilde{\textbf{X}}\triangleq \{\{\tilde{\textbf{w}}_{i}\}, \{\tilde{\textbf{R}}_{i}\}, \tilde{\textbf{R}}_{s}, \{{\tilde{t}}_{\ell } \}\}\), as in (24b), (24c) and (24d). We need to show that \(\tilde{\textbf{X}}\) is also feasible to (22). Firstly, by (24d), we have
$$\begin{aligned} {\textbf{R}}^*_{{\textbf{x}}_{t}}&= \sum _{i = 1}^{N_{u}}{\textbf{R}}_{i}^* + {\textbf{R}}_{s}^* =\sum _{i = 1}^{N_{u}}{\tilde{{\textbf{R}}}}_{i} + {\tilde{{\textbf{R}}}}_{s} = {\tilde{{\textbf{R}}}}_{{\textbf{x}}_{t}}. \end{aligned}$$(53a)So, (22c) holds true for \(\tilde{\textbf{X}}\). Besides, constraints (22e) and (22f) are automatically true for \(\tilde{\textbf{X}}\) given (24c). Secondly, to show (22d), note that we may assume \({\textbf{h}}_{i}^{\mathrm{H}} {\textbf{w}}_{i}^* = \Re ({\textbf{h}}_{i}^{\mathrm{H}} {\textbf{w}}_{i}^* )\). Then, by (22f) and (24b) we have
$$\begin{aligned} ({\textbf{h}}_{i}^{\mathrm{H}} {\textbf{w}}_{i}^*)^{2}&= {\textbf{h}}_{i}^{\mathrm{H}} {\textbf{w}}_{i}^* ({\textbf{w}}_{i}^*)^{\mathrm{H}} {\textbf{h}}_{i} \end{aligned}$$(54a)$$\begin{aligned}&\le {\textbf{h}}_{i}^{\mathrm{H}} {\textbf{R}}_{i}^* {\textbf{h}}_{i} \end{aligned}$$(54b)$$\begin{aligned}&= ({\textbf{h}}_{i}^{\mathrm{H}} \tilde{\textbf{w}}_{i})^{2}. \end{aligned}$$(54c)By the above inequality and (53), one can see that (22d) holds true for \(\tilde{\textbf{X}}.\) The last is to show (22b) is true for \(\tilde{\textbf{R}}_{s}\), which is sufficient to show
$$\begin{aligned}&{\textbf{v}}^{\mathrm{H}}({\textbf{R}}_{i}^*  \sum _{i=1}^{N_{u}} \tilde{\textbf{w}}_{i} \tilde{\textbf{w}}_{i}^{\mathrm{H}}) {\textbf{v}}\end{aligned}$$(55a)$$\begin{aligned}&= {\textbf{v}}^{\mathrm{H}}{\textbf{R}}^*_{i}{\textbf{v}} ({\textbf{h}}_{i}^{\mathrm{H}}{\textbf{R}}_{i}^*{\textbf{h}}_{i})^{1}{\textbf{v}}^{\mathrm{H}}{\textbf{R}}^*_{i}{\textbf{h}}_{i}^{2} \ge 0,\quad \forall {\textbf{v}}\in {\mathbb{C}}^M. \end{aligned}$$(55b)That is, \({\textbf{R}}_{i}^*  \sum _{i=1}^{N_{u}} \tilde{\textbf{w}}_{i} \tilde{\textbf{w}}_{i}^{\mathrm{H}} \succeq 0\). By the Cauchy–Schwartz inequality, we have
$$\begin{aligned} ({\textbf{h}}_{i}^{\mathrm{H}}{\textbf{R}}^*_{i}{\textbf{h}}_{i})({\textbf{v}}^{\mathrm{H}}{\textbf{R}}^*_{i}{\textbf{v}}_{i}) \ge {\textbf{v}}^{\mathrm{H}}{\textbf{R}}^*_{i}{\textbf{h}}_{i}^{2}, \end{aligned}$$(56)which shows (55) is true. The proof is complete.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhu, M., Li, L., Xia, S. et al. Information and sensing beamforming optimization for multiuser multitarget MIMO ISAC systems. EURASIP J. Adv. Signal Process. 2023, 15 (2023). https://doi.org/10.1186/s1363402300972w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1363402300972w