Un Framework Basato su Eventi per l'Interazione Uomo-Autonomia Mediata dalla Fiducia

Informazioni Fondamentali

• ID Articolo: 2412.08983
• Titolo: An Event-Triggered Framework for Trust-Mediated Human-Autonomy Interaction
• Autori: Daniel A. Williams, Airlie Chapman, Chris Manzie
• Classificazione: cs.RO cs.SY eess.SY
• Data di Pubblicazione: 12 dicembre 2024 (preprint arXiv)
• Link Articolo: https://arxiv.org/abs/2412.08983

Riassunto

Ispirato dalla crescente collaborazione tra esseri umani e sistemi autonomi, questo articolo propone un nuovo framework di sistemi ibridi per catturare le dinamiche correlate in queste interazioni. Il framework integra modelli dalla letteratura sui sistemi autonomi e dalla psicologia cognitiva per rappresentare elementi chiave come la fiducia umana nei sistemi autonomi. Attraverso l'adozione di campionamento asincrono basato su eventi all'interfaccia uomo-macchina del framework, vengono incorporate le caratteristiche intermittenti dell'interazione umana. Mediante l'esame di un'applicazione pratica in uno scenario di ricerca e soccorso con robot autonomi, vengono illustrate le considerazioni importanti per l'adattamento dei parametri del framework, dimostrando come il framework proposto contribuisca alla progettazione di interazioni uomo-macchina più efficienti ed efficaci.

Contesto di Ricerca e Motivazione

Definizione del Problema

Con la crescente diffusione dei sistemi autonomi in applicazioni commerciali e umanitarie, esiste un'urgente necessità di stabilire un paradigma di modellazione completo per l'interazione uomo-autonomia (HAI). La ricerca esistente manca di un modello a ciclo chiuso standardizzato con sufficiente generalità per accogliere la maggior parte delle dinamiche HAI.

Analisi dell'Importanza

1. Criticità della Dinamica della Fiducia: Nell'HAI, il concetto di fiducia è cruciale poiché i sistemi autonomi rappresentano le azioni del personale di supervisione e forniscono informazioni. Una fiducia adeguata consente ai comandanti di avere maggiore fiducia nella sicurezza personale e nelle capacità del sistema, facilitando così una migliore delega della responsabilità dei compiti ai sistemi autonomi.
2. Esigenze di Applicazioni Pratiche: Considerando l'esempio di un comandante che supervisiona una squadra di robot autonomi nella ricerca di sopravvissuti in zone disastrate, il comandante deve adattare la formazione della squadra in base alle prestazioni della squadra e al terreno, il che richiede una modellazione efficace della fiducia e meccanismi di interazione.

Limitazioni degli Approcci Esistenti

1. Problemi di Strategia di Campionamento: Il campionamento periodico dipende da una frequenza di campionamento fissa, producendo campioni ridondanti durante i periodi di stabilità dell'output, aumentando i costi di trasmissione
2. Mancanza di Framework Unificato: Attualmente non esiste un metodo che integri modelli rappresentativi di fiducia e intervento con le dinamiche dei sistemi autonomi in un framework formale della teoria dei sistemi
3. Limitazioni dei Requisiti di Sincronizzazione: Gli schemi di campionamento basati su eventi esistenti richiedono tipicamente aggiornamenti simultanei, inadatti a scenari di comunicazione asincrona

Contributi Principali

1. Framework HAI Universale: Propone un framework teorico dei sistemi universale che estende i lavori esistenti, introducendo due interfacce per la misurazione e il controllo dei sistemi autonomi
2. Campionamento Asincrono Basato su Eventi: Stabilisce la stabilità asintotica globale uniforme dell'insieme di soluzioni sotto campionamento asincrono basato su eventi in una forma più generale rispetto ai metodi esistenti
3. Verifica di Applicazioni Pratiche: Implementa la soluzione proposta in un'applicazione pratica di ricerca e soccorso di gruppo, investigando gli effetti dell'adattamento dei parametri del framework

Spiegazione Dettagliata del Metodo

