Safe Control of Feedback-Interconnected Systems via Singular Perturbations

إليك ملخص تقني مفصل للورقة البحثية بعنوان "التحكم الآمن للأنظمة المترابطة بالتغذية الراجعة عبر الاضطرابات المفردة" (Safe Control of Feedback-Interconnected Systems via Singular Perturbations) من تأليف ستيفانو دي جريجوريو، غويدو كارنيفالي، وجوزيبي نوتارفاستيفانو.

1. بيان المشكلة

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

• الأنظمة الروبوتية: التفاعل بين الديناميكيات الميكانيكية البطيئة (الموقع/السرعة) والديناميكيات الكهربائية السريعة (تيارات المحرك).
• التحكم القائم على الأمثلة (Optimization-based control): نبات فيزيائي (بطيء) يتفاعل مع خوارزمية أمثلة عبر الإنترنت (سريعة) تقوم بحساب مدخلات التحكم.

في هذه السيناريوهات، تعتمد قيود السلامة (مثل تجنب العوائق، أو احترام حدود المفاصل) عادةً فقط على الحالات البطيئة. ومع ذلك، فإن تصميم دوال حاجز التحكم (Control Barrier Functions - CBFs) للنظام الكامل عالي الأبعاد يكون مكلفًا حوسبيًا وغالبًا ما يكون غير قابل للتطبيق بسبب ديناميكيات الاقتران غير المعروفة أو المعقدة.

التحدي الجوهري الذي تعالجه الورقة هو: كيف يمكننا ضمان سلامة نظام كامل مترابط بالتغذية الراجعة باستخدام شهادة سلامة (CBF) مصممة لنموذج مختزل الرتبة فقط؟

2. المنهجية

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

أ. نمذجة النظام

يتم نمذجة النظام كنظام مضطرب مفرد مع معامل صغير $\epsilon > 0$:

• النظام الفرعي البطيء: $\dot{x} = f(x, z, u)$
• النظام الفرعي السريع: $\epsilon \dot{z} = g(z, x, u)$
  • $x$: الحالة البطيئة (على سبيل المثال، الموقع).
  • $z$: الحالة السريعة (على سبيل المثال، التيار، متغيرات الأمثلة).
  • $u$: مدخل التحكم.

ب. الافتراضات الرئيسية

1. تعريف السلامة: تُعرف السلامة حصريًا من خلال الحالة البطيئة $x$ عبر مجموعة $S_x$. المجموعة الآمنة الإجمالية هي $S = \{(x, z) \mid x \in S_x\}$.
2. منطويع التوازن (Equilibrium Manifold): يقبل النظام الفرعي السريع دالة توازن قابلة للاشتقاق المستمر $z_{eq}(x, u)$ بحيث $0 = g(z_{eq}, x, u)$.
3. سلامة الرتبة المختزلة: توجد دالة حاجز تحكم متينة (robust CBF) $h(x)$ ومتحكم $\pi(x)$ للنظام المختزل $\dot{x} = f(x, z_{eq}(x, \pi(x)), \pi(x))$ يحقق شرط السلامة بهامش صارم $\eta > 0$.
4. الاستقرار السريع: "نظام طبقة الحدود" (الديناميكيات السريعة مع حالات بطيئة مجمدة) مستقر أسياً عالميًا، ويتميز بدالة ليابونوف $U(\tilde{z})$.

ج. الحل المقترح: CBF المركب

يقوم المؤلفون ببناء دالة حاجز تحكم مركبة $V(x, z)$ تجمع بين شهادة سلامة الرتبة المختزلة وخصائص استقرار النظام الفرعي السريع:
$$V(x, z) := h(x) - U(z - z_{eq}(x, \pi(x)))$$

• المنطق: المصطلح $h(x)$ يضمن بقاء الحالة البطيعة آمنة. أما المصطلح $-U(\cdot)$ فيعمل كـ "عقوبة" أو "منطقة عازلة" تقلص المنطقة المسموح بها لـ $x$ بناءً على مدى ابتعاد الحالة السريعة $z$ عن توازنها $z_{eq}$.
• النتيجة: إذا كان معامل فصل المقاييس الزمنية $\epsilon$ صغيرًا بما يكفي ($\epsilon < \bar{\epsilon}$)، فإن مجموعة المستوى العلوي الصفرية لـ $V$ (المشار إليها بـ $C_V$) تكون ثابتة للأمام (forward invariant). وهذا يضمن بقاء النظام المترابط الكامل آمنًا.

3. المساهمات الرئيسية

1. أول إطار رسمي لرفع السلامة: هذا هو العمل الأول الذي يضع الشروط الكافية لرفع شهادات السلامة مختزلة الرتبة إلى أنظمة عامة مترابطة بالتغذية الراجعة باستخدام نظرية الاضطراب المفرد.
2. بناء CBF مركب: اشتقاق دالة مركبة محددة $V(x, z)$ تربط رياضياً بين قيد السلامة البطيء وخصائص تقارب النظام الفرعي السريع.
3. الكفاءة الحوسبية: يسم old المنهج مرشح السلامة عبر الإنترنت (الذي يكون عادةً برنامجًا تربيعيًا - QP) ليتم حله فقط للنموذج مختزل الرتبة المنخفض الأبعاد. وتُضمن سلامة النظام الكامل لاحقًا (a posteriori)، بشرط أن يكون $\epsilon$ صغيرًا بما يكفي.
4. المتانة عبر هامش السلامة: تستخدم الطريقة صراحةً هامش سلامة $\eta$ في تصميم الرتبة المختزلة لاستيعاب الاضطرابات الناتجة عن السلوك العابر للنظام الفرعي السريع.

4. النتائج والتحقق

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

أ. ذراع روبوتية مع ديناميكيات محرك المفصل

• الإعداد: ذراع روبوتية مستوية بـ درجتين من الحرية (2-DoF)، حيث تكون الديناميكيات الميكانيكية بطيئة وديناميكيات المحرك الكهربائية سريعة.
• التنفيذ: تم تصميم مرشح سلامة للنموذج الميكانيكي المختزل (مع تجاهل الحث).
• النتيجة:
  • بالنسبة لقيم $\epsilon$ الصغيرة (ديناميكيات كهربائية سريعة)، نجح الروبوت في تجنب العوائق واحترام حدود المفاصل.
  • مع زيادة $\epsilon$ (ديناميكيات كهربائية أبطأ)، لم تتمكن الحالة السريعة من تتبع التوازن بسرعة كافية، مما أدى إلى انتهاكات للسلامة.
  • أكد هذا وجود عتبة حرجة $\bar{\epsilon}$ كما تنبأت بها النظرية.

ب. التحكم الآمن دون المثالية (القائم على الأمثلة)

• الإعداد: نبات فيزيائي يتم التحكم فيه بواسطة خوارزمية أمثلة عبر الإنترنت (تدفق التدرج الأولي-المزدوج/primal-dual gradient flow) لحل مسألة مقيدة.
• التنفيذ: تعمل الخوارزمية كنظام فرعي سريع. تم تصميم مرشح السلامة بافتراض أن خوارزمية الأمثلة تتقارب فورًا.
• النتيجة:
  • عندما كانت خوارزمية الأمثلة سريعة (أي $\epsilon$ صغير)، ظل النظام آمنًا.
  • عندما كانت الخوارزمية بطيئة، انتهك النظام قيود السلامة لأن مدخل التحكم تأخر عن القيمة الآمنة المطلوبة.
  • أظهرت النتائج أن الإطار المقترح يتنبأ بشكل صحيح بالمقايضة بين سرعة الخوارزمية وضمانات السلامة.

5. الأهمية

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

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