Age of Information Optimization for Status Updates in Integrated Sensing and Communication Systems

Sintesi Tecnica: Ottimizzazione dell'Età dell'Informazione per Aggiornamenti di Stato in Sistemi Integrati di Sensing e Comunicazione

Formulazione del Problema
Questo articolo affronta l'ottimizzazione dell'Età dell'Informazione (AoI) in sistemi Integrati di Sensing e Comunicazione (ISAC) progettati per il monitoraggio remoto in tempo reale. L'architettura di sistema è composta da un processo fisico (sorgente), una stazione base abilitata ISAC e un monitor remoto. Il monitor non può osservare direttamente il processo fisico e si affida interamente alla stazione base per acquisire e trasmettere aggiornamenti di stato.

La sfida principale risiede nel processo decisionale della stazione base in ogni slot temporale discreto. La stazione base deve scegliere tra tre modalità operative, ciascuna con costi e probabilità di successo distinti:

1. Sensing: Acquisizione di informazioni fresche sul processo fisico dalla sorgente.
2. Comunicazione: Trasmissione di informazioni precedentemente acquisite al monitor remoto.
3. Sensing e Comunicazione Congiunti: Acquisizione simultanea di informazioni fresche e trasmissione di dati precedentemente acquisiti.

Tutte le operazioni sono soggette a canali inaffidabili (trasmissioni con perdita). L'obiettivo è minimizzare una funzione di costo a orizzonte infinito scontato che bilancia l'AoI al monitor remoto contro i costi operativi delle azioni selezionate. Il problema è modellato come un Processo Decisionale di Markov (MDP) in cui lo stato è definito dalla coppia di AoI: l'AoI al monitor e l'AoI alla stazione base.

Metodologia
Gli autori affrontano il problema in due scenari distinti: coppie singola sorgente-monitor e coppie multiple sorgente-monitor.

• Scenario a Sorgente Singola: Il problema è formulato come un MDP bidimensionale. Gli autori analizzano le proprietà strutturali della politica stazionaria ottimale. A differenza dei problemi AoI standard che si basano sulla submodularità, questo articolo stabilisce la struttura della politica attraverso le proprietà di monotonia e concavità dell'operatore di Bellman e i limiti sugli incrementi direzionali della funzione valore. Per gestire lo spazio degli stati infinito, gli autori propongono di troncare lo spazio degli stati e derivano un limite rigoroso e in forma chiusa sull'errore di approssimazione indotto da tale troncamento.
• Scenario a Sorgenti Multiple: Il problema di schedulazione per più sorgenti indipendenti che condividono una singola stazione base è modellato come un Braccio Multi-Armi Irrequieto (RMAB). Gli autori impiegano la rilassazione lagrangiana per disaccoppiare il problema globale in problemi indipendenti a singolo braccio. Indagano l'indicizzabilità del sistema per derivare politiche dell'indice di Whittle.
  • Politica Esatta: Viene fornita una condizione sufficiente per l'indicizzabilità, che consente il calcolo degli indici di Whittle esatti mediante un metodo di bisezione.
  • Politica Approssimata: Riconoscendo che la condizione di indicizzabilità potrebbe non valere per tutti i parametri e che il calcolo esatto è computazionalmente oneroso, gli autori sviluppano una politica di indice di Whittle approssimata. Questa euristica utilizza l'interpolazione lineare dei valori degli indici calcolati sugli stati di riferimento (stati diagonali e di frontiera) per stimare gli indici per l'intero spazio degli stati.

Contributi Chiave

1. Caratterizzazione Strutturale: Per il caso a sorgente singola, l'articolo dimostra che la politica ottimale ammette una struttura ordinata di soglia di commutazione nello spazio degli stati AoI. Nello specifico, per un AoI fisso della stazione base, l'azione ottimale transita nell'ordine: Sensing $\to$ Sensing/Comunicazione Congiunti $\to$ Comunicazione, governata da due soglie di commutazione.
2. Analisi dell'Errore di Troncamento: Gli autori forniscono un'analisi teorica per limitare l'errore risultante dal troncamento dello spazio degli stati infinito, offrendo un criterio in forma chiusa per selezionare il livello di troncamento al fine di soddisfare una specifica tolleranza di errore.
3. Formulazione dell'Indice di Whittle: Per il caso a sorgenti multiple, l'articolo formula il problema di schedulazione come RMAB e deriva una condizione sufficiente per l'indicizzabilità. Definisce la politica esatta dell'indice di Whittle per il regime indicizzabile.
4. Politica di Indice Approssimata: L'articolo introduce una politica di indice di Whittle approssimata computazionalmente efficiente basata sull'interpolazione lineare. Questa politica è progettata per funzionare efficacemente anche in regimi in cui la condizione di indicizzabilità rigorosa non è soddisfatta.
5. Validazione Numerica: Vengono presentati estesi risultati numerici per illustrare la geometria delle soglie della politica ottimale a sorgente singola e per dimostrare le prestazioni delle politiche proposte in contesti a sorgenti multiple.

Risultati

• Sorgente Singola: I risultati numerici confermano la struttura a soglia teorica. La politica ottimale dà priorità al sensing quando il monitor e la stazione base hanno freschezza comparabile, passa alle operazioni congiunte nelle regioni intermedie e dà priorità alla comunicazione quando l'AoI del monitor diventa significativamente elevato.
• Sorgenti Multiple (Regime Indicizzabile): In scenari in cui vale la condizione di indicizzabilità, la proposta Politica di Indice di Whittle Approssimata (AWIP) performa in modo paragonabile alla Politica di Indice di Whittle Esatta (WIP) e supera significativamente le basi random e greedy. L'AWIP raggiunge prestazioni quasi identiche alla politica globalmente ottimale in istanze su piccola scala, offrendo al contempo riduzioni sostanziali nei tempi di calcolo offline (risparmi fino all'86,7% negli scenari testati).
• Sorgenti Multiple (Regime Non Indicizzabile): Quando la condizione sufficiente per l'indicizzabilità viene violata, l'AWIP rimane efficace, superando le politiche random e greedy, suggerendo che la sua utilità si estende oltre il regime di indicizzabilità garantito teoricamente.

Significato e Affermazioni
L'articolo afferma di avanzare la comprensione della schedulazione nei sistemi ISAC spostando il focus dalle metrici del livello fisico (ad esempio, progettazione della forma d'onda) al livello decisionale e di schedulazione. Evidenzia che l'introduzione di un'azione congiunta di sensing e comunicazione altera fondamentalmente la geometria del problema, rendendo inapplicabili gli approcci standard basati sulla submodularità e rendendo necessaria la nuova analisi strutturale fornita.

Il significato del lavoro risiede nel fornire un quadro trattabile per l'ottimizzazione della freschezza nei sistemi ISAC in cui l'acquisizione e la consegna delle informazioni sono accoppiate. La proposta politica di indice di Whittle approssimata è presentata come una soluzione pratica che bilancia la complessità computazionale con le prestazioni, offrendo una regola di schedulazione robusta sia per regimi di parametri indicizzabili che non indicizzabili. L'articolo non afferma l'ottimalità globale per il caso a sorgenti multiple in generale, ma dimostra che le euristiche proposte sono asintoticamente ottimali in contesti specifici ed empiricamente efficaci in altri.