## Statistical AoI Guarantee Optimization for Supporting xURLLC in ISAC-enabled V2I Networks

Yanxi Zhang, Mingwu Yao, Qinghai Yang, Dongqi Yan, Xu Zhang, Xu Bao, and Muyu Mei

Abstract -This paper addresses the critical challenge of supporting next-generation ultra-reliable and low-latency communication (xURLLC) within integrated sensing and communication (ISAC)-enabled vehicle-to-infrastructure (V2I) networks. We incorporate channel evaluation and retransmission mechanisms for real-time reliability enhancement. Using stochastic network calculus (SNC), we establish a theoretical framework to derive upper bounds for the peak age of information violation probability (PAVP) via characterized sensing and communication moment generation functions (MGFs). By optimizing these bounds, we develop power allocation schemes that significantly reduce the statistical PAVP of sensory packets in such networks. Simulations validate our theoretical derivations and demonstrate the effectiveness of our proposed schemes.

However, developing a unified theoretical framework for ISAC systems in V2I networks, along with basic performance limits and optimal schemes, remains a significant challenge.

Index Terms -Integrated sensing and communication, vehicle to infrastructure, next-generation ultra-reliable and low-latency communication, age of information, stochastic network calculus.

## I. INTRODUCTION

The rapid advancement of Vehicle-to-Everything (V2X) technology is revolutionizing modern transportation systems by enabling seamless communication between vehicles and various entities. V2X encompasses a broad spectrum of interactions, including Vehicle-to-Vehicle (V2V), Vehicle-toInfrastructure (V2I), Vehicle-to-Network (V2N), and Vehicleto-Pedestrian (V2P) [1]. Among these, V2I plays a pivotal role in facilitating applications such as autonomous driving, efficient traffic management, and enhanced online services. Despite the promising benefits of V2I, the burgeoning market presents significant challenges. Traditional independently designed communication and sensing systems require a wide array of diverse resources, exacerbating resource congestion. To address this issue, ISAC emerges as a key technology in the development of 6G networks [2]. ISAC integrates sensing and communication functionalities, leveraging shared hardware and resources to deliver both services efficiently. It offers substantial advantages for V2I networks by improving spectral efficiency and enabling hardware reuse. To fully capitalize on these advantages, effective power allocation is crucial as it balances the energy requirements between sensing and communication, thereby optimizing overall system performance. Recent studies have shown that innovative power allocation schemes in ISAC systems can enhance both communication and sensing capabilities while maintaining low power consumption [3], [4].

Yanxi Zhang, Mingwu Yao, Qinghai Yang, Dongqi Yan and Xu Zhang are with the State Key Laboratory of Integrated Services Networks, School of the Telecommunication Engineering, Xidian University, Xi'an 710071, China (email: yanxi.zhang@stu.xidian.edu.cn; mwyao@xidian.edu.cn; qhyang@xidi an.edu.cn; 22011110194@stu.xidian.edu.cn; xuzhang265@stu.xidian.edu.cn).

Xu Bao and Muyu Mei are with the School of Computer Science and Communication Engineering, Jiangsu University, Zhenjiang 212013, China (e-mail: xbao@ujs.edu.cn; mei muyu@163.com).

V2I networks depend heavily on accurate and timely provision of high-quality environmental information. Given the highly dynamic nature of vehicular environments, the validity period of such information is inherently short, making it extremely sensitive to real-time performance. To meet these stringent requirements, xURLLC in 6G is evolving toward a broader set of real-time metrics, advancing beyond the latencycentric metrics prevalent in 5G [5]. A key metric gaining prominence within xURLLC is the AoI, which emphasizes data freshness. Achieving high real-time performance typically involves using short packets, where Shannon capacity is not applicable. Instead, finite blocklength coding (FBC) theory has been developed to approximate the maximum achievable data rate while accounting for decoding error probabilities (DEP) associated with short packets [5]. Furthermore, ensuring reliable transmission is paramount for road safety in V2I networks; however, achieving this reliability with short packets remains challenging due to their limited error tolerance. Despite its critical importance, there is a notable scarcity of literature exploring ISAC-enabled V2I networks with short packets to support xURLLC. The few studies that may be relevant tended to focus on latency [6], [7]. However, a statistical understanding of AoI for supporting xURLLC within ISAC-enabled V2I networks is still lacking.

Several studies have been conducted on the statistical analysis of AoI. However, most of them rely on simplistic assumptions, typically assuming the packet transmission times to be constant [8] or follow fixed distributions [9], which do not reflect the time-varying dynamics of V2I networks. A recent study [10] considers time-varying channel in the internet of everything (IoE), assuming the channel rate remains constant during each packet transmission. While this represents a step forward, it falls short in certain situations. Specifically, when the time-varying channel rate is excessively low, the theoretical packet transmission time becomes excessively large and exceeds the coherence time, thus invalidating the assumption and leading to inaccurate performance analysis. To address this, our work introduces a channel evaluation mechanism that filters out unacceptable rates in time-varying channels. This not only strengthens the robustness of the theoretical analysis, but also enhances the reliability of V2I networks, demonstrating both theoretical and practical significance.

In this work, we tackle the issue of minimizing the statistical PAVP of sensory packets in a power-limited ISAC-enabled V2I network while ensuring reliability. We present an analysis framework for this network that integrates channel evaluation and retransmission mechanisms to improve AoI performance

Fig. 1: The ISAC-enabled V2I networks.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00381v1-figure-09e9d697-b88e-4f53-b25d-95f8d0a5e86d.jpg)

