2025-11-14T10:43:11.050739

An Event-Triggered Framework for Trust-Mediated Human-Autonomy Interaction

Williams, Chapman, Manzie

Inspired by the increased cooperation between humans and autonomous systems, we present a new hybrid systems framework capturing the interconnected dynamics underlying these interactions. The framework accommodates models arising from both the autonomous systems and cognitive psychology literature in order to represent key elements such as human trust in the autonomous system. The intermittent nature of human interactions are incorporated by asynchronous event-triggered sampling at the framework's human-autonomous system interfaces. We illustrate important considerations for tuning framework parameters by investigating a practical application to an autonomous robotic swarm search and rescue scenario. In this way, we demonstrate how the proposed framework may assist in designing more efficient and effective interactions between humans and autonomous systems.

academic

Ein ereignisgesteuertes Framework für vertrauensvermittelte Mensch-Autonomie-Interaktion

Grundinformationen

Paper-ID: 2412.08983
Titel: An Event-Triggered Framework for Trust-Mediated Human-Autonomy Interaction
Autoren: Daniel A. Williams, Airlie Chapman, Chris Manzie
Klassifizierung: cs.RO cs.SY eess.SY
Veröffentlichungsdatum: 12. Dezember 2024 (arXiv-Preprint)
Paper-Link: https://arxiv.org/abs/2412.08983

Zusammenfassung

Inspiriert durch die zunehmende Zusammenarbeit zwischen Menschen und autonomen Systemen wird in diesem Artikel ein neues Hybrid-System-Framework vorgeschlagen, um die gegenseitig abhängigen Dynamiken in diesen Interaktionen zu erfassen. Das Framework integriert Modelle aus der Literatur zu autonomen Systemen und kognitiver Psychologie, um Schlüsselelemente wie das Vertrauen des Menschen in autonome Systeme darzustellen. Durch die Implementierung asynchroner ereignisgesteuerter Abtastung an der Mensch-Maschine-Schnittstelle des Frameworks werden die intermittierenden Merkmale menschlicher Interaktion berücksichtigt. Durch die Untersuchung einer praktischen Anwendung in einem Szenario mit autonomen Roboterschwärmen zur Suchrettung werden wichtige Überlegungen zur Anpassung der Framework-Parameter erläutert und demonstriert, wie das vorgeschlagene Framework zur Gestaltung effizienterer und wirksamerer Mensch-Maschine-Interaktionen beitragen kann.

Forschungshintergrund und Motivation

Problemdefinition

Mit der zunehmenden Verbreitung autonomer Systeme in kommerziellen und humanitären Anwendungen besteht ein dringender Bedarf an einem umfassenden Modellierungsparadigma für die Mensch-Maschine-Autonomie-Interaktion (HAI). Die bestehende Forschung ermangelt eines standardisierten Regelkreismodells mit ausreichender Allgemeinheit, um die meisten HAI-Dynamikmodelle zu berücksichtigen.

Bedeutungsanalyse

Kritikalität der Vertrauensdynamiken: In der HAI ist das Konzept des Vertrauens von entscheidender Bedeutung, da autonome Systeme die Maßnahmen von Aufsichtspersonen vertreten und Informationen bereitstellen. Angemessenes Vertrauen ermöglicht es Befehlshabern, mehr Vertrauen in die persönliche Sicherheit und die Systemfähigkeiten zu haben, wodurch sie Aufgabenverantwortung besser an autonome Systeme delegieren können.
Anforderungen praktischer Anwendungen: Am Beispiel eines Befehlshabers, der ein autonomes Roboterteam bei der Suche nach Überlebenden in Katastrophengebieten überwacht, muss der Befehlshaber die Teamformation basierend auf Teamleistung und Gelände anpassen, was eine effektive Vertrauensmodellierung und Interaktionsmechanismen erfordert.

Einschränkungen bestehender Methoden

