Un Cadre Déclenché par Événements pour l'Interaction Homme-Autonomie Médiatisée par la Confiance

Informations Fondamentales

• ID de l'article: 2412.08983
• Titre: An Event-Triggered Framework for Trust-Mediated Human-Autonomy Interaction
• Auteurs: Daniel A. Williams, Airlie Chapman, Chris Manzie
• Classification: cs.RO cs.SY eess.SY
• Date de publication: 12 décembre 2024 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2412.08983

Résumé

Inspiré par la coopération croissante entre les humains et les systèmes autonomes, cet article propose un nouveau cadre de systèmes hybrides pour capturer les dynamiques interdépendantes dans ces interactions. Le cadre intègre des modèles issus de la littérature des systèmes autonomes et de la psychologie cognitive pour représenter des éléments clés tels que la confiance humaine envers les systèmes autonomes. En adoptant un échantillonnage asynchrone déclenché par événements à l'interface homme-machine du cadre, il incorpore les caractéristiques intermittentes de l'interaction humaine. Par l'étude d'une application pratique dans un scénario de recherche et sauvetage impliquant des essaims de robots autonomes, l'article élucide les considérations importantes pour l'ajustement des paramètres du cadre, démontrant comment le cadre proposé peut contribuer à la conception d'interactions homme-machine plus efficaces et efficientes.

Contexte de Recherche et Motivation

Définition du Problème

Avec la prolifération croissante des systèmes autonomes dans les applications commerciales et humanitaires, il existe un besoin urgent d'établir un paradigme complet de modélisation pour l'interaction homme-autonomie (HAI). Les recherches existantes manquent d'un modèle en boucle fermée standard suffisamment générique pour accommoder la plupart des modèles de dynamiques HAI.

Analyse de l'Importance

1. Caractère critique des dynamiques de confiance: Dans les systèmes HAI, le concept de confiance est crucial car le système autonome représente les actions du personnel de supervision et fournit des informations. Une confiance adéquate permet aux commandants d'avoir plus de confiance dans la sécurité personnelle et les capacités du système, facilitant ainsi une meilleure délégation des responsabilités de tâches au système autonome.
2. Besoins d'applications pratiques: En prenant l'exemple d'un commandant supervisant une équipe de robots autonomes à la recherche de survivants dans une zone sinistrée, le commandant doit ajuster la formation de l'équipe en fonction de la performance de l'équipe et du terrain, ce qui nécessite une modélisation efficace de la confiance et des mécanismes d'interaction.

Limitations des Approches Existantes

1. Problèmes de stratégie d'échantillonnage: L'échantillonnage périodique dépend d'un taux d'échantillonnage fixe, générant des échantillons redondants pendant les périodes de stabilité de sortie, augmentant les coûts de transmission.
2. Absence de cadre unifié: Il n'existe actuellement aucune approche intégrant les modèles de confiance représentatifs et d'intervention avec les dynamiques des systèmes autonomes dans un cadre théorique formel.
3. Limitations des exigences de synchronisation: Les schémas d'échantillonnage déclenché par événements existants nécessitent généralement des mises à jour simultanées, inadaptés aux scénarios de communication asynchrone.

Contributions Principales

1. Cadre HAI générique: Propose un cadre théorique des systèmes générique, étendant les travaux existants, introduisant deux interfaces pour la mesure et le contrôle des systèmes autonomes.
2. Échantillonnage asynchrone déclenché par événements: Établit la stabilité asymptotique globale uniforme de l'ensemble des solutions sous une forme d'échantillonnage déclenché par événements asynchrone plus générique que les méthodes existantes.
3. Validation d'application pratique: Implémente la solution proposée dans une application pratique de recherche et sauvetage en essaim, étudiant les effets de l'ajustement des paramètres du cadre.

Détails de la Méthode

Définition de la Tâche

Établir un cadre de systèmes hybrides pour modéliser l'interaction entre un commandant humain et un système autonome, cadre qui doit:

• Accommoder les modèles existants issus de la théorie du contrôle, de l'interaction homme-machine-autonomie et de la psychologie sociale
• Supporter le raisonnement systématique sur les dynamiques de confiance en boucle fermée dans les scénarios HAI
• Gérer la communication intermittente par échantillonnage déclenché par événements

Architecture du Modèle

Le cadre comprend cinq sous-systèmes dynamiques interconnectés:

1. Interface d'Intervention du Commandant

Définit le signal d'intervention du commandant $Y_c \in C_c \subset \mathbb{R}^c$, à partir duquel le signal de référence $R \in C_r(Y_c) \cup D_r(Y_c) \subset \mathbb{R}^{\varrho}$ est extrait:

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

