Structural Averaged Controllability for Linear Ensemble Systems: Multi-input Case

ملخص تقني: التحكم الهيكلي المتوسط للأنظمة المجمعة الخطية: حالة المدخلات المتعددة

صياغة المشكلة
تتناول هذه الورقة مسألة التحكم الهيكلي المتوسط (Structural Averaged Controllability) للأنظمة المجمعة الخطية ذات المدخلات المتعددة. يتكون النظام المجمع من مجموعة متصلة من الأنظمة الخطية ذات الزمن الثابت (LTI) التي يتم تمثيلها بمعلمة $\sigma \in \Sigma$، وتُقاد بواسطة مدخل تحكم مشترك $u(t)$. ديناميكيات النظام هي:
$$\frac{\partial}{\partial t}x(t, \sigma) = A(\sigma)x(t, \sigma) + B(\sigma)u(t)$$
حيث $A(\sigma)$ و $B(\sigma)$ دوال قياسية محدودة. هدف التحكم هو التحكم المتوسط (Averaged Controllability): القدرة على توجيه الحالة المتوسطة $\bar{\chi}(T) = \int_\Sigma x(T, \sigma) d\mu$ إلى أي متجه هدف في $\mathbb{R}^n$ لأي ملف أولي.

التركيز المحدد هو على الجانب الهيكلي: بالنظر إلى نمط التناثر (الممثل برسم بياني موجه $G$) للمصفوفات $(A, B)$، هل يوجد على الأقل تحقيق واحد لهذه المصفوفات يتوافق مع النمط ويجعل النظام المجمع متوسط التحكم؟ بينما تم توصيف حالة المدخل الواحد بشكل كامل في عمل سابق [CG25] باستخدام مفهوم الرسم البياني "الأساسي" (core) والمسار الممتد الموجه، ظلت حالة المدخلات المتعددة العامة مشكلة مفتوحة. يشير المؤلفون إلى أن التوسيع الساذج لشرط المدخل الواحد يفشل لأن قنوات الإدخال المتعددة تتفاعل مع مصفوفة التحكم المتوسط بطرق معقدة.

المنهجية والإطار القائم على نظرية الرسم البياني
يستخدم المؤلفون نهجاً قائماً على نظرية الرسم البياني، حيث يتم تمثيل نمط التناثر عبر رسم بياني موجه $G = (V, E)$ يحتوي على $n$ من عقد الحالة ($\alpha$-nodes) و $m$ من عقد المدخلات ($\beta$-nodes). يعتمد التحليل على تفكيك المكونات القوية للرسم البياني:

1. المكونات القوية: يتم تفكيك الرسم البياني إلى مكونات متصلة بقوة.
2. الأجزاء الدورية واللا دورية: تشكل اتحاد المكونات القوية غير البديهية (التي تحتوي على دورات) والتابعين لها الجزء الدوري $G^+_{cyc}$. أما العقد المتبقية فتُشكل اللب (core) $G^*$، وهو رسم بياني لا دوري يحتوي على جميع عقد $\beta$.
3. مصفوفة التحكم المتوسط المبتورة: بالنسبة للّب $G^*$، يُعرف المؤلفون مصفوفة تحكم متوسط مبتورة $C_{tr}(A, B)$ تتضمن تكاملات $B, AB, \dots, A^{n^*-1}B$، حيث $n^*$ هو عدد عقد $\alpha$ في اللب.

المساهمة الجوهرية للمنهجية هي خوارزمية بنائية لتعيين أوزان الحواف (قيم المدخلات غير الصفرية لـ $A$ و $B$) لتحقيق شروط الرتبة.

