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.
- 论文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动态模型。
- 信任动态的关键性: 在HAI中,信任概念至关重要,因为自主系统代表监督人员行动并提供信息。充分的信任让指挥员对个人安全和系统能力更有信心,从而更好地将任务责任委托给自主系统。
- 实际应用需求: 以指挥员监督自主机器人团队在灾区搜寻幸存者为例,指挥员需要根据团队表现和地形调整团队编队,这需要有效的信任建模和交互机制。
- 采样策略问题: 周期性采样依赖固定采样率,在输出稳定期间会产生冗余样本,增加传输成本
- 缺乏统一框架: 目前没有将代表性信任和干预模型与自主系统动态集成到正式系统理论框架中的方法
- 同步要求限制: 现有事件触发采样方案通常需要同时更新,不适用于异步通信场景
- 通用HAI框架: 提出了一个通用的系统理论框架,扩展了现有工作,引入了两个用于自主系统测量和控制的接口
- 异步事件触发采样: 建立了比现有方法更通用的异步事件触发采样形式下解集的一致全局渐近稳定性
- 实际应用验证: 在群体搜救实际应用中实现了所提方案,并研究了调整框架参数的效果
建立一个混合系统框架,用于建模人类指挥员与自主系统之间的交互,该框架需要:
- 容纳来自控制理论、人机自动化交互和社会心理学的现有模型
- 支持对HAI场景中闭环信任动态的系统推理
- 通过事件触发采样处理间歇性通信
框架包含五个相互连接的动态子系统:
定义指挥员干预信号 Yc∈Cc⊂Rc,从中提取参考信号 R∈Cr(Yc)∪Dr(Yc)⊂Rϱ:
R˙=fr(Yc,R),R∈Cr(Yc)R+=gr(Yc,R),R∈Dr(Yc)
其中 Cr(Yc) 为流集,Dr(Yc) 为跳跃集。
自主系统控制器接受参考信号 R 和环境输入 Ea,更新内部状态 X 和输出 Ya:
X˙=fa(R,Ea,X)Ya=ha(X)
对自主系统输出 Ya 进行测量和滤波,输出 Ys 传输给指挥员:
S˙=fs(Ya,S),S∈Cs(Ya)S+=gs(Ya,S),S∈Ds(Ya)Ys=hs(S)
指挥员对系统任务性能的估计 P,受 Ys 和信任参数 κ 影响:
P˙=fp(κ,Ys,P)
信任动态 T 和干预输出:
T˙=fc(κ,P,Ec,T)Yc=hc(κ,Ys,T)
与现有同步方案不同,本文采用异步事件触发采样,允许植物和控制器子系统独立间歇通信。
- 系统状态接口: 作为自主系统的采样器
- 指挥员干预接口: 作为指挥员相关子系统的采样器
通过混合小增益定理,在满足特定条件下保证解集的一致全局渐近稳定性。
自主机器人群搜救任务:
- 系统组成: 10个智能体组成的自主机器人群
- 任务目标: 搜寻10名位置未知的幸存者
- 编队控制: 智能体保持由指挥员确定半径的圆形编队
- 性能权衡: 较小编队半径提高幸存者检测率,但覆盖搜索区域减少
单积分器系统:
X˙i=4(Xiref−Xi)
其中参考位置为:
Xiref=[6sin(2πt)+Rcos(θi)6sin(0.1t2π)+Rsin(θi)]
包含幸存者接近度和群体凝聚度的元组:
Ya=[[1−tanh(∑i=1naσ(∣∣Xjs−Xi∣∣2))]j=1nsna(na−1)∑j=1na(−1+∑i=1naσ(∣∣Xj−Xi∣∣2))]
性能估计:P˙=[0.90.1]Ys−P
信任动态:T˙=0.5(P−T)
编队半径参考:Yc=1.5T
- 状态收敛性: 观察 qc=[xc,eu,ηc]T 向全局平衡点的收敛
- 采样频率: 分析事件触发采样的频率特性
- 系统残差: Δ(t)=∣∣na∑i=1naXi(t)−Xiref(t)∣∣2
图3和图4展示了在不同最小采样间隔 τ=τp=τc 下,三个任务 {MτA,MτB,MτC} 的状态轨迹。结果显示:
- 所有任务的 qc 都渐近收敛到相同的全局平衡点 Ac
- 收敛速度依赖于 τp 和 τc 的大小
- 较小的 τ 值验证了定理1的结果
图5显示了不同智能体控制器增益 kp∈{4,40} 下的系统残差:
- kp=4 时,残差在0到1.47之间振荡
- kp=40 时,残差振荡减少了10倍
- 表明更高的控制器增益能显著改善系统性能
图7展示了任务 M1C 中的采样触发情况:
- 随着 xc 收敛到稳态,控制器采样器触发频率降低
- 植物采样器由于跟踪持续变化的Lissajous环参考而周期性触发
- 两个采样器不总是同时触发,验证了异步特性
实验发现:
- 小的 (τp,τc) 值确保稳定性保证
- 大的 (τp,τc) 值可能导致系统失去稳定性(图6所示)
- 事件触发采样比固定周期采样更节省通信资源
- 周期性采样: 依赖固定采样率,但在输出稳定期间产生冗余
- 事件触发采样: 仅在采样误差超过阈值时触发,平衡采样误差和传输频率
- 异步方案: 适用于植物和控制器子系统间歇通信的场景
- 信任动态: 现有研究提出线性和非线性信任模型
- 干预策略: 基于信任的人机系统干预机制
- 系统透明度: 影响人机信任建立的关键因素
- 稳定性分析: 基于Lyapunov方法的混合系统稳定性
- 小增益定理: 用于分析互联系统的稳定性
- Zeno行为: 防止无限频繁跳跃的机制
- 框架有效性: 提出的混合系统框架成功捕获了人机自主系统交互的关键动态
- 稳定性保证: 在满足特定条件下,异步事件触发采样保证系统稳定性
- 实用价值: 框架可释放认知和计算资源,供指挥员分配给并发任务
- 假设条件: 假设7中的条件较为保守,对于复杂系统难以解析确定所需函数
- 参数调整: 需要仔细调整控制器和植物增益以及最小采样周期
- 模型复杂性: 对于非平凡系统,解析满足稳定性条件具有挑战性
- 多指挥员系统: 扩展到多个指挥员的人机系统
- 自适应参数调整: 开发自动参数优化方法
- 实际部署: 在真实机器人系统中验证框架有效性
- 理论贡献: 首次将信任动态与事件触发控制统一到混合系统框架中
- 数学严谨性: 提供了完整的稳定性分析和证明
- 实用性: 通过搜救场景展示了框架的实际应用潜力
- 跨学科整合: 成功融合了控制理论、认知心理学和机器人学的概念
- 实验验证有限: 仅在仿真环境中验证,缺乏真实系统实验
- 参数敏感性: 框架性能高度依赖参数选择,但缺乏系统的参数设计指导
- 可扩展性: 对于大规模系统的适用性尚未充分验证
- 人因建模: 信任模型相对简化,未考虑个体差异和复杂心理因素
- 学术价值: 为人机协作系统提供了新的理论框架
- 应用前景: 在搜救、监控、自动驾驶等领域具有潜在应用价值
- 方法创新: 异步事件触发采样方法可推广到其他分布式控制系统
- 需要人类监督的自主系统
- 通信资源受限的分布式控制系统
- 要求考虑信任动态的人机协作任务
- 间歇性人机交互的应用场景
论文引用了29篇相关文献,涵盖了事件触发控制、人机交互、信任建模、混合系统理论等多个领域的重要工作,为本研究提供了坚实的理论基础。