Timely Activation of Safety Filters via One-Step Reachability Expansion

يُتوقع من الروبوتات والمركبات ذاتية القيادة بشكل متزايد أن تتنقل في مساحات معقدة ومزدحمة، من أرضيات المصانع إلى شوارع المدن. وللقيام بذلك بأمان، يعتمد المهندسون على أطر رياضية تعمل كحواجض غير مرئية، تضمن عدم دخول الآلة أبداً في حالة يصبح فيها الاصطدام أو الفشل أمراً حتمياً. أحد الأساليب القوية، المعروف باسم "تحليل الوصول" (reachability analysis)، يعمل بشكل عكسي من الكارثة لرسم كل مسار محتمل يمكن للنظام اتخاذه للوصول إلى تلك الكارثة. هذه الخريطة، التي تسمى "أنبوب الوصول الخلفي" (backward reachable tube)، تحدد حداً: إذا بقي الروبوت خارج هذا الأنبوب، فهو في أمان؛ وإذا لمس الحدود، يجب عليه اتخاذ إجراء فوري ومحدد لتجنب الخطر. من الناحية النظرية، يبدو هذا النظام مثالياً. ومع ذلك، فإن الروبوتات في العالم الحقيقي لا تفكر أو تتحرك في تدفق سلس ومستمر، بل تعمل في سلسلة من اللقطات السريعة، حيث تتحقق من موقعها، وتحسب اتجاهاً جديداً، وتضبط محركاتها في فترات زمنية ثابتة. هذه الفجوة بين النظرية السلسة والواقع المتقطع تخلق نقطة عمياء خطيرة. فبين لقطة وأخرى، يمكن للروبوت نظرياً أن "يقفز" فوق حدود السلامة ويهبط مباشرة داخل منطقة الخطر قبل أن يدرك الكمبيوتر حتى أنه قد تجاوز الخط.

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

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

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

لاختبار هذه الفكرة، قام الفريق بمحاكاة سيارة ذاتية القيادة، تم نمذجتها كسيارة "دوبنز" (Dubins car)، وهي تتنقل في بيئة مزدحمة مليئة بالعوائق. كان على السيارة الانتقال من نقطة البداية إلى هدف معين مع تجنب محيط مستطيل يحتوي على أربعة عوائق دائرية. برمج الباحثون السيارة لاستخدام استراتيجية ملاحة قياسية لا تهتم بطبيعتها بالسلامة، معتمدة كلياً على مرشح السلامة لمنع الاصطدامات. ثم قارنوا بين سيناريوهين: أحدهما يستخدم مرشح السلامة الذي يعتمد على الحدود القياسية الأصلية، والآخر يستخدم الحد الموسع الجديد. أجروا هذه المحاكاة مع فترات زمنية مختلفة بين تحديثات التحكم، تتراوح من 0.1 ثانية إلى 0.4 ثانية، وأدخلوا اضطرابات عشوائية لمحاكاة عدم القدرة على التنبؤ في العالم الحقيقي.

كانت النتائج صارخة. فعند استخدام الحد القياسي، فشل الروبوت تكراراً في تجنب الاصطدامات، خاصة مع زيادة الفترات الزمنية بين التحديثات. وفي الاختبار الأكثر تحدياً بفاصل زمني قدره 0.2 ثانية، سمحت الطريقة القياسية للروبوت بالاصطدام في 95 حالة من أصل 100 عملية محاكاة. حيث كان الروبوت يقترب من العائق، وينتظر كمبيوتر الروبوت التحديث التالي، وفي تلك اللحظة الخاطفة، يقفز الروبوت فوق خط السلامة ويصطدم بالعائق. وفي المقابل، حافظ النظام الذي يستخدم الحد الموسع على السلامة في الغالبية العظمى من الحالات. ومع نفس الفاصل الزمني (0.2 ثانية)، حافظت الطريقة الموسعة على سلامة الروبوت في 82 حالة من أصل 100 عملية محاكاة. وحتى عندما حدثت حالات فشل مع الطريقة الموسعة، كانت أقل خطورة بكثير؛ حيث اخترق الروبوت منطقة العائق بمسافة أصغر بكثير، وكان الوقت قبل وقوع أول فشل أطول.

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

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