and reliability. First, we employ SNC to establish a theoretical upper bound framework based on MGFs. Then, we characterize the sensing and communication capabilities under varying channel conditions. By integrating these characterized MGFs into our proposed framework, we develop a power allocation strategy that optimizes the statistical PA VP of sensory packets.

## II. SYSTEM MODEL

## A. Network Model

As illustrated in Fig. 1, we consider an emergency response scenario that leverages an ISAC-enabled V2I network to improve the efficiency and safety of emergency vehicles (EVs), such as ambulances and fire trucks. Each EV is equipped with a front-mounted long-range automotive radar for road condition detection. The ISAC-enabled system on the EV allocates orthogonal frequency resources to sensing and communication, enabling simultaneous operations without mutual interference. The system conducts sensing detection, aggregates critical data into short packets, then transmits them wirelessly to a nearby roadside unit (RSU). Upon receipt, the RSU can dynamically alter traffic signals and instruct other vehicles to slow down or reroute, thereby facilitating a swift passage for the EV through congested areas. This system operates in three distinct phases: 1) Phase I (Radar Scanning and Packet Generation)

When an EV is dispatched on a mission, its automotive radar performs periodic scans at intervals of T to detect road conditions. Each successful detection generates a short sensory packet containing critical information with xURLLC requirements. These short packets are of fixed length with L bits, indexed by n ∈ N . Upon generation, these packets are stored in the EV's buffer, awaiting transmission.

## 2) Phase II (Channel State Evaluation)

In ISAC-enabled V2I networks, unreliable information can lead to severe consequences, such as traffic accidents. Thus, ensuring transmission reliability is critical. We assume that the perfect channel state information (CSI) is available at the RSU [11]. Before transmission, the system evaluates the instantaneous channel signal-to-noise ratio (SNR). If the current SNR exceeds a threshold τ , the channel is deemed acceptable for transmission, and the packet transmission process in Phase III proceeds. Otherwise, the transmission is deferred by an interval ϖ , after which the SNR is re-evaluated. This process continues until an acceptable channel state is reached, significantly improving the reliability of transmission.

3) Phase III (Transmission and Retransmission under FBC)

Short sensory packets are encoded in the FBC regime and transmitted over a wireless Rayleigh fading channel to the RSU under the first-come-first-serve (FCFS) discipline. It is assumed that each packet can be transmitted by the EV within the timescale of small-scale channel fading. In this regard, the channel gain between the EV and the RSU is denoted as h , where h is independently and identically distributed (i.i.d.) across different packets. Based on FBC theory [5], the achievable data rate can be approximated as

$$R \left ( \gamma ( h ) \right ) \approx \frac { W } { \ln 2 } \left [ \ln \left ( 1 + \gamma ( h ) \right ) - \sqrt { \frac { V \left ( \gamma ( h ) \right ) } { N } } Q ^ { - 1 } \left ( \epsilon \right ) \right ], \, \left ( 1 \right )$$

where γ h ( ) is the SNR, ϵ is the DEP, N is the blocklength, Q x ( ) is the Gaussian Q-function, and the channel dispersion is V ( γ h ( )) = 1 -(1 + γ h ( )) -2 . The RSU notifies the EV of transmission success or failure via immediate ACK/NACK feedback. Any packet in error is discarded, and the EV attempts retransmission after the next several intervals where the channel state is acceptable. This process repeats until successful reception, enhancing transmission reliability.

## B. Performance Metric and Problem Statement

Since the information in the sensory packets is crucial to road safety, it should not only meet the stringent xURLLC requirements, but also adequately reflect the current environment to allow immediate decision-making. The AoI at the RSU receiver serves as a key metric to evaluate this timeliness, capturing both the freshness of sensing and transmission. Specifically, we focus on the peak AoI (PAoI), which provides insights into the worst-case scenario for data freshness. The PAVP of the sensory packet n is defined as P [ δ A ( n ) &gt; ζ ] , where δ A ( n ) denotes the PAoI of sensory packet n , and ζ is a threshold for the maximum tolerable PAoI by the receiver.

Consider the ISAC-enabled V2I network under a power constraint P t : P t = P s + P , c where P s is the power for sensing and P c is the power for communication. Our objective is to minimize the statistical PAVP of sensory packets in this network given the total power constraint, leading to the formulation of problem P :

$$\mathcal { P } \, \colon \min _ { 0 \leq \alpha \leq 1 } \mathbb { P } \left [ \delta _ { A } ( n ) > \zeta \right ],$$

where α is the power allocation coefficient, denoting the ratio of communication power to the total power: α = P /P c t .

## III. THE ANALYSIS FRAMEWORK FOR PAVP

In the previous section, we have identified the problem P that we aim to solve. However, directly computing P [ δ A ( n ) &gt; ζ ] is challenging due to the involvement of dynamic stochastic processes in sensing and communication, as well as complex queue evolution. Therefore, we propose applying SNC to derive an upper bound on the PAVP of sensory packets in the ISAC-enabled V2I network, providing a theoretical framework to investigate the effects of stochastic parameters on network performance.

We denote T A ( n ) and T D ( n ) as the arrival and departure times of the packet n , respectively. For all n ≥ 1 , causality

implies that T D ( n ) ≥ T A ( n ) . Without loss of generality, we initialize with T A (0) = T D (0) = 0 . We denote T A ( v, n ) as the inter-arrival interval and T D ( v, n ) as the departure time interval between the v th and the n th packet. We have T A ( v, n ) = T A ( n ) -T A ( v ) and T D ( v, n ) = T D ( n ) -T D ( v ) .

