Closed-Loop Identification of Periodically Time-Varying Systems via Cyclic Reformulation

ملخص تقني: تحديد هوية الأنظمة ذات الزمن المتغير دورياً عبر إعادة الصياغة الدورية

بيان المشكلة
تتناول هذه الورقة البحثية تحديد هوية أنظمة النباتات (plants) الخطية ذات الزمن المتغير دورياً (LPTV)، وتستهدف تحديداً السيناريوهات التي يكون فيها "النبات" غير مستقر في الحلقة المفتوحة. في مثل هذه الحالات، لا تكون تجارب الحلقة المفتوحة مجدية عملياً لأن مخرجات النبات تتباعد دون وجود تغذية راجعة. إن طرق تحديد هوية LPTV الحالية، بما في ذلك أساليب الفضاء الجزئي (subspace approaches) والتقنيات القائمة على الرفع (lifting-based techniques)، تُصاغ أساساً لبيانات الحلقة المفتوحة أو تفترض استقرار الحلقة المفتوحة. وبينما يعد تحديد هوية الحلقة المغلقة للأنظمة الخطية الثابتة زمنياً (LTI) غير المستقرة أمراً راسخاً، إلا أن إطار العمل القائم على نظرية التحقيق (realization-theoretic framework) الذي يستعيد صراحةً نموذج حالة فضاء (state-space) ذو أبعاد محدودة لنظام LPTV مباشرة من بيانات الحلقة المغلقة قد ظل غير متطور.

المنهجية
يدمج إطار العمل المقترح نهج "المدخلات والمخرجات المشتركة" مع "إعادة الصياغة الدورية" لسد الفجوة بين بيانات الحلقة المغلقة واستعادة نموذج LPTV. تمر المنهجية عبر المراحل التالية:

1. صياغة النظام: تتناول الورقة نباتاً مربعاً، خاصاً تماماً (strictly proper) وLPTV، يتم التحكم فيه بواسطة متحكم LPTV ذي درجة نسبية قدرها واحد. يتم نمذجة نظام الحلقة المغلقة كنظام LPTV مُعزز مدفوع بإشارة مرجعية خارجية $r(k)$، مما ينتج مخرجات مشتركة لمخرج النبات $y(k)$ ومدخل التحكم $u(k)$.
2. إعادة الصياغة الدورية: يتم تحويل النظام الدوري ذي الحلقة المغلقة إلى نظام خطي ثابت زمنياً (LTI) مكافئ باستخدام إعادة الصياغة الدورية. يتضمن ذلك بناء إشارات "دورية" حيث يتم توسيع متجهات المدخلات والمخرجات لتصبح أبعادها $M$ ضعف البعد الأصلي (حيث $M$ هو الفترة)، مما يؤدي فعلياً إلى تكديم التغيرات الدورية في نموذج حالة LTI واحد.
3. تحديد الهوية بالفضاء الجزئي: تُطبق خوارزميات تحديد الهوية بالفضاء الجزئي القياسية (مثل N4SID) على الإشارة المرجعية الدورية $\check{r}(k)$ والمخرجات المشتركة الدورية المكدسة $\check{z}(k) = [\check{y}(k)^\top, \check{u}(k)^\top]^\top$. ينتج عن ذلك تحقيق (realization) مشترك لمتجهات الحالة $(A, B, C)$ لخرائط الحلقة المغلقة من $\check{r}$ إلى $\check{y}$ ومن $\check{r}$ إلى $\check{u}$. ومن الأهمية بمكان أن كلا دالتي النقل تشتركان في نفس ديناميكيات الحالة $(A, B)$.
4. استخراج النبات جبرياً: جوهر الطريقة هو نظرية جبرية دقيقة تستعيد مصفوفة نقل النبات الدورية $\check{P}(z)$ من خرائط الحلقة المغلقة المشتركة. وبما أن $\check{P}(z) = \check{T}_{yr}(z) \check{T}_{ur}(z)^{-1}$، فإن الورقة تشتق تحقيقاً لمتجه الحالة $\check{P}(z)$ مباشرة من المصفوفات المشتركة $(A, B, C_y, C_u)$ دون الحاجة لزيادة أبعاد الحالة. يعتمد الاستخراج على قابلية عكس حد التمرير المباشر (direct feedthrough term) لمسار المتحكم ($C_u B$).
5. استعادة المعلمات: يتم تقليل رتبة التحقيق المستخرج (عبر حذف ديناميكيات المتحكم باستخدام التوازن المقطعي/balanced truncation) ثم تحويله مرة أخرى إلى معلمات حالة (state-space parameters) الأصلية $(A_{p,k}, B_{p,k}, C_{p,k}, D_{p,k})$ باستخدام تحويل إحداثي يستغل التباعد (sparsity) ذو الكتلة القطرية المزاحة لمعاملات ماركوف.

المساهمات الرئيسية
تقدم الورقة أربع مساهمات رئيسية:

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

النتائج العددية
تم التحقق من صحة الطريقة من خلال ثلاثة أمثلة عددية:

• نبات SISO مستقر: يوضح أن الطريقة تستعيد المعلمات بدقة الآلة في الظروف الخالية من الضجيج، وبدقة عالية (أخطاء معيار فروبينيوس $\approx 10^{-6}$) عند نسبة إشارة إلى ضجيج (SNR) تبلغ 40 ديسيبل.
• نبات SISO غير مستقر في الحلقة المفتوحة: يؤكد قدرة الطريقة على استعادة تحقيق للنبات غير مستقر (بقيم ذاتية خارج وحدة الدائرة) من بيانات حلقة مغلقة مستقرة. يعكس التحقيق المستخرج بشكل صحيح قيم المونودرومي (monodromy eigenvalues) غير المستقرة، ويظل الاستخراج الجبري صالحاً رغم عدم الاستقرار.
• نبات MIMO: يتحقق من صحة النهج لنظام متعدد المدخلات والمتعدد المخرجات، مما يظهر قدرة إطار العمل على التوسع إلى أبعاد أعلى والحفاظ على دقة مستقلة عن الإحداثيات عبر مقارنات معاملات ماركوف.

الأهمية والادعاءات
تدعي الورقة أن هذا العمل يسد فجوة محددة في نظرية تحديد الهوية: وهي غياب مسار قائم على نظرية التحقيق لاستعادة نماذج حالة (state-space) ذات أبعاد محدودة لنظم LPTV من بيانات الحلقة المغلقة، لا سيما للأنظمة غير المستقرة. تكمن الأهمية في الطبيعة الجبرية الدقيقة لاستخراج النبات، والتي لا تعتمد على التحسين التكراري أو افتراضات الاستقرار الخاصة بالنبات نفسه. تميز الطريقة نفسها عن:

• تحديد هوية الحلقة المغلقة لـ LTI: من خلال استغلال البنية الدورية عبر إعادة الصياغة الدورية.
• تحديد هوية LPV: من خلال معالجة الدورانية الزمنية بدلاً من إشارات الجدولة الخارجية.
• تحديد هوية LPTV في الحلقة المفتوحة: من خلال إزالة شرط استقرار الحلقة المفتوحة.
• طرق المجال الترددي المرفوعة (Lifted frequency-domain methods): من خلال استهداف نماذج حالة ذات أبعاد محدودة بدلاً من الاستجابات الترددية غير البارامترية.

يشير المؤلفون إلى أن موثوقية خطوة الاستخراج محكومة بمدى جودة (conditioning) عكس مسار المتحكم ($C_u B$)، وتفترض الطريقة نباتاً مربعاً وخاصاً تماماً ومتحكماً ذا درجة نسبية قدرها واحد. ويُقترح كعمل مستقبلي معالجة النباتات غير المربعة والحالات غير الخاصة تماماً.