⚡ electrical engineering

Input-to-State Safe Backstepping: Robust Safety-Critical Control with Unmatched Uncertainties

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

المؤلفون الأصليون: Max H. Cohen, Pio Ong, Aaron D. Ames

نُشر 2026-02-04

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Max H. Cohen, Pio Ong, Aaron D. Ames

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل أنك تقود سيارة يجب أن تظل داخل مسار محدد (المنطقة الآمنة) لتجنب الاصطدام. الآن، تخيل مشكلتين:

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

تقدم هذه الورقة البحثية "نظام قيادة ذكي" (خوارزمية تحكم) يضمن بقاء السيارة آمنة، حتى عندما يكون الطريق زلقاً والتوجيه متأخراً.

إليك تفصيل لكيفية قيامهم بذلك، باستخدام تشبيهات بسيطة:

1. المشكلة: الاضطراب "غير المتطابق"

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

2. الحل: "شبكة أمان" مع زنبرك مرن

يستخدم المؤلفون أداة رياضية تسمى دالة حاجز التحكم (CBF). فكر في هذا كشبكة أمان مرنة وغير مرئية تحيط بالمنطقة الآمنة.

شبكة الأمان القياسية: إذا لمست الشبكة، فإنها تجذبك بقوة للخلف.
الشبكة الجديدة "ذات الاضمحلال الأمثل": قام المؤلفون بتحسين هذه الشبكة. أدركوا أنه إذا كنت داخل المنطقة الآمنة، فلا داعي للقلق بشأن سحب الشبكة لك. أنت تحتاج للقلق فقط إذا كنت تلمس الحافة أو خارجها. لقد أضافوا "عامل قياس" (متغير يسمونه $\omega$ ) يعمل كـ زنبرك ذكي. إذا كانت الرياح قوية، يصبح الزنبرك أكثر صلابة أو يتمدد بشكل مختلف لضمان عدم دفعك خارج المنطقة الآمنة.

3. الطريقة: "الخطوات الراجعة" (تشبيه السلم)

للتعامل مع مشكلة "التوجيه المتأخر" (حيث لا يصيب التحكم هدف السلامة مباشرة)، استخدموا تقنية تسمى الخطوات الراجعة (Backstepping).
تخيل أنك تحاول تسلق سلم للوصول إلى منصة آمنة (الهدف).

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

4. نوعان من "السلالم"

توضح الورقة كيفية بناء هذا السلم لنوعين محددين من الآلات:

أنظمة التغذية الراجعة الصارمة (Strict-Feedback Systems): مثل سلسلة قيادة صارمة. الجزء الأول يتحكم في الثاني، والذي يتحكم في الثالث. (مثال: البندول المعكوس أو روبوت التوازن).
أنظمة الدرجة النسبية المزدوجة (Dual-Relative-Degree Systems): مثل طائرة بدون طيار حيث يتحكم الجزء العلوي (الموقع) بواسطة الجزء السفلي (الزاوية)، لكن قدرة الجزء السفلي على التحكم في الجزء العلوي تعتمد على الحالة الحالية للجزء السفوي نفسه. (مثال: طائرة درون رباعية المراوح).

5. ماذا أظهرت عمليات المحاكاة

اختبر المؤلفون نظريتهم على نموذجين رقميين:

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

الملخص

تقدم الورقة طريقة جديدة لبرمجة الروبوتات والآلات لتبقى آمنة. إنهم يجمعون بين شبكة أمان مرنة (Optimal Decay CBF) و طريقة بناء خطوة بخطوة (Backstepping). هذا يسمح للآلات المعقدة بالبقاء آمنة حتى عندما:

تتعرض للدفع من قوى غير متوقعة (الرياح، الاحتكاك).
تكون عناصر التحكم لديها لا تعالج المشكلة مباشرة (يجب أن تعمل من خلال خطوات وسيطة).

النتيجة هي نظام لا يكتفي بالأمل في البقاء آمناً، بل يضمن رياضياً البقاء داخل حدود آمنة، حتى في مواجهة المشكلات "غير المتطابقة".

ملخص تقني: التراجع الخلفي الآمن من المدخل إلى الحالة (Input-to-State Safe Backstepping)

بيان المشكلة
لا يزال ضمان السلامة في أنظمة التحكم غير الخطية التي تعمل تحت تأثير اضطرابات غير متطابقة (unmatched disturbances) يمثل تحدياً كبيراً. الاضطرابات غير المتطابقة هي تلك التي لا يمكن إلغاؤها مباشرة بواسطة مدخل التحكم لأنها تدخل في ديناميكيات النظام عبر قنوات مختلفة عن قناة سلطة التحكم. وبينما أثبتت دالات الحاجز للتحكم (Control Barrier Functions - CBFs) فعاليتها في التحكم الحرج للسلامة في الإعدادات الاسمية، فقد تم تطوير دالات (ISSf-CBFs) للتعامل مع الاضطرابات المتطابقة، إلا أن بناء (ISSf-CBFs) للأنظمة ذات الاضطرابات غير المتطابقة يعد أمراً صعباً. إن شروط التحقق التقليدية لـ (ISSf-CBFs) تصبح صارمة للغاية عندما تتلاشى سلطة التحكم عند حدود السلامة، وغالباً ما تفشل في حالة الأنظمة التي تدخل فيها الاضطرابات عبر ديناميكيات مختلفة عن ديناميكيات مدخل التحكم.

المنهجية
تقترح الورقة إطاراً بنائياً يوحد نظرية "الأمان من المدخل إلى الحالة" (Input-to-State Safety - ISSf) مع تقنية "التراجع الخلفي" (backstepping) لمعالجة الاضطرابات غير المتطابقة. تتقدم المنهجية عبر ثلاث مراحل رئيسية:

تعميم (ISSf) عبر دالات التحلل الأمثل (OD-CBFs):
قام المؤلفون أولاً بتعميم إطار (ISSf) من خلال تقديم مفهوم (Optimal Decay ISSf-CBF) أو (OD-ISSf-CBF). يعمل هذا النهج على تخفيف شروط التحقق القياسية بطريقتين:

متغير التحلل الأمثل: يقدم عامل قياس $\omega$ (مقيد من الأسفل بـ $\theta_d$ ) على دالة الفئة- $\mathcal{K}$ (class- $\mathcal{K}$ function) المتمثلة في $\alpha$ . يعمل هذا كمتغير قرار إضافي، مما يوفر مرونة في استيفاء شروط الحاجز.
نموذج الاضطراب المعمم: بدلاً من افتراض دخول الاضطرابات عبر قناة التحكم (المتطابقة)، يستخدم الإطار مصفوفة مدخلات اضطراب $w(x)$ . يتم التحقق من شرط المتانة فقط على طول مسقط الاضطراب على تدرج دالة الحاجز ( $L_{wh}$ )، وليس على كامل التدرج.
تخفيف التحقق: تُظهر نتيجة نظرية رئيسية (Lemma 3) أن الشرط يحتاج فقط إلى التحقق منه عند الحدود وخارج المجموعة الآمنة ( $h(x) \leq 0$ )، بدلاً من التحقق منه في كامل النطاق. إذا كانت سلطة التحكم غير صفرية خارج المجموعة الآمنة، فإن الشرط يتحقق تلقائياً.

توليف التراجع الخلفي للاضطرابات غير المتطابقة:
للتعامل مع الأنظمة التي لا تملك دالة السلامة $h$ سلطة تحكم مباشرة، تستخدم الورقة إجراء التراجع الخلفي لبناء (ISSf-CBFs) لنوعين محددين من الأنظمة:

أنظمة التغذية الراجعة الصارمة (Strict-Feedback Systems): بالنسبة للأنظمة في صيغة التغذية الراجعة الصارمة، تعامل الطريقة الحالات من الرتب العليا كمدخلات تحكم "افتراضية". يتم أولاً تصميم متحكم سلس للطبقة الفرعية العليا لاستيفاء شرط (OD-ISSf-CBF). ثم يتم بناء دالة حاجز مركبة من خلال معاقبة الانحراف بين الحالة الفعلية والمتحكم الافتراضي. تثبت النظرية 2 أنه إذا كانت مصفوفة كسب التحكم للطبقة التالية ذات رتبة كاملة (full row rank)، فإن الدالة المركبة تكون (OD-ISSf-CBF) صالحة للنظام الكامل.
أنظمة الدرجة النسبية المزدوجة (DRD Systems): بالنسبة للأنظمة التي تشبه الأنظمة ذات السطح المسطح (differentially flat systems) (مثل الطائرات بدون طيار "الدرونز") حيث تعتمد ديناميكيات الطبقة العليا على حالة الطبقة السفلى عبر دالة $\psi(\eta)$ ، تعامل الطريقة حاصل الضرب $\psi(\eta)u_z$ كمدخل افتراضي. يتم تصميم متحكم افتراضي للطبقة العليا، ويتم بناء حالة سفلى مرغوبة $\eta_d$ لمحاذاة اتجاهات التحكم مع هذا المدخل الافتراضي. تُظهر الدالة المركبة التي تجمع بين سلامة الطبقة العليا والانحراف لـ $\eta$ عن $\eta_d$ أنها (OD-ISSf-CBF) (النظرية 3)، بشرط استيفاء شروط رتبة محددة لمصفوفات النظام.

تنفيذ المتحكم:
ينتج عن إطار العمل متحكم تغذية راجعة مشتق من برنامج التربيع المربع (Quadratic Program - QP). يقوم هذا البرنامج (QP) بتحسين مدخل التحكم $u$ وعامل القياس $\omega$ بشكل مشترك لتقليل الانحراف عن المتحكم الاسمي مع استيفاء شرط (OD-ISSf-CBF) المخفف. المتحكم الناتج يكون مستمراً (locally Lipschitz continuous) ويضمن الثبات الأمامي لمجموعة آمنة منفوخة $S_\delta$ ، حيث يعتمد حجم النفخ على مقدار الاضطراب والمعاملين $\varepsilon$ و $\theta_d$ .

المساهمات الرئيسية
تدعي الورقة المساهمات الأساسية التالية:

تعميم (ISSf): إطار عمل جديد يستخدم (OD-CBFs) ونموذج مدخلات اضطراب معمم يوفر مرونة متزايدة في التعويض عن الاضطرابات، لا سيما من خلال تخفيف عملية التحقق لتقتصر على الحدود/الخارج من المجموعة الآمنة.
إجراء التراجع الخلفي البنائي: طريقة منهجية لتوليف (ISSf-CBFs) للأنظمة ذات الاضطرابات غير المتطابقة. يتضمن ذلك معالجات تقنية كاملة لأنظمة التغذية الراجعة الصارمة وأنظمة الدرجة النسبية المزدوجة، مما يوسع نطاق تطبيق التراجع الخلفي من الاستقرار إلى التحكم الحرج للسلامة.
ضمانات سلامة متينة: براهين نظرية تثبت أن المتحكمات المولدة تضمن بقاء النظام ضمن جوار محدود للمجموعة الآمنة (ISSf) حتى في ظل وجود عدم يقين غير متطابق، مع القدرة على الحفاظ على سلامة صارمة إذا كانت حدود الاضطراب صغيرة بما يكفي.

النتائج والمحاكاة
تم التحقق من النتائج النظرية من خلال محاكاة عددية على نظامين مرجعيين:

البندول المعكوس: نظام تغذية راجعة صارمة يخضع لاضطرابات غير متطابقة. تُظهر المحاكاة أن المتحكم المقترح ينجح في إبقاء البندول ضمن نطاق زاوي آمن. توضح النتائج المقايضة التي يتحكم بها المعامل $\varepsilon$ : القيم الأصغر لـ $\varepsilon$ توفر متانة أكبر، مما يبقي المسار داخل المجموعة الآمنة، بينما تسمح القيم الأكبر للمسار بالخروج من المجموعة ولكن مع البقاء ضمن جوار محدود، وهو ما يتوافق مع نظرية (ISSf).
الدرون المسطح (Planar Quadrotor): نظام درجة نسبية مزدوجة يخضع لهبات الرياح (اضطرابات غير متطابقة). تُظهر المحاكاة نجاح الدرون في التنقل نحو قيد الجدار. ومع اقتراب الدرون من حدود السلامة، يقوم المتحكم بتعديل التوجه ( $\eta$ ) لمحاذاة متجه الدفع ضد الاضطراب، مما يؤدي فعلياً إلى تحييد عدم اليقين غير المتطابق. تؤكد النتائج أن الاختيار المناسب لـ $\varepsilon$ يضمن السلامة، في حين أن القيم الأكبر تؤدي إلى انتهاكات للسلامة.

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