A common definition of AoI at time t is ∆( ) t = t -max n ≥ 1 { T A ( n ) : T D ( n ) &lt; t } . Thus, the PAoI of sensory packet n ≥ 1 is given by

$$\delta _ { A } ( n ) & = T ^ { D } ( n + 1 ) - T ^ { A } ( n ) \\ & = T ^ { D } ( n + 1 ) - T ^ { A } ( n + 1 ) + T ^ { A } ( n + 1 ) - T ^ { A } ( n ) \quad \leq \sum _ { v = 1 } ^ { n + 1 } \\ & = T ^ { D } ( n + 1 ) - T ^ { A } ( n + 1 ) + T ^ { A } ( n, n + 1 ). \quad \ ( 3 ) \quad \text{where is}.$$

Given that PAoI is determined by the timestamps of received sensory packets at the destination, we model the ISAC-enabled V2I network using packet-based SNC theory. In the following, we present some fundamental representations and results.

Definition 1: A system with the arrival process T A ( n ) and the departure process T D ( n ) is considered an exact T S ( v, n ) server if for all n ≥ 1 :

$$T ^ { D } ( n ) = \max _ { 1 \leq v \leq n } \{ T ^ { A } ( v ) + T ^ { S } ( v, n ) \}.$$

Lemma 1: For an FCFS system, the relationship between T D ( n , T ) A ( n ) and T S ( n ) is

$$T ^ { D } ( n ) = \max _ { 1 \leq v \leq n } \left \{ T ^ { A } ( v ) + \sum _ { \ell = v } ^ { n } T ^ { S } ( \ell ) \right \}, \quad ( 4 ) \quad \text{$\lambda\nu$} \quad$$

which is an exact T S ( v, n ) = ∑ n ℓ = v T S ( ℓ ) server.

Proof: Let Z n ( ) denote the time when packet n starts service, and L n ( ) denote its service time. For packet 1, we have Z (1) = T A (1) since it starts service upon arrival. Under FCFS policy, any subsequent packet n ≥ 2 starts service at

$$Z ( n ) = \max \{ T ^ { A } ( n ), Z ( n - 1 ) + T ^ { S } ( n - 1 ) \}, \quad ( 5 )$$

indicating that packet n starts service either upon arrival or after the previous packet n -1 has completed its service.

By recursive insertion of Eq. (5), we have

$$Z ( n ) = \max _ { 1 \leq v \leq n } \left \{ T ^ { A } ( v ) + \sum _ { \ell = v } ^ { n - 1 } T ^ { S } ( \ell ) \right \}. \quad \ ( 6 ) = \frac { \mathbb { H } } { 1 - }$$

Since T D ( n ) = Z n ( ) + L n ( ) , substituting Eq. (6) yields

$$T ^ { D } ( n ) = \max _ { 1 \leq v \leq n } \left \{ T ^ { A } ( v ) + \sum _ { \ell = v } ^ { n } T ^ { S } ( \ell ) \right \}. \quad ( 7 ) \quad \mathbb { E } \begin{bmatrix} e ^ { - \ell } \\ \text{With} \\ \text{can do} \end{bmatrix}$$

Hence, the system operates as an exact T S ( v, n ) = ∑ n ℓ = v T S ( ℓ ) server, completing the proof of Lemma 1 . By inserting Definition 1 into Eq. (3), it follows readily that

$$\delta _ { A } ( n ) \leq \max _ { 1 \leq v \leq n + 1 } \{ T ^ { S } ( v, n + 1 ) - T ^ { A } ( v, n + 1 ) \} + T ^ { A } ( n, n + 1 ).$$

Since the PAVP cannot be computed directly, we envelope it by using the MGF. The MGF of a non-negative random variable X is defined as M X ( θ ) = E [ e θX ] , where θ &gt; 0 is a free parameter. With the aid of MGF, an upper bound on PAVP is presented in the following lemma, which holds under the stability condition M T A ( n,n +1) ( -θ ) M T S ( n +1) ( θ ) &lt; 1 .

Lemma 2: If θ &gt; 0 , for a given threshold ζ , the PAVP upper bound is given as

$$\text{arure} \\ \text{have} \\ _ { D } ( v ).$$

Proof: The MGF of the PAoI M δ A ( n ) ( θ ) can be derived as

