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.
- معرّف الورقة البحثية: 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
- تاريخ النشر: 12 ديسمبر 2024 (نسخة أولية على 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 مسارات الحالة للمهام الثلاث {MτA,MτB,MτC} تحت فترات أخذ عينات دنيا مختلفة τ=τp=τ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 مرجعاً ذا صلة، تغطي مجالات متعددة بما في ذلك التحكم المُفعّل بالأحداث والتفاعل بين الإنسان والآلة ونمذجة الثقة ونظرية الأنظمة الهجينة وغيرها، مما يوفر أساساً نظرياً قوياً لهذا البحث.