Probleme der Abtastungsstrategie: Periodische Abtastung hängt von festen Abtastraten ab und erzeugt redundante Proben während stabiler Ausgabephasen, was die Übertragungskosten erhöht
Fehlender einheitlicher Framework: Es gibt derzeit keine Methode, die repräsentative Vertrauens- und Interventionsmodelle mit autonomer Systemdynamik in einem formalen systemtheoretischen Framework integriert
Synchronisierungsanforderungen: Bestehende ereignisgesteuerte Abtastungsschemata erfordern typischerweise gleichzeitige Aktualisierungen und sind für asynchrone Kommunikationsszenarien ungeeignet

Kernbeiträge

Universelles HAI-Framework: Vorschlag eines universellen systemtheoretischen Frameworks, das bestehende Arbeiten erweitert und zwei Schnittstellen für Messung und Steuerung autonomer Systeme einführt
Asynchrone ereignisgesteuerte Abtastung: Etablierung der Konsistenz globaler asymptotischer Stabilität von Lösungsmengen unter asynchroner ereignisgesteuerter Abtastung in einer allgemeineren Form als bestehende Methoden
Validierung praktischer Anwendungen: Implementierung des vorgeschlagenen Ansatzes in einer praktischen Anwendung zur Schwarmsuche und Rettung sowie Untersuchung der Auswirkungen der Anpassung von Framework-Parametern

Methodische Details

Aufgabendefinition

Etablierung eines Hybrid-System-Frameworks zur Modellierung der Interaktion zwischen menschlichen Befehlshabern und autonomen Systemen, das folgende Anforderungen erfüllen muss:

Aufnahme bestehender Modelle aus Regelungstheorie, Mensch-Maschine-Automatisierungs-Interaktion und Sozialpsychologie
Unterstützung systematischer Überlegungen zu Regelkreis-Vertrauensdynamiken in HAI-Szenarien
Behandlung intermittierender Kommunikation durch ereignisgesteuerte Abtastung

Modellarchitektur

Das Framework besteht aus fünf gegenseitig verbundenen dynamischen Subsystemen:

1. Befehlshaber-Interventionsschnittstelle (Commander Intervention Interface)

Definition des Befehlshaber-Interventionssignals $Y_c \in C_c \subset \mathbb{R}^c$ , aus dem das Referenzsignal $R \in C_r(Y_c) \cup D_r(Y_c) \subset \mathbb{R}^{\varrho}$ extrahiert wird:

$\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)$

wobei $C_r(Y_c)$ die Flussmenge und $D_r(Y_c)$ die Sprungmenge ist.

2. Systemregler und Dynamiken (System Controller and Dynamics)

Der autonome Systemregler empfängt das Referenzsignal $R$ und die Umgebungseingabe $E_a$ und aktualisiert den internen Zustand $X$ und die Ausgabe $Y_a$ :

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

3. Systemstatus-Schnittstelle (System Status Interface)

Messung und Filterung der autonomen Systemausgabe $Y_a$ , Ausgabe $Y_s$ wird an den Befehlshaber übertragen:

$\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. Leistungsschätzung (Performance Estimation)

Schätzung des Befehlshabers zur Aufgabenleistung des Systems $P$ , beeinflusst durch $Y_s$ und Vertrauensparameter $\kappa$ :

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

5. Befehlshaber-Vertrauens- und Interventionsdynamiken (Commander Trust and Intervention Dynamics)

Vertrauensdynamiken $T$ und Interventionsausgabe:

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

Technische Innovationen

1. Asynchrone ereignisgesteuerte Abtastung

Im Gegensatz zu bestehenden synchronen Schemata wird asynchrone ereignisgesteuerte Abtastung verwendet, die intermittierende Kommunikation zwischen Anlagen- und Regler-Subsystemen ermöglicht.

2. Dual-Interface-Design

Systemstatus-Schnittstelle: Fungiert als Sampler für das autonome System
Befehlshaber-Interventionsschnittstelle: Fungiert als Sampler für befehlshaber-bezogene Subsysteme