$$\text{nos} & \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \Lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \alpha \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \xi \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \eta \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \nu \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \nan \quad \quad \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \varphi \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \
 \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \ a c t \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \a c t \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \ { \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \ { \eta \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \ { \alpha \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \ { \beta \quad \lambda \lambda \lambda \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \ } \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \skip \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \quad \lambda \ { \eta \quad \lambda \lambda \ { \eta \quad \lambda \ { \eta \lambda \ { \eta \lambda \ { \eta \lambda \ { \eta \lambda } \ { \eta \lambda \ { \eta \lambda } \ { \eta \lambda } \ { \eta \lambda } \ { \eta \lambda } \ { \eta \lambda } \ { \eta \lambda } \ { \eta \lambda } \ { \eta \lambda } \ { \eta \lambda } \ { \eta \lambda } \ { \eta \lambda } \ { \eta \lambda } \ { \eta \lambda } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \array } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \eta } \ { \$$

where in the last step, we use Boole's inequality.

Assuming that the inter-arrival times T A ( n, n +1) are i.i.d. for each sensory packet, we have

$$\intertext { ( \mathbb { E } \left [ e ^ { - \theta T ^ { A } ( v, n + 1 ) } \right ] } & = \mathbb { E } \left [ \prod _ { \ell = v } ^ { n } e ^ { - \theta T ^ { A } ( \ell, \ell + 1 ) } \right ] \\ \text{and}, n \right ) & = \left ( \mathbb { E } \left [ e ^ { - \theta T ^ { A } ( n, n + 1 ) } \right ] \right ) ^ { \left ( n - v + 1 \right ) }. \quad ( 9 )$$

Similarly, assuming that the service times T S ( n ) are i.i.d. for each sensory packet, we can derive the MGF of the cumulative service time as

$$\i \text{ween} \quad \mathbb { E } \left [ e ^ { \theta T ^ { S } ( v, n + 1 ) } \right ] = \mathbb { E } \left [ \prod _ { \ell = v } ^ { n + 1 } e ^ { \theta T ^ { s } ( \ell ) } \right ] = \left ( \mathbb { E } \left [ e ^ { \theta T ^ { s } ( n ) } \right ] \right ) ^ { ( n - v + 2 ) }. \ ( 1 0 )$$

Using Eqs. (9) and (10), we can rewrite M δ A ( n ) ( θ ) as

$$\text{ Using Ex. } ( \mathcal { Y } ) \text{ and } ( \mathcal { U } ), \, \text{ we can rewrite } \mathcal { U } _ { \delta _ { A } ( n ) } ( \mathcal { O } ) & \text{$M_{\delta _ { A } ( n ) } ( \theta ) \\ \text{$i$ starts } \text{ $1$, we } \quad \leq \sum _ { v = 1 } ^ { n + 1 } \mathbb { E } \left [ e ^ { \theta T ^ { S } ( v, n + 1 ) } \right ] \mathbb { E } \left [ e ^ { - \theta T ^ { A } ( v, n + 1 ) } \right ] \mathbb { E } \left [ e ^ { \theta T ^ { A } ( n, n + 1 ) } \right ] \\ \text{live at } \quad \text{$=} \left [ e ^ { \theta T ^ { A } ( n, n + 1 ) } \right ] \mathbb { E } \left [ e ^ { \theta T ^ { * } ( n ) } \right ] \\ \text{rival or } \quad \sum _ { v = 1 } ^ { n + 1 } \left ( \mathbb { E } \left [ e ^ { \theta T ^ { * } ( n ) } \right ] \mathbb { E } \left [ e ^ { - \theta T ^ { A } ( n, n + 1 ) } \right ] \right ) ^ { ( n - v + 1 ) } \\ \text{$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$$$

$$\text{tree a} \quad - \mathbb { E } \ [ e \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \\, \quad ( 5 ) & \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdclots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \vdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \ddots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \dots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \ \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \ \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots
 \text{vields} \quad \text{where in the last step, we utilize the stability condition:}$$

where in the last step, we utilize the stability condition: E [ e -θT A ( n,n +1) ] E [ e θT S ( n ) ] &lt; . 1

With Chernoff's inequality P [ X ≥ x ] ≤ e -θx E [ e θX ] , we can derive the PAVP upper bound as

$$& \text{ can derive the PAVP upper bound as} \\ n ) & \ = \bigoplus \ \mathbb { P } \left [ \delta _ { A } ( n ) > \zeta \right ] \leq e ^ { - \theta \zeta } \mathbb { M } _ { \mathcal { P } \in \mathcal { I } } ( n ) ( \theta ) \\ \text{ly that} \\ n + 1 ). & \ = \frac { e ^ { - \theta \zeta } \mathbb { E } \left [ e ^ { \theta T ^ { A } ( n, n + 1 ) } \right ] \mathbb { E } \left [ e ^ { \theta T ^ { S } ( n ) } \right ] } { 1 - \mathbb { E } \left [ e ^ { - \theta T ^ { A } ( n, n + 1 ) } \right ] \mathbb { E } \left [ e ^ { \theta T ^ { S } ( n ) } \right ] } \\ \text{velope} \\ \text{ndom} \\ > 0 \text{ is} \\ \text{and on} \\ \end{matrix} \right ] \quad \begin{array} { c } e ^ { - \theta \zeta } \mathbb { E } \left [ e ^ { \theta T ^ { A } ( n, n + 1 ) } \right ] \\ \left ( \mathbb { E } \left [ e ^ { \theta T ^ { S } ( n ) } \right ] \right ) ^ { - 1 } - \mathbb { E } \left [ e ^ { - \theta T ^ { A } ( n, n + 1 ) } \right ] \\ \end{array} \\ \text{$med on} \\ < 1. \quad \text{ which completes the proof of Lemma $2$}. \quad \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

which completes the proof of Lemma 2 .

Using SNC, we have derived an upper bound on the PAVP, providing a robust theoretical framework for network performance analysis. Building upon this theoretical foundation, the next section will provide a detailed MGF characterization for the ISAC-enabled V2I network.

## IV. JOINT ANALYSIS AND OPTIMIZATION FOR PAVP OF SENSORY PACKETS IN THE ISAC-ENABLED V2I NETWORK

As presented in Lemma 2 , the upper bound on PAVP involves computing the MGF for the inter-arrival time and service time of the packets. This section characterizes MGFs for sensing and communication in the ISAC-enabled V2I network, followed by a joint power allocation optimization to achieve optimal PAVP.

## A. MGF Characterization for Packet Inter-arrival Time

This subsection characterizes the MGF of the packet service time in the ISAC-enabled V2I network. As stated in Sec. II, each successful radar detection generates a sensory packet containing critical information. The SDP is defined as the probability that the detection is successful only if the received sensing SNR γ s at the vehicle exceeds a sensing threshold d . This metric of radar performance is given by

$$\mathbb { P } _ { s } ( d ) = \mathbb { P } [ \gamma _ { s } > d ] = \mathbb { P } \left [ \frac { P _ { e } } { N _ { s } } > d \right ], \quad \ \ ( 1 3 ) \quad \text{service} \\ \quad \ \text{solving}$$

where P e is the echo power and N s = Wςχφ is the sensing noise power. Denote ς = 1 38 . × 10 -23 w/s as the Boltzmann's constant, χ = 290 K as the standard temperature, W as the equivalent noise bandwidth and φ = 10 dB as the system loss factor. According to [12], P e is expressed as

$$P _ { e } = \frac { P _ { s } \Gamma _ { t } \Gamma _ { r } \sigma ^ { 2 } \rho } { ( 4 \pi ) ^ { 3 } D ^ { 2 \kappa } }, \quad \quad \ \ ( 1 4 ) \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

where Γ t and Γ r are the transmitting and receiving antenna gains respectively, σ is the radar wavelength, D is the maximum ranging distance, and κ is the path-loss exponent. The radar cross section (RCS) is denoted by a random variable ρ .

The radar echo from a moving target typically fluctuates from scan to scan, which is crucial for the precision of radar performance. The Swerling I model effectively evaluates this fluctuation by assuming that radar echoes are constant during a single scan but vary independently between scans. The probability density function (PDF) for ρ in this model is

$$f ( \rho ) = \frac { 1 } { \bar { \rho } } e ^ { - \frac { e } { \rho } }, \ \rho \geq 0, \quad \ \ ( 1 5 ) \quad \text{The} \quad \text{$1$}$$

where ¯ ρ is the average of RCS. We now present the following lemma regarding the SDP with the Swerling I model.

Lemma 3: For a given threshold d , the SDP of the EV with Swerling I model, denoted as P s ( ρ ) , is given by

$$\mathbb { P } _ { s } ( d ) = \exp \left ( - \frac { d ( 4 \pi ) ^ { 3 } D ^ { 2 \kappa } N _ { s } } { P _ { s } \Gamma _ { t } \Gamma _ { r } \sigma ^ { 2 } \bar { \rho } } \right ). \quad \quad ( 1 6 ) \quad \text{where} \quad \text{decod} \quad \text{as both}$$

Proof: Insert Eq. (14) into Eq. (13), P s ( d ) is rewritten as

$$\mathbb { P } _ { s } ( d ) = \mathbb { P } \left [ \frac { \frac { P _ { s } \Gamma _ { t } \Gamma _ { r } \sigma ^ { 2 } \rho } { ( 4 \pi ) ^ { 3 } D ^ { 2 \kappa } } } { N _ { s } } > d \right ] = \mathbb { P } \left [ \rho > \frac { d ( 4 \pi ) ^ { 3 } D ^ { 2 \kappa } } { P _ { s } \Gamma _ { t } \Gamma _ { r } \sigma ^ { 2 } } N _ { s } \right ]. \ \ ( 1 7 ) \quad \ \text{be deriv} \quad \ \mathbf M _ { T ^ { S } }$$

Further, Eq. (17) is expressed as

$$\mathbb { F } _ { 1 }$$

$$\mathbb { P } _ { s } ( d ) = \mathbb { P } \left [ \rho > \frac { d ( 4 \pi ) ^ { 3 } D ^ { 2 \kappa } N _ { s } } { P _ { s } \Gamma _ { t } \Gamma _ { r } \sigma ^ { 2 } } \right ].$$

By using Eq. (15), we obtain the result of Lemma 3 .

In each radar scanning cycle T , the packet generation process can be described probabilistically. Specifically, there is a probability P s ( d ) that a sensory packet is generated due to a successful radar scan, and a complementary probability 1 -P s ( d ) that no sensory packet is generated. The packet generation process Λ( ) d of each scan can be modeled as

$$\Lambda ( d ) = \begin{cases} \ 1, & \mathbb { P } _ { s } ( d ), \\ 0, & 1 - \mathbb { P } _ { s } ( d ), \end{cases}$$

which represents a Bernoulli process with probability P s ( d ) . This leads to geometrically distributed inter-arrival times with parameter P s ( d ) . Using the MGF of a geometric distribution, the MGF for the packet inter-arrival time is given by

$$\text{:ket} _ { \cdot } \quad M _ { \mathcal { T } ^ { A } ( n, n + 1 ) } ( \theta ) = \left ( \left ( e ^ { - \theta T } - 1 \right ) \mathbb { P } _ { s } ( d ) ^ { - 1 } + 1 \right ) ^ { - 1 }. \quad ( 1 9 )$$

## B. MGF Characterization for Packet Service Time

In this subsection, we characterize the MGF of the packet service time within the ISAC-enabled V2I network. As previously described in Sec. II, once a sensory packet is generated and stored in the EV's buffer, it goes through two phases before being successfully received by the RSU.

When a packet is ready to leave the buffer after queuing, the wireless channel state is evaluated. The decision to transmit or defer depends on whether the channel is in an acceptable state. Given that we are considering a Rayleigh fading channel and that the SNR is i.i.d. with an exponential distribution across packets, the probability p that the wireless channel is in an acceptable state at each evaluation is given by p = exp( -τN /P c c ) , where N c is the communication noise power.

Suppose a packet experiences c 1 deferrals (each of ϖ duration) before its first transmission attempt. If this transmission fails due to decoding errors and the packet is discarded, the EV waits for another c 2 intervals before attempting retransmission. This process repeats until the packet is successfully received. Let b be the number of failed transmission attempts before success on the ( b +1) th attempt, and let c = c 1 + c 2 + · · · + c b +1 be the total number of intervals deferred across all attempts. The probability of a packet having a service time S γ h ( ( )) in the ISAC-enabled V2I network for b ≥ 0 , c ≥ 0 is given by

$$\mathbb { P } \left [ S \left ( \gamma ( h ) \right ) = c \varpi + \left ( b + 1 \right ) \cdot \phi \left ( \gamma ( h ) \right ) \right ] \\ = & \binom { c + b } { c } \left ( 1 - p \right ) ^ { c } p ^ { b + 1 } \left ( 1 - \eta \right ) ^ { b } \eta, \quad \ \ ( 2 0 )$$

where η = (1 -ϵ ) L is the probability of successful packet decoding, and ϕ γ h ( ( )) = L/R γ h ( ( )) is the time required for each transmission attempt of a packet in the FBC regime.

Then, the MGF of the packet service time M T S ( n ) ( θ ) can be derived as

$$\mathbf M _ { T ^ { S } ( n ) } ( \theta ) = \mathbb { E } \left \lceil e ^ { \theta T ^ { S } } \right \rceil$$

$$\Upsilon ( \alpha ) & = \frac { e ^ { - \theta \zeta } \left ( \left ( e ^ { - \theta T } - 1 \right ) H ( \alpha ) + 1 \right ) ^ { - 1 } } { \left ( ( 1 - e ^ { \theta T } ) \, H ( \alpha ) - 1 \right ) ^ { - 1 } + \left ( \int _ { \frac { \tau ^ { N } _ { \alpha } } { \alpha } p _ { \tau } } ^ { + \infty } \frac { p ( \alpha ) \eta e ^ { - h } } { ( 1 - e ^ { \infty } \theta ( 1 - p ( \alpha ) ) ) e ^ { - \phi ( \gamma ( \alpha, h ) ) \theta } - p ( \alpha ) ( 1 - \eta ) } \, d h \right ) ^ { - 1 } }, \\ & \, \stackrel { \sim } { \dots } \, \stackrel { \sim } { \alpha } \, - \, \sigma \, \dots } \, \ \$$

$$\text{where } H ( \alpha ) = \exp \left ( \frac { d ( 4 \pi ) ^ { 3 } D ^ { 2 \kappa } N _ { s } } { ( 1 - \alpha ) P _ { t } \Gamma _ { t } \Gamma _ { r } \sigma ^ { 2 } \bar { p } } \right ), p ( \alpha ) = \exp ( - \frac { \tau N _ { c } } { \alpha P _ { t } } ) \text{ and } \gamma ( \alpha, h ) = \frac { \alpha P _ { t } h } { N _ { c } }.$$

$$& \wedge \alpha _ { P _ { t } } ^ { c } \cdots \cdots \cdots \\ & \text{where } H ( \alpha ) = \exp \left ( \frac { d ( 4 4 \gamma ^ { 3 } D ^ { 2 \kappa } _ { t } } { ( 1 - \alpha ) P _ { t } \Gamma _ { r } \Gamma _ { r } \sigma ^ { 2 \bar { p } } _ { p } } \right ), p ( \alpha ) = \exp ( - \frac { \kappa } { \alpha } P _ { t } ) \text{ and } \gamma ( \alpha, h ) \right ) \\ & = \mathbb { E } \left [ \sum _ { b = 0 c = 0 } ^ { \infty } \binom { c + b } { c } e ^ { \theta ( c \varpi + ( b + 1 ) \phi ( \gamma ( h ) ) } ( 1 - p ) ^ { c } p ^ { b + 1 } ( 1 - \eta ) ^ { b } \eta \right ] \\ & = \mathbb { E } \left [ \sum _ { b = 0 } ^ { \infty } e ^ { \theta ( b + 1 ) \phi ( \gamma ( h ) ) } p ^ { b + 1 } ( 1 - \eta ) ^ { b } \eta \sum _ { c = 0 } ^ { \infty } \binom { c + b } { c } e ^ { \theta c \varpi } ( 1 - p ) ^ { c } \right ] \\ & \frac { ( a ) } { \Delta } \left [ \sum _ { b = 0 } ^ { \infty } \frac { e ^ { \theta ( b + 1 ) \phi ( \gamma ( h ) ) } p ^ { b + 1 } ( 1 - \eta ) ^ { b } \eta } { ( 1 - e ^ { \varpi ^ { \theta } ( 1 - p ) } ( 1 - p ) ^ { b + 1 } } \right ] \quad \text{and enabled} \\ & = \mathbb { E } \left [ \frac { e ^ { \theta \phi ( \gamma ( h ) ) } p \eta } { 1 - e ^ { \varpi ^ { \theta } ( 1 - p ) } \sum _ { b = 0 } ^ { \infty } \left ( \frac { e ^ { \theta \phi ( \gamma ( h ) ) } p ( 1 - \eta ) \eta } { 1 - e ^ { \varpi ^ { \theta } ( 1 - p ) } \right ) ^ { b } } \right ] \quad \text{obtain } o \\ & = \mathbb { E } \left [ \frac { e ^ { \theta \phi ( \gamma ( h ) ) } p \eta } { 1 - e ^ { \varpi ^ { \theta } ( 1 - p ) } \frac { 1 } { 1 - e ^ { \varpi ^ { \theta } ( \gamma ( h ) ) } p ( 1 - \eta ) \eta } \right ] \\ & = \mathbb { E } \left [ \frac { e ^ { \theta \phi ( \gamma ( h ) ) } p \eta } { ( 1 - e ^ { \varpi ^ { \theta } ( 1 - p ) ) e ^ { - \phi ( \gamma ( h ) ) ^ { \theta } } - p ( 1 - \eta ) } \right ] \quad \text{in this} \\ & = \mathbb { E } \left [ \frac { p \eta } { ( 1 - e ^ { \varpi ^ { \theta } ( 1 - p ) ) e ^ { - \phi ( \gamma ( h ) ) ^ { \theta } } - p ( 1 - \eta ) } \right ] \, d h, \quad ( 2 1 ) \text{ affects } c are listen} ; \\ & \text{where } \text{ in step } ( a), \text{ we simplify the inner } \text{ sum using the } \text{ in Fig} \\ & \text{Taylor series expansion} ; \text{ in step } ( b), \text{ we note that since the } \text{ maximu} \\ & \text{unacceptable states that less than } \tau \text{ have already been filtered } \, \bar { \rho } \text{ and } s..........$$

where in step (a), we simplify the inner sum using the Taylor series expansion; in step (b), we note that since the unacceptable states that less than τ have already been filtered out in prior Phase II evaluations, the channel gain h here follows a truncated exponential distribution.

## C. PAVP Upper Bound Optimization under Power Constraints

By Eqs. (8), (19) and (21), we have the following theorem. Theorem 1: For a threshold ζ , the statistical PAVP of sensory packets in the ISAC-enabled V2I network can be upper bounded by Υ( α ) , which is given in Eq. (22).

Using Eqs. (2) and Theorem 1 , we obtain the following PAVP upper bound minimization problem ˜ P :

$$\tilde { \mathcal { P } } \colon \min _ { 0 \leq \alpha \leq 1 } & \ \Upsilon ( \alpha ) & \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
 \quad s. t. & \quad \mathbf M _ { \mathcal { T } ^ { A } ( n, n + 1 ) } ( - \theta ) \mathbf M _ { \mathcal { T } ^ { S } ( n + 1 ) } ( \theta ) < 1. & \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

The convexity of Υ( α ) is not immediately apparent due to its complexity. However, through qualitative analysis, we have the following insights: 1) When all power is allocated to communication ( α = 1 ), the power available for sensing is zero, resulting in an infinitely large interval between sensory packets. Consequently, the numerator of Υ( α ) becomes infinite, leading to an infinite Υ( α ) . This indicates that the PAoI will exceed any practical threshold. 2) Conversely, when all power is allocated to sensing ( α = 0 ), the power for communication becomes zero, failing to meet the system stability requirement. At the critical value of α , where the system stability is just satisfied, the denominator of Υ( α ) approaches zero, which again makes Υ( α ) infinite.

Therefore, the trade-off of power between sensing and communication is critical to maintaining the freshness of information, which directly impacts the safety and efficiency of ISAC-

TABLE I DEFAULT PARAMETER SETTINGS

| Parameter   | Value   | Parameter   | Value   | Parameter   | Value   |
|-------------|---------|-------------|---------|-------------|---------|
| P t         | 10 W    | σ           | 4 mm    | Γ t         | 10 dBi  |
| Γ r         | 10 dBi  | ¯ ρ         | 10 dBsm | W           | 25 kHz  |
| ϵ           | 1‰      | N c         | -23 dBm | T           | 1 ms    |
| D           | 100 m   | ζ           | 6 ms    | κ           | 2       |
| N           | 100     | ϖ           | 0.5 ms  | L           | 100     |

enabled V2I networks. By numerically optimizing Υ( α ) , we obtain optimal power allocation solutions that minimize the statistical PAVP of the sensory packets. These solutions will be presented and validated in the subsequent section, offering valuable insights for the design of such networks.

## V. NUMERICAL RESULTS

In this section, we perform numerical analysis for the ISACenabled V2I network to validate our analysis and evaluate the effects of various parameters. The default parameter settings are listed in TABLE I.

In Fig. 2, we show the relationship between the SDP and the maximum ranging distance D for various average RCS values ¯ ρ and sensing SNR thresholds d . The markers align closely with the lines, validating the accuracy of our analysis. As D increases, the SDP decreases for both ¯ ρ values. This trend is expected due to increased path loss with distance. Notably, at 0 dBsm, the SDP decreases more rapidly with distance compared with 10 dBsm. This indicates that objects with higher ¯ ρ are easier to detect at longer distances. At shorter distances, the difference in SDP between 0 dBsm and 10 dBsm is minimal; however, this gap widens significantly as D increases.

In Fig. 3, we depict the relationship between the PAVP and the communication bandwidth for various DEPs ϵ . The close alignment of the simulated curves with the theoretical upper bounds confirms the accuracy and reliability of our theoretical framework in predicting system performance. The curves clearly show that increasing the bandwidth effectively reduces PAVP. Additionally, higher ϵ values result in increased PAVPs across all bandwidths, indicating that systems designed to operate at higher bandwidths are more robust against errors.

In Fig. 4, we show the relationship between the PAVP and the power allocation factor α for various PAoI thresholds. The black circles mark the optimal α values that minimize PAVP. A trade-off between sensing power and communication power is evident, as PAVP initially decreases and then increases with α ranging from 0 to 1, highlighting that an appropriate adjustment of α can significantly reduce PAVP. The PAVP is lower for ζ = 4 compared with ζ = 8 , indicating that a higher threshold generally results in better performance. As the threshold decreases, the optimal α point shifts rightward to mitigate the impact of the lower threshold. This trend is welltracked and reflected by our theoretical bound, underscoring the robustness and accuracy of our analysis.

Fig. 2: SDP vs. D under various ¯ ρ and d . The lines represent the theoretical values, and the markers represent the simulation values.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00381v1-figure-9d7fb06d-f543-492c-b638-015370cce56b.jpg)

Fig. 4: PAVP vs. α under various thresholds ζ .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00381v1-figure-e655ad5f-096d-4afd-a8f9-f2442d4a0840.jpg)

In Fig. 5, we illustrate the relationship between the PAVP and the threshold value ζ for different intervals ϖ . Theoretical upper bounds closely follow the trends observed in simulated data. It can be seen that for each value of ϖ , the PAVP decreases with an increase in ζ . Moreover, as ϖ decreases, the PAVP curves shift downward, indicating that shorter ϖ are associated with lower PAVPs. It is important to note that while a smaller ϖ can improve system performance by allowing faster response to channel changes, ϖ cannot be made arbitrarily small in practical settings. The environmental characteristics of the scenario need to be considered, as smaller ϖ values correspond to more dynamic channel conditions.

## VI. CONCLUSION

This study investigates ISAC-enabled xURLLC V2I networks with short packets under power constraints. Using SNC theory, we develop a theoretical framework that effectively captures network dynamics and derive the PAVP upper bound for the ISAC-enabled V2I network. Optimizing this upper bound leads to a near-optimal power allocation scheme. The alignment between simulations and theoretical upper bounds underscores the effectiveness of the theoretical models used in evaluating system behavior, providing valuable insights for more robust and efficient ISAC-enabled V2I network design.

## REFERENCES

- [1] Y. Zhong et al. , 'Empowering the v2x network by integrated sensing and communications: Background, design, advances, and opportunities,' IEEE Netw. , vol. 36, pp. 54-60, July 2022.
- [2] F. Liu et al. , 'Integrated sensing and communications: Toward dualfunctional wireless networks for 6g and beyond,' IEEE J. Sel. Areas Commun. , vol. 40, pp. 1728-1767, June 2022.
- [3] M. Liu et al. , 'Performance analysis and power allocation for cooperative isac networks,' IEEE Internet Things J. , vol. 10, pp. 6336-6351, Apr. 2023.
- [4] Z. Du et al. , 'Integrated sensing and communications for v2i networks: Dynamic predictive beamforming for extended vehicle targets,' IEEE Trans. Wireless Commun. , vol. 22, pp. 3612-3627, June 2023.
- [5] O. L. A. L´ opez et al. , 'Statistical tools and methodologies for ultrareliable low-latency communication-a tutorial,' Proc. IEEE , vol. 111, pp. 1502-1543, Nov. 2023.
- [6] X. Zhao and Y.-J. A. Zhang, 'Joint beamforming and scheduling for integrated sensing and communication systems in urllc: A pomdp approach,' IEEE Trans. Commun. , May 2024.
- [7] C. Ding, C. Zeng, C. Chang, J.-B. Wang, and M. Lin, 'Joint precoding for mimo radar and urllc in isac systems,' in Proceedings of the 1st ACM MobiCom Workshop on Integrated Sensing and Communications Systems , (Sydney, NSW, Australia), pp. 12-18, Oct. 2022.
- [8] X. Zhang, J. Wang, and H. V. Poor, 'Aoi-driven statistical delay and error-rate bounded qos provisioning for murllc over uav-multimedia 6g mobile networks using fbc,' IEEE J. Sel. Areas Commun. , vol. 39, pp. 3425-3443, Nov. 2021.
- [9] J. P. Champati, H. Al-Zubaidy, and J. Gross, 'Statistical guarantee optimization for aoi in single-hop and two-hop fcfs systems with periodic arrivals,' IEEE Trans. Commun. , vol. 69, pp. 365-381, Jan. 2021.
- [10] A. Zhong, Z. Li, D. Wu, T. Tang, and R. Wang, 'Stochastic peak age of information guarantee for cooperative sensing in internet of everything,' IEEE Internet Things J. , vol. 10, pp. 15186-15196, Sept. 2023.
- [11] J. Li et al. , 'Effective joint scheduling and power allocation for urllc oriented v2i communications,' IEEE Trans. Veh. Technol. , Mar. 2024.
- [12] M. Series, 'Systems characteristics of automotive radars operating in the frequency band 7681 ghz for intelligent transport. systems applications,' in Recommendation ITU-R , pp. 2057-1, Jan. 2018.

Fig. 3: PAVP vs. bandwidth under various ϵ . The simulated curves, denoted as 'simu.', and the theoretical upper bounds, denoted as 'upp.', are used throughout unless otherwise stated.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00381v1-figure-4599ed0b-c09c-4595-bd3d-58c9b0e72eaa.jpg)

Fig. 5: PAVP vs. threshold ζ under various durations ϖ .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00381v1-figure-1150b31c-f7d5-4da0-8ef8-f85cacc181b6.jpg)
Yanxi Zhang Mingwu Yao Qinghai Yang Dongqi Yan Xu Zhang Xu Bao Muyu Mei
Statistical AoI Guarantee Optimization for Supporting xURLLC in ISAC-enabled V2I Networks
This paper addresses the critical challenge of supporting next-generation
ultra-reliable and low-latency communication (xURLLC) within integrated sensing
and communication (ISAC)-enabled vehicle-to-infrastructure (V2I) networks. We
incorporate channel evaluation and retransmission mechanisms for real-time
reliability enhancement. Using stochastic network calculus (SNC), we establish
a theoretical framework to derive upper bounds for the peak age of information
violation probability (PAVP) via characterized sensing and communication moment
generation functions (MGFs). By optimizing these bounds, we develop power
allocation schemes that significantly reduce the statistical PAVP of sensory
packets in such networks. Simulations validate our theoretical derivations and
demonstrate the effectiveness of our proposed schemes.