حول الملاحظة الوظيفية للأنظمة غير الخطية وتصميم مراقبي وظيفيين بديناميكيات خطأ قابلة للتعيين

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

• معرّف الورقة: 2501.00167
• العنوان: On Functional Observability of Nonlinear Systems and the Design of Functional Observers with Assignable Error Dynamics
• المؤلف: Costas Kravaris (جامعة تكساس إيه آند إم)
• التصنيف: eess.SY cs.SY
• تاريخ النشر: يناير 2025
• رابط الورقة: https://arxiv.org/abs/2501.00167

الملخص

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

السياق البحثي والدافع

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

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

أهمية المشكلة

تتمتع المراقبات الوظيفية بقيمة مهمة في العديد من التطبيقات الهندسية، خاصة في:

1. أنظمة الكشف والتشخيص عن الأعطال
2. أنظمة التحكم التي تتطلب ردود فعل لدوال حالة محددة فقط
3. تقليل رتبة المراقب لتحسين الكفاءة الحسابية
4. المراقبة في العمليات الهندسية الكيميائية

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

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

الدافع البحثي

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

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

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

شرح الطريقة

تعريف المهمة

ضع في الاعتبار نظاماً غير خطياً بالصيغة التالية:

dx/dt = F(x)
y = H(x)  
z = q(x)

حيث x ∈ ℝⁿ هي حالة النظام، y ∈ ℝᵖ هي متجه المخرجات المقاسة، و z هي دالة المخرجات المراد تقديرها. الهدف هو بناء مراقب وظيفي يولد تقديراً لـ z بناءً فقط على قياسات المخرجات y.

الإطار النظري الأساسي

1. تعريف الملاحظة الوظيفية

التعريف 4: إذا كان لأي حالتين ابتدائيتين x₁, x₂ ∈ Χ:

H_F(t;x₁) = H_F(t;x₂) ⟹ q(x₁) = q(x₂)

يُقال أن النظام قابل للملاحظة الوظيفية على Χ.

وهذا يعادل شرط مشتقة لاي:

L_F^i H_j(x₁) = L_F^i H_j(x₂), ∀i=0,1,2,..., j=1,...,p ⟹ q(x₁) = q(x₂)

2. الشروط الكافية للملاحظة الوظيفية

القضية 2: إذا كان هناك عدد صحيح موجب m بحيث يمكن التعبير عن q(x) محلياً كدالة لعناصر مجموعة الملاحظة:

q(x) = ψ(L_F^i H_j(x), i=0,1,...,m-1, j=1,...,p)

فإن النظام قابل للملاحظة الوظيفية محلياً.

3. المراقب الوظيفي بصيغة المدخلات والمخرجات

التعريف 6: نظام ديناميكي بصيغة معادلة تفاضلية من الرتبة ν:

d^ν ẑ/dt^ν = Φ(ẑ, dẑ/dt, ..., d^(ν-1)ẑ/dt^(ν-1), y, dy/dt, ..., d^ν y/dt^ν)

يُسمى مراقباً وظيفياً للنظام إذا استوفى شرط عدم التغيير:

L_F^ν q(x) = Φ(q(x), L_F q(x), ..., L_F^(ν-1) q(x), H(x), L_F H(x), ..., L_F^ν H(x))

تصميم المراقب الوظيفي الخطي

نموذج التصميم

يتم اقتراح صيغة المراقب الوظيفي الخطي:

d^ν ẑ/dt^ν + α_(ν-1) d^(ν-1)ẑ/dt^(ν-1) + ... + α₁ dẑ/dt + α₀ ẑ = 
Γ(y, dy/dt, ..., d^(ν-1)y/dt^(ν-1))

شرط عدم التغيير

شرط عدم التغيير للمراقب الخطي هو:

L_F^ν q(x) + α_(ν-1) L_F^(ν-1) q(x) + ... + α₁ L_F q(x) + α₀ q(x) = 
Γ(H(x), L_F H(x), ..., L_F^(ν-1) H(x))

تحليل ديناميكيات الخطأ

بتعريف الخطأ e = ẑ - q(x)، يمكن الحصول على معادلة ديناميكيات الخطأ:

d^ν e/dt^ν + α_(ν-1) d^(ν-1)e/dt^(ν-1) + ... + α₁ de/dt + α₀ e = 0

بواسطة اختيار جذور كثيرة الحدود λⁿ + α_(ν-1)λ^(ν-1) + ... + α₁λ + α₀ لها أجزاء حقيقية سالبة، يمكن ضمان تقارب الخطأ بشكل مقارب إلى الصفر.

مؤشر المراقب الوظيفي

التعريف 7: أصغر عدد صحيح موجب ν يستوفي الشرط يُسمى مؤشر المراقب الوظيفي:

L_F^k q(x) = ψₖ(H_j(x), L_F H_j(x), ..., L_F^ν H_j(x)), k=0,1,...,ν, j=1,...,p

يوصف هذا المؤشر أقل رتبة قابلة للتطبيق للمراقب الوظيفي الذي يحقق تعيين الأقطاب.

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

حالة التطبيق 1: مفاعل كيميائي متقطع متساوي الحرارة

ضع في الاعتبار التفاعل الكيميائي المستمر غير القابل للعكس A → B → C → D:

• التفاعلات الأولى والثالثة لها حركية من الدرجة الأولى
• التفاعل الثاني له حركية من الدرجة الثانية
• القياس: c_B (تركيز B)
• التقدير: c_A (تركيز A)

حالة التطبيق 2: مفاعل كيميائي مستمر غير متساوي الحرارة

ضع في الاعتبار التفاعل الكيميائي غير القابل للعكس الطارد للحرارة A → B:

• حركية من الدرجة الأولى، معدل تفاعل Arrhenius
• التبريد من خلال سترة التبريد
• القياس: درجة حرارة خليط التفاعل θ ودرجة حرارة السترة θ_J
• التقدير: تركيز A في المحلول c_A

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

لكل حالة:

1. بناء معادلات ديناميكيات النظام
2. حساب علاقات مشتقات لاي
3. تحديد مؤشر المراقب الوظيفي
4. تصميم المراقب الوظيفي الخطي
5. التحقق من شروط عدم التغيير

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

نتائج الحالة 1

• مؤشر المراقب الوظيفي: ν = 1
• العلاقات الوظيفية:

  ψ₀(y, dy/dt) = (1/k₁)y + (1/k₂)(dy/dt)
  ψ₁(y, dy/dt) = -k₂(dy/dt) + (dy/dt)
  

• معادلة المراقب:

  dẑ/dt - λẑ = -λ(1/k₁ + 1/k₂)(dy/dt) - λ(1/k₁)y
  

نتائج الحالة 2

• مؤشر المراقب الوظيفي: ν = 1
• تم بنجاح إنشاء المراقب بصيغة المدخلات والمخرجات وصيغة فضاء الحالة
• التحقق من فعالية التصميم النظري

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

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

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

مراقبات الأنظمة الخطية الوظيفية

• Luenberger (1966, 1971): قدم بشكل رائد مفهوم المراقب الوظيفي للأنظمة الخطية
• Darouach (2000): وجود وتصميم المراقبات الوظيفية الخطية
• Fernando et al. (2010): تصميم المراقبات الوظيفية الخطية ذات الرتبة الدنيا

مراقبات الأنظمة غير الخطية

• Hermann & Krener (1977): الأساس النظري لنظرية الملاحظة للأنظمة غير الخطية
• Krener & Isidori (1983): مراقبات الخطية بناءً على حقن المخرجات
• Kazantzis & Kravaris (1998): تصميم مراقبات الأنظمة غير الخطية باستخدام نظرية Lyapunov المساعدة

المزايا النسبية لهذه الورقة

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

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

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

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

القيود

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

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

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

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

المزايا

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

أوجه القصور

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

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

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

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

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

المراجع

1. Luenberger, D.G. (1966). Observers for multivariable systems. IEEE Trans. Automat. Contr.
2. Hermann, R. and Krener, A.J. (1977). Nonlinear Controllability and Observability. IEEE Trans. Automat. Contr.
3. Kravaris, C. and Venkateswaran, S. (2021). Systems & Control Letters.
4. Montanari, A.N. et al. (2022). Functional observability and subspace reconstruction in nonlinear systems. Physical Review Research.

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