• تعيين اللب (الخوارزمية 1): يطور المؤلفون خوارزمية جديدة لتعيين وزن الحافة للّب. وخلافاً لحالة المدخل الواحد التي تعتمد على مسار ممتد بسيط، تتطلب حالة المدخلات المتعددة تعيين أوزان لضمان أن تحقق مصفوفة التحكم المبتورة رتبة صف كاملة. يتضمن ذلك تقسيم فضاء المعلمات $\Sigma$ إلى مجموعات قياسية منفصلة ذات قياس متساوٍ وتعيين دالات وزن محددة (تتضمن غالباً دالة شعاعية قياسية $f$) للحواف.
• التوسيع إلى الرسم البيء الكامل (الخوارزمية 2): بمجرد تعيين اللب، يتم توسيع الأوزان إلى الأجزاء الدورية ($G_{cyc}$) والملحق ($G_{appx}$). يستخدم هذا التوسيع دالة قياسية $f(\sigma)$ مشتقة من إحداثي شعاعي في فضاء المعلمات. من خلال تعيين أوزان تتناسب مع قوى $f(\sigma)$ (تحديداً $f(\sigma)^{k\gamma}$ لثابت غير نسبي $\gamma$)، يضمن المؤلفون أن مساهمات المسارات المختلفة في مصفوفة التحكم المتوسط مستقلة خطياً. هذا يستفيد من كثافة كثيرات الحدود في فضاءات $L^2$ لفصل مساهمات المسارات ذات الأطوال والدورات المختلفة.

المساهمات الرئيسية والنتائج
تقدم الورقة شرطاً ضرورياً وكافياً للتحكم الهيكلي المتوسط في حالة المدخلات المتعددة العامة.

النظرية 3.7: يكون الرسم البياني $G \in \mathcal{G}_{n,m}$ متحكماً فيه متوسطاً هيكلياً إذا وفقط إذا:

1. إمكانية الوصول (Accessibility): كل عقدة $\alpha$ يمكن الوصول إليها من عقدة $\beta$ واحدة على الأقل (أي أن الرسم البياني متاح).
2. المطابقة المشبعة بالصفوف (Row-Saturating Matching): الرسم البياني ثنائي التجزئة $B(S_{G^*})$ المرتبط بنمط التناثر لمصفوفة التحكم المتوسط المبتورة للُّب $G^*$ يقبل مطابقة مشبعة بالصفوف.

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

البرهان بنائي. يقوم المؤلفون صراحةً ببناء زوج $(A, B)$ يتوافق مع نمط التناثر ويحقق شرط الرتبة.

• النظرية 3.1: تثبت أنه لأي مصفوفة هدف $M$ ذات نمط التناثر للُّب، يوجد تحقيق $(A, B)$ على اللب بحيث يكون $C_{tr}(A, B) = M$.
• الخاصية 3.22: تثبت أن الزوج $(A, B)$ المبني للرسم البياني الكامل ينتج مصفوفة تحكم متوسط ذات رتبة صف كاملة.

الأهمية والادعاءات
تدعي الورقة حل المشكلة المفتوحة لتوصيف التحكم الهيكلي المتوسط للأنظمة المجمعة الخطية ذات المدخلات المتعددة. تكمن أهمية العمل في:

1. الاكتمال: يوفر توصيفاً كاملاً قائماً على الرسم البياني، مما يوسع نتائج [CG25] للمدخل الواحد إلى سياق المدخلات المتعددة.
2. البرهان البنائي: النتيجة ليست مجرد وجود احتمالي؛ بل تقدم الورقة خوارزميات محددة (الخوارزمية 1 والخوارزمية 2) لتعيين أوزان الحواف لتحقيق خاصية التحكم.
3. دقة تعدد المدخلات: يبرز العمل أن حالة المدخلات المتعددة "أكثر دقة بشكل كبير" من حالة المدخل الواحد. إن ضرورة وجود مطابقة مشبعة بالصفوف، بدلاً من مجرد مسار ممتد، تعكس التفاعل المعقد للمدخلات المتعددة في مصفوفة التحكم المتوسط.
4. النهج الخوارزمي: يوفر استخدام دالة شعاعية على فضاء المعلمات لفصل مساهمات المسارات طريقة قوية للتعامل مع الطبيعة ذات الأبعاد اللانهائية للأنظمة المجمعة ضمن إطار هيكلي.

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