Data-Driven Optimal Distributed Controller Synthesis via Spatial Regret

ملخص تقني: تخليق متحكم موزع أمثل قائم على البيانات عبر الندم المكاني

صياغة المشكلة
تتناول الورقة البحثية تحدي تصميم متحكمات موزعة مثلى لأنظمة خطية زمنية ثابتة (LTI) واسعة النطاق تحت قيود اتصالات هيكلية. إن طرق التحكم الأمثل التقليدية، مثل تصميمات $H_2$ و $H_\infty$، غالبًا ما تكون "غير مدركة للرسم البياني" (graph-agnostic)، حيث تعامل جميع الاضطرابات بشكل موحد بغض النظر عن موقعها أو طوبولوجيا الاتصال في الشبكة. هذا النهج يفشل في استيعاب تدهور الأداء الناتج عن تدفق المعلومات المحدود في البيئات الموزعة.

علاوة على ذلك، فإن الطرق الحالية لتقليل "الندم المكاني" (spatial regret) — وهو مقياس يحدد الفجوة في الأداء بين متحكم موزع مقيد و"متحكم أوراكل" (oracle) ذو قدرات اتصال محسنة — تعتمد على نماذج حالة فضاء دقيقة. وبالنسبة للأنظمة واسعة النط scales، غالبًا ما يكون الحصول على مثل هذه النماذج البارامترية أمرًا غير ممكن أو غير موثوق به. وتتمثل المشكلة الجوهرية في تخليق متحكم موزع يقلل الندم المكاني مباشرة من بيانات استجابة التردد التي تم الحصول عليها تجريبيًا، دون الحاجة إلى تحديد هوية النظام (system identification) كوسيط، مع الحفاظ على استقرار الحلقة المغلقة والالتزام بهياكل اتصال ثابتة.

المنهجية
يعمل الإطار المقترح بالكامل في نطاق التردد باستخدام دوال استجابة التردد (FRFs) المقاسة. وتتم المنهجية كما يلي:

1. الحصول على البيانات: يتم التقاط سلوك مدخلات ومخرجات المنشأة عبر FRF، وتحديدًا تقدير دالة النقل $G_{22}$ من بيانات المدخلات والمخرجات المحفزة باستمرار. يتم تعريف دوال النقل الأخرى ($G_{11}, G_{12}, G_{21}$) من قبل المستخدم لترميز مواصفات الأداء ونماذج الاضطراب.
2. تعريف الأوراكل (Oracle): يتم تعريف متحكم "أوراكل" $\hat{K}$ بطوبولوجيا اتصال محسنة ($\hat{K} \supseteq K$). يعمل هذا الأوراكل كمرجع افتراضي يمكنه الوصول إلى قياسات أو روابط اتصال إضافية. ويُعرف الندم المكاني بأنه أسوأ حالة لفجوة الأداء بين المتحكم المقيد $K$ والأوراكل $\hat{K}$ عبر اضطرابات محدودة.
3. إعادة الصياغة في نطاق التردد: تتم إعادة صياغة مشكلة تقليل الندم المكاني في نطاق التردد. وباستخدام Lemma 1، ثبت أن مقياس الندم يكافئ القيمة العليا (supremum) للقيمة العظمى للقيم الذاتية للفرق بين مصفوفات دالة النقل للحلقة المغلقة للمتحكم المقيد والأوراكل.
4. التخليق المتكرر المحدب:
   • يتم تمثيل المتحكم عبر تحليل عامل أيسر $K = Y^{-1}X$.
   • تصبح مشكلة التحسين الناتجة غير محدبة بسبب الحدود التربيعية ومتطلبات استقرار الحلقة المغلقة.
   • يقترح المؤلفون خوارزمية تكرارية (Theorem 1) تقوم بـ "خطيّة" (linearize) القيود غير المحدبة باستخدام حد أدنى محدب مشتق من متحكم مستقر سابق $K_c$.
   • في كل تكرار، يتم حل مشكلة تحسين محدبة (برنامج شبه لانهائي يتم حله عبر تقسيم الشبكة الترددية) لتحديث $X$ و $Y$.
   • والأهم من ذلك، إذا بدأت الخوارزمية بمتحكم مستقر، فإنها تضمن بقاء المتحكم المُخلق مستقرًا في كل تكرار.

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