Definizione del Compito

Stabilire un framework di sistemi ibridi per modellare l'interazione tra un comandante umano e un sistema autonomo, il quale deve:

• Accogliere modelli esistenti dalla teoria del controllo, dall'interazione uomo-automazione e dalla psicologia sociale
• Supportare il ragionamento sistematico sulle dinamiche di fiducia a ciclo chiuso negli scenari HAI
• Gestire la comunicazione intermittente attraverso campionamento basato su eventi

Architettura del Modello

Il framework comprende cinque sottosistemi dinamici interconnessi:

1. Interfaccia di Intervento del Comandante (Commander Intervention Interface)

Definisce il segnale di intervento del comandante $Y_c \in C_c \subset \mathbb{R}^c$, dal quale viene estratto il segnale di riferimento $R \in C_r(Y_c) \cup D_r(Y_c) \subset \mathbb{R}^{\varrho}$:

$\dot{R} = f_r(Y_c, R), \quad R \in C_r(Y_c)$$R^+ = g_r(Y_c, R), \quad R \in D_r(Y_c)$

dove $C_r(Y_c)$ è l'insieme di flusso e $D_r(Y_c)$ è l'insieme di salto.

2. Controllore del Sistema e Dinamica (System Controller and Dynamics)

Il controllore del sistema autonomo accetta il segnale di riferimento $R$ e l'input ambientale $E_a$, aggiornando lo stato interno $X$ e l'output $Y_a$:

$\dot{X} = f_a(R, E_a, X)$$Y_a = h_a(X)$

3. Interfaccia dello Stato del Sistema (System Status Interface)

Misura e filtra l'output del sistema autonomo $Y_a$, producendo $Y_s$ trasmesso al comandante:

$\dot{S} = f_s(Y_a, S), \quad S \in C_s(Y_a)$$S^+ = g_s(Y_a, S), \quad S \in D_s(Y_a)$$Y_s = h_s(S)$

4. Stima delle Prestazioni (Performance Estimation)

La stima del comandante delle prestazioni del sistema nel compito $P$, influenzata da $Y_s$ e dal parametro di fiducia $\kappa$:

$\dot{P} = f_p(\kappa, Y_s, P)$

5. Dinamica della Fiducia e dell'Intervento del Comandante (Commander Trust and Intervention Dynamics)

Dinamica della fiducia $T$ e output di intervento:

$\dot{T} = f_c(\kappa, P, E_c, T)$$Y_c = h_c(\kappa, Y_s, T)$

Punti di Innovazione Tecnica

1. Campionamento Asincrono Basato su Eventi

A differenza degli schemi sincroni esistenti, questo articolo adotta il campionamento asincrono basato su eventi, consentendo la comunicazione intermittente indipendente tra i sottosistemi della pianta e del controllore.

2. Progettazione a Doppia Interfaccia

• Interfaccia dello Stato del Sistema: Funziona come campionatore del sistema autonomo
• Interfaccia di Intervento del Comandante: Funziona come campionatore dei sottosistemi correlati al comandante

3. Garanzie di Stabilità

Attraverso il teorema del piccolo guadagno ibrido, garantisce la stabilità asintotica globale uniforme dell'insieme di soluzioni quando sono soddisfatte condizioni specifiche.

Configurazione Sperimentale

Scenario di Applicazione

Compito di ricerca e soccorso con robot autonomi:

• Composizione del Sistema: Uno sciame di 10 robot autonomi
• Obiettivo del Compito: Ricerca di 10 sopravvissuti con posizioni sconosciute
• Controllo della Formazione: Gli agenti mantengono una formazione circolare con raggio determinato dal comandante
• Compromesso di Prestazioni: Un raggio di formazione più piccolo aumenta il tasso di rilevamento dei sopravvissuti, ma riduce l'area di ricerca coperta

Dettagli di Implementazione

Modello Dinamico degli Agenti

Sistema a singolo integratore: $\dot{X}_i = 4(X_i^{ref} - X_i)$

