Information Age-Controllability Trade-offs in Communication-Constrained Networks

Technical Summary: Information Age-Controllability Trade-offs in Communication-Constrained Networks

Problem Statement
This paper investigates the fundamental trade-offs between control performance and information freshness in wireless networked control systems (WNCS). In these systems, multiple controllers share a random-access channel to transmit control inputs to actuators. The core challenge lies in the fact that control performance is not merely a function of individual packet delivery success but often requires a sequence of consecutive successful transmissions to achieve system controllability. Simultaneously, the "freshness" of information, measured by the Age of Information (AoI), is critical for stabilizing dynamical systems. Existing literature often optimizes for slot-level reliability or AoI in isolation, failing to account for the block-level dynamics required for controllability (i.e., the need for a run of $v$ consecutive successes) or the interplay between achieving controllability and minimizing information staleness. The paper addresses the need for a unified framework that jointly optimizes channel access policies to balance block controllability, latency, and information age in interference-limited environments.

Methodology
The authors model a wireless control network where controller locations follow a homogeneous Poisson Point Process (PPP). Time is divided into fixed-length blocks of $T$ slots. The system employs a probabilistic channel access protocol (Aloha-based) that adapts based on the controllability status of the controllers.

1. System Model:

   • Control Dynamics: Controllers receive state updates at the start of each block and compute a sequence of $v$ control inputs (where $v$ is the controllability index) to drive the system state to a desired target.
   • Transmission: Success is determined by the Signal-to-Interference-plus-Noise Ratio (SINR) exceeding a threshold. Interference is modeled using stochastic geometry.
   • Access Strategy: The controller set is partitioned into three subsets based on their history:
     • $\Phi_B$: Controllers not yet controllable, granted "block access" (transmit in all slots of a block with probability $\delta_{Bk}$).
     • $\Phi_S$: Controllers not yet controllable, granted "slot access" (transmit in individual slots with probability $\delta_{Sk}$).
     • $\Phi_C$: Controllers that have already achieved controllability, using "post-controllability slot access" (probability $\delta_{Ck}$).

2. Performance Metrics:

   • Block Controllability: Defined as the event where at least $v$ consecutive successful transmissions occur within a block.
   • Peak Latency ($L^P_{\kappa,k}$): The time elapsed between the last successful transmission in a previous block and the first successful transmission in the current block.
   • Peak Age of Information (PAoI): The maximum time elapsed between the generation of the last successfully received update and the reception of the current update.
   • Peak Control Latency: The number of blocks elapsed between consecutive blocks where controllability was achieved.

3. Analytical Framework:

   • The authors derive closed-form expressions for the probability of block controllability using run-length analysis on Bernoulli sequences.
   • They characterize the expected peak latency and PAoI by analyzing the distribution of inter-block gaps and initial failure runs within blocks, conditioned on the history of success probabilities.
   • An optimization framework is proposed to jointly maximize block controllability while minimizing latency and age metrics. This is formulated as a cost function using Cumulative Distribution Functions (CDFs) to balance the probabilistic nature of controllability and latency.

Key Contributions

• Block-Level Metrics: The paper introduces a set of block-level performance metrics, specifically "block controllability" and "peak control latency," which capture the requirement for consecutive successful transmissions often overlooked in slot-based analyses.
• Unified Analytical Characterization: Closed-form expressions are derived for block controllability probability, expected peak latency, and PAoI in Poisson-distributed networks with block-structured transmissions.
• Adaptive Access Policy: A novel adaptive access strategy is proposed where controllers that have not yet achieved controllability are prioritized via block-level access ($\Phi_B$), while those that have achieved it revert to slot-level access ($\Phi_C$).
• Optimization Framework: The authors develop a grid-search-based algorithm to determine optimal access probabilities ($\delta_{Bk}, \delta_{Sk}, \delta_{Ck}$) for each block, balancing the trade-off between achieving controllability and minimizing information staleness.
• Insight on Trade-offs: The analysis reveals that maximizing per-slot success probability does not necessarily maximize the probability of achieving a run of $v$ consecutive successes, necessitating the proposed joint optimization.

Numerical Results
Extensive numerical simulations demonstrate the evolution of optimal access policies over time:

• Pre-Controllability Phase: In the initial blocks where controllability has not been achieved ($P_{O_k} < 1$), the optimal policy heavily favors block-level access ($\delta_{Bk}$) to increase the likelihood of generating the required run of consecutive successes.
• Post-Controllability Phase: Once controllability is achieved ($P_{O_k} \approx 1$), the system transitions to a regime where block access is disabled ($\delta_{Bk} \to 0$) and slot access ($\delta_{Sk}, \delta_{Ck}$) dominates to manage interference and maintain freshness.
• Impact of Controllability Index ($v$): As the required run length $v$ increases, the system requires more aggressive transmission strategies in the pre-controllability phase, leading to higher peak control latencies. However, the current-block latency contribution remains relatively insensitive to $v$.
• Convergence: The results show that the peak control latency converges to a theoretical steady-state limit as the number of blocks increases, validating the derived analytical expressions.

Significance and Claims
The paper claims to provide a unified framework that bridges the gap between communication access strategies and control objectives. By explicitly modeling the requirement for consecutive successful transmissions (controllability) alongside information freshness (AoI), the work offers a more realistic performance characterization for wireless control systems than previous slot-based or isolated metric approaches. The authors emphasize that their adaptive policies effectively manage the trade-off between reliable control and timely information transmission in interference-limited networks. The work extends their preliminary conference version by incorporating information freshness metrics (PAoI and peak latency) and developing a more comprehensive optimization framework that jointly balances controllability, latency, and age-related metrics.