Robot Teams Sharing a Load: Compositional Decay Certificates

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

لقد طور فريق من الباحثين من فنلندا وكوريا الجنوبية والولايات المتحدة طريقة جديدة للتحقق من استقرار فرق الروبوتات هذه دون الحاجة إلى حل النظام بأكمله دفعة واحدة. يقدم عملهم، وهو مسودة بحثية مقدمة إلى مجلة (Automatica)، طريقة يمكن لكل روبوت من خلالها إثبات مساهمته الخاصة في استقرار الفريق باستخدام المعلومات المحلية فقط. وجد الباحثون أنه إذا تم ترتيب الروبوتات في هيكل محدد يشبه الشجرة، فيمكن لكل منها التحقق من شرط بسيط بمفرده، وإذا اجتاز كل روبوت هذا الشرط، فإن الفريق بأكره يكون مضمون الاستقرار لأي معدل اضمحلال يقل عن الحد المركزي. ويمثل هذا تحولًا كبيرًا عن الطريقة القديمة، التي كانت تتطلب حاسوبًا مركزيًا لحساب سلوك كل مفصل وعجلة في آن واحد. وقد أثبت الفريق أن هذا النهج المحلي يعمل للعديد من أشكال الفرق الشائعة، مما يسمح لهم بتصميم وحدات تحكم تستخدم طاقة وتخميدًا أقل بكثير مما سبق. ومع ذلك، فقد أشاروا إلى أن تحقيق المعدل المركزي الدقيق يتطلب شرطًا محددًا: وهو أن يكون التجميع قادرًا على تحقيق كل سرعة مشتركة للوحدات (modules) المشتركة بين الخلايا المتجاورة؛ وبدون ذلك، قد لا تصل الفحوص المحلية إلى أقصى معدل.

يكمن جوهر الاكتشاف في كيفية تفكيك الباحثين لمشكلة الاستقرار. لقد عاملوا الفريق كمجموعة من الوحدات، حيث يكون كل روبوت عبارة عن وحدة لها مخزونها الخاص من الطاقة وقدرتها الخاصة على تبديد تلك الطاقة من خلال الاحتكاك والتحكم في المحركات. وأظهر الباحثون أنه إذا استطاع الروبوت إثبات استقراره أثناء حمل حصة محددة من الحمل، وإذا سمح هيكل الفريق لهذه الإثباتات المحلية بالاندماج معًا دون فجوات، فإن التجميع بأكمله يكون مستقرًا. وقد أثبتوا أن هذا النهج "التكويني" (compositional) يعمل لأي بنية فريق تشكل "شجرة وصل" (join tree)، وهي بنية لا تخلق فيها الروابط بين الروبوتات حلقات مغلقة. وفي هذه الحالات، تكون الفحوص المحلية قوية بقدر الفحص العالمي لأي معدلات تحت الحد الأقصى، وتصل إلى الحد الأقصى عندما يحقق التجميع كل سرعة مشتركة للوحدات المشتركة. ومع ذلك، فقد أظهروا أيضًا أنه إذا احتوى هيكل الفريق على حلقة، مثل حلقة من الروبوتات، فمن الممكن بناء سيناريو تجتاز فيه الفحوص المحلية الاختبار ولكن النظام العالمي يكون في الواقع غير مستقر. وهذا الاكتشاف ينفي فكرة أن الفحوص المحلية يمكن أن تحل دائمًا محل الفحوص العالمية؛ فشكل الفريق أمر بالغ الأهمية.