dove la posizione di riferimento è: $X_i^{ref} = \begin{bmatrix} 6\sin(\frac{t}{2\pi}) + R\cos(\theta_i) \\ 6\sin(0.1t^{2\pi}) + R\sin(\theta_i) \end{bmatrix}$

Output del Sistema

Tupla contenente la prossimità ai sopravvissuti e la coesione dello sciame: $Y_a = \begin{bmatrix} [1-\tanh(\sum_{i=1}^{n_a} \sigma(||X_j^s - X_i||_2))]_{j=1}^{n_s} \\ \frac{\sum_{j=1}^{n_a}(-1+\sum_{i=1}^{n_a} \sigma(||X_j-X_i||_2))}{n_a(n_a-1)} \end{bmatrix}$

Dinamica delle Prestazioni e della Fiducia

Stima delle prestazioni: $\dot{P} = [0.9 \quad 0.1] Y_s - P$

Dinamica della fiducia: $\dot{T} = 0.5(P - T)$

Riferimento del raggio di formazione: $Y_c = 1.5T$

Metriche di Valutazione

• Convergenza dello Stato: Osservazione della convergenza di $q_c = [x_c, e_u, \eta_c]^T$ verso il punto di equilibrio globale
• Frequenza di Campionamento: Analisi delle caratteristiche di frequenza del campionamento basato su eventi
• Residuo del Sistema: $\Delta(t) = ||\frac{\sum_{i=1}^{n_a} X_i(t) - X_i^{ref}(t)}{n_a}||_2$

Risultati Sperimentali

Risultati Principali

1. Verifica della Convergenza

Le Figure 3 e 4 mostrano le traiettorie dello stato per tre compiti $\{M_\tau^A, M_\tau^B, M_\tau^C\}$ con diversi intervalli di campionamento minimo $\tau = \tau_p = \tau_c$. I risultati mostrano:

• $q_c$ di tutti i compiti converge asintoticamente allo stesso punto di equilibrio globale $A_c$
• La velocità di convergenza dipende dalla magnitudine di $\tau_p$ e $\tau_c$
• Valori più piccoli di $\tau$ verificano i risultati del Teorema 1

2. Effetto del Guadagno del Controllore

La Figura 5 mostra il residuo del sistema con diversi guadagni del controllore degli agenti $k_p \in \{4, 40\}$:

• Con $k_p = 4$, il residuo oscilla tra 0 e 1.47
• Con $k_p = 40$, l'oscillazione del residuo si riduce di 10 volte
• Indica che guadagni del controllore più elevati migliorano significativamente le prestazioni del sistema

3. Analisi della Frequenza di Campionamento

La Figura 7 mostra gli eventi di campionamento nel compito $M_1^C$:

• Con la convergenza di $x_c$ allo stato stazionario, la frequenza di attivazione del campionatore del controllore diminuisce
• Il campionatore della pianta si attiva periodicamente a causa del tracciamento del riferimento della curva di Lissajous in continuo cambiamento
• I due campionatori non si attivano sempre contemporaneamente, verificando la natura asincrona

Effetti dell'Adattamento dei Parametri

L'esperimento rivela:

• Valori piccoli di $(\tau_p, \tau_c)$ garantiscono le garanzie di stabilità
• Valori grandi di $(\tau_p, \tau_c)$ possono causare la perdita di stabilità del sistema (come mostrato in Figura 6)
• Il campionamento basato su eventi è più efficiente dal punto di vista delle risorse di comunicazione rispetto al campionamento periodico fisso

Lavori Correlati

Controllo Basato su Eventi

• Campionamento Periodico: Dipende da una frequenza di campionamento fissa, ma produce ridondanza durante i periodi di stabilità dell'output
• Campionamento Basato su Eventi: Si attiva solo quando l'errore di campionamento supera una soglia, bilanciando l'errore di campionamento e la frequenza di trasmissione
• Schemi Asincroni: Applicabili a scenari di comunicazione intermittente tra i sottosistemi della pianta e del controllore

Modellazione della Fiducia nell'Interazione Uomo-Macchina