où $C_r(Y_c)$ est l'ensemble de flux et $D_r(Y_c)$ est l'ensemble de saut.

2. Contrôleur Système et Dynamiques

Le contrôleur du système autonome reçoit le signal de référence $R$ et l'entrée environnementale $E_a$, mettant à jour l'état interne $X$ et la sortie $Y_a$:

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

3. Interface d'État du Système

Mesure et filtre la sortie du système autonome $Y_a$, produisant $Y_s$ transmis au commandant:

$\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. Estimation de Performance

Estimation par le commandant de la performance de la tâche du système $P$, affectée par $Y_s$ et le paramètre de confiance $\kappa$:

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

5. Dynamiques de Confiance et d'Intervention du Commandant

Dynamiques de confiance $T$ et sortie d'intervention:

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

Points d'Innovation Technique

1. Échantillonnage Asynchrone Déclenché par Événements

Contrairement aux schémas synchrones existants, cet article emploie un échantillonnage asynchrone déclenché par événements, permettant une communication intermittente indépendante entre les sous-systèmes de la plante et du contrôleur.

2. Conception à Double Interface

• Interface d'état du système: Agissant comme échantillonneur du système autonome
• Interface d'intervention du commandant: Agissant comme échantillonneur des sous-systèmes liés au commandant

3. Garanties de Stabilité

Par le théorème du petit gain hybride, sous certaines conditions, la stabilité asymptotique globale uniforme de l'ensemble des solutions est garantie.

Configuration Expérimentale

Scénario d'Application

Tâche de recherche et sauvetage par essaim de robots autonomes:

• Composition du système: Essaim de 10 robots autonomes
• Objectif de la tâche: Rechercher 10 survivants dont les positions sont inconnues
• Contrôle de formation: Les agents maintiennent une formation circulaire avec un rayon déterminé par le commandant
• Compromis de performance: Un rayon de formation plus petit augmente le taux de détection des survivants, mais réduit la zone de recherche couverte

Détails d'Implémentation

Modèle Dynamique des Agents

Système à intégrateur simple: $\dot{X}_i = 4(X_i^{ref} - X_i)$

où la position de référence est: $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}$

Sortie du Système

Tuple contenant la proximité des survivants et la cohésion du groupe: $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}$

Dynamiques de Performance et de Confiance

Estimation de performance: $\dot{P} = [0.9 \quad 0.1] Y_s - P$

Dynamiques de confiance: $\dot{T} = 0.5(P - T)$

Référence de rayon de formation: $Y_c = 1.5T$

Métriques d'Évaluation

• Convergence d'état: Observer la convergence de $q_c = [x_c, e_u, \eta_c]^T$ vers le point d'équilibre global
• Fréquence d'échantillonnage: Analyser les caractéristiques de fréquence de l'échantillonnage déclenché par événements
• Résidu du système: $\Delta(t) = ||\frac{\sum_{i=1}^{n_a} X_i(t) - X_i^{ref}(t)}{n_a}||_2$

Résultats Expérimentaux

Résultats Principaux

1. Vérification de la Convergence

Les figures 3 et 4 présentent les trajectoires d'état pour trois tâches $\{M_\tau^A, M_\tau^B, M_\tau^C\}$ sous différents intervalles d'échantillonnage minimum $\tau = \tau_p = \tau_c$. Les résultats montrent:

• Le $q_c$ de toutes les tâches converge asymptotiquement vers le même point d'équilibre global $A_c$
• La vitesse de convergence dépend de la magnitude de $\tau_p$ et $\tau_c$
• Les valeurs plus petites de $\tau$ valident les résultats du théorème 1

2. Impact du Gain du Contrôleur

La figure 5 montre le résidu du système pour différents gains du contrôleur d'agent $k_p \in \{4, 40\}$:

• Avec $k_p = 4$, le résidu oscille entre 0 et 1,47
• Avec $k_p = 40$, les oscillations du résidu sont réduites d'un facteur 10
• Indiquant que des gains de contrôleur plus élevés améliorent significativement la performance du système

3. Analyse de la Fréquence d'Échantillonnage

La figure 7 présente les déclenchements d'échantillonnage dans la tâche $M_1^C$:

• À mesure que $x_c$ converge vers l'état stable, la fréquence de déclenchement de l'échantillonneur du contrôleur diminue
• L'échantillonneur de la plante se déclenche périodiquement en raison du suivi de la référence de courbe de Lissajous en constante évolution
• Les deux échantillonneurs ne se déclenchent pas toujours simultanément, validant la nature asynchrone

Effets de l'Ajustement des Paramètres

L'expérience révèle:

• Les petites valeurs de $(\tau_p, \tau_c)$ assurent les garanties de stabilité
• Les grandes valeurs de $(\tau_p, \tau_c)$ peuvent entraîner une perte de stabilité du système (comme montré à la figure 6)
• L'échantillonnage déclenché par événements économise plus de ressources de communication que l'échantillonnage périodique fixe

Travaux Connexes

Contrôle Déclenché par Événements

• Échantillonnage périodique: Dépend d'un taux d'échantillonnage fixe, mais génère des redondances pendant les périodes de stabilité
• Échantillonnage déclenché par événements: Se déclenche uniquement lorsque l'erreur d'échantillonnage dépasse un seuil, équilibrant l'erreur d'échantillonnage et la fréquence de transmission
• Schémas asynchrones: Applicables aux scénarios de communication intermittente entre les sous-systèmes de plante et de contrôleur

Modélisation de la Confiance dans l'Interaction Homme-Machine

• Dynamiques de confiance: Les recherches existantes proposent des modèles de confiance linéaires et non-linéaires
• Stratégies d'intervention: Mécanismes d'intervention des systèmes homme-machine basés sur la confiance
• Transparence du système: Facteur clé influençant l'établissement de la confiance homme-machine

Théorie des Systèmes Hybrides

• Analyse de stabilité: Stabilité des systèmes hybrides basée sur la méthode de Lyapunov
• Théorème du petit gain: Utilisé pour analyser la stabilité des systèmes interconnectés
• Comportement Zeno: Mécanismes pour prévenir les sauts infiniment fréquents

Conclusion et Discussion

Conclusions Principales

1. Efficacité du cadre: Le cadre de systèmes hybrides proposé capture avec succès les dynamiques clés de l'interaction homme-autonomie
2. Garanties de stabilité: Sous certaines conditions, l'échantillonnage asynchrone déclenché par événements garantit la stabilité du système
3. Valeur pratique: Le cadre peut libérer les ressources cognitives et informatiques pour que les commandants les allouent à des tâches concurrentes

Limitations

1. Conditions d'hypothèse: Les conditions de l'hypothèse 7 sont relativement conservatrices, difficiles à déterminer analytiquement pour les systèmes complexes
2. Ajustement des paramètres: Nécessite un ajustement minutieux des gains du contrôleur et de la plante ainsi que de la période d'échantillonnage minimum
3. Complexité du modèle: Pour les systèmes non-triviaux, satisfaire analytiquement les conditions de stabilité présente des défis

Directions Futures

1. Systèmes multi-commandants: Extension aux systèmes homme-machine avec plusieurs commandants
2. Ajustement de paramètres adaptatif: Développement de méthodes d'optimisation de paramètres automatiques
3. Déploiement pratique: Validation de l'efficacité du cadre sur des systèmes robotiques réels

Évaluation Approfondie

Avantages

1. Contribution théorique: Première unification des dynamiques de confiance avec le contrôle déclenché par événements dans un cadre de systèmes hybrides
2. Rigueur mathématique: Fournit une analyse de stabilité complète et des preuves
3. Praticité: Démontre le potentiel d'application pratique du cadre par un scénario de recherche et sauvetage
4. Intégration interdisciplinaire: Intègre avec succès les concepts de la théorie du contrôle, de la psychologie cognitive et de la robotique

Insuffisances

1. Validation expérimentale limitée: Vérification uniquement en environnement de simulation, manque d'expériences sur systèmes réels
2. Sensibilité aux paramètres: La performance du cadre dépend fortement du choix des paramètres, mais manque de guide systématique de conception des paramètres
3. Scalabilité: L'applicabilité aux systèmes à grande échelle n'a pas été suffisamment vérifiée
4. Modélisation des facteurs humains: Le modèle de confiance est relativement simplifié, ne considérant pas les différences individuelles et les facteurs psychologiques complexes

Impact

1. Valeur académique: Fournit un nouveau cadre théorique pour les systèmes de collaboration homme-machine
2. Perspectives d'application: Potentiel d'application dans les domaines de la recherche et sauvetage, de la surveillance, de la conduite autonome, etc.
3. Innovation méthodologique: La méthode d'échantillonnage asynchrone déclenché par événements peut être généralisée à d'autres systèmes de contrôle distribué

Scénarios Applicables

• Systèmes autonomes nécessitant une supervision humaine
• Systèmes de contrôle distribué avec ressources de communication limitées
• Tâches de collaboration homme-machine nécessitant de considérer les dynamiques de confiance
• Scénarios d'interaction homme-machine intermittente

Références Bibliographiques

L'article cite 29 références pertinentes, couvrant plusieurs domaines incluant le contrôle déclenché par événements, l'interaction homme-machine, la modélisation de la confiance et la théorie des systèmes hybrides, fournissant une base théorique solide pour cette recherche.