1. توسيع نطاق صلاحية النموذج (Well-Posedness): وسع المؤلفون نتائج صلاحية نموذج الندم المكاني (التي تم إثباتها سابقًا لفئات محددة من المتحكمات) لتشمل فئات المتحكمات التعسفية. وقد أثبتوا أنه إذا صُمم الأوراكل لتقليل معيار كلاسيكي ($H_2$ أو $H_\infty$) عبر مجموعة القيود المحسنة، فإن مقياس الندم المكاني مضمون ليكون غير سالب لأي متحكم مقيد، مما يضمن صحة المرجع.
2. إطار تخليق قائم على البيانات: أعادت الورقة صياغة تقليل الندم المكاني ضمن إطار عمل في نطاق التردد قائم على البيانات. وهذا يلغي الاعتماد على تحديد هوية النظام البارامتري، مما يسمح بتخليق المتحكم مباشرة من قياسات استجابة التردد.
3. خوارزمية حافظة للاستقرار: تم تطوير خوارزمية تكرارية محدبة سهلة التتبع تقوم بتخليق متحكمات موزعة ذات هيكل ثابت. تضمن الطريقة استقرار الحلقة المغلقة طوال التكرارات، بشرط أن تكون البداية بمتحكم مستقر.

النتائج
تم التحقق من المنهجية من خلال تجارب عددية على نموذج شبكة طاقة مكونة من 5 حافلات (buses) مع ديناميكيات التأرجح (swing dynamics).

• الإعداد: تم تقييد المتحكم الموزع باتصالات الجيران الأقرب مع تأخير لمدة خطوة واحدة. مُنح الأوراكل وصولاً فوريًا إلى قياسات من حافلة محددة (Bus 1) عرضة للاضطرابات.
• المقارنة: تمت مقارنة متحكم الندم المكاني ($K_{SR}$) مع متحكمات $H_2$ ($K_2$) و $H_\infty$ ($K_\infty$) الموزعة الكلاسيكية.
• الأداء:
  • في نطاق التردد، حقق $K_{SR}$ مقايضة مواتية بين متوسط أداء $K_2$ والمتانة (robustness) الخاصة بـ $K_\infty$ بالقرب من قمم الرنين.
  • بالنسبة للاضطرابات الموضعية عند العقدة المحددة (Bus 1)، حاكى $K_{SR}$ أداء الأوراكل بشكل وثيق، متفوقًا بشكل كبير على كل من $K_2$ و $K_\infty$.
  • أظهرت محاكاة المجال الزمني مع اضطرابات متعددة الساين (multi-sine) على Bus 1 أن $K_{SR}$ قلل من متوسط طاقة المخرج المنظم بنسبة 21.72% مقارنة بـ $K_2$ وبنسبة 48.00% مقارنة بـ $K_\infty$.

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

يقر المؤلفون بوجود قيود: تتطلب التعميمات على هياكل المتحكمات التعسفية حلاً تكراريًا بدلاً من برنامج محدب واحد، ولا تضمن الطريقة الاكتمال (completeness) فوق مجموعة جميع المتحكمات المستقرة (فهي تستكشف مجموعة فرعية محددة بواسطة التحليل العامل الأيسر). بالإضافة إلى ذلك، فإن التعقيد الحسابي يتناسب مع حجم الشبكة، مما يشير إلى أن التنفيذات الموزعة لمشكلة التحسين تظل مجالًا للأبحاث المستقبلية. يبني هذا العمل على أطر عمل التحكم القائمة على البيانات (مثل Schuchert et al., 2024; Gupta et al., 2026) ويمد مفهوم الندم المكاني (Martinelli et al., 2025) إلى بيئة خالية من النموذج (model-free).