CC-DeePC: Adaptive Conformal Calibration for Safe Data-Enabled Predictive Control under Non-Stationary Dynamics
تقترح هذه الورقة إطار عمل التحكم التنبئي المعتمد على البيانات (CC-DeePC)، وهو إطار عمل آمن يستفيد من الاستدلال المطابق التكيفي لمعايرة قيود المخرجات ديناميكيًا بناءً على بقايا المتنبئ، مما يزيد بشكل كبير من معدل السلامة المعتمدة والخالية من التجاوزات تحت الديناميكيات غير المستقرة مقارنة بالنماذج المرجعية القوية والثابتة الموجودة.
المؤلفون الأصليون:Md Hasibuzzaman, Chan-Yun Yang, Gene Eu Jan
تخيل روبوتًا يتحرك عبر عالم يتغير باستمرار. قد تصبح الأرض تحت عجلاته زلقة، أو قد تتحرك حمولته، أو قد تهب الرياح فجأة. لكي يتحرك بأمان، يجب على الروبوت أن يتنبأ بما سيحدث بعد ذلك ويقرر كيف يوجه مساره. إذا كان تنبؤه خاطئًا، فقد يصطدم أو ينحرف عن المسار الآمن. لعقود من الزمن، حاول المهندسون بناء روبوتات تتعلم من حركاتها الماضية لإجراء هذه التنبؤات، وهي طريقة تعمل بشكل جيد عندما يظل العالم ثابتًا. ولكن عندما يتغير البيئة بشكل غير متوقع، غالبًا ما تفشل هذه الأسالط القديمة لأنها تعتمد على مجموعة ثابتة من القواعد التي لم تعد تتوافق مع الواقع. التحدي يكمن في الحفاظ على سلامة الروبوت دون جعله حذرًا للغاية لدرجة تجعله يتوقف عن الحركة تمامًا.
لقد طور الباحثون نهجًا جديدًا يسمى CC-DeePC لحل هذه المشكلة. بدلًا من التخمين حول كيفية تغير العالم، يقوم هذا النظام بمراقبة أخطائه في الوقت الفعلي. في كل مرة يتنبأ فيها الروبوت بمكانه بعد ثانية واحدة من الآن ثم يتحقق من مكانه الفعلي، فإنه يقيس الفرق. إذا كان الفرق صغيرًا، يعرف الروبوت أن تنبؤه جيد. وإذا كان الفرق كبيرًا، يعرف أن شيئًا ما قد تغير. تستخدم الطريقة الجديدة أداة رياضية تسمى "الاستدلال المطابق التكيفي" (adaptive conformal inference) لتحويل أخطائها الماضية إلى منطقة عازلة للأمان. فهي تقوم باستمرار بتعديل مقدار المساحة الإضافية التي يحتاجها الروبوت ليبقى آمنًا. إذا بدأ الروبوت في ارتكاب أخطاء أكبر، يقوم النظام تلقائيًا بتوسيع منطقة الأمان. وإذا كان الروبوت يؤدي عمله بشكل جيد، فإنه يضيق المنطقة للسماح بحركة أكثر سلاسة وكفاءة. يحدث هذا دون الحاجة إلى معرفة سبب تغير العالم بالضبط أو افتراض أن التغييرات تتبع نمطًا يمكن التنبؤ به.
اختبر الباحثون هذا النظام على روبوت محاكى مصمم لتتبع سرعة معينة. لقد أنشأوا سيناريوهات تتغير فيها سلوكيات الروبوت فجأة، مثل اصطدام سيارة برقعة جليدية، أو بشكل تدريجي، مثل مركبة تحمل حمولة ثقيلة ببطء. وقارنوا طريقتهم الجديدة بعدة استراتيجيات قديمة. استخدمت إحدى الاستراتيجيات القديمة هامش أمان ثابت وكبير جدًا، مما ضمن عدم اصطدام الروبوت أبدًا، ولكنه جعل حركته بطيئة ومتعثرة في كثير من الأحيان. واستخدمت استراتيجية أخرى هامشًا ثابتًا بناءً على بيانات سابقة، وهو ما كان يعمل جيدًا حتى يتغير العالم، وعند تلك النقطة يفشل بصمت. أما الطريقة التكيفية الجديدة فقد أدت أداءً يضاهي أفضل الاستراتيجيات الثابتة من حيث عدد المرات التي انتهك فيها الروبوت قواعد السلامة بالفعل. ومع ذلك، فإن الطريقة التي حققت بها هذه السلامة كانت مختلفة جوهريًا وأكثر موثوقية.
كان الاكتشاف الرئيسي هو أن الطريقة الجديدة حافظت على سلامة الروبوت لأن تنبؤاتها كانت صحيحة في الواقع، وليس لأنها كانت تعتمد على "مخرج رقمي" للهروب. كانت الأساليب القديمة تبدو آمنة في كثير من الأحيان فقط لأنها سمحت للروبوت بخرق قواعد السلامة الخاصة به قليلاً، باستخدام عقوبة مخفية لاستيعاب الخطأ. في المقابل، ضمنت الطريقة الجديدة بقاء الروبوت ضمن حدوده الآمنة لأن المنطقة العازلة التي حسبتها كانت دقيقة حقًا. وفي الاختبارات التي شملت مائة سيناريو مختلف، حققت الطريقة الجديدة معدل "سلامة نظيفة" أعلى بثلاث إلى سبع مرات من أفضل الطرق الثابتة. وهذا يعني أنه في معظم الأوقات، كان الروبوت آمنًا لأن رياضياته كانت صحيحة، وليس لأنه كان يعتمد على عقوبة مخفية.
كما اختبر الباحثون النظام على روبوت أكثر تعقيدًا ذا عجلتين وعلى مركبة محاكية باستخدام بيانات قيادة حقيقية من طريق سريع. في كل حالة، حافظت الطريقة التكيفية على هذا المستوى العالي من السلامة المعتمدة. ومع ذلك، وجدوا حدًا لقدرتها. فعندما نقلوا الاختبار إلى مهمة ملاحة ثنائية الأبعاد حيث يتعين على الروبوت تفادي العوائق المتحركة باستخدام مستشعر يعطي أحيانًا قراءات غير دقيقة، اختفت الميزة. في هذا الإعداد الصعب، لم يستطع النظام تمييز نفسه عن الطرق القديمة، واضطر الروبوت لاتخاذ مسارات أطر وأكثر تعرجًا لتجنب الاصطدامات. وهذا يشير إلى أنه بينما يعد هذا الأسلوب ممتازًا للتحكم في سرعة المركبة واتجاهها، فإنه يعاني عندما تكون البيئة فوضوية والمستشعرات مليئة بالضجيج.
في النهاية، يوفر هذا العمل وسيلة للآلات للبقاء آمنة في عالم متغير دون الحاجة إلى أن تكون متحفظة للغاية. إنه يثبت أن الروبوت يمكنه تعلم تعديل هوامش الأمان الخاصة به أثناء العمل، من خلال التفاعل مع أخطائه للبقاء ضمن الحدود الآمنة. لا يتطلب النظام نموذجًا مثاليًا للعالم أو ضمانًا بأن الظروف ستظل مستقرة. إنه ببساطة يراقب، ويتعلم من أخطائه، ويعدل منطقة الأمان الخاصة به وفقًا لذلك. ورغم أنه ليس حلاً سحريًا لكل المواقف الممكنة، خاصة عندما تكون المستشعرات غير موثوقة، إلا أنه يقدم طريقة قوية وسليمة رياضيًا للحفاظ على سلامة الأنظمة ذاتية القيادة عندما تبدأ الأرض تحت أقدامها في التغير.
ملخص تقني: CC-DeePC
بيان المشكلة يعمل التحكم التنبئي المعتمد على البيانات (DeePC) على تنظيم الأنظمة غير المعروفة مباشرة من مسارات المدخلات والمخرجات المقاسة باستخدام متنبئ سلوكي (تمثيل مصفوفة هانكل). ومع ذلك، فإن موثوقية هذا المتنبئ تعتمد على نافذة البيانات المستخدمة لبنائه. عندما تكون ديناميكيات النظام غير مستقرة (مثل تغير معاملات الاحتكاك أو تغير الأحمال)، تتدهور صلاحية المتنبئ. إن نهج الرصانة الحالي، مثل التنظيم الثابت أو مجموعات الغموض القوية توزيعياً ذات الطابع الاستاتيكي، يتم معايرتها في مرحلة ما قبل التشغيل (offline) ولا تتكيف مع هذه التحولات، مما يؤدي إلى حالات فشل صامتة حيث تتدهور ضمانات السلامة مع ابتعاد الديناميكيات عن بيانات المعايرة. علاوة على ذلك، ركزت الأعمال السابقة حول التنبؤ المطابق (conformal prediction) من أجل السلامة بشكل كبير على معايرة عدم اليقين حول الوكلاء الخارجيين (مثل المركبات الأخرى) بدلاً من نظام الـ ego (النظام الذاتي) الخاص بالمتنبئ القائم على البيانات.
المنهجية: CC-DeePC يقترح المؤلفون CC-DeePC (التحكم التنبئي المعتمد على البيانات والمعاير بالتطابق)، وهو متغير يدمج الاستدلال المطابق التكيفي (ACI) مباشرة في حلقة التحكم في الأفق المتراجع لـ DeePC.
الآلية الجوهرية: بدلاً من الاعتماد على وكلاء خارجيين أو هوامش ثابتة، يقوم CC-DeePC بمعايرة هامش قيد المخرجات (mt) باستخدام بقايا التنبؤ بخطوة واحدة المحققة من قبل المتحكم نفسه (st=∣yt+1−y^t+1∣t∣).
إعادة المعايرة عبر الإنترنت: يستخدم الأسلوب تكرار ACI لتحديث مستوى عدم التغطية αt بناءً على ما إذا كان الباقي الحالي يتجاوز الهامش الحالي. بعد ذلك، يتم ضبط الهامش mt+1 ليكون المئين التجريبي لمخزن مؤقت منزلق من البقايا الأخيرة المقابلة لـ αt+1 المحدثة.
التحسين ذو القيود اللينة: تتم صياغة مشكلة التحكم كبرنامج تربيعي (QP) ذي قيود لينة. يتم تضييق قيود المخرجات بواسطة الهامش mt (أي y+mt≤y^≤yˉ−mt). ولضمان القابلية للحل في الظروف العابرة حيث قد يكون الصندوق المضيّق غير قابل للوصول، يتم إدخال متغيرات امتثال (slo,shi) ذات عقوبات شديدة.
الضمانات النظرية:
الفرضية 1: تثبت حد عدم تغطية تجريبي للأفق المحدود لتسلسل البقايا تحت ديناميكيات غير مستقرة، دون اشتراط فرضيات التبادلية أو الاستقرار.
التمهيد 1 والنتيجة 1: يضعان شرطاً كافياً يربط بين تغطية البقايا وسلامة القيود الفيزيائية. وتحديداً، إذا كانت متغيرات الامتثال غير نشطة (صفرية) وكان الباقي مغطى بالهامش، فإن المخرج الفيزيائي مضمون من حيث استيفاء حدود السلامة. هذا يجسّر الفجوة بين تغطية البقايا النظرية والسلامة الفيزيائية الفعلية.
المساهمات الرئيسية
الصياغة: دمج تحديثات ACI عبر الإنترنت في إطار عمل DeePC ذي القيود اللينة، مما يخلق متحكماً يعيد معايرة هوامش السلامة الخاصة به بناءً على الأداء المحقق.
الجسر النظري: تقديم إثبات صارم (الفرضية 1) لتغطية البقايا تحت ظروف عدم الاستقرار، وشرط كافٍ صريح (التمهيد 1) يربط هذه التغطية بالسلامة الفيزيائية، مما يميز بين "السلامة المعتمدة" (المستوفاة عبر الهامش) و"سلامة الاحتياط" (المستوفاة عبر متغيرات الامتثال).
التحقق التجريبي: إجراء اختبار مرجعي شامل مقابل أربعة نماذج أساسية (النموذذي، والأسوأ حالة الثابت، والمطابق الاستاتيكي، والـ DR-DeePC ذي التوزيع القوي الثابت) عبر أنظمة أحادية المدخل أحادية المخرج (SISO) وأنظمة متعددة المدخلات والمخرجات (MIMO)، بما في ذلك امتدادات البيانات الحقيقية وتجنب العقبات ثنائي الأبعاد.
النتائج
الأداء مقابل الرصانة: في ظل وجود انحراف مفاجئ وتدريجي، كانت معدلات الانتهاك الخام وخطأ جذر متوسط المربعات (RMSE) للتتبع في CC-DeePC لا تختلف إحصائياً عن النموذج الأساسي DR-DeePC. ومع ذلك، وعلى عكس DR-DeePC، لا يعتمد CC-DeePC على التحفظ المفرط لتحقيق هذه المقاييس.
معدل السلامة النظيفة: النتيجة الأكثر أهمية هي "معدل السلامة النظيفة" (نسبة الخطوات التي تم فيها تحقيق السلامة دون تفعيل الامتثال اللين). يحقق CC-DeePC معدل سلامة نظيفة أعلى بمقدار 3.6 إلى 7 أضعاف من DR-DeePC و 1.4 إلى 1.9 ضعفاً من طرق المطابقة الاستاتيكية. يشير هذا إلى أن أداء السلامة في CC-DeePC يستند إلى صلاحية الفاصل الزمني المعاير بدلاً من الحل العددي للـ QP.
العزل السببي: تؤكد دراسات الاستئصال (Ablation studies) أن مكاسب الأداء مدفوعة تحديداً بتكرار ACI (التحديث عبر الإنترنت لـ αt)، وليس مجرد استخدام نافذة منزلقة من البيانات الجديدة.
الامتدادات:
البيانات الحقيقية: عند تطبيقه على معاملات الانحراف المستخرجة من بيانات مسارات مركبات NGSIM، حافظ CC-DeePC على معدل سلامة نظيفة أعلى بكثير مع طلب هامش أصغر بمقدار 3 إلى 10 أضعاف مقارنة بالنماذج الأساسية الثابتة.
الملاحة ثنائية الأبعاد: في مهمة تجنب عقبات أكثر صعوبة في بعدين مع استشعار LiDAR (تقدير حالة غير مثالي)، قلل CC-DeePC من معدلات الاصطدام مقارنة بالنماذج الاسمية والاستاتيكية، لكنه تسبب في أخطاء تتبع وطول مسارات أكبر. ومن المهم ملاحظة أن ميزة "السلامة النظيفة" تضاءلت في هذا الإعداد، لتصبح غير متميزة إحصائياً عن النماذج الأخرى، مما يسلط الض light على حساسية الطريقة لعيوب الاستشعار.
الأهمية والادعاءات يدعي البحث أن CC-DeePC يقدم ميزة متميزة ليس في معدلات الانتهاك الخام (حيث يتساوى غالباً مع النماذج القوية)، بل في قابلية توثيق (certifiability) تلك السلامة. يجادل المؤلفون بأن طرق الرصانة القياسية غالباً ما تحقق معدلات انتهاك منخفضة من خلال الاعتماد على "احتياطات غير موثقة" (تفعيل شديد للامتثال اللين)، بينما يرتكز CC-DeePC أداءه على ضمان خالٍ من التوزيع ومُعاير عبر الإنترنت.
يتسم المؤلفون بالتواضع في ادعاءاتهم، حيث يقرون بـ:
الطريقة لا تتفوق عالمياً على النماذج الثابتة في المقاييس الخام (RMSE أو معدل الانتهاك).
ميزة "السلامة النظيفة" ليست عالمية؛ إذ يمكن أن تتدهور لتصبح غير ذات دلالة إحصائية تحت ظروف عيوب الاستشعار الواقعية والعقبات المتحركة.
تظهر الطريقة تحفظاً مفرطاً عابراً (هوامش كبيرة) فور حدوث تحولات ديناميكية مفاجئة، وهو مقايضة معروفة لآلية ACI.
يستخدم الامتداد الحالي للمتعدد المدخلات والمخرجات (MIMO) درجة عدم تطابق عددي (scalarized nonconformity score) بدلاً من معايرة متعددة المتغيرات بالكامل.
يضع هذا العمل CC-DeePC كخطوة نحو التحكم الآمن القائم على البيانات تحت ظروف الديناميكيات غير المستقرة، مع التأكيد على أهمية التمييز بين السلامة المحققة عبر فترات تنبؤ صالحة وبين السلامة المحققة عبر التخفيف العددي.