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

イベントトリガー型信頼媒介人間自律性相互作用フレームワーク

基本情報

  • 論文ID: 2412.08983
  • タイトル: An Event-Triggered Framework for Trust-Mediated Human-Autonomy Interaction
  • 著者: Daniel A. Williams, Airlie Chapman, Chris Manzie
  • 分類: cs.RO cs.SY eess.SY
  • 発表日: 2024年12月12日 (arXiv プレプリント)
  • 論文リンク: https://arxiv.org/abs/2412.08983

要旨

本論文は、人間と自律システムの協働の増加に着想を得て、これらの相互作用における相互関連ダイナミクスを捉えるための新しいハイブリッドシステムフレームワークを提案している。本フレームワークは、自律システムおよび認知心理学文献のモデルを統合し、自律システムに対する人間の信頼などの重要要素を表現する。フレームワークの人間機械インターフェースにおいて非同期イベントトリガーサンプリングを採用することにより、人間相互作用の間欠的特性を組み込んでいる。自律ロボット群による捜索救助シナリオの実際の応用を研究することで、フレームワークパラメータの調整に関する重要な考慮事項を明らかにし、提案フレームワークがより効率的で効果的な人間機械相互作用の設計にいかに貢献するかを示している。

研究背景と動機

問題定義

商業および人道支援応用における自律システムの普及に伴い、人間自律性相互作用(HAI)モデリングの完全なパラダイムを確立する必要性が急速に高まっている。既存研究は、ほとんどのHAIダイナミクスモデルに対応するのに十分な汎用性を備えた標準的な閉ループモデルの欠如に直面している。

重要性分析

  1. 信頼ダイナミクスの重要性: HAIにおいて、信頼概念は自律システムが監督者の行動を代表し情報を提供するため極めて重要である。適切な信頼により、指揮官は個人の安全性とシステム能力に対してより自信を持つようになり、タスク責任をより効果的に自律システムに委譲できる。
  2. 実際の応用要件: 指揮官が自律ロボット群の災害地域での生存者捜索を監督する場合を例とすると、指揮官はチームの性能と地形に基づいてチーム編成を調整する必要があり、これは効果的な信頼モデリングと相互作用メカニズムを必要とする。

既存手法の限界

  1. サンプリング戦略の問題: 周期的サンプリングは固定サンプリングレートに依存し、出力が安定している期間に冗長なサンプルを生成し、伝送コストを増加させる
  2. 統一フレームワークの欠如: 代表的信頼および干渉モデルを自律システムダイナミクスと正式なシステム理論フレームワークに統合する方法が現在存在しない
  3. 同期要件の制限: 既存のイベントトリガーサンプリング方式は通常同時更新を必要とし、非同期通信シナリオには適さない

核心的貢献

  1. 汎用HAIフレームワーク: 既存研究を拡張した汎用システム理論フレームワークを提案し、自律システムの測定および制御用の2つのインターフェースを導入した
  2. 非同期イベントトリガーサンプリング: 既存手法より汎用的な非同期イベントトリガーサンプリング下での解集合の一様大域漸近安定性を確立した
  3. 実際の応用検証: 群体捜索救助の実際の応用において提案方案を実装し、フレームワークパラメータ調整の効果を研究した

方法論の詳細

タスク定義

人間指揮官と自律システム間の相互作用をモデル化するためのハイブリッドシステムフレームワークを確立し、以下を必要とする:

  • 制御理論、人間機械自動化相互作用、および社会心理学からの既存モデルに対応する
  • HAIシナリオにおける閉ループ信頼ダイナミクスの体系的推論をサポートする
  • イベントトリガーサンプリングを通じて間欠的通信を処理する

モデルアーキテクチャ

フレームワークは5つの相互接続されたダイナミクス部分システムで構成される:

1. 指揮官干渉インターフェース (Commander Intervention Interface)

指揮官干渉信号 YcCcRcY_c \in C_c \subset \mathbb{R}^c を定義し、そこから参照信号 RCr(Yc)Dr(Yc)RϱR \in C_r(Y_c) \cup D_r(Y_c) \subset \mathbb{R}^{\varrho} を抽出する:

R˙=fr(Yc,R),RCr(Yc)\dot{R} = f_r(Y_c, R), \quad R \in C_r(Y_c)R+=gr(Yc,R),RDr(Yc)R^+ = g_r(Y_c, R), \quad R \in D_r(Y_c)

ここで Cr(Yc)C_r(Y_c) は流集合、Dr(Yc)D_r(Y_c) は跳躍集合である。

2. システムコントローラおよびダイナミクス (System Controller and Dynamics)

自律システムコントローラは参照信号 RR と環境入力 EaE_a を受け取り、内部状態 XX と出力 YaY_a を更新する:

X˙=fa(R,Ea,X)\dot{X} = f_a(R, E_a, X)Ya=ha(X)Y_a = h_a(X)

3. システム状態インターフェース (System Status Interface)

自律システム出力 YaY_a を測定およびフィルタリングし、指揮官に送信される YsY_s を出力する:

S˙=fs(Ya,S),SCs(Ya)\dot{S} = f_s(Y_a, S), \quad S \in C_s(Y_a)S+=gs(Ya,S),SDs(Ya)S^+ = g_s(Y_a, S), \quad S \in D_s(Y_a)Ys=hs(S)Y_s = h_s(S)

4. 性能推定 (Performance Estimation)

システムタスク性能に対する指揮官の推定 PPYsY_s と信頼パラメータ κ\kappa の影響を受ける:

P˙=fp(κ,Ys,P)\dot{P} = f_p(\kappa, Y_s, P)

5. 指揮官信頼および干渉ダイナミクス (Commander Trust and Intervention Dynamics)

信頼ダイナミクス TT および干渉出力:

T˙=fc(κ,P,Ec,T)\dot{T} = f_c(\kappa, P, E_c, T)Yc=hc(κ,Ys,T)Y_c = h_c(\kappa, Y_s, T)

技術的革新点

1. 非同期イベントトリガーサンプリング

既存の同期方式と異なり、本論文は非同期イベントトリガーサンプリングを採用し、プラント部分システムとコントローラ部分システム間の独立した間欠通信を可能にする。

2. デュアルインターフェース設計

  • システム状態インターフェース: 自律システムのサンプラーとして機能
  • 指揮官干渉インターフェース: 指揮官関連部分システムのサンプラーとして機能

3. 安定性保証

ハイブリッド小ゲイン定理を通じて、特定条件下での解集合の一様大域漸近安定性を保証する。

実験設定

応用シナリオ

自律ロボット群捜索救助タスク:

  • システム構成: 10個の知能エージェントで構成される自律ロボット群
  • タスク目標: 位置が未知の10名の生存者を捜索する
  • 編成制御: エージェントは指揮官により決定された半径の円形編成を維持する
  • 性能トレードオフ: より小さい編成半径は生存者検出率を向上させるが、捜索領域カバレッジを減少させる

実装詳細

エージェントダイナミクスモデル

単積分器システム: X˙i=4(XirefXi)\dot{X}_i = 4(X_i^{ref} - X_i)

ここで参照位置は: Xiref=[6sin(t2π)+Rcos(θi)6sin(0.1t2π)+Rsin(θi)]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}

システム出力

生存者接近度とグループ凝集度を含むタプル: Ya=[[1tanh(i=1naσ(XjsXi2))]j=1nsj=1na(1+i=1naσ(XjXi2))na(na1)]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}

性能および信頼ダイナミクス

性能推定: P˙=[0.90.1]YsP\dot{P} = [0.9 \quad 0.1] Y_s - P

信頼ダイナミクス: T˙=0.5(PT)\dot{T} = 0.5(P - T)

編成半径参照: Yc=1.5TY_c = 1.5T

評価指標

  • 状態収束性: qc=[xc,eu,ηc]Tq_c = [x_c, e_u, \eta_c]^T の大域平衡点への収束を観察
  • サンプリング周波数: イベントトリガーサンプリングの周波数特性を分析
  • システム残差: Δ(t)=i=1naXi(t)Xiref(t)na2\Delta(t) = ||\frac{\sum_{i=1}^{n_a} X_i(t) - X_i^{ref}(t)}{n_a}||_2

実験結果

主要結果

1. 収束性の検証

図3および図4は、異なる最小サンプリング間隔 τ=τp=τc\tau = \tau_p = \tau_c 下での3つのタスク {MτA,MτB,MτC}\{M_\tau^A, M_\tau^B, M_\tau^C\} の状態軌跡を示している。結果は以下を示す:

  • すべてのタスクの qcq_c は同じ大域平衡点 AcA_c に漸近収束する
  • 収束速度は τp\tau_p および τc\tau_c のサイズに依存する
  • より小さい τ\tau 値は定理1の結果を検証する

2. コントローラゲイン影響

図5は異なるエージェントコントローラゲイン kp{4,40}k_p \in \{4, 40\} 下でのシステム残差を示している:

  • kp=4k_p = 4 の場合、残差は0から1.47の間で振動する
  • kp=40k_p = 40 の場合、残差振動は10倍減少する
  • より高いコントローラゲインがシステム性能を著しく改善することを示す

3. サンプリング周波数分析

図7はタスク M1CM_1^C におけるサンプリングトリガー状況を示している:

  • xcx_c が定常状態に収束するにつれて、コントローラサンプラートリガー周波数は低下する
  • プラントサンプラーは継続的に変化するLissajous環参照を追跡するため周期的にトリガーされる
  • 2つのサンプラーは常に同時にトリガーされるわけではなく、非同期特性を検証する

パラメータ調整効果

実験は以下を発見した:

  • 小さい (τp,τc)(\tau_p, \tau_c) 値は安定性保証を確保する
  • 大きい (τp,τc)(\tau_p, \tau_c) 値はシステムが安定性を失う可能性がある(図6に示す)
  • イベントトリガーサンプリングは固定周期サンプリングより通信リソースを節約する

関連研究

イベントトリガー制御

  • 周期的サンプリング: 固定サンプリングレートに依存するが、出力が安定している期間に冗長性を生成する
  • イベントトリガーサンプリング: サンプリング誤差が閾値を超える場合のみトリガーし、サンプリング誤差と伝送周波数のバランスを取る
  • 非同期方案: プラントとコントローラ部分システム間の間欠通信シナリオに適用可能

人間機械相互作用信頼モデリング

  • 信頼ダイナミクス: 既存研究は線形および非線形信頼モデルを提案している
  • 干渉戦略: 信頼に基づく人間機械システム干渉メカニズム
  • システム透明性: 人間機械信頼構築に影響する重要要因

ハイブリッドシステム理論

  • 安定性分析: Lyapunov法に基づくハイブリッドシステム安定性
  • 小ゲイン定理: 相互接続システムの安定性分析に使用
  • Zeno挙動: 無限頻繁なジャンプを防止するメカニズム

結論と考察

主要結論

  1. フレームワーク有効性: 提案されたハイブリッドシステムフレームワークは人間自律性相互作用の重要なダイナミクスを成功裏に捉える
  2. 安定性保証: 特定条件下で、非同期イベントトリガーサンプリングはシステム安定性を保証する
  3. 実用的価値: フレームワークは認知および計算リソースを解放し、指揮官が並行タスクに割り当てることができる

限界

  1. 仮定条件: 仮定7の条件は比較的保守的であり、複雑なシステムでは必要な関数を解析的に決定することが困難である
  2. パラメータ調整: コントローラおよびプラントゲイン並びに最小サンプリング周期の慎重な調整が必要である
  3. モデル複雑性: 非自明なシステムでは、安定性条件を満たすことを解析的に確認することは困難である

将来の方向性

  1. 複数指揮官システム: 複数指揮官の人間機械システムへの拡張
  2. 適応的パラメータ調整: 自動パラメータ最適化方法の開発
  3. 実際の配備: 実際のロボットシステムでのフレームワーク有効性の検証

深度評価

利点

  1. 理論的貢献: 信頼ダイナミクスとイベントトリガー制御をハイブリッドシステムフレームワークに統一した初の試み
  2. 数学的厳密性: 完全な安定性分析と証明を提供する
  3. 実用性: 捜索救助シナリオを通じてフレームワークの実際の応用可能性を示す
  4. 学際的統合: 制御理論、認知心理学、ロボット工学の概念を成功裏に統合

不足

  1. 実験検証の限定: シミュレーション環境でのみ検証され、実際のシステム実験が不足している
  2. パラメータ感度: フレームワーク性能はパラメータ選択に高度に依存するが、体系的なパラメータ設計ガイダンスが不足している
  3. スケーラビリティ: 大規模システムへの適用性は十分に検証されていない
  4. 人間要因モデリング: 信頼モデルは比較的単純化されており、個人差と複雑な心理要因を考慮していない

影響力

  1. 学術的価値: 人間機械協働システムに新しい理論的フレームワークを提供する
  2. 応用前景: 捜索救助、監視、自動運転などの分野での潜在的応用価値
  3. 方法論的革新: 非同期イベントトリガーサンプリング方法は他の分散制御システムに推広可能

適用シナリオ

  • 人間監督を必要とする自律システム
  • 通信リソースが制限された分散制御システム
  • 信頼ダイナミクスの考慮が必要な人間機械協働タスク
  • 間欠的人間機械相互作用の応用シナリオ

参考文献

本論文は、イベントトリガー制御、人間機械相互作用、信頼モデリング、ハイブリッドシステム理論など複数の分野の重要な研究を含む29篇の関連文献を引用しており、本研究に堅実な理論的基礎を提供している。