• Dinamica della Fiducia: La ricerca esistente propone modelli di fiducia lineari e non lineari
• Strategie di Intervento: Meccanismi di intervento nei sistemi uomo-macchina basati sulla fiducia
• Trasparenza del Sistema: Fattore chiave che influenza l'instaurazione della fiducia uomo-macchina

Teoria dei Sistemi Ibridi

• Analisi di Stabilità: Stabilità dei sistemi ibridi basata sul metodo di Lyapunov
• Teorema del Piccolo Guadagno: Utilizzato per analizzare la stabilità dei sistemi interconnessi
• Comportamento Zeno: Meccanismi per prevenire salti infinitamente frequenti

Conclusioni e Discussione

Conclusioni Principali

1. Efficacia del Framework: Il framework di sistemi ibridi proposto cattura con successo le dinamiche chiave dell'interazione uomo-autonomia
2. Garanzie di Stabilità: Sotto condizioni specifiche, il campionamento asincrono basato su eventi garantisce la stabilità del sistema
3. Valore Pratico: Il framework può liberare risorse cognitive e computazionali per il comandante da allocare a compiti concorrenti

Limitazioni

1. Condizioni di Assunzione: Le condizioni nell'Assunzione 7 sono piuttosto conservative, difficili da determinare analiticamente per sistemi complessi
2. Adattamento dei Parametri: Richiede un attento adattamento dei guadagni del controllore e della pianta e del periodo di campionamento minimo
3. Complessità del Modello: Per sistemi non banali, soddisfare analiticamente le condizioni di stabilità presenta sfide

Direzioni Future

1. Sistemi Multi-Comandante: Estensione a sistemi uomo-macchina con più comandanti
2. Adattamento Automatico dei Parametri: Sviluppo di metodi di ottimizzazione automatica dei parametri
3. Distribuzione Pratica: Verifica dell'efficacia del framework in sistemi robot reali

Valutazione Approfondita

Punti di Forza

1. Contributo Teorico: Prima unificazione della dinamica della fiducia con il controllo basato su eventi in un framework di sistemi ibridi
2. Rigore Matematico: Fornisce analisi di stabilità completa e prove rigorose
3. Praticità: Dimostra il potenziale di applicazione pratica del framework attraverso uno scenario di ricerca e soccorso
4. Integrazione Interdisciplinare: Integra con successo concetti dalla teoria del controllo, dalla psicologia cognitiva e dalla robotica

Insufficienze

1. Verifica Sperimentale Limitata: Verifica solo in ambiente di simulazione, mancanza di esperimenti su sistemi reali
2. Sensibilità ai Parametri: Le prestazioni del framework dipendono fortemente dalla scelta dei parametri, ma mancano linee guida sistematiche per la progettazione dei parametri
3. Scalabilità: L'applicabilità a sistemi su larga scala non è stata sufficientemente verificata
4. Modellazione dei Fattori Umani: Il modello di fiducia è relativamente semplificato, non considerando le differenze individuali e i fattori psicologici complessi

Impatto

1. Valore Accademico: Fornisce un nuovo framework teorico per i sistemi di collaborazione uomo-macchina
2. Prospettive di Applicazione: Ha potenziale di applicazione in campi come ricerca e soccorso, sorveglianza, guida autonoma
3. Innovazione Metodologica: Il metodo di campionamento asincrono basato su eventi può essere generalizzato ad altri sistemi di controllo distribuito

Scenari Applicabili

• Sistemi autonomi che richiedono supervisione umana
• Sistemi di controllo distribuito con risorse di comunicazione limitate
• Compiti di collaborazione uomo-macchina che richiedono considerazione della dinamica della fiducia
• Scenari di interazione uomo-macchina intermittente

Bibliografia

L'articolo cita 29 riferimenti correlati, coprendo molteplici campi tra cui controllo basato su eventi, interazione uomo-macchina, modellazione della fiducia, teoria dei sistemi ibridi e altri lavori importanti, fornendo una base teorica solida per questa ricerca.