⚡ electrical engineering

Analysis of Non-Square Nonlinear MIMO Systems using Scaled Relative Graphs

توسع هذه الورقة البحثية تحليل الرسم البياني النسبي المقيّس (SRG) ليشمل أنظمة MIMO غير الخطية وغير المربعة عن طريق تضمين المؤثرات في فضاء هيلبرت مشترك مع تقييد أبعاد المدخلات لتجنب التحفظ، مما يتيح تحليل الاستقرار وحدود كسب $L_2$ لفئة واسعة من الأنظمة بما في ذلك تلك الموجودة في صيغة التمثيل الكسري الخطي (LFR).

المؤلفون الأصليون: Julius P. J. Krebbekx, Roland Tóth, Amritam Das

نُشر 2026-04-20

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Julius P. J. Krebbekx, Roland Tóth, Amritam Das

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل أنك مهندس تحاول الحفاظ على تشغيل آلة معقدة بسلاسة. هذه الآلة لها مدخلات عديدة (مثل الأزرار التي تضغطها) ومخرجات عديدة (مثل الأضواء التي تضيء أو العجلات التي تدور). في عالم هندسة التحكم، نسمي هذا النظام نظام MIMO (متعدد المدخلات والمتعدد المخرجات).

لفترة طويلة، امتلك المهندسون مجموعة أدوات رائعة لتحليل هذه الآلات، لكنها كانت تعمل فقط مع الآلات "المربعة" — أي عندما يتطابق عدد الأزرار تمامًا مع عدد الأضواء. إذا كان لديك 3 أزرار و4 أضواء، فإن الأدوات القديمة كانت تتعطل. لم تكن تستطيع إخبارك ما إذا كانت الآلة ستظل مستقرة أم ستخرج عن السيطرة.

تقدم هذه الورقة البحثية أداة جديدة فائقة القوة تسمى الرسم البياني النسبي المقيّس (SRG)، والتي تعمل أخيرًا مع هذه الآلات "غير المربعة". إليك كيف حل المؤلفون هذه المشكلة، مشروحة ببعض التشبيهات من الحياة اليومية.

1. المشكلة: معضلة "المربع في الثقب المستدير"

فكر في طريقة SRG القديمة كأنها قطاعة عجين مربعة. إنها تعمل بشكل مثالي إذا كانت العجينة (النظام) مربعة أيضًا. ولكن ماذا لو كانت العجينة مستطيلة؟

الطريقة القديمة: لاستخدام القطاعة المربعة، كان المهندسون يلجؤون ببساال قطع الجزء الزائد من العجين أو حشو "عجين وهمي" إضافي لجعلها مربعة.
- العيب: إذا قطعت الجزء الزائد، فأنت تفقد معلومات. وإذا حشوت عجينًا وهميًا، فأنت تجعل الآلة تبدو "أثقل" وأكثر خطورة مما هي عليه في الواقع. يؤدي هذا إلى التحفظ (Conservatism): قد تعتقد أن الآلة غير آمنة وتقوم بإيقاف تشغيلها، رغم أنها في الواقع سليمة تمامًا.

2. الحل: "الإطار السحري" (التضمين - Embedding)

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

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

هذا هو جوهر رياضياتهم: التضمين (Embedding). إنهم يضيفون رياضياً مدخلات أو مخرجات "وهمية" لجعل النظام يبدو مربعًا لأداة SRG، لكنهم يقيدون التحليل بصرامة على المدخلات الأصلية. هذا يضمن عدم خداعهم بالبيانات الوهمية.

3. النتيجة: صورة أوضح للاستقرار

باستخدام هذا "الإطار السحري"، يمكن للمؤلفين الآن:

رؤية الحقيقة: يمكنهم حساب مقدار "الربح" (التضخيم) الذي يمتلكه النظام بدقة. في الطريقة القديمة، كانت البيانات الوهمية تجعل النظام يبدو وكأنه يضخم الإشارات بشكل جامح، مما يسبب إنذارًا كاذبًا. أما الط la الجديدة فتتجاهل البيانات الوهمية، مما يعطي هامش أمان أكثر دقة وإحكامًا.
ربط النقاط: طوروا مجموعة من القواعد (مثل قواعد اللغة لهذه الرسوم البيانية) تسمح لك بدمج أجزاء مختلفة من الآلة. إذا كان لديك جزء خطي (مثل الزنبرك) وجزء غير خطي (مثل شريط مطاطي يزداد صلابة)، يمكنك الآن رسم الـ SRG الخاص بهما ومعرفة ما إذا كانا سيعملان بانسجام أم سيحدث تصادم.

4. أمثلة من الواقع العملي

تختبر الورقة هذا على أربعة سيناريوهات مختلفة، مثل ميكانيكي يختبر محركًا جديدًا:

نظام لور (Lur'e System): إعداد تحكم كلاسيكي. أظهر المؤلفون أن طريقتهم تثبت استقرار النظام حتى عندما قالت الطريقة "الساذجة" القديمة إنه غير مستقر. الأمر يشبه إثبات أن جسرًا آمن بينما تقول الحاسبة القديمة إنه سينهار.
اللاخطية المتعددة: نظام يحتوي على عدة "أشرطة مطاطية" (لاخطيات). أعطت طريقتهم حدود أمان أكثر إحكامًا بكثير من التقنيات السابقة، مما يعني أن المهندسين يمكنهم دفع الآلة للعمل بقوة أكبر دون خوف.
كتلة-زنبرك-مخمد (Mass-Spring-Damper): نظام من الأوزان والزنبركات. قاموا بنمذجة تفاعل معقد حيث يدفع الزنبرك للخلف (صلابة سالبة) للحركات الصغيرة. تعاملت أداة التابعة لهم مع هذا الإعداد المعقد وغير المربع بشكل مثالي.
المقارنة: قارنوا نتائجهم بطرق متقدمة أخرى (مثل IQC) ووجدوا أن نهجهم كان بنفس الكفاءة، ولكنه أكثر عمومية وسهولة في التطبيق على الأنظمة غير المربعة.

الخلاصة الكبرى

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

توفر هذه الورقة محولًا عالميًا. فهي تسمح للمهندسين باستخدام أدوات قوية ومرئية في مجال التردد (مثل SRG) على أي نظام، بغض النظر عن شكله. إنها تزيل "البيانات الوهمية" التي كانت تخيف المهندسين، مما يسمح لهم بتصميم أنظمة أكثر أمانًا وكفاءة في آن واحد.

باخت-القول: لقد وجدوا طريقة لقياس مستطيل باستخدام مسطرة مربعة دون قص الزوايا أو حشو الحواف، مما منحنا طريقة أكثر دقة للحفاظ على آلاتنا المعقدة تعمل بأمان.

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

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

تعالج الورقة فجوة كبيرة في تحليل الأنظمة غير الخطية متعددة المدخلات والمخرجات (MIMO)، وتحديداً تلك غير المربعة (أي عندما يختلف عدد المدخلات $p$ عن عدد المخرجات $q$ ).

السياق: يُعد الرسم النسبي الموزون (SRG) أداة رسومية قوية في مجال التردد لتحليل الأنظمة غير الخطية أحادية المدخل والمخرج (SISO)، حيث يوفر شروط استقرار غير تقريبية وحدود لـ $L_2$ -gain. وقد بذلت جهود أخيرة لتوسيع نطاق SRG ليشمل أنظمة MIMO، لكنها كانت مقتصرة على الأنظمة المربعة ( $p=q$ ) بسبب البنية المتأصلة لفضاء هيلبرت (Hilbert space) الذي يتطلب أن تكون فضاءات المدخلات والمخرات متطابقة.
التحدي: عندما يكون $p \neq q$ ، تختلف فضاءات هيلبرت للمدخلات والمخرجات. إن النهج الساذجة للتعامل مع هذا الأمر (مثل "تربيع" النظام عبر إضافة مدخلات أو مخرجات اصطناعية صفرية) تؤدي إلى التحفظ (conservatism). هذا التوسع الاصطناعي يمكن أن يدمر خصائص مثل "الخمول" (passivity) أو يفشل في ضمان الاستقرار، مما يؤدي إلى نتائج تحليل مبالغ فيها أو غير صحيحة.
الهدف: تطوير إطار عمل صارم لـ SRG يستوعب العمليات غير المربعة دون إدخال تحفظ، بحيث يكون قابلاً للتطبيق على الأنظمة في صيغة التمثيل الكسري الخطي (LFR).

2. المنهجية

يقترح المؤلفون استراتيجية تضمين مبتكرة مقترنة بفضاءات مدخلات مقيدة لتعميم تحليل SRG لأنظمة MIMO غير المربعة.

أ. تضمين العمليات مع فضاءات مدخلات مقيدة

الابتكار الجوهري هو تضمين العمليات غير المربعة في فضاء مشترك للعمليات المربعة التي تعمل على فضاء هيلبرت أكبر ( $L_n^2$ حيث $n = \max\{p, q\}$ )، مع تقييد فضاء المدخلات بدقة إلى البعد الأصلي.

العمليات العريضة ( $p > q$ ): يتم تضمين المخرجات في $L_p^2$ عن طريق إلحاق مخرجات صفرية. ويتم حساب SRG على فضاء المدخلات الأصلي.
العمليات الطويلة ( $p < q$ ): يتم تضمين المدخلات في $L_q^2$ عن طريق إلحاق مدخلات صفرية. ومن الأهمية بمكان أن يتم حساب SRG فقط على الفضاء الجزئي حيث تكون هذه المدخلات الاصطناعية صفراً. هذا يمنع المدخلات "الاصطناعية" من التأثير على حساب الكسب (gain)، مما يتجنب التحفظ الموجود في طرق "التربيع" القياسية.
التعريف: يتم تعريف MIMO SRG رسمياً عبر عمليات التضمين هذه، مما يضمن أن نصف قطر SRG يتوافق تماماً مع الـ $L_2$ -gain الزائد للعملية غير المربعة الأصلية.

ب. قواعد الربط المعممة

تعمم الورقة حسابات SRG (الجمع، الضرب، المعكوس) من الأنظمة المربعة إلى هذه العمليات في MIMO ذات النطاقات المقيدة.

الفرضية 1: توسع قواعد القياس، والجمع، والمعكوس، والتركيب لتشمل العمليات التي تعمل على فضاءات جزئية.
خصائص الوتر والقوس: يقدم المؤلفون إكمالات "محسنة" للأوتار والأقواس (التمهيدية 9) للتعامل مع الربط على التوازي وعلى التوالي بشكل أكثر إحكاماً، مما يقلل من التحفظ عند دمج حدود SRG.

ج. نظريات الاستقرار لأنظمة LFR

يتم تطبيق إطار العمل على الأنظمة في صيغة التمثيل الكسري الخطي (LFR)، حيث يتم ربط كتلة خطية ثابتة (LTI) بالتدبير (feedback) مع كتلة غير خطية ثابتة أو ديناميكية ( $\Phi$ ).

النظرية 1 (التغذية الراجعة البسيطة): توفر شروط الاستقرار الزائد (incremental stability) وصلاحية التعيين (well-posedness) لحلقة التغذية الراجعة $[H_1, H_2]$ بناءً على المسافة بين SRG لـ $H_1$ و SRG الموزون لـ $H_2$ .
النظرية 2 (استقرار LFR): نظرية عملية لأنظمة LFR. فهي تضمن صلاحية التعيين، والسببية (causality)، وحدود $L_2$ -gain الزائدة من خلال تحليل الربط بين الكتل الخطية (LTI) والكتل غير الخطية المضمنة. وهي تستخدم حجج الهوموتوبي (homotopy arguments) لضمان الاستقرار عبر كامل نطاق القطاعات غير الخطية.

د. الصيغ الحسابية

توفر الورقة خوارزميات صريحة لحساب MIMO SRGs لكل من:

العمليات الخطية الثابتة (LTI) المستقرة: طريقة حساب دقيقة باستخدام $H_\infty$ norms لمصفوفات التحويل المزاحة (النظرية 3). وهذا يعمم الطرق السابقة المقتصرة على الأنظمة المربعة لتشمل الأنظمة الطويلة والعريضة.
اللاخطيات الساكنة: حدود لللاخطيات الساكنة القطرية والكتل غير المربعة المحددة (الفرضيتان 2 و 3).

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

تعريف غير المربع لـ SRG: تعريف صارم لـ SRG للعمليات غير المربعة في MIMO يتجنب تحفظ تقنيات "التربيع" الساذجة من خلال تقييد فضاء المدخلات أثناء التضمين.
الحساب المعمم: توسيع قواعد ربط SRG (الجمع، الضرب، المعكوس) للعمليات ذات أبعاد المدخلات والمخرجات غير المتطابقة والنطاقات المقيدة.
نظريات الاستقرار: نظريات استقرار جديدة (النظرية 1 و 2) تضمن السببية، وصلاحية التعيين، وحدود $L_2$ -gain الزائدة لأنظمة التغذية الراجعة غير الخطية غير المربعة.
الأدوات الحسابية: توفير صيغ صريحة لحساب SRGs للأنظمة الخطية (LTI) غير المربعة واللاخطيات الساكنة، والمطبقة عبر صندوق أدوات Julia متاح برمجياً (SrgTools.jl).
إطار عمل LFR: إطار تحليل شامل للأنظمة في صيغة LFR، وهي تمثيل قياسي في التحكم المتين (robust control) وتحديد الأنظمة غير الخطية.

4. النتائج والأمثلة

يتحقق المؤلفون من نظريتهم من خلال أربعة أمثلة، مما يظهر تقليل التحفظ وتحسين الأداء مقارنة بالطرق الموجودة:

نظام Lur'e غير مربع:
- المقارنة: قارن منهج التضمين المقترح مقابل نهج "التربيع" الساذج (إضافة مدخلات ومخرجات اصطناعية غير صفرية).
- النتيجة: قدم المنهج المقترح حداً أكثر إحكاماً لـ $L_2$ -gain (على سبيل المثال، $\gamma \leq 0.4$ مقابل $\gamma \leq 12.5$ في إحدى الحالات) وحدد بشكل صحيح الاستقرار حيث فشلت الطريقة الساذجة. كما حافظ أيضاً على خاصية الخمول للنظام، والتي فُقدت في النهج الساذج.
نظام SISO مع لاخطيات متعددة:
- المقارنة: حلل نظاماً يحتوي على لاخطيتين باستخدام نهج MIMO SRG المقترح مقابل نهج SISO SRG من [15].
- النتيجة: وفر نهج MIMO حداً أكثر إحكاماً لـ incremental gain ($2.33 $مقابل$ 4.81$) وأثبت بصرامة السببية وصلاحية التعيين، اللتين كان يُفترض بهما سابقاً في تحليل SISO.
نظام الكتلة-النابض-المخمد (Mass-Spring-Damper) متعدد المدخلات والمخرات:
- التطبيق: نظام يحتوي على كتلتين، وعناصر خطية/مخمدة، ونوابض متعددة غير خطية.
- النتيجة: نجح في تحليل استقرار وحدود الكسب للربط المعقد غير المربع، مما يثبت قابلية تطبيق الطريقة على الأنظمة الميكانيكية الفيزيائية.
المقارنة مع نتائج قائمة على IQC:
- المقارنة: حلل نظام تغذية راجعة MIMO تمت دراسته في [7] باستخدام القيود التربيعية التكاملية (IQC).
- النتيجة: أنتج التحليل القائم على SRG نتائج مطابقة لطريقة IQC للحلقة الداخلية، ولكنه قدم حداً أكثر إحكاماً بشكل ملحوظ لـ gain النظام الإجمالي ($1.79 $مقابل$ \approx 4.05$).

5. الأهمية

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

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

باختاً، نجحت الورقة في توسيع إطار عمل Scaled Relative Graph القوي ليشمل الحالة العامة للأنظمة غير الخطية MIMO غير المربعة، مقدمة طريقة أقل تحفظاً، وصارمة، وقابلة للتنفيذ حسابياً لتحليل الاستقرار والأداء.