السلوكيات والمسارات والبيانات: منظور جديد لتصميم مراقبات المدخلات المجهولة

المعلومات الأساسية

• معرّف الورقة البحثية: 2407.18833
• العنوان: السلوكيات والمسارات والبيانات: منظور جديد لتصميم مراقب المدخلات المجهولة
• المؤلفون: جيورجيا ديسارو، ماريا إيلينا فالشر (جامعة بادوفا)
• التصنيف: math.OC (التحسين والتحكم)، math.DS (الأنظمة الديناميكية)
• تاريخ النشر: 26 يوليو 2024 (نسخة arXiv التمهيدية)
• رابط الورقة البحثية: https://arxiv.org/abs/2407.18833

الملخص

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

خلفية البحث والدافع

تعريف المشكلة

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

تحليل الأهمية

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

قيود الطرق الموجودة

1. تصميم مراقب المدخلات المجهولة التقليدي: يركز بشكل أساسي على العمليات الجبرية للفضاء الحالة، ويفتقر إلى إطار نظري موحد
2. تطبيق نظرية السلوك: المراقبات المصممة في الأبحاث الموجودة 1,12,15 لا تضمن السببية
3. الطرق المدفوعة بالبيانات: الأعمال السابقة 3,4,11 تناولت فقط الحالة المبسطة حيث لا يؤثر التشويش على المخرجات

المساهمات الأساسية

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

شرح الطريقة

تعريف المهمة

ضع في الاعتبار نظام الوقت المتقطع LTI Σ:

x(t+1) = Ax(t) + Bu(t) + Ed(t)    (1a)
y(t) = Cx(t) + Du(t) + Fd(t)      (1b)

حيث:

• x(t) ∈ ℝⁿ: متجه الحالة
• u(t) ∈ ℝᵐ: مدخل التحكم المعروف
• y(t) ∈ ℝᵖ: متجه المخرجات
• d(t) ∈ ℝʳ: المدخل المجهول (التشويش)

تصميم مراقب المدخلات المجهولة:

z(t+1) = A_UIO z(t) + B^u_UIO u(t) + B^y_UIO y(t)    (2a)
x̂(t) = z(t) + D^u_UIO u(t) + D^y_UIO y(t)            (2b)

أساسيات نظرية السلوك

تعريف السلوك: السلوك B ⊆ (ℝʷ)^ℤ₊ هو مجموعة المسارات التي تحقق مجموعة من معادلات الفروقات:

R(σ)w = 0

حيث R(z) ∈ ℝz^(p×w) مصفوفة متعددة الحدود، و σ هو عامل الإزاحة لليسار.

المفاهيم الأساسية:

1. إسقاط السلوك: P_{w₁}B = {w₁ : ∃w₂ بحيث (w₁,w₂) ∈ B}
2. معدم اليسار الأدنى (MLA): مصفوفة متعددة الحدود ذات الحد الأدنى تحقق H(z)M(z) = 0
3. احتواء السلوك: شرط تحديد B₁ ⊆ B₂

تصميم مراقب المدخلات المجهولة بناءً على السلوك

حالة النموذج المعروف

تمثيل سلوك النظام:

B_Σ = ker(R_Σ(σ))

حيث:

R_Σ(z) = [zI_n - A  -B   0   -E]
          [-C       -D   I_p -F]

تمثيل سلوك مراقب المدخلات المجهولة:

B_Σ̂ = ker(R_Σ̂(σ))

النظرية الرئيسية: النظام Σ̂ هو مراقب مدخلات مجهولة للنظام Σ إذا وفقط إذا:

1. شرط المستقبل: P_{(x,u,y)}B_Σ ⊆ P_{(x̂,u,y)}B_Σ̂
2. شرط الاستقرار: A_UIO مستقر من نوع Schur

شروط التصميم: الشروط الضرورية والكافية لوجود مراقب المدخلات المجهولة هي وجود مصفوفات تحقق:

[-D^y_UIO  A_UIO D^y_UIO - B^y_UIO][CE F] = [-E 0]     (10)
                                    [F  0]

A_UIO = A + [-D^y_UIO  A_UIO D^y_UIO - B^y_UIO][CA]    (11)
                                                [C ]

[B^u_UIO] = [I  -D^y_UIO C  -B^y_UIO][B]               (12)
[D^u_UIO]   [0  -D^y_UIO            ][D]

و A_UIO مستقر من نوع Schur.

الطريقة المدفوعة بالبيانات

البيانات التاريخية: جمع مسارات الحالة-المدخل-المخرج في الفترة الزمنية 0,T-1:

• x_d = {x_d(t)}^{T-1}_
• u_d = {u_d(t)}^{T-1}_
• y_d = {y_d(t)}^{T-1}_

مصفوفة البيانات:

Φ_d = [X_p^T  X_f^T  U_p^T  U_f^T  Y_p^T  Y_f^T]^T ∈ ℝ^{2(n+m+p)×(T-1)}

المسارات المتوافقة: المسار (x,u,y) متوافق مع البيانات التاريخية إذا وفقط إذا:

[x(t)    ]
[x(t+1)  ] ∈ Im(Φ_d), ∀t ∈ ℤ₊
[u(t)    ]
[u(t+1)  ]
[y(t)    ]
[y(t+1)  ]

النتيجة الرئيسية: يوجد مراقب مدخلات مجهولة إذا وفقط إذا كان لأي مصفوفات تحقق ker(V_p V_f W_p W_f R_p R_f) = Im(Φ_d)، يوجد Ω بحيث:

Ω[V_p V_f] = [-A* I_n]

حيث A* مصفوفة مستقرة من نوع Schur.

نقاط الابتكار التقني

1. طريقة التمثيل بالنواة: استخدام تمثيل النواة لمصفوفات متعددة الحدود لوصف سلوك النظام والمراقب بشكل موحد
2. تقنية الإسقاط: استخدام إسقاط السلوك لحذف المتغيرات غير القابلة للملاحظة (المدخلات المجهولة)
3. علاقات الاحتواء: تحويل شرط المستقبل إلى علاقات احتواء السلوك، مما يسهل العمليات الجبرية
4. معاملات البيانات: بناء معاملات مراقب المدخلات المجهولة مباشرة من مصفوفة البيانات، مما يتجنب خطوة النمذجة الوسيطة

إعداد التجارب

الأمثلة العددية

ضع في الاعتبار نظام من الدرجة الثالثة:

A = [1  1 -1]    B = [-1]    E = [1]
    [2  1  1]        [1 ]        [0]
    [1  0 -1]        [1 ]        [1]

C = [1  1  0]    D = [2]    F = [1]
    [1 -1  1]        [1]        [1]

تفاصيل التنفيذ

• النافذة الزمنية: T = 11
• بيانات المدخل: u(t) موزعة بشكل منتظم في (-4,4)، d(t) موزعة بشكل منتظم في (-3,3)
• الشروط الأولية: تم إنشاؤها عشوائياً

نتائج التجارب

عملية التصميم

1. جمع البيانات: بناء مصفوفة البيانات Φ_d
2. حساب النواة: تحديد المصفوفات التي تحقق الشرط (20)
3. حل المعاملات: حل المعادلة (21) من خلال تحليل SVD
4. التثبيت: اختيار L بحيث يكون Ā + LC̄ مستقراً من نوع Schur

معاملات مراقب المدخلات المجهولة المحصول عليها

A_UIO = [0.3721 -0.2326 -0.4651]
        [0.2791 -0.1744 -0.3488]  (القيم الذاتية: 0, 0, 0.5)
        [0.5581 -0.3488 -0.6977]

B^u_UIO = [-2.9070]    B^y_UIO = [1.0930 -0.1860]
          [-0.1802]              [0.3198  0.1105]
          [-0.3605]              [0.6395  0.2209]

التحقق من الأداء

يتقارب خطأ تقدير الحالة إلى الصفر في حوالي 20 خطوة زمنية، مما يتحقق من فعالية مراقب المدخلات المجهولة.

الأعمال ذات الصلة

تطبيقات نظرية السلوك

• الأعمال الأساسية لويليمز 20,21: إنشاء إطار نظرية السلوك
• تصميم المراقبات 1,12,15: تصميم المراقبات في إطار السلوك، لكن لا تضمن السببية
• التحكم المدفوع بالبيانات 6,7,8: طرق مدفوعة بالبيانات بناءً على الليما الأساسية لويليمز

طرق تصميم مراقب المدخلات المجهولة

• الطريقة الكلاسيكية 2,13: تصميم مراقب المدخلات المجهولة بناءً على الجبر الخطي للفضاء الحالة
• مراقب المدخلات المجهولة المدفوع بالبيانات 3,4,11: يأخذ في الاعتبار فقط الحالة المبسطة حيث لا يؤثر التشويش على المخرجات

مزايا هذه الورقة

1. توحيد النظرية: توفير إطار موحد للطرق المدفوعة بالنموذج والبيانات
2. اكتمال الشروط: التعامل مع الحالة العامة حيث يؤثر التشويش على الحالة والمخرجات معاً
3. بساطة الخوارزمية: توفير خوارزمية تصميم جبرية مباشرة

الخلاصة والمناقشة

الاستنتاجات الرئيسية

1. المساهمة النظرية: تطبيق ناجح لنظرية السلوك على تصميم مراقب المدخلات المجهولة، وإنشاء إطار نظري جديد
2. توحيد الطريقة: حل حالات النموذج المعروف والمدفوع بالبيانات في إطار موحد
3. تكافؤ الشروط: إثبات تكافؤ شروط نظرية السلوك مع الشروط الجبرية الكلاسيكية
4. فعالية الخوارزمية: توفير خوارزمية تصميم قابلة للتنفيذ والتحقق منها من خلال أمثلة عددية

القيود

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

الاتجاهات المستقبلية

1. التصميم القوي: النظر في ضوضاء القياس وعدم اليقين في النموذج
2. التعلم عبر الإنترنت: تطوير طرق تصميم مراقب مدخلات مجهولة متكيفة
3. التوسع إلى الأنظمة غير الخطية: توسيع الطريقة إلى الأنظمة غير الخطية
4. المراقبة الموزعة: دراسة تصميم مراقب المدخلات المجهولة الموزع لأنظمة الوكلاء المتعددين

التقييم العميق

المزايا

1. الابتكار النظري: تطبيق منهجي لنظرية السلوك على تصميم مراقب المدخلات المجهولة للمرة الأولى، مما يفتح اتجاهاً بحثياً جديداً
2. اكتمال الطريقة: من التحليل النظري إلى تصميم الخوارزمية إلى التحقق العددي، مما يشكل سلسلة بحثية كاملة
3. إطار موحد: التعامل مع سيناريوهات النموذج المعروف والمدفوع بالبيانات في إطار نظري واحد
4. صرامة الشروط: توفير اشتقاق رياضي صارم وشروط ضرورية وكافية
5. الخوارزمية العملية: توفير خطوات تصميم جبرية يمكن تنفيذها مباشرة

أوجه القصور

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

التأثير

1. القيمة الأكاديمية: توفير أداة رياضية جديدة ومنظور تحليلي جديد لنظرية التحكم
2. مساهمة منهجية: إظهار إمكانيات تطبيق نظرية السلوك في مشاكل التحكم العملية
3. البحث اللاحق: قد تحفز المزيد من الأبحاث حول تصميم أنظمة التحكم بناءً على نظرية السلوك
4. القيمة التعليمية: توفير أساس نظري جيد لفهم التحكم المدفوع بالبيانات

السيناريوهات المطبقة

1. العمليات الصناعية: الأنظمة الصناعية مثل الكيمياء والكهرباء التي تحتوي على تشويشات صعبة النمذجة
2. أنظمة الروبوتات: الحاجة إلى تقدير الحالة في وجود تشويشات بيئية مجهولة
3. الملاحة الجوية والفضائية: الملاحة والتحكم في الطائرات في بيئات معقدة
4. أنظمة الشبكات: المراقبة والكشف عن الأعطال في شبكات الاتصالات

المراجع

تستشهد هذه الورقة بـ 24 مرجعاً مهماً، تشمل بشكل أساسي:

أساسيات نظرية السلوك:

• 20,21 الأعمال الرائدة لـ J.C. Willems
• 18,22 تطور نظرية الأنظمة السلوكية

تصميم المراقبات:

• 1,15 تصميم المراقبات بالطريقة السلوكية
• 2,13 النظرية الكلاسيكية لتصميم مراقب المدخلات المجهولة

الطرق المدفوعة بالبيانات:

• 19 الليما الأساسية لويليمز
• 3,4,11 الأعمال السابقة في تصميم مراقب المدخلات المجهولة المدفوع بالبيانات

توفر هذه المراجع أساساً متيناً لتطور النظرية ومقارنة الطرق في هذه الورقة.