A note on input signal generators: A relaxation of Willems' fundamental lemma in the SISO case

إليك ملخص تقني مفصل للورقة البحثية بعنوان "ملاحظة حول مولدات إشارات الإدخال: تخفيف شرط ليم (Willems) الأساسي في حالة النظم أحادية المدخل وأحادية المخرج (SISO)" من تأليف يون جيونغ يانغ وجين غيو لي.

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

تتناول الورقة البحثية تحدي تحديد الأنظمة والتحكم القائم على البيانات للأنظمة الخطية ثابته الزمن (LTI) أحادية المدخل وأحادية المخرج (SISO)، سواء كانت في الزمن المتقطع أو المستمر.

• السياق: تُعد "لمة ليم" (Willems' Fundamental Lemma) حجر الزاوية في التحكم القائم على البيانات، حيث تنص على أنه إذا كان إشارة الإدخال مستمرة الإثارة (persistently exciting - PE) بدرجة كافية، فإن بيانات المدخلات والمخرجات الناتجة يمكنها توصيف سلوك النظام بشكل كامل (أي تغطي فضاء جميع المسارات الممكنة).
• محددات النظرية الحالية:
  • الإفراط في التحفظ (Over-conservatism): يتطلب شرط الـ PE القياسي أن يكون بُعد المدخلات على الأقل $L + n$ (حيث $L$ هو طول النافذة و $n$ هو رتبة النظام) لضمان بيانات غنية بالمعلومات لجميع الشروط الابتدائية. وهذا غالباً ما يستلزم سلاسل بيانات طويلة أو تصميمات معقدة للإشارات (مثل إشارات الـ multisines ذات الترددات المتعددة).
  • التحقق مقابل التصميم: يتم تعريف شرط الـ PE عبر رتبة مصفوفة هانكل (Hankel matrix) يتم تكوينها بعد اختيار المدخل. وهي لا توفر قاعدة بنائية لتصميم إشارة المدخل نفسها.
  • التركيز على الزمن المتقطع: صِيغت "اللمة" الكلاسيكية للأنظمة ذات الزمن المتقطع، مما يجعل التوسع ليشمل الأنظمة ذات الزمن المستمر أمراً غير بديهي.
• السؤال الجوهري: هل يمكننا إيجيد شرط ضروري وكافٍ لتوليد بيانات غنية بالمعلومات يكون أقل تقييداً من شرط "ليم"، وتحديداً بما يسمح بمدخلات أقصر أو مدخلات بترددات أقل، مع العمل في الوقت نفسه لـ "معظم" الأنظمة والشروط الابتدائية؟

2. المنهجية

يقترح المؤلفون تحولاً في النموذج من نظرية السلوك (Behavioral Theory) (التي تركز على خصائص الإشارة مثل PE) للعودة إلى نظرية الأنظمة الديناميكية (Dynamical Systems Theory) (التي تركز على بنية مولد الإشارة).

• نموذج مولد الإشارة: بدلاً من معاملة مدخل $u(t)$ كسلسلة عشوائية، يقوم المؤلفون بنمذجته كمخرج لنظام LTI مستقل (مولد إشارة):
  $$w(t+1) = S_g w(t), \quad u(t) = L_g w(t)$$
  حيث $w \in \mathbb{R}^{N_g}$ هو حالة المولد، و $S_g$ هي مصفوفة الديناميكيات، و $L_g$ هي مصفوفة المخرجات.
• الافتراضات:
  1. الزوج $(L_g, S_g)$ قابل للملاحظة (observable).
  2. الزوج $(S_g, w_0)$ قابل للتحكم (controllable) (مما يضمن إثارة جميع الأنماط).
  3. أطياف مصفوفة النظام $A$ ومصفوفة المولد $S_g$ منفصلة ($\sigma(A) \cap \sigma(S_g) = \emptyset$).
• منهج التفكيك: من خلال ربط مولد الإشارة بالنظام، يستخدم المؤلفون معادلة سيلفستر ($A\Pi + B L_g = \Pi S_g$) لتعريف مجمّع ثابت (invariant manifold). يتيح ذلك تفكيك مصفوفة هانكل للمدخلات والمخرجات إلى مكونات هيكلية مرتبطة بملاحظية المولد.
• تحليل الرتبة: يقوم المؤلفون بتحليل رتبة مصفوفة هانكل باستخدام نظرية الرتبة والعدم (rank-nullity theorem)، مع التركيز على تقاطع صورة مصفوفة ملاحظية المولد مع نواة مصفوفة التحكم للنظام.

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

1. تخفيف شرط "ليم": تثبت الورقة أن المتطلب الصارم $N_g \geq L + n$ (بُعد المولد $\geq$ طول النافذة + رتبة النظام) ضروري فقط لـ جميع الشروط الابتدائية. أما بالنسبة لـ معظم الشروط الابتدائية (بمعنى مقياس ليبيج)، فإن مولداً ببعد $N_g \geq L$ يعد كافياً.
2. التصميم البنائي للمدخلات: من خلال صياغة المشكلة في إطار مولدات الإشارة، يوفر المؤلفون دليلاً مباشداً للتصميم. فبدلاً من التحقق من شروط PE بعد حدوثها، يمكن للباحثين ببساطة تصميم مولد ببعد $N_g = L$ (أو $n+1$ لتحديد النظام) لضمان الحصول على بيانات غنية بالمعلومات.
3. التوسع إلى الزمن المستمر: تمتد المنهجية بشكل طبيعي إلى الأنظمة ذات الزمن المستمر، مما يوفر إطاراً موحداً لكل من المجالات المنفصلة والمستمرة.
4. تحديد المدخلات "المتجاهلة": تصدق النظرية على استخدام المدخلات التي تفشل في تلبية شرط "ليم" الكلاسيكي (مثل إشارات الـ multisine ذات الترددات الأقل أو سلاسل العشوائية الأقصر) طالما أنها ناتجة عن مولد إشارة منخفض البعد.

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

أ. لمة الزمن المتقطع (Theorem 1)

لنظام برتبة $n$ ونافذة بيانات بطول $L$، ليكن $N_g$ هو بُعد مولد الإشارة و $T$ هو طول البيانات.

• الحالة 1 ($N_g < L$): البيانات ليست أبداً غنية بالمعلومات لأي شرط ابتدائي.
• الحالة 2 ($L \leq N_g < L + n$): البيانات تكون غنية بالمعلومات لـ معظم الشروط الابتدائية $x(0)$، بشرط أن يكون طول البيانات $T \geq N_g + n + L - 1$. مجموعة الشروط الابتدائية "السيئة" لها مقياس ليبيج يساوي صفراً.
• الحالة 3 ($N_g \geq L + n$): البيانات تكون غنية بالمعلومات لـ جميع الشروط الابتدائية (وهذا يستعيد نتيجة "ليم" الكلاسيكية).

الأثر العملي: لتحديد نظام برتبة $n$، تحتاج تقليدياً إلى مدخل PE من الرتبة $2n+1$ (مما يتطلب $T \geq 4n+1$). تُظهر النتيجة الجديدة أن مولداً ببعد $N_g = n+1$ وطول $T = 3n+1$ كافٍ لمعظم الأنظمة والشروط الابتدائية.

ب. لمة الزمن المستمر (Theorem 2)

ينطبق نفس المنطق على الأنظمة ذات الزمن المستمر باستخدام "النفثات" (jets) (المشتقات) بدلاً من النوافذ المزاحة زمنياً.

• إذا كان $N_g \geq L$، يتم الحصول على بيانات غنية بالمعلومات لمعظم الشروط الابتدائية.
• إذا كان $N_g \geq L + n$، يتم الحصول على بيانات غنية بالمعلومات لجميع الشروط الابتدائية.

ج. العلاقة برتبة الـ PE

تؤسس الورقة رابطاً مباشلاً: الإشارة الناتجة عن مولد إشارة ببعد $N_g$ (الذي يحقق الملاحظية/التحكم) لها أقصى رتبة PE تساوي $N_g$. وبالتالي، فإن الشرط "رتبة PE $\geq K$" يكافئ "بُعد مولد الإشارة $\geq K$".

5. الأهمية

• الكفاءة: يسمح التخفيف المقترح بـ أوقات جمع بيانات أقصر و إشارات مدخلات أبسط. على سبيل المثال، في تحديد الأنظمة، يمكن استخدام مولد إشارة ببعد $n+1$ بدلاً من $2n+1$ المطلوب تقليدياً، مما يقلل متطلبات طول البيانات من $4n+1$ إلى $3n+1$.
• قابلية تطبيق أوسع: تصدق هذه النظرية على استخدام الإشارات العملية (مثل إشارات الـ multisines المحددة أو الإشارات العشوائية) التي كانت تُستبعد سابقاً لأنها لا تستوفي بدقة شرط الـ PE عالي الرتبة.
• إطار موحد: تجسر الورقة الفجوة بين نظرية السلوك (القائمة على البيانات) ونظرية الأنظمة الديناميكية (القائمة على النماذج)، مما يوفر طريقة أكثر بديهية لتصميم التجارب لتحديد الأنظمة.
• المتانة: النتائج صالحة لـ "معظم" الأنظمة والشروط الابتدائية، وهو أمر كافٍ عملياً للتطبيقات الهندسية حيث تُعتبر الحالات الاستثائية (التي تمثل مقياساً صفرياً) مهملة.

باخت-صار، توضح الورقة أنه من خلال النظر إلى إشارات المدخلات من خلال عدسة مولدات الإشارة، يمكن تخفيف قيود "لمة ليم" بشكل كبير، مما يتيح استراتيجيات أكثر كفاءة ومرونة للتحكم وتحديد الأنظمة القائم على البيانات.