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 시나리오에서 폐루프 신뢰 동역학의 체계적 추론 지원
- 이벤트 트리거 샘플링을 통한 간헐적 통신 처리
프레임워크는 상호 연결된 5개의 동역학 부분 시스템으로 구성된다:
지휘관 개입 신호 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개의 관련 문헌을 인용하며, 본 연구에 견고한 이론적 기초를 제공한다.