3. Stabilitätsgarantie

Durch das Hybrid-Small-Gain-Theorem wird unter Erfüllung spezifischer Bedingungen die gleichmäßige globale asymptotische Stabilität der Lösungsmenge garantiert.

Experimentelle Einrichtung

Anwendungsszenario

Autonome Roboterschwarm-Suchrettungsaufgabe:

Systemzusammensetzung: Autonomer Roboterschwarm aus 10 Agenten
Aufgabenziel: Suche nach 10 Überlebenden an unbekannten Positionen
Formationskontrolle: Agenten halten eine vom Befehlshaber bestimmte kreisförmige Formation mit Radius
Leistungsabwägung: Kleinerer Formationsradius erhöht die Überlebendenerkennungsrate, reduziert aber die abgesuchte Fläche

Implementierungsdetails

Agenten-Dynamikmodell

Einfach-Integrator-System: $\dot{X}_i = 4(X_i^{ref} - X_i)$

wobei die Referenzposition gegeben ist durch: $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}$

Systemausgabe

Tupel mit Überlebendenannäherung und Schwarmkohäsion: $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}$

Leistungs- und Vertrauensdynamiken

Leistungsschätzung: $\dot{P} = [0.9 \quad 0.1] Y_s - P$

Vertrauensdynamiken: $\dot{T} = 0.5(P - T)$

Formationsradius-Referenz: $Y_c = 1.5T$

Bewertungsmetriken

Zustandskonvergenz: Beobachtung der Konvergenz von $q_c = [x_c, e_u, \eta_c]^T$ zum globalen Gleichgewichtspunkt
Abtastfrequenz: Analyse der Frequenzeigenschaften der ereignisgesteuerten Abtastung
Systemresiduum: $\Delta(t) = ||\frac{\sum_{i=1}^{n_a} X_i(t) - X_i^{ref}(t)}{n_a}||_2$

Experimentelle Ergebnisse

Hauptergebnisse

1. Konvergenzverifikation

Die Abbildungen 3 und 4 zeigen die Zustandstrajektorien der drei Aufgaben $\{M_\tau^A, M_\tau^B, M_\tau^C\}$ unter verschiedenen minimalen Abtastintervallen $\tau = \tau_p = \tau_c$ . Die Ergebnisse zeigen:

$q_c$ aller Aufgaben konvergiert asymptotisch zum gleichen globalen Gleichgewichtspunkt $A_c$
Die Konvergenzgeschwindigkeit hängt von der Größe von $\tau_p$ und $\tau_c$ ab
Kleinere $\tau$ -Werte validieren die Ergebnisse von Theorem 1

2. Einfluss der Reglerverstärkung

Abbildung 5 zeigt das Systemresiduum unter verschiedenen Agenten-Regler-Verstärkungen $k_p \in \{4, 40\}$ :

Bei $k_p = 4$ oszilliert das Residuum zwischen 0 und 1,47
Bei $k_p = 40$ ist die Residuumsoszillation um das Zehnfache reduziert
Dies zeigt, dass höhere Reglerverstärkungen die Systemleistung erheblich verbessern

3. Abtastfrequenzanalyse

Abbildung 7 zeigt die Abtasttrigger-Ereignisse in Aufgabe $M_1^C$ :

Mit der Konvergenz von $x_c$ zum stationären Zustand sinkt die Auslösefrequenz des Regler-Samplers
Der Anlagen-Sampler wird aufgrund der kontinuierlich verfolgten Lissajous-Kurven-Referenz periodisch ausgelöst
Die beiden Sampler werden nicht immer gleichzeitig ausgelöst, was die asynchrone Eigenschaft validiert

Auswirkungen der Parameteranpassung

Experimente zeigen:

Kleine $(\tau_p, \tau_c)$ -Werte gewährleisten Stabilitätsgarantien
Große $(\tau_p, \tau_c)$ -Werte können zum Stabilitätsverlust des Systems führen (wie in Abbildung 6 gezeigt)
Ereignisgesteuerte Abtastung spart Kommunikationsressourcen im Vergleich zu fester periodischer Abtastung

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

Framework-Effektivität: Das vorgeschlagene Hybrid-System-Framework erfasst erfolgreich die Schlüsseldynamiken der Mensch-Maschine-Autonomie-Interaktion
Stabilitätsgarantie: Unter Erfüllung spezifischer Bedingungen garantiert asynchrone ereignisgesteuerte Abtastung die Systemstabilität
Praktischer Wert: Das Framework kann kognitive und Rechenressourcen freigeben, die der Befehlshaber anderen gleichzeitigen Aufgaben zuordnen kann

Einschränkungen

Annahmebedingungen: Die Bedingungen in Annahme 7 sind konservativ und schwer analytisch für komplexe Systeme zu bestimmen
Parameteranpassung: Erfordert sorgfältige Anpassung von Regler- und Anlagenverstärkungen sowie minimalen Abtastperioden
Modellkomplexität: Für nichttriviale Systeme ist es eine Herausforderung, analytisch die Erfüllung von Stabilitätsbedingungen zu überprüfen

Zukünftige Richtungen

Multi-Befehlshaber-Systeme: Erweiterung auf Mensch-Maschine-Systeme mit mehreren Befehlshabern
Adaptive Parameteranpassung: Entwicklung automatischer Parameteroptimierungsmethoden
Praktische Bereitstellung: Validierung des Frameworks in echten Robotersystemen

Tiefgreifende Bewertung

Stärken

Theoretischer Beitrag: Erste Vereinigung von Vertrauensdynamiken mit ereignisgesteuerter Regelung in einem Hybrid-System-Framework
Mathematische Strenge: Vollständige Stabilitätsanalyse und Beweise
Praktikalität: Demonstration des praktischen Anwendungspotenzials des Frameworks durch Suchrettungsszenario
Interdisziplinäre Integration: Erfolgreiche Fusion von Konzepten aus Regelungstheorie, kognitiver Psychologie und Robotik

Mängel

Begrenzte experimentelle Validierung: Nur in Simulationsumgebung validiert, fehlende Experimente mit echten Systemen
Parameterempfindlichkeit: Die Framework-Leistung hängt stark von der Parameterwahl ab, aber es fehlt systematische Parameterdesign-Anleitung
Skalierbarkeit: Die Anwendbarkeit auf großskalige Systeme ist noch nicht ausreichend validiert
Vereinfachte Vertrauensmodellierung: Vertrauensmodell ist relativ vereinfacht und berücksichtigt keine individuellen Unterschiede und komplexen psychologischen Faktoren

Einflussfähigkeit

Akademischer Wert: Bietet einen neuen theoretischen Framework für Mensch-Maschine-Kooperationssysteme
Anwendungsperspektiven: Potenzielle Anwendungen in Suchrettung, Überwachung, autonomem Fahren und anderen Bereichen
Methodische Innovation: Asynchrone ereignisgesteuerte Abtastungsmethode kann auf andere verteilte Steuersysteme übertragen werden

Anwendungsszenarien

Autonome Systeme, die menschliche Überwachung erfordern
Verteilte Steuersysteme mit begrenzten Kommunikationsressourcen
Mensch-Maschine-Kooperationsaufgaben, die Vertrauensdynamiken berücksichtigen
Anwendungsszenarien mit intermittierender Mensch-Maschine-Interaktion

Literaturverzeichnis

Das Papier zitiert 29 relevante Referenzen, die ereignisgesteuerte Regelung, Mensch-Maschine-Interaktion, Vertrauensmodellierung, Hybrid-Systemtheorie und andere Bereiche wichtiger Arbeiten abdecken und eine solide theoretische Grundlage für diese Forschung bieten.