ولاختبار هذه الأفكار، أنشأ الباحثون بيئة محاكاة باستخدام نماذج روبوتات حقيقية، بما في ذلك المناورات المتنقلة ذات الأذرع والعجلات. لقد صمموا مهمات يتعين فيها لفرق مكونة من روبوتين وثلاثة روبوتات التقاط عارضة طويلة من رف، وحملها عبر بوابة، وصعود منحدر، ووضعها على دعامة. كان على الروبوتات التنقل في مساحات ضيقة والتعامل مع الوزن المتغير للعارضة دون إسقاطها أو إجهاد مفاصلها. وفي هذه المحاكاة، قارن الباحثون بين طريقة التصميم المحلية الجديدة وطرق التحكم المركزية التقليدية. ووجدوا أن الطريقة المحلية يمكنها اعتماد نفس مستوى الاستقرار الذي توفره الطريقة العالمية، لكنها سمحت لهم بتصميم وحدات تحكم تستخدم كسب تخميد أقل بنسبة تتراوح بين 40 إلى 44 بالمائة. والتخميد هو قوة تقاوم الحركة لمنع الاهتزاز؛ واستخدام قدر أقل منه يعني أن الروبوتات يمكنها التحرك بحرية وكفاءة أكبر مع بقائها مستقرة. وأظهرت عمليات المحاكاة أن الروبوتات استطاعت إكمال المهمة بأكملها بدقة عالية، مع الحفاظ على خطأ موقع الحمولة دون 0.25 مليمتر في أفضل الحالات.

استكشف الباحثون أيضًا ما يحدث عندما تواجه الروبوتات أحداثًا غير متوقعة، مثل تحرير الحمل أو الإمساك به فجأة مرة أخرى. لقد طوروا قاعدة رياضية، أو "قانون إعادة ضبط" (reset law)، يقوم بتعديل توقعات وحدة التحكم في اللحظة التي يتغير فيها الاتصال. تضمن هذه القاعدة عدم ارتفاع الطاقة المخزنة في النظام بشكل خطير عند ترك الروبوت للحمل أو الإمساك به مجددًا. وفي اختباراتهم، عملت هذه القاعدة بشكل مثالي، مما حافظ على استقرار النظام حتى عندما كانت الروبوتات تنتقل بين أوضاع تشغيل مختلفة. كما درسوا الروبوتات ذات القواعد التي تعتمد على التوجيه بالانزلاق (skid-steered)، مثل الدبابات، والتي تدور عن طريق انزلاق عجلاتها بدلاً من دحرجتها. بالنسبة لهذه الروبوتات، لا تستطيع المحركات وحدها توفير التخميد الكافي لضمان الاستقرار. ووجد الباحثون أن الاحتكاك بين العجلات والأرض يعمل كمخمد طبيعي. ومن خلال مراعاة هذا الاحتكاك في حساباتهم، تمكنوا من إثبات أن هذه الروبوتات الصعبة في التحكم ستظل مستقرة، بشرما كان الاحتكاك قويًا بما يكفي.

لم يتوقف البحث عند حدود المحاكاة. فقد قام الباحثون بتشغيل وحدات التحكم الخاصة بهم على نوعين مختلفين من محركات الفيزياء لمعرفة كيفية أدائها في ظل ظروف أكثر واقعية، بما في ذلك العيوب البسيطة والتأخيرات الموجودة في الأجهزة الحقيقية. تعامل أحد المحركات مع القيود كأنها مثالية، بينما سمح الآخر بنوع من ديناميكيات التلامس والمرونة الموجودة في العالم الحقيقي. وفي البيئة الأكثر واقعية، لا تزال وحدات التحكم تعمل بشكل جيد، رغم أن الطاقة المخزنة في النظام كانت أعلى قليلاً بسبب العيوب. لاحظ الباحثون أن وحدة التحكم ذات المرجع الملائم (fitted-reference controller)، التي تعدل طلبات الروبوت لتتطابق مع ما هو ممكن فيزيائيًا، تفوقت على الطرق التقليدية. فقد قللت من ذروة الخطأ في موقع الحمولة بنسبة تصل إلى 52 بالمائة مقارنة بالنهج القياسي. وكان هذا التحسن ثابتًا عبر مختلف تكوينات الروبوتات وملفات المهام.

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

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

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