2025-11-16T06:37:11.852603

On the equivalence of model-based and data-driven approaches to the design of unknown-input observers

Disarò, Valcher
In this paper we investigate a data-driven approach to the design of an unknown-input observer (UIO). Specifically, we provide necessary and sufficient conditions for the existence of an unknown-input observer for a discrete-time linear time-invariant (LTI) system, designed based only on some available data, obtained on a finite time window. We also prove that, under weak assumptions on the collected data, the solvability conditions derived by means of the data-driven approach are in fact equivalent to those obtained through the model-based one. In other words, the data-driven conditions do not impose further constraints with respect to the classic model-based ones, expressed in terms of the original system matrices.
academic

حول تكافؤ الطرق القائمة على النموذج والطرق المدفوعة بالبيانات لتصميم مراقبات المدخلات المجهولة

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

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

الملخص

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

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

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

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

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

شرح الطريقة

تعريف المهمة

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

x(t+1) = Ax(t) + Bu(t) + Ed(t)  (1)
y(t) = Cx(t)                    (2)

حيث:

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

تعريف UIO: نظام LTI من الشكل Σ̂:

z(t+1) = A_UIO z(t) + B^u_UIO u(t) + B^y_UIO y(t)  (3)
x̂(t) = z(t) + D_UIO y(t)                           (4)

بحيث يتقارب خطأ التقدير e(t) = x(t) - x̂(t) بشكل مقارب إلى الصفر، بغض النظر عن الشروط الأولية وديناميكيات المدخل المجهول.

الطريقة القائمة على النموذج

الشروط الضرورية والكافية (النظرية 2): يوجد UIO إذا وفقط إذا تحقق أحد الشروط التالية:

  1. توجد مصفوفات (A_UIO, B^u_UIO, B^y_UIO, D_UIO) تحقق:
    • A_UIO مستقرة من نوع Schur
    • D_UIO CE = E
    • B^u_UIO = (I - D_UIO C)B
    • A_UIO(I - D_UIO C) + B^y_UIO C = (I - D_UIO C)A
  2. شروط المصفوفات:
    • rank(CE) = rank(E) = r
    • rankzIₙ - A -E; C 0 = n + r, ∀z ∈ ℂ, |z| ≥ 1
  3. الثلاثية (A,E,C) قابلة للكشف القوي*

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

تنظيم البيانات: تنظيم البيانات التاريخية في شكل مصفوفات:

  • Uₚ = uₐ(0) ... uₐ(T-2) ∈ ℝᵐˣ⁽ᵀ⁻¹⁾
  • Xₚ = xₐ(0) ... xₐ(T-2) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
  • Xf = xₐ(1) ... xₐ(T-1) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
  • Yₚ = yₐ(0) ... yₐ(T-2) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾
  • Yf = yₐ(1) ... yₐ(T-1) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾

الافتراض الأساسي: المصفوفة Uₚᵀ Dₚᵀ Xₚᵀᵀ لها رتبة صفوف كاملة m+r+n.

النتيجة الرئيسية (النظرية 9): الشروط التالية متكافئة:

  1. توجد مراقبة من الشكل (3)-(4) بحيث T_Σ ⊆ T_Σ̂
  2. توجد مصفوفات T₁,T₂,T₃,T₄ بحيث Xf = [T₁ T₂ T₃ T₄]Uₚ; Yₚ; Yf; Xₚ و T₄ مستقرة من نوع Schur
  3. شروط البيانات: ker(Xf) ⊇ ker(Uₚ; Yₚ; Yf; Xₚ) و rankzXₚ-Xf; Uₚ; Yₚ = n+m+r, ∀z∈ℂ,|z|≥1
  4. الثلاثية (A,E,C) قابلة للكشف القوي*

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

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

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

الأمثلة الرقمية

استخدام المثال من المرجع 4:

A = [-1 -1  0; -1  0  0; 0 -1 -1]
C = [1  0  0; 0  0  1]
E = [-1; 0; 0]

معاملات التجربة

  • النافذة الزمنية: T = 20
  • المدخل المجهول: يتم توليده بشكل عشوائي منتظم في الفترة (-2,2)
  • الشروط الأولية: يتم اختيارها بشكل عشوائي
  • الاضطراب: يتم توليده بشكل عشوائي في الفترة (-10,10)

طرق المقارنة

المقارنة مع الطريقة المقترحة في المرجع 18

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

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

  1. التحقق من النموذج: التحقق من rank(CE) = rank(E) = r وشروط الكشف القوي*
  2. التصميم المدفوع بالبيانات: إعادة بناء ناجحة لمصفوفة C من البيانات والتحقق من شروط النظرية 9
  3. مقارنة الأداء:
    • مصفوفة A_UIO التي تم الحصول عليها بطريقتنا هي مصفوفة nilpotent
    • الطريقة في المرجع 18 تعطي قيماً ذاتية {0, 0, -0.2}
    • كلا الطريقتين تعملان، لكن طريقتنا تسمح باختيار سرعة التقارب

تحليل الحالات

يوضح الشكل 1 ديناميكيات خطأ تقدير الحالة:

  • الخط الصلب (أسود): طريقة التصميم المقترحة
  • الخط المتقطع (أحمر): طريقة المرجع 18
  • كلا الطريقتين تحقق التقارب المقارب، لكن طريقتنا توفر درجات حرية تصميم أكثر

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

  1. الشروط المدفوعة بالبيانات تحدد بشكل صحيح وجود UIO
  2. المعاملات الكاملة تسمح باختيار خصائص التقارب المطلوبة
  3. عندما تحقق البيانات الافتراضات، لا تفرض الطريقة المدفوعة بالبيانات قيوداً إضافية

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

تصميم UIO القائم على النموذج

  • نظرية مراقب Luenberger 12,13
  • طرق فك الارتباط للمدخلات المجهولة 9,11,21
  • الطرق الهندسية 2 وطرق المعكوس المعمم 15
  • تقنيات تحليل القيم الذاتية 6

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

  • الطريقة ثنائية المرحلة: تحديد النظام أولاً ثم تصميم المراقب
  • الطريقة أحادية المرحلة: الاستفادة المباشرة من البيانات لتجنب مرحلة التحديد 18
  • المحاكاة والتحكم المدفوعة بالبيانات 14

موضع مساهمة هذه الورقة

مقارنة بالأعمال الموجودة، تثبت هذه الورقة للمرة الأولى التكافؤ النظري بين الطريقتين وتوفر حلاً معاملات كاملاً.

الاستنتاجات والمناقشة

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

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

القيود

  1. تتطلب بيانات قياس الحالة التاريخية (قابلة للتطبيق في بيئة المختبر)
  2. تتطلب معرفة بعد المدخل المجهول
  3. تعتمد على افتراض الرتبة الكاملة للبيانات
  4. تنطبق فقط على الأنظمة الخطية الثابتة زمنياً

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

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

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

المميزات

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

أوجه القصور

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

التأثير

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

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

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

المراجع

تستشهد الورقة بـ 24 مرجعاً ذا صلة، تغطي نظرية المراقب والتحكم المدفوع بالبيانات وتحديد النظام وغيرها من المجالات ذات الصلة، مما يوفر أساساً نظرياً متيناً للبحث.

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