On the solvability of parameter estimation-based observers for nonlinear systems

إليك ملخص تقني مفصل للورقة البحثية بعنوان: "حول قابلية الحل للمراقبين القائمين على تقدير المعلمات للأنظمة غير الخطية" (On the Solvability of Parameter Estimation-Based Observers for Nonlinear Systems).

1. بيان المشكلة

تتناول الورقة التحدي الجوهري المتمثل في تقدير الحالة للأنظمة غير الخطية العامة المتغيرة زمنياً والموصوفة بـ:
$$\dot{x} = f(x, t), \quad y = h(x)$$
حيث $x \in \mathbb{R}^n$ هو الحالة و $y \in \mathbb{R}^p$ هو المخرج المقاس.

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

المشكلة الجوهرية: تحديد الشروط الضرورية والكافية التي تسمح لنظام غير خطي بتبني تصميم PEBO، مع تحليل خاصيتين:

1. القابلية للتحويل (Transformability): هل يمكن تحويل النظام إلى شكل قياسي محدد عبر معادلة تفاضلية جزئية (PDE)؟
2. القابلية للتعريف (Identifiability): هل يمكن استعادة متجه المعلمات المجهول (الذي يمثل الحالة الأولية) بشكل فريد من نموذج الانحدار الناتج؟

2. المنهجية

يقترح المؤلفون إطار عمل منهجياً لتحليل وضمان وجود مراقبي PEBO من خلال تفكيك التصميم إلى مرحلتين متمايزتين:

أ. القابلية للتحويل (حل المعادلة التفاضلية الجزئية - PDE)

تتضمن الخطوة الأولى إيجاد تحويل إحداثي $\phi(x, t)$ يحول الديناميكيات غير الخطية إلى شكل قياسي حيث تعتمد مشتقة الحالة الجديدة فقط على الإشارات المقاسة:
$$\dot{z} = \beta(y, t)$$
يتطلب هذا حل المعادلة التفاضلية الجزئية التالية:
$$\frac{\partial \phi}{\partial t} + \frac{\partial \phi}{\partial x}f(x, t) = \beta(h(x), t)$$
الابتكار المنهجي الرئيسي:

• بدلاً من الاعتماد على نظريات الوجود المحلي (مثل نظرية فروبينيوس) التي لا تضمن الحقن الشامل (global injectivity)، يقوم المؤلفون ببناء حل عالمي (global solution) للمعادلة التفاضلية الجزئية.
• يقترحون هيكلاً محدداً لـ $\beta$ يتضمن مصفوفة هيرويتز (Hurwitz matrix) $A$ ودالة سلسة $H$:
  $$\beta(h(x), t) = \exp(-At)BH(h(x), t)$$
• باستخدام تحويل إحداثي متغير زمنياً مستوحى من مراقبات كازانتزيس-كرافاريس-لوينبرجر (KKL)، يثبتون أن حلاً من الفئة $C^1$ لـ $\phi(x, t)$ موجود عالمياً على نطاق النظام.
• يضعون شروطاً يكون بموجبها هذا التعيين $\phi$ حقنياً (واحد لواحد)، مما يضمن وجود معكوس يساري $\phi_L$ لاستعادة الحالة الأصلية $x$ من الحالة المحولة $z$.

ب. القابلية للتعريف (استعادة المعلمات)

بمجرد تحويل النظام، تصبح مسألة تقدير الحالة هي تحديد متجه معلمة ثابت $\theta$ بحيث أن $\phi(x, t) = \zeta(t) + \theta$، حيث $\zeta$ هو امتداد ديناميكي مدفوع بالقياسات. يؤدي هذا إلى نموذج انحدار غير خطي:
$$y(t) = h(\phi_L(\zeta(t) + \theta, t))$$
يحلل المؤلفون القابلية للتعريف لـ $\theta$ (ما إذا كان $\theta$ فريداً بناءً على بيانات المخرجات):

• القابلية للتعريف العالمية (Global Identifiability): يستنتجون شروطاً كافية بناءً على قابلية التمييز (distinguishability) للنظام الأصلي. وتحديداً، يظهرون أنه إذا كانت مشتقات مخرجات النظام (حتى الرتبة $k$) تشكل غمرًا حقنياً (injective immersion) (مرتبط بالرصد التفاضلي) عند لحظة زمنية محددة، فإن المعلمة $\theta$ تكون قابلة للتعريف عالمياً.
• القابلية للتعريف المحلية (Local Identifiability): في الحالات التي تكون فيها الشروط العالمية صارمة جداً، يضعون شروط القابلية للتعريف المحلية بناءً على التمييز اللحظي (infinitesimal distinguishability). يتضمن ذلك تحليل النظام المتغير الخطي على طول المسار. ويثبتون أنه إذا كانت مصفوفة جراميان (Gramian matrix) المرتبطة (المتعلقة بمصفوفة معلومات فيشر) غير منفردة، فإن المعلمة تكون قابلة للتعريف محلياً.

3. المساهمات الرئيسية

1. نتائج وجود منهجية: توفر الورقة أول شروط كافية عامة لوجود مراقبي PEBO للأنظمة غير الخطية، متجاوزة بذلك عمليات البناء التجريبية (heuristic) المعتمدة على الحالة بحالة.
2. حل بنائي للمعادلة التفاضلية الجزئية: يقدم المؤلفون طريقة بنائية صريحة لحل معادلة التحويل التفاضلية الجزئية عالمياً، مما يضمن وجود تعيين حقني $\phi(x, t)$ دون الاعتماد على التقريبات المحلية.
3. الربط مع مفاهيم الرصد (Observability): تربط الورقة بصرامة بين قابلية حل PEBO ومفاهيم الرصد الكلاسيكية:
   • ترتبط القابلية للتحويل بحل المعادلة التفاضلية الجزئية وحقنية الحل.
   • ترتبط القابلية للتعريف بـ قابلية التمييز (للنتائج العالمية) والتمييز اللحظي (للنتائج المحلية).
4. تخفيف القيود: توضح الورقة أن الرصد التفاضلي القوي (الموحد عبر الزمن) ليس ضرورياً تماماً؛ إذ يكفي الحقن عند لحظة زمنية واحدة (أو عبر فترة زمنية محدودة) لتحقيق القابلية للتعريف.
5. معالجة الغموض: يعالج المؤلفون مسألة عدم الوحدانية عند اللحظات الزمنية المنفردة من خلال إظهار أن دمج القياسات التاريخية (توسيع الأفق) يحل حالات الغموض في فضاء المعلمات.

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

• الافتراض 1 (Proposition 1): يثبت أنه لأي مصفوفة هيرويتز $A$ ودالة سلسة $H$، يوجد حل من الفئة $C^1$ للمعادلة التفاضلية الجزئية للتحويل عالمياً.
• الافتراض 2 (Proposition 2): يثبت أنه مع اختيار محدد لـ $A$ و $B$ (مصفوفات قطرية ذات قيم ذاتية متميزة)، يكون التحويل $\phi(x, t)$ حقنياً بالنسبة لـ $x$ لمعظم خيارات المعلمات، بشرط أن يكون النظام قابلاً للتمييز عكسياً (backward distinguishable).
• الافتراض 3 (القابلية للتعريف العالمية): إذا استوفى النظام شرط الرصد التفاضلي (حقنية مصفوفة الرصد $O_k$) عند زمن محدد $t_c$، فإن المعلمة $\theta$ تكون قابلة للتعريف عالمياً.
• الافتراض 4 (القابلية للتعريف المحلية): إذا كان النظام قابلاً للتمييز لحظياً وكانت مصفوفة جراميان المرتبطة غير منفردة، فإن المعلمة تكون قابلة للتعريف محلياً.
• مثال المحاكاة: يوضح مثال لنظام غير خطي ما يلي:
  • عند لحظة زمنية واحدة، تحتوي دالة التكلفة لتقدير المعلمات على عدة نقاط صغرى (غير قابلة للتعريف).
  • باستخدام الأمثلة المجمعة (batch optimization) عبر فترة زمنية (أو أفق متوسع)، تتقارب المعلمة نحو القيمة الحقيقية، وتتطابق الحالة المستعادة مع الحالة الحقيقية.

5. الأهمية والأثر

• الربط بين النماذج: نجحت الورقة في سد الفجوة بين الترشيح المتكرر (كفء حسابياً ولكنه مقيد هيكلياً) والتقدير القائم على الأمثلة (مرن ولكنه ثقيل حسابياً). يحتفظ PEBO بالهيكل المتكرر مع الاستفادة من مرونة تحديد المعلمات.
• الأساس النظري: تحل الورقة سؤال "متى" بالنسبة لـ PEBO، مما يوفر أساساً نظرياً لتطبيق هذه الطريقة على فئة أوسع من الأنظمة غير الخطية (مثل الروبوتات، أنظمة الطاقة، والمحركات الكهربائية) حيث تفشل المراقبون التقليديون.
• الاتجاهات المستقبلية: يسلط المؤلفون الضوء على أنه بينما يعد البناء التحليلي لـ $\phi$ سليماً من الناحية النظرية، فإنه يتطلب معرفة بتدفق النظام (الذي غالباً ما يكون غير متاح). وهذا يفتح الباب أمام الأبحاث المستقبلية باستخدام الأساليب القائمة على البيانات (مثل التعلم العميق) لتقريب التحويل $\phi$ واستخدام أدوات أمثلة متقدمة للتعامل مع دوال التكلفة غير المحدبة المتأصلة في PEBO.

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