Robust Hybrid Finite-Time Parameter Estimation Without Persistence of Excitation

إليك ملخص تقني مفصل للورقة البحثية بعنوان "تقدير المعلمات الهجين القوي في زمن محدد دون اشتراط استمرارية الإثارة" (Robust Hybrid Finite Time Parameter Estimation Without Persistence of Excitation) للباحثين: أدناني سعود، ريان جيه. جونسون، وريكاردو جي. سانفيليس.

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

تتناول الورقة مشكلة تقدير المعلمات المجهولة ($\theta^*$) في نموذج انحدار خطي على الصورة:
$$y(t) = \theta^{*\top}\phi(t)$$
حيث $y(t)$ هو المخرج و $\phi(t)$ هو المنظم (regressor) المعلوم.

التحديات الرئيسية:

• سرعة التقارب: تضمن خوارزميات التدرج التنازلي الكلاسيكية التقارب الأسي فقط تحت شرط استمرارية الإثارة (Persistence of Excitation - PE)، والذي يتطلب أن يكون المنظم مثيراً في كل فترة زمنية ذات طول ثابت.
• الإثارة المخففة: في العديد من السيناريوهات العملية، يكون المنظم مثيراً فقط عبر فترة زمنية محدودة (على سبيل المثال، نافذة محددة من البيانات) بدلاً من كونه مستمراً في الإثارة. في ظل هذه الظروف، تفشل الطرق الكلاسيكية في التقارب إلى قيمة المعلمة الدقيقة.
• المتانة تجاه الضجيج: يجب أن تظل المقدرات مستقرة وتوفر أخطاءً محدودة في وجود ضجيج القياس.
• القابلية للتوسع الحسابي: تعاني طرق الزمن المحدود الموجودة (مثل النهج القائم على DREM) غالباً من تكاليف حسابية عالية ($O(n^3)$) عند كل خطوة زمنية بسبب عمليات قلب المصفوفات، مما يجعلها غير مناسبة للأنظمة عالية الأبعاد.

2. المنهجية

يقترح المؤلفون إطار عمل للأنظمة الهجينة يجمع بين ديناميكيات التدفق في الزمن المستمر والقفزات في الزمن المتقطع لتحقيق التقارب في زمن محدد.

أ. بنية المقدر الهجين

يستخدم المقدر تقديرين للمعلمات $\theta_1$ و $\theta_2$ مرتبطين ببعضهما، يتطوران بشكل مستمر بمعدلات تكيف مختلفة ($\gamma_1 \neq \gamma_2$).

• ديناميكيات التدفق (الزمن المستمر): بين القفزات، تتطور التقديرات عبر التدرج التنازلي:
  $$\dot{\theta}_i = -\gamma_i \phi(t)(\phi(t)^\top \theta_i - y(t))$$
• ديناميكيات القفز (الزمن المتقطع): عند فترات زمنية محددة (يتم تحفيزها بواسطة مؤقت $\tau_a = \delta$)، تحدث قفزة منفصلة. يتم تحديث التقديرات باستخدام توليفة خطية من القيم ما قبل القفزة:
  $$\theta_i^+ = K_1(q)\theta_1 + K_2(q)\theta_2$$
  حيث يتم حساب الكسب $K_1$ و $K_2$ بناءً على مصفوفات انتقال الحالة ($\Phi_1, \Phi_2$) للتدفقات المستمرة خلال الفترة $[0, \delta]$.

ب. شروط الإثارة

الابتكار النظري الجوهري هو تخفيف شرط الإثارة:

• المعلمات الثابتة: يحتاج المنظم $\phi(t)$ فقط إلى أن يكون مثيراً عبر فترة زمنية واحدة محدودة $[0, \delta]$. تضمن الخوارزمية التقارب الدقيق عند أول وقت للقفزة $t=\delta$.
• المعلمات الثابتة جزئياً (التي تتغير مع الزمن): بالنسبة للمعلمات التي تتغير قيمها بمرور الوقت، فإن شرط الاستمرارية (PE) الكلاسيكي مطلوب، ولكن الخوارزمية تضمن التقارب ضمن زمن محدد (تحديداً خلال $2\delta$ بعد تغير المعلمة).

ج. تحليل المتانة

تحلل الورقة المتانة ضد ضجيج القياس $w(t)$ باستخدام الاستقرار من المدخلات إلى الحالة (ISS) و الاستقرار من المدخلات إلى الحالة بالتكامل (iISS):

• تحت شروط PE، يُظهر المقدر أنه مستقر من نوع ISS بالنسبة للضجيج المحدود.
• تحت شرط الإثارة في زمن محدد (الشرط المخفف)، يُظهر المقدر أنه مستقر من نوع iISS، مما يعني أن خطأ التقدير يعتمد على تكامل مقدار الضجيج بدلاً من قيمته القصوى.

د. الكفاءة الحسابية

خلافاً لطرق (DREM) التي تتطلب حساب المحددات وقلب المصفوفات في كل خطوة زمنية (تكلفة $O(n^3)$)، فإن المقدر الهجين المقترح:

• يقوم بعملية تدرج تنازلي بسيطة ($O(n)$) أثناء التدفقات المستمرة.
• يقوم فقط بعملية قلب المصفوفة المكلفة $O(n^3)$ وحساب مصفوفة انتقال الحالة مرة واحدة لكل فترة $\delta$ (عند لحظات القفز).

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

1. التقارب في زمن محدد دون شرط PE: أول مقدر هجين يضمن التقارب الدقيق في زمن محدد للمعلمات الثابتة باستخدام شرط الإثارة في زمن محدد فقط، مما يلغي الحاجة إلى استمرارية الإثارة.
2. الاقتران بين مقدرين: تقديم بنية ذات مقدر مزدوج بمعدلات تكيف متميزة لبناء خريطة قفز تلغي أخطاء التقدير تماماً عند لحظة القفزة.
3. ضمانات المتانة: تقديم إثبات رسمي لخصائص ISS و iISS، مما يثبت أن المقدر يظل مستقراً ومحدوداً تحت تأثير ضجيج القياس.
4. القابلية للتوسع: تقليل كبير في التعقيد الحسابي للأنظمة عالية الأبعاد عن طريق فصل العمليات $O(n^3)$ عن الخطوة الزمنية المستمرة.
5. التوسع للتعامل مع المعلمات المتغيرة زمنياً: طريقة للتعامل مع المعلمات المتغيرة عبر تفكيكها إلى دالات أساسية، مما يحول المشكلة إلى مشكلة ذات معاملات ثابتة مجهولة.

4. النتائج

• الإثباتات النظرية: تقدم الورقة إثباتات صارمة (باستخدام دالات ليابونوف ونظرية الأنظمة الهجينة) تظهر أن خطأ المعلمة يتقارب إلى الصفر تماماً عند $t=\delta$ للمعلمات الثابتة، وضمن $2\delta$ للمعلمات الثابتة جزئياً.
• المحاكاة العددية (المعلمات الثابتة):
  • أظهرت التقارب إلى القيم الدقيقة في $\delta=1$ ثانية لنظام كان فيه المنظم مثيراً فقط في الفترة $[0, 2]$ وصفر في غير ذلك.
  • فشل التدرج التنازلي الكلاسيكي في التقارب في هذا السيناريو.
  • في وجود الضجيج ($w(t) = 6\sin(10t)$)، ظل خطأ التقدير محدوداً بما يتناسب مع مقدار الضجيج.
• المحاكاة العددية (المعلمات المتغيرة زمنياً): نجحت في تقدير معلمة متغيرة زمنياً تم توليدها بواسطة دالات أساسية متعددة الحدود، حيث أعادت بناء المسار الدقيق بعد فترة الإثارة.
• مقاييس القابلية للتوسع:
  • تمت المقارنة مع مناهج DREM (المراجع [14]، [5]، [17]) عبر أبعاد من $n=10$ إلى $n=5000$.
  • نسبة السرعة: أظهر النهج الهجين زيادة في نسبة السرعة من 1.24x عند $n=10$ إلى 906x عند $n=5000$.
  • عند $n=5000$، استغرقت مناهج DREM أكثر من ساعة واحدة، بينما استغرق المقدر الهجين 4.94 ثانية فقط.

5. الأهمية

يمثل هذا العمل تقدماً كبيراً في التحكم التكيفي وتحديد الأنظمة:

• القابلية للتطبيق العملي: يتيح التقدير الدقيق للمعلمات في السيناريوهات التي تكون فيها البيانات شحيحة أو الإثارة عابرة (مثل المناورات قصيرة المدة، أو نوافذ استشعار محددة)، وهو ما كان مستحيلاً سابقاً مع ضمانات الزمن المحدد.
• الجدوى في الأبعاد العالية: من خلال تقليل العبء الحسابي بشكل جذري، جعل هذا العمل من الممكن إجراء تقدير المعلمات في زمن محدد للأنظمة واسعة النطاق (مثل الروبوتات، شبكات الطاقة، ومعالجة الإشارات عالية الأبعاد) حيث كانت الطرق السابقة مكلفة حسابياً للغاية.
• الدقة النظرية: يربط العمل بين نظرية الأنظمة الهجينة والتحكم التكيفي، مما يوفر ضمانات متانة رسمية (ISS/iISS) غالباً ما تفتقر إليها المقدرات الهيورستية (الاستدلالية) للزمن المحدد.

باختة القول، توفر الخوارزمية المقترحة حلاً فعالاً حسابياً، قوياً، ومنضبطاً نظرياً لتقدير المعلمات، حيث تخفف من متطلبات استمرارية الإثلة الصارمة مع ضمان التقارب الدقيق في زمن محدد مسبقاً.