Autonomous Satellite Rendezvous via Hybrid Feedback Optimization

إليك ملخص تقني مفصل للورقة البحثية بعنوان "الالتقاء المداري المستقل عبر التحسين بالتغذية الراجعة الهجينة".

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

تتناول الورقة مشكلة الالتقاء، وعمليات القرب، والالتحام المستقل (ARPOD)، مع التركيز بشكل خاص على قمر اصطناعي "مُطارد" (chaser) يحاول الالتقاء بقمر اصطناعي "هدف" (target) غير متحكم به في المدار الأرضي المنخفض (LEO).

التحديات الرئيسية:

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

الهدف:
تطوير استراتيجية تحكم:

1. لا تعتمد على التنبؤ بالحالات المستقبلية.
2. ترفض الاضطرابات فور ظهورها.
3. تتكيف مع المعالجات البطيئة عبر السماح بحسابات تكرارية غير مثالية.
4. تضمن تقارب القمر "المطارد" إلى نقطة الالتقاء رغم وجود حالات عدم اليقين.

2. المنهجية

يقترح المؤلفون إطار عمل للتحسين بالتغذية الراجعة الهجينة (Hybrid Feedback Optimization). يدمج هذا النهج الديناميكيات الفيزيائية ذات الزمن المستمر مع خوارزميات التحسين ذات الزمن المنفصل التي تعمل في حلقة تغذية راجعة.

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

• الديناميكيات: يتم نمذجة الحركة النسبية للقمر "المطارد" باستخدام معادلات كلوهسي-ويلتشاير (CW) الخطية.
• الاستقرار: نظرًا لأن معادلات CW مستقرة هامشياً، يقوم المؤلفون أولاً بتصميم متحكم تغذية راجعة للحالة ($v = -Ky + u$) لاستقرار النظام تقاربياً. وقد اشتقوا تعبيرات مغلقة الشكل (closed-form expressions) لمصفوفة الكسب $K$ لوضع القيم الذاتية للحلقة المغلقة عند قيم حقيقية سالبة مرغوبة، مما يضمن الاستقرار.
• صياغة النظام الهجين: تم نمذجة النظام كـ نظام هجين (وفقاً لإطار عمل Goebel وSanfelice وTeel):
  • التدفق المستمر ($\dot{\zeta} \in F(\zeta)$): تتطور حالة القمر الاصطناعي $x$ باستمرار وفقاً للديناميكيات المستقرة. وتقوم المؤقتات ($\tau_c, \tau_g, \tau_d$) بالعد التنازلي أو التصاعدي.
  • القفزات المنفصلة ($\zeta^+ \in G(\zeta)$):
    • قفزات التحسين: عندما يصل مؤقت التدرج (gradient descent timer $\tau_g$) إلى الصفر، يتم تحديث متغير التحسين $z$ باستخدام خطوة تدرج من الدرجة الأولى المسقطة (projected gradient descent).
    • قفزات التحكم: عندما يصل مؤقت التحكم ($\tau_c$) إلى الصفر، يتم تطبيق المتغير الحالي للتحسين $z$ كمدخل للتحكم $u$، ويتم أخذ عينة مخرجات جديدة $y_s$.

ب. حلقة التحسين بالتغذية الراجعة

بدلاً من الحل للبحث عن المدخل الأمثل مسبقاً، يعمل النظام على تنفيذ خوارزمية التدرج المنحدر المسقط (projected gradient descent) داخل الحلقة:

• دالة الهدف: تقلل من دالة التكلفة $\Phi(u, y)$ التي تعاقب جهد التحكم والانحراف عن نقطة التقارب الاسمية $\hat{y}$.
• التكيف في الوقت الفعلي: تستخدم الخوارزمية المخرج الفعلي المأخوذ $y_s$ (والذي يتضمن الاضطرابات) بدلاً من مخرجات النموذج المتوقع.
• الحساب التكراري: لا ينتظر النظام وصول خوارزمية التدرج إلى الحل الأمثل تماماً، بل ينفذ عدداً محدوداً من التكرارات ($\ell$) بين تحديثات التحكم، مما يجعله مناسباً للمعالجات البطيئة.

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

1. تصميم متحكم استقرار: صمم المؤلفون متحكماً للتغذية الراجعة لتثبيت معادلات CW المستقرة هامشياً، وقدموا تعبيرات تحليلية مغلقة الشكل لمصفوفة الكسب $K$ بناءً على القيم الذاتية للحلقة المغلقة المرغوبة (النظرية 1).
2. نمذجة النظام الهجين: صاغوا أول نموذج لتحسين التغذية الراجعة الهجينة لعمليات ARPOD، وأثبتوا بدقة أن النظام جيد التحديد (يستوفي الشروط الأساسية الهجينة) وأن جميع الحلول القصوى هي كاملة وغير زائفة (non-Zeno) (الافتراض 1).
3. تحليل التقارب:
   • أثبتوا أن القمر الاصطناعي "المطارد" يتقارب بسرعة أسية نحو كرة حول "نقطة التقارب المتغيرة زمنياً" $\tilde{x}(t)$.
   • اشتقوا حداً صريحاً لنصف قطر خطأ الحالة المستقرة بدلالة بارامترات النظام، وحدود الاضطراب، وسرعة المعالج (النظرية 2).
4. ضمانات المتانة (Robustness): أثبتت الورقة أن النظام متين تجاه الاضطرابات. فالأخطاء المحدودة في توقيت الحسابات وتحديثات التحكم (الاضطرابات في النموذج الهجين) تؤدي إلى انحرافات محدودة في مسار القمر الاصطناعي (النتيجة 1).
5. التحقق عبر المحاكاة: أظهرت عمليات المحاكاة المكثفة فعالية النهج، حيث أظهرت انخفاضاً بنسبة 98.4% في مقدار الاضطرابات مقارنة بمدخل الاضطراب الخام.

4. النتائج

• الأداء الاسمي: تظهر المحاكاة تقارب القمر "المطارد" ضمن حوالي 0.082 متراً من نقطة التقارب المختارة، رغم وجود اضطراب بمقدار 5 وحدات.
• رفض الاضطرابات: تعمل آلية التحسين بالتغذية الراجعة على رفض الاضطرابات بفعالية، مما يقلل من تأثيرها على خطأ الالتقاء بنسبة 98.4%.
• المتانة تجاه أخطاء التوقيت: تم اختبار النظام مع اضطرابات في المؤقتات ($\tau_c$ و $\tau_g$) تمثل التأخير الحسابي أو تذبذب التوقيت (jitter). وحتى مع وجود اضطرابات كبيرة (تصل إلى $\rho=0.9$)، ظل الخطأ التقاربي محدوداً (حوالي 4.23 متراً)، مما يثبت المرونة.
• الاستقلال عن الشروط الأولية: أكدت الاختبارات مع 20 حالة ابتدائية عشوائية مختلفة أن النظام يتقارب بشكل موثوق نحو نقطة الالتقاء بغض النظر عن الحالة الابتدائية.

5. الأهمية

يمثل هذا العمل تحولاً جذرياً في العمليات الفضائية المستقلة من خلال الانتقال من التحكم القائم على التنبؤ (مثل MPC) إلى التحسين القائم على القياس والتغذية الراجعة.

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