Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control

ملخص تقني: استغلال أخطاء التقريب المفرط كمعلومات استباقية للتحكم غير الخطي

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

المنهجية
يقترح المؤلفون إطار عمل حيث لا يُعامل خطأ التقريب المفرط كاضطراب مجهول، بل كـ معلومات استباقية تعتمد على المدخلات.

1. السياسات المستنيرة: بدلاً من سياسة التغذية الراجعة للحالة القياسية $\pi(x)$، يعرّف المؤلفون "سياسة مستنيرة" $\pi(x, e)$ تعتمد على كل من الحالة الحالية $x$ وخطأ التقريب المفرط $e$. نظرًا لأن دالة الخطأ $e(x, u) = f(x, u) - \hat{f}(x, u)$ معلومة وحتمية، فإن الخطأ عند وقت التشغيل يكون دالة للمدخل المختار $u$.
2. مشكلة التجسيد (Concretization): يتطلب تنفيذ سياسة مستنيرة إيجاد مدخل $u$ بحيث يكون $u = \pi(x, e(x, u))$. وهذا يخلق تبعية دائرية بين المدخل والخطأ. يصوغ المؤلفون هذا كـ معادلة نقطة ثابتة: البحث عن $u$ بحيث يكون $u = F_x(u)$، حيث $F_x(u) = \pi(x, f(x, u) - \hat{f}(x, u))$.
3. الوجود والحساب:
   • الوجود: باستخدام مبرهنة بروير للنقطة الثابتة، يثبت المؤلفون وجود حل إذا كانت مجموعة المدخلات $U$ غير فارغة، ومدمجة، ومحدبة، وكانت الدوال المعنية مستمرة.
   • الحساب الفعال:
     • الاعتماد المشترك على المدخلات: إذا كانت الديناميكيات الحقيقية والتقريبية تشتركان في نفس الاعتماد على المدخل (على سبيل المثال، $f(x,u) = f_x(x) + B u$ و $\hat{f}(x,u) = \hat{f}_x(x) + B u$)، يصبح الخطأ مستقلًا عن $u$، مما يسمح بحل مغلق الصيغة.
     • الأنظمة الخطية بالنسبة للمدخلات (Input-Affine): بالنسبة للأنظمة التي تكون فيها الديناميكيات خطية بالنسبة لـ $u$ ($f(x,u) = f_x(x) + f_u(x)u$) والسياسات خطية بالنسبة للخطأ، تتحول مشكلة التجسيد إلى برنامج محدب (أو برنامج خطي إذا كانت $U$ متعدد سطوح).
     • الأنظمة غير الخطية العامة: للأنظمة غير الخطية التعسفية، يضع المؤلفون شروطًا تُحدد الحالات التي تكون فيها خريطة النقطة الثابتة دالة تقليص (Contraction). إذا تحققت هذه الشروط، فإن مبرهنة باناخ للنقطة الثابتة تضمن وجود حل فريد يمكن إيجاده عبر طرق تكرارية.
4. تخليق السياسة: لتخليق هذه السياسات، يستخدم المؤلفون تخليق مستوى النظام (SLS). يقومون بتوسيع حالة النظام لتشمل حد الخطأ، مما يحول المشكلة إلى تخليق سياسة تغذية راجعة للحالة لنظام خطي (أو خطي مجزأ) موسع. يسمح هذا باستخدام الأمثلة المحدبة لتصميم سياسات تحقق القيود لجميع حالات تحقق الخطأ الممكنة ضمن مجموعة التقريب المفرط.

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

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

النتائج
يتحقق المؤلفون من نهجهم من خلال تجارب عددية على نظامين غير خطيين:

1. الديناميكيات الخطية بالنسبة للمدخلات: نظام بديناميكيات $\dot{x}_1 = x_2 + 0.5x_1^2$ و $\dot{x}_2 = 0.75x_1^2 + 2x_2^3 + \cos(x_2)u$. حققت السياسة المستنيرة حالة نهائية مضمونة قدرها $x_{1,T} \geq 0.81$، مقارنة بـ $0.62$ للسياسة غير المستنيرة.
2. الديناميكيات غير الخطية: نظام بديناميكيات $\dot{x}_1 = x_2$ و $\dot{x}_2 = -\sin(x_1) + 0.5x_2^2 + 2\sin(u)$. باستخدام التجسيد التكراري القائم على مبرهنة باناخ، ضمنت السياسة المستنيرة $x_{1,T} \geq 3.1$، متفوقة على ضمان السياسة غير المستنيرة البالغ $2.7$.

في كلتا الحالتين، قللت السياسات المستنيرة من التحفظ بشكل كبير، مما سمح للنظام بالوصول إلى مساحة أبعد في حالة النظام مع الالتزام الصارم بالقيود.

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

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