Decentralized design of leader-following consensus protocols for asymmetric matrix-weighted heterogeneous multiagent systems

إليك ملخص تقني مفصل لورقة البحث بعنوان "التصميم اللامركزي لبروتوكولات توافق القائد-التابع للأنظمة متعددة الوكلاء غير المتجانسة ذات الأوزان المصفوفية غير المتماثلة" من قبل تشاو وتشن.

1. بيان المشكلة

تتناول الورقة مشكلة توافق القائد-التابع (leader-following consensus) للأنظمة متعددة الوكلاء (MASs) غير المتجانسة تحت شرطين محددين وصعبين:

1. عدم التجانس (Heterogeneity): يمتلك الوكلاء نماذج ديناميكية مختلفة (مصفوفات فضاء الحالة $A_i, B_i$ مختلفة).
2. طوبولوجيا الأوزان المصفوفية غير المتماثلة: يتم تمثيل أوزان الاتصال بين الوكلاء بواسطة مصفوفات غير متماثلة بدلاً من القيم القياسية أو المصفوفات المتماثلة. وهذا يسمح بتفاعلات معقدة حيث تؤثر مكونات حالة مختلفة لوكيل ما على مكونات أخرى لوكيل آخر بأوزان متفاوتة.

التحديات الرئيسية:

• التصميم اللامركزي: تتطلب الطرق الحالية غالبًا معلومات عالمية (مثل مصفوفة لابلاس الكاملة أو القيم الذاتية للشبكة) لتصميم كسب التغذية الراجعة، وهو أمر غير عملي للأنظمة واسعة النطاق.
• كفاءة الاتصال: تستخدم البروتوكولات القياسية غالبًا معلومات من جميع الجيران، مما يؤدي إلى أحمال اتصال عالية.
• تحليل الاستقرار: تعقد مصفوفات الأوزان غير المتماثلة تحليل الاستقرار، حيث تعتمد الطرق التقليدية غالبًا على افتراضات التماثل أو التحديد الموجب/السالب.

2. المنهجية

يقترح المؤلفون إطار تصميم لامركزي يعتمد على خصائص الشجرة الموجهة (Directed Spanning Tree - DST) والتحويل الخطي.

أ. نمذجة النظام

• يتكون النظام من قائد واحد (العقدة 0) و $N$ من التابعين.
• الديناميكيات خطية وثابتة زمنياً ولكنها غير متجانسة: $\dot{x}_i = A_i x_i + B_i u_i$.
• يتم نمذجة الاتصال بواسطة رسم بياني موجه مع مصفوفة وزن كتلي غير متماثلة $W$.
• يُفترض وجود شجرة موجهة (DST) مع وجود القائد كجذر، مما يضمن وصول معلومات القائد إلى جميع التابعين.

ب. تقنية التحويل الأساسية

تستخدم الورقة تحويلاً خطياً قائماً على DST لتحويل مشكلة التوافق إلى مشكلة استقرار متغير جزئي.

1. التحويل: يتم إنشاء مصفوفة حادثة $P_0$ للشجرة الموجهة (DST). يتم تطبيق تحويل خطي $P$ على حالات النظام، مما يفصل حالة القائد عن أخطاء النسب.
2. الاستقرار الجزئي: يتم إثبات أن شرط التوافق ($\lim_{t\to\infty} \|x_i - x_0\| = 0$) يكافئ الاستقرار التقاربي العالمي لنقطة اتزان الصفر في نظام الخطأ المحول.
3. النظام المساعد: يتم تحليل استقرار النظام المحول باستخدام نظام مساعد يتضمن مصفوفات مشتقة من قابلية رصد النظام. يتحقق التوافق إذا كانت مصفوفات كتلية محددة (مشتقة من ديناميكيات النظام والكسب) مستقرة هورويتز (Hurwitz stable).

ج. تصميم بروتوكولين

تقترح الورقة بروتوكولين متميزين بتصميم كسب لامركزي:

1. بروتوكول بحد أدنى من روابط الاتصال (قائم على DST)

• الاستراتيجية: يستخدم كل وكيل $i$ حالته الخاصة والحالة النسبية لـ العقدة الأب الخاصة به في الشجرة الموجهة ($k_i$).
• قانون التحكم: $u_i = -G_i x_i + K_i W_{i,k_i} (x_{k_i} - x_i)$.
• منطق التصميم:
  • يتم تصميم الكسب $G_i$ أولاً لضمان استقرار مصفوفة كتلية محددة ($L_1 \bar{D} L_3$) تتعلق بالطبيعة غير المتجانسة للوكلاء.
  • ثم يتم تصميم الكسب $K_i$ محلياً لضمان استقرار الكتل القطرية ($A_i^* - B_i^*$) لمصفوفة النظام.
  • اللامركزية: بما أن $K_i$ يعتمد فقط على بارامترات الوكيل $i$ ووزن والده، فلا حاجة لمعلومات الشبكة العالمية.

2. بروتوكول يستخدم معلومات جميع الجيران

• الاستراتيجية: يستخدم الوكلاء المعلومات من جميع جيرانهم في الطوبولوجيا الأصلية.
• قانون التحكم: $u_i = -G_i x_i + K_i \sum_{j \in N_i} W_{i,j} (x_j - x_i)$.
• منطق التصميم:
  • وسع المؤلفون النهج اللامركزي باستخدام نظرية دائرة جيرشغورين للمصفوفات الكتلية (Gerschgorin Circle Theorem for block matrices).
  • اشتقوا شروطاً يجب أن تقع فيها دوائر جيرشغورين لمصفوفة النظام في نصف المستوى الأيسر المفتوح.
  • يسمح هذا لكل وكيل بحساب كسبه $K_i$ بناءً على بارامتراته المحلية وأوزان جيرانه المباشرين، متجنباً الحاجة لحل متباينات مصفوفة عالمية.

3. المساهمات الرئيسية

1. تخفيف قيود الأوزان: على عكس معظم الأدبيات الموجودة التي تفترض مصفوفات أوزان متماثلة أو محددة، يتعامل هذا العمل مع أوزان مصفوفية غير متماثلة عامة، مما يوسع نطاق التطبيق بشكل كبير للشبكات الواقعية.
2. بروتوكول الحد الأدنى من الاتصال: تقدم الورقة بروتوكول "الحد الأدنى من روابط الاتصال" حيث يتواصل الوكلاء فقط مع والد الشجرة (DST parent)، مما يقلل حمل الاتصال ويبسط هيكل الشبكة المطلوب لتحقيق التوافق.
3. تصميم كسب لامركزي بالكامل:
   • تسمح الطريقة لكل وكيل بتصميم مصفوفة كسب التغذية الراجعة الفريدة الخاصة به ($G_i, K_i$) دون الحاجة لمعلومات عالمية.
   • يعد هذا تحسيناً كبيراً عن الأعمال السابقة التي إما تطلبت معلومات عالمية أو أجبرت جميع الوكلاء على استخدام مكاسب متطابقة (مما يحد من المرونة للأنظمة غير المتجانسة).
4. الإطار النظري: يوفر الجمع بين التحويل الخطي القائم على DST ونظرية استقرار المتغير الجزئي أساساً رياضياً صارماً لتحليل الأنظمة متعددة الوكلاء غير المتجانسة ذات الأوزان المصفوفية غير المتماثلة.

4. النتائج

تم التحقق من النتائج النظرية من خلال محاكاة عددية تضمنت نظاماً غير متجانس مكوناً من 4 تابعين مع أوزان مصفوفية غير متماثلة:

• المثال 1 (الروابط الدنيا): أظهر أن استخدام معلومات والد الـ DST فقط أدى إلى تقارب أخطاء الحالة إلى الصفر. كان الحساب اللامركزي لـ $K_i$ ناجحاً.
• المثال 2 (تأثير $G_i$): أظهر أن مصفوفة الكسب $G_i$ (المرتبطة بالتغذية الراجعة الذاتية) تؤثر مباشرة على معدل تقارب عملية التوافق.
• المثال 3 (جميع الجيران): تحقق من فعالية البروتوكول باستخدام معلومات جميع الجيران. تم استيفاء شرط دائرة جيرشغورين، وحقق النظام التوافق، مما أثبت فعالية التصميم اللامركزي حتى مع استخدام الطوبولوجيا الكاملة.

5. الأهمية

• القابلية للتوسع: من خلال تمكين التصميم اللامركزي، يعد هذا النهج قابلاً للتوسع في الشبكات الكبيرة حيث يكون جمع بيانات الطوبोलॉजी العالمية مستحيلاً أو مكلفاً للغاية.
• المرونة: يسمح استخدام الأوزان المصفوفية غير المتماثلة بنموذج أكثر واقعية لتطبيقات مثل التحكم في التشكيلات، وشبكات الاستشعار، وشبكات الطاقة حيث تكون التفاعلات اتجاهية ومتعددة الأبعاد.
• الكفاءة: يوفر بروتوكول "الحد الأدنى من روابط الاتصال" حلاً عملياً للبيئات ذات عرض النطاق الترددي المحدود، مما يثبت أن الاتصال الكامل للشبكة ليس ضرورياً تماماً لتحقيق التوافق إذا وجدت شجرة موجهة (DST).
• التقدم النظري: يعد هذا أول عمل يقدم طريقة تصميم لامركزية خصيصاً للأنظمة متعددة الوكلاء غير المتجانسة ذات الأوزان المصفوفية غير المتماثلة، مما يسد الفجوة بين نظرية الشبكات ذات الأوزان المصفوفية والتحكم غير المتجانس.