Formation Matrix and Energy-based Control of Multi-Agent Systems
تقترح هذه الورقة إطار تحكم قائم على الطاقة لأنظمة التشكيل متعددة الوكلاء يستخدم نموذج مخطط الروابط (bond graph) ومصفوفة تشكيل مبتكرة لربط ديناميكيات النظام بمخطط "التحكم عبر الترابط" ضمن إطار "بورت-هاميلتونيان" (port-Hamiltonian)، مما يحقق استقرار الحفاظ على التشكيل، وتجنب الاصطدام، وقدرات تتبع القائد، وهو ما تم التحقق منه من خلال المحاكاة العددية.
تخيل سرباً من الروبوتات الصغيرة التي تتحرك عبر أرضية مسطحة، حيث يحتاج كل منها إلى البقاء على مسافة محددة من جيرانه مع تجنب الاصطدبات واتباع مسار مشترك. هذا هو تحدي التحكم في تشكيل متعدد الوكلاء، وهو مجال يقع عند تقاطع الروبوتات والفيزياء والرياضيات. لكي تعمل هذه الآلات معاً بفعالية، لا يمكنها ببساطة أن تعمل كأفراد مستقلين؛ بل يجب أن تتصرف كوحدة واحدة منسقة. تكمن الصعوبة في تصميم نظام تحكم يخبر كل روبوت بدقة كيف يتحرك للحفاظ على شكل محدد، سواء كان هذا الشكل خطاً أو دائرة أو نمطاً هندسياً معقداً، وكل ذلك أثناء حركة المجموعة. إذا اقتربت الروبوتات من بعضها البعض أكثر من اللازم، فستصطدم؛ وإذا تباعدت، سينكسر التشكيل. يتطلب حل هذا الأمر فهماً عميقاً لكيفية تدفق الطاقة بين الأجسام المتحركة وكيفية استخدام تلك الطاقة لتوجيهها نحو الترتيب المنشود.
في دراسة حديثة، تناول باحثون من جامعة روساريو الوطنية في الأرجنتين هذه المشكلة من خلال النظر إلى السرب ليس كمجرد مجموعة من الآلات، بل كبنية فيزيائية متماسكة بواسطة قوى غير مرئية. فبدلاً من برمجة كل روبوت بمجموعة معقدة من القواعد لحساب موقعه بالنسبة لكل روبوت آخر، صمم الفريق نظاماً يحاكي شبكة من النوابض (الزنبركات) والمخمدات التي تربط الوكلاء ببعضهم البعض. في هذا الإعداد الافتراضي، يتم ربط كل زوج من الروبوتات التي تحتاج للبقاء على مسافة ثابتة بـ "نابض" يسحبها معاً إذا ابتعدت كثيراً، ويدفعها بعيداً إذا اقتربت كثيراً. ولمنع الاصطدامات، صُممت هذه النوابض الافتراضية بخاصية خاصة: فكلما اقترب روبوتان بشكل خطير، تزدل قوة الدفع بينهما لتصبح قوية بشكل لانهائي، مما يعمل كحاجز لا يمكن اختراقه. يحول هذا النهج مشكلة التحكم في التشكيل المجردة إلى ظاهرة فيزيائية ملموسة، حيث تستقر الروبوتات طبيعياً في مواضعها الصحيحة كما لو كانت أجساماً حقيقية متصلة بأربطة مرنة.
الابتكار الجوهري لهذا العمل هو أداة رياضية جديدة أطلق عليها المؤلفون اسم "مصفوفة التشكيل". وبينما اعتمدت الطرق السابقة غالباً على قياس الزوايا أو المسافات البسيطة، فإن هذه المصفوفة تلتقط كلاً من المسافة بين الروبوتات وسرعة حركتها النسبية تجاه بعضها البعض. وهي تعمل كمترجم، حيث تحول الحركات المعقدة للمجموعة بأكملها إلى مجموعة واضحة من التعليمات. وباستخدام هذه المصفوفة، استطاع الباحثون إثبات أن شبكة النوابض الافتراضية تخلق نظاماً مستقراً حيث يُضمن رياضياً وصول الروبوتات إلى التشكيل المطلوب والحفاظ عليه. وقد أظهروا أن هذا الهيكل ليس مجرد خدعة محاكاة، بل هو خاصية هندسية أساسية للمجموعة، مما يعني أنه يمكن تبسيط نظام التحكم إلى حلقة تغذية راجعة مباشرة وثابتة بدلاً من عملية حسابية ديناميكية معقدة. وهذا يعني أن الروبوتات يمكنها الاستجابة فوراً للتغييرات دون الحاجة إلى حل معادلات صعبة في الوقت الفعلي.
لاختبار أفكارهم، أجرى الفريق عمليات محاكاة حاسوبية مفصلة لمجموعة من ستة روبوتات متنقلة تم نمذجتها كأجسام صلبة، تشبه المركبات الصغيرة متعددة الاتجاهات التي يمكنها التحرك في أي اتجاه. وقد اختبروا استراتيجيتين مختلفتين. في الأولى، عينوا روبوتاً واحداً كـ "قائد" واستخدموا النوابض الافتراضية لتوجيه المجموعة بأكملها إلى موقع وتوجه محددين. وأظهرت عمليات المحاكاة أن المجموعة نجحت في تشكيل الشكل المطلوب والتحرك معاً، حيث قام القائد بسحب بقية السرب إلى مكانه. وفي الاستراتيجية الثانية، ركزوا على التحكم في الموقع، حيث تم توجيه المجموعة بأكملها على طول مسار محدد مع الحفاظ على شكلها. ووجدوا أنه بينما يمكن للنوابض الافتراضية وحدها منع الاصطدامات والحفاظ على تنظيم الروبوتات إلى حد ما، إلا أن إشارة تحكم إضافية كانت ضرورية لضمان تقارب المجموعة تماماً نحو المسار والشكل المقصودين. وعند إضافة هذه الإشارة الإضافية، لم تكتفِ الروبوتات بتجنب الاصطدام فحسب، بل استقرت أيضاً في التشكيل الدقيق بخطأ صفري.
تؤكد نتائج هذه المحاكاة أن معاملة سرب الروبوتات كنظام فيزيائي من النوابض والمخمدات المترابطة هي طريقة قوية لحل مشكلات التحكم في التشكيل. فقد أظهر الباحثون أنه باستخدام مصفوفة التشكيل الجديدة الخاصة بهم، استطاعوا إنشاء وحدة تحكم تكون بديهية فيزيائياً وقوية رياضياً. نجح النظام في التعامل مع التحديات المزدوجة المتمثلة في الحفاظ على شكل محدد وتجنب الاصطدامات، حتى عندما تم نمذجة الروبوتات بخصائص فيزيائية واقعية مثل الكتلة والدوران. وتخلص الدراسة إلى أن هذا النهج القائم على الطاقة يوفر إطاراً موثوقاً لتنسيق مجموعات الروبوتات، مما يوفر مساراً واضحاً للتطبيقات المستقبلية حيث تحتاج الأسراب للتحرك معاً في بيئات معقدة. ويشير العمل إلى أنه من خلال فهم تبادل الطاقة بين الوكلاء، يمكن للمهندسين تصميم أنظمة تحكم أبسط وأكثر فعالية تسمح للروبوتات بالعمل معاً بشكل طبيعي مثل أسراب الطيور أو مدارس الأسماك.
ملخص تقني: مصفوفة التشكيل والتحكم القائم على الطاقة للأنظمة متعددة الوكلاء
بيان المشكلة تتناول الورقة البحثية مشكلة التحكم في التشكيل لنظام متعدد الوكلاء (MAS) يتكون من n من الروبوتات المتنقلة متعددة الاتجاهات التي تعمل في مستوى. الأهداف الرئيسية هي تحقيق وتثبيت تشكيل هندسي محدد، وتجنب الاصطدام بين الوكلاء، والتحكم في الموضع العالمي والتوجه للتشكيل في تكوينات معينة. يسعى المؤلفون إلى تصميم تحكم بديهي فيزيائياً ولكنه رصين نظرياً، من خلال الاستفادة من الطرق القائمة على الطاقة للتعامل مع التفاعل المعقد بين التخزين، والتدفق، والتبديد المتأصل في التفاعلات متعددة الوكلاء.
المنهجية يدمج النهج المقترح نظرية المخططات (Graph Theory)، ونمذجة مخطط الروابط (Bond Graph)، ونظرية الأنظمة ذات الهاملتوني المنفذ (port-Hamiltonian systems - pHS) ضمن إطار "التحكم عبر الترابط" (Control by Interconnection - CbI).
البنية الفيزيائية المترابطة (IPS): ينمذج المؤلفون النظام متعدد الوكلاء (MAS) كشبكة من "كتل الاقتران الأولية" (ECBs). تتكون كل كتلة (ECB) من وحدات مرنة (زنبرك ومخمد افتراضيين) تربط بين أزواج من الوكلاء.
الزنبركات: تم تصميمها باستخدام طاقة جهد دالة الحاجز (barrier function potential energy). وهي تبذل قوى تنافرية (تقترب من اللانهاية) عندما تقترب المسافات بين الوكلاء من الصفر (لتجنب الاصطدام)، وقوى تجاذبية عندما تتجاوز المسافات المرجع المطلوب (للحفاظ على التشكيل).
المخمدات: تعمل على تخفيف التذبذبات داخل الشبكة.
مصفوفة التشكيل (F(r)): المساهمة المركزية لهذا العمل هي تقديم مصفوفة التشكيل. بخلاف النهج السابقة التي تعتمد فقط على التمثيلات القائمة على الزوايا أو المسافات، فإن F(r) تلخص رياضياً كلاً من المسافات الإقليدية والسرعات النسبية بين الوكلاء. يتم تعريفها باستخدام مصفوفة الحدوث (incidence matrix) لمخطط التفاعل وجيب وتيجاه (sine/cosine) زوايا الحواف. تعمل هذه المصفوفة كخريطة خطية بين سرعات الوكلاء ومعدلات تغير المسافات بين الوكلاء.
النمذجة:
يتم نمذجة الوكلاء أولاً ككتل نقطية، ثم يتم توسيع النموذج لاحقاً ليشمل أجساماً صلبة ذات عجلات متعددة الاتجاهات.
يتم نمذجة البنية الفيزيائية المترابطة (IPS) باستخدام مخططات الروابط (Bond Graphs)، التي تلتقط تبادل الطاقة والعلاقات السببية. ويتم ترجمة نموذج مخطط الروابط هذا إلى تمثيل لنظام هاملتوني المنفذ (pHS).
تصميم التحكم (CbI):
يتم تصميم المتحكم باستخدام تقنية "التحكم عبر الترابط" (CbI). تعمل كتل الاقتران (ECBs) كمتحكم، بينما يعمل الوكلاء كمحرك (plant).
يولد الترابط دوال كازيمير (Casimir functions)، وهي كميات محفوظة تحددها هندسة النظام (بنية الترابط). وتحديداً، يتم تحديد الدالة K(r,z~)=F(r)r−z~ كدالة كازيمير، تربط حالات المحرك (المواضع) بحالات المتحكم (تشوهات الزنبرك).
استراتيجيات التحكم:
التحكم في الوكيل القائد: يتم اختيار عقدة قائد وحافة محددة لتحديد الموضع العالمي وتوجه التشكيل. يعمل متحكم (PI) على تنظيم موضع القائد وزاوية الحافة. يتم إثبات الاستقرار عبر تحليل ليابونوف (Lyapunov analysis)، مما يتطلب أن يكون مخطط التفاعل "صلباً بشكل أدنى" (minimally rigid) لضمان أن تكون مصفوفة التحويل كاملة الرتبة.
التحكم القائم على الموضع: يتم تحديد هيكل مرجعي افتراضي (VRS)، ويقوم الوكلاء بتتبع نقاط مرجعية افتراضية (VRPs) مقابلة. يتم إدخال إشارة تحكم إضافية ω (تعتمد على حد يشبه الوضع الانزلاقي) لضمان الاستقرار التقاربي لنقطة التوازن، مما يتغلب على القيود حيث قد لا يضمن التحكم القائم على المسافة وحدها التقارب إلى الطوبولوجيا المطلوبة بدقة.
المساهمات الرئيسية
مصفوفة التشكيل: تقديم مصفوفة تمثل في آن واحد المسافات بين الوكلاء والسرعات النسبية، مما يسهل صياغة موحدة للتحكم القائم على الطاقة.
التغذية الراجعة الحالة عبر دوال كازيمير: إثبات أن الهندسة المحددة للنظام (عبر IPS) والقيود الهولونومية تولد ثوابت كازيمير (Casimir invariants). يسمح هذا بربط المتحكم الديناميكي بقانون تغذية راجعة حالة ثابت (static state-feedback law)، مما يلغي الحاجة إلى دمج إشارات السرعة ويبسط متطلبات الشروط الأولية لحالات المتحكم.
إطار عمل موحد: يوفر دمج مخططات الروابط (Bond Graphs) مع الأنظمة ذات الهاملتوني المنفذ (pHS) وتقنية (CbI) بنية مهيكلة ومتسقة فيزيائياً للتحكم في التشكيل، وتربط صراحة بين التفسير الفيزيائي (الزنبركات/المخمدات) وبنية التحكم الرياضية.
توسيع الأجسام الصلبة: تظهر المنهجية إمكانية تطبيقها على وكلاء الأجسام الصلبة ذات العجلات متعددة الاتجاهات، وليس فقط الكتل النقطية، من خلال فصل الديناميكيات الانتقالية والدورانية.
النتائج أُجريت محاكاة عددية مع ستة وكلاء تم نمذجتهم كأجسام صلبة في سيناريوهين:
التحكم في الوكيل القائد: باستخدام مخطط صلب بأدنى حد (m=9)، نجح النظام في تثبيت التشكيل عند موضع وتوجه مطلوبين. تقاربت الوكلاء إلى المسافات المطلوبة، وتحرك التشكيل عبر مسار مع الحفاظ على شكله.
التحكم في الموضع: باستخدام مخطط صلب كامل (m=15)، أظهر النظام أنه بدون إشارة التحكم الإضافية ω، قد تستقر الوكلاء عند توازن محلي لا يتطابق مع الطوبولوجيا العالمية المطلوبة. ومع تفعيل ω، حققت الوكلاء استقراراً تقاربياً، حيث تقاربت نحو التشكيل والمسار المطلوبين مع الحفاظ على مسافات خالية من الاصطدام (أكبر من 0.9 متر).
الأهمية والادعاءات تزعم الورقة أن أهميتها الأساسية تكمن في توفير نهج مستوحى فيزيائياً ومدعوم نظرياً للتحكم في التشكيل. من خلال الاستفادة من مصفوفة التشكيل ومخطط (CbI)، يحقق المؤلفون بنية تحكم حيث:
التصميم القائم على الطاقة يتعامل طبيعياً مع تجنب الاصطدام والحفاظ على التشكيل.
الخصائص الهندسية للنظام (عبر مصفوفة التشكيل) تولد بطبيعتها الثوابت اللازمة (دوال كازيمير) لتبسيط قانون التحكم إلى شكل تغذية راجعة حالة ثابتة.
يقدم النهج بديلاً أكثر شمولاً واتساقاً فيزيائياً للطرق التي تفصل نماذج الطاقة عن هندسة التفاعل أو تعتمد فقط على التمثيلات القائمة على الزوايا.
يؤكد المؤلفون أنه بينما يتطلب التحكم في الوكيل القائد مخططاً صلباً بأدنى حد لضمان الاستقرار وتمام رتبة مصفوفة التحويل، فإن استراتيجية التحكم في الموضع توفر المتانة في الحفاظ على الطوبولوجيا من خلال استخدام هيكل مرجعي افتراضي وإشارة تثبيت إضافية. وتخلص الورقة إلى أن تقنية مخطط الروابط (Bond Graph) كانت أساسية في استخلاص هذه النتائج، لا سيما في الكشف عن العلاقات السببية التي تؤدي إلى تفسير التغذية الراجعة الحالة الثابتة.