⚡ electrical engineering

Discontinuous integro-differential equations and sliding mode control

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

المؤلفون الأصليون: Andrey Polyakov

نُشر 2026-03-24

📖 5 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Andrey Polyakov

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

الصورة الكبيرة: ترويض النظام "المتذبذب"

تخيل أنك تحاول توجيه سفينة ثقيلة وبطيئة الحركة وسط عاصفة. لديك دفة (التحكم)، لكن المحيط مليء بالأمواج غير المتوقعة (الاضطرابات).

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

ما المشكلة؟ في العالم الحقيقي، لا يمكنك تحريك الدفة فعليًا من أقصى اليسار إلى أقصى اليمين في لحظة واحدة؛ فالأمر يستغرق وقتًا. وأيضًا، من الناحية الرياضية، هذا "التبديل اللحظي" يخلق مشكلة: المعادلات التي تصف حركة السفينة تنهار. تصبح "سيئة التحديد" (ill-posed)، مما يعني أن الرياضيات تقول إن مستقبل السفينة غير محدد أو مستحيل الحساب في لحظة التبديل تمامًا.

هذه الورقة البحثية تدور حول إصلاح الرياضيات حتى نتمكن من تصميم هذه المتحكمات القوية والمتينة للأنظمة المعقدة التي تمتلك "ذاكرة" أو "تأخيرات".

1. المشكلة: اللحظة "المجمدة"

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

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

2. الحل القديم: صندوق فيليبوف "الضبابي"

منذ عقود، ابتكر عالم رياضيات يدعى فيليبوف حيلة ذكية لحل هذه المشكلة. بدلًا من السؤال "هل عجلة القيادة لليسار أم لليمين؟"، قال: "دعونا نفترض أن عجلة القيادة هي لليسار واليمين في آن واحد، مما يؤدي فعليًا إلى متوسطهما".

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

3. التحدي الجديد: الأنظمة ذات "الذاكرة"

تجادل الورقة بأن معظم الرياضيات السابقة كانت تعمل فقط للأنظمة البسيطة (مثل سيارة تتحرك على طريق مسطح). لكن العديد من الأنظمة في العالم الحقيقي أكثر تعقيدًا:

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

تُنمذج هذه الأنظمة بواسطة المعادلات التفاضلية التكاملية (IDEs).

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

4. حل الورقة: توسيع "الصندوق الضبابي"

يسأل أندريه بولياكوف (المؤلف): هل يمكننا استخدام حيلة صندوق فيليبوف "الضبابي" لهذه الأنظمة المعقدة ذات الذاكرة؟

الإجابة هي نعم.

لقد قام بتوسيع الطريقة للتعامل مع هذه الأنظمة ذات الذاكرة. إليك كيف فعل ذلك، مقسمًا إلى أجزاء:

أ. تنظيم الفوضى

لقد أثبت أنه حتى لو كانت إشارة التحكم تتبدل بجنون (مثل الدفة التي تنفض بقوة)، فلا يزال بإمكاننا تحديد مسار صالح للنظام.

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

ب. "التحكم المكافئ" (السر الخفي)

بمجرد "تنظيم" النظام (إصلاحه)، يستخدم المؤلف أداة تسمى التحكم المكافئ (Equivalent Control).

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

5. التطبيقات الواقعية في الورقة

يختبر المؤلف هذه النظرية في مثالين محددين:

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

ملخص: لماذا يهم هذا الأمر؟

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

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

فيما يلي ملخص تقني مفصل لورقة البحث بعنوان "المعادلات التكاملية التفاضلية غير المتصلة والتحكم في الوضع المنزلق" (Discontinuous integro-differential equations and sliding mode control) للباحث أندري بولياكوف.

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

تتناول الورقة تحليل وتصميم أنظمة التحكم في الوضع المنزلق (SMC) التي تُنمذج بواسطة المعادلات التكاملية التفاضلية (IDEs).

القضية الجوهرية: تعتمد نظرية التحكم في الوضع المنزلق (SMC) القياسية على قوانين تغذية راجعة غير متصلة لرفض الاضطرابات المتطابقة. بالنسبة للأنظمة ذات الأبعاد المحدودة، يتم نمذجة هذه القوانين عبر معادلات تفاضلية عادية (ODEs) غير متصلة، وهي معادلات غير جيدة التحديد رياضياً. وتعد طريقة فيليبوف (Filippov method) هي الأداة القياسية لتحويل هذه المعادلات التفاضلية العادية إلى تضمينات تفاضلية (ODIs) جيدة التحديد.
الفجوة: طريقة فيليبوف الكلاسيكية لا يمكن تطبيقها على الأنظمة ذات الأبعاد اللانهائية (مثل تلك التي تُنمذج بواسطة المعادلات التفاضلية الجزئية - PDEs) أو الأنظمة التي تحتوي على تأخيرات، لأن الفضاءات المجردة تفتقر إلى مفهوم "مجموعة ذات قياس ليبيج صفري" المطلوب للتنظيم القياسي.
التحدي المحدد: العديد من الأنظمة ذات الأبعاد اللانهائية (مثل معادلات الحرارة) والأنظمة ذات التأخيرات الموزعة يمكن اختزالها إلى معادلات تكاملية تفاضلية (IDEs) ذات أبعاد محدودة تصف ديناميكيات المدخلات والمخرجات. ومع ذلك، فإن النظرية الخاصة بتنظيم الـ IDEs غير المتصلة وتطبيق تصميم الـ SMC عليها لم تُطور بعد.

2. المنهجية

يقوم المؤلف بتوسيع النظرية الكلاسيكية للأنظمة الديناميكية غير المتصلة لتشمل فئة المعادلات التكاملية التفاضلية (IDEs).

أ. توسيع طريقة فيليبوف لتشمل المعادلات التكاملية التفاضلية (IDEs)

تُعرف الورقة حل فيليبوف (Filippov solution) للمعادلة التكاملية التفاضلية:
$\dot{x}(t) = f(t, x(t)) + \int_{t_0}^t \Phi(t, \tau) \tilde{f}(\tau, x(\tau)) d\tau$
حيث $f$ و $\tilde{f}$ دوال غير متصلة في $x$ .

التنظيم (Regularization): يتم استبدال الدوال غير المتصلة بخرائط متعددة القيم $K[f]$ و $K[\tilde{f}]$ (وهي الأغلفة المحدبة لحدود قيم الدالة بالقرب من نقطة عدم الاتصال).
التضمين الناتج: يتم تنظيم النظام إلى تضمين تفاضلي:
$\dot{x}(t) \in K[f](t, x(t)) + \int_{t_0}^t \Phi(t, \tau) K[\tilde{f}](\tau, x(\tau)) d\tau$
الوجود: باستخدام مبرهنة أرزيلا-أسكولي وخصائص تكاملات أومان، يثبت المؤلف وجود حلول فيليبوف لهذه المعادلات التكاملية التفاضلية تحت شروط القياس والتقيد المعتادة.

ب. تحليل الوحدانية (Uniqueness Analysis)

تضع الورقة شروطاً لـ وحدانية حلول فيليبوف، وهو أمر غير بديهي بالنسبة للمعادلات التكاملية التفاضلية (IDEs) بسبب غياب خاصية شبه المجموعة (Semigroup property) (على عكس المعادلات التفاضلية العادية).

حالة الوضع المنزلق: يتم إثبات الوحدانية إذا كان طقم عدم الاتصال للحد التكاملي ( $\tilde{f}$ ) لا يتقاطع مع طقم عدم الاتصال للحد التفاضلي ( $f$ )، ومع استيفاء شروط مماسية محددة.
حالة التبديل (Switching Case): تُضمن الوحدانية إذا غادرت المسارات مجموعة عدم الاتصال فوراً.

ج. طريقة التحكم المكافئ لـ IDEs

توسع الورقة طريقة التحكم المكافئ (Equivalent Control Method) (وهي حجر الزاوية في تصميم الـ SMC) لتشمل المعادلات التكاملية التفاضلية (IDEs).

بالنسبة للمعادلات التكاملية التفاضية الخطية بالنسبة للتحكم ($f = a + bu $،$ \tilde{f} = \tilde{a} + \tilde{b}u $)، يتم اشتقاق التحكم المكافئ$ u_{eq}$.
على عكس المعادلات التفاضلية العادية حيث يتم إيجاد $u_{eq}$ عبر معادلة جبرية، فإن $u_{eq}$ في المعادلات التكاملية التفاضلية يكون حلاً لـ معادلة فولتيرا التكاملية من النوع الثاني.
تثبت الورقة أنه بالنسبة للأنظمة ذات المدخل الواحد، فإن مجموعة حلول "أوتكين" (المبنية على التحكم المكافئ) تتطابق مع حلول فيليبوف.

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

الإطار النظري: أول توسيع لتنظيم فيليبوف وطرق التحكم المكافئ لتشمل المعادلات التكاملية التفاضلية (IDEs) غير المتصلة ذات الأبعاد المحدودة.
جودة التحديد (Well-Posedness): إثبات وجود، ووحدانية، والاعتماد المستمر على البيانات الأولية لحلول فيليبوف للمعادلات التكاملية التفاضلية.
تصميم SMC للأنظمة ذات التأخير: تطوير متحكم وضع منزلق للأنظمة ذات التأخيرات المدخلة الموزعة، والتي تُنمذج كمعادلات (IDEs). ويتم اشتقاق كسب التحكم لضمان التقارب في زمن محدد إلى سطح الانزلاق.
الاختزال للأبعاد اللانهائية: نهج مبتكر لـ SMC لـ أنظمة فضاء باناخ (Banach space systems) (مثل المعادلات التفاضلية الجزئية - PDEs). يوضح المؤلف أن ديناميكيات المدخلات والمخرجات لهذه الأنظمة يمكن تمثيلها كمعادلات (IDEs) ذات أبعاد محدودة، مما يسمح بتطبيق نظرية SMC ذات الأبعاد المحدودة على مشكلات الأبعاد اللانهائية دون التعامل مباشرة مع مشكلة عدم جودة التحديد في الـ PDE.
التحقق العددي: تنفيذ طرق "أويلر الصريحة" (Explicit Euler methods) للمعادلات التكاملية التفاضلية ومحاكاة نظام تحكم حراري للتحقق من التنبؤات النظرية.

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

الاستقرار في زمن محدد: بالنسبة لمعادلة (IDE) خطية ذات تأخير موزع، يُظهر قانون تغذية راجعة غير متصل $u(t) = -\rho (CB)^{-1} \frac{y(t)}{\|y(t)\|}$ أن المخرجات $y(t)$ تؤول إلى الصفر في زمن محدد، بشرط أن يحقق كسب التحكم $\rho$ حدوداً محددة تتضمن نواة التأخير وحدود الاضطراب.
ديناميكيات الحركة المنزلقة: بمجرد الوصول إلى سطح الانزلاق، تُحكم ديناميكيات النظام بمعادلة من رتبة أقل تتضمن التحكم المكافئ، والذي يتم تعريفه صراحةً عبر حل "سلسلة نيومان" المتقاربة لمعادلة فولتيرا التكاملية.
تطبيق النظام الحراري:
- تم نمذجة معادلة حرارية مع تحكم حدودي واضطرابات غير معروفة.
- تم اشتقاق ديناميكيات المدخلات والمخرجات كمعادلة (IDE).
- تم تصميم قانون تحكم غير متصل لإجبار المخرج (تكامل مرجح لدرجة الحرارة) على الوصول إلى الصفر في زمن محدد.
- الاستقرار: ثبت أن النظام مغلق الحلقة مستقر أسياً عالمياً في الوضع المنزلق.
- المحاكاة: تؤكد المحاكاة العددية أن المخرج يتقارب إلى الصفر وأن إشارة التحكم تظهر ظاهرة "الارتجاج" (chattering) المتوقعة (التي تمت تقريبها بواسطة الطريقة العددية)، مما يؤكد صحة النموذج النظري.

5. الأهمية

الربط بين الأبعاد المحدودة واللانهائية: توفر الورقة جسراً رياضياً دقيقاً بين نظرية التحكم ذات الأبعاد المحدودة (ODEs/IDEs) والأنظمة ذات الأبعاد اللانهائية (PDEs). وتوضح أنه بالنسبة للعديد من المعادلات التفاضلية الجزئية ذات المدخلات/المخرجات ذات الأبعاد المحدودة، يمكن تجاوز التعقيد في تنظيم الأبعاد اللانهائية عبر العمل مع المعادلة التكاملية التفاضلية (IDE) المكافئة ذات الأبعاد المحدودة.
المتانة (Robustness): تسمح المنهجية بتصميم متحكمات متينة للأنظمة ذات التأخيرات الموزعة والديناميكيات ذات الأبعاد اللانهائية، والتي يصعب التحكم فيها باستخدام تقنيات SMC القياسية بسبب مشكلات جودة التحديد.
القابلية للتطبيق العملي: من خلال تعريف التحكم المكافئ كحل لمعادلة فولتيرا، تقدم الورقة طريقة بنائية لتحليل سلوك "الوضع المنزلق" للأنظمة المعقدة، متجاوزةً مجرد إثباتات الوجود المجردة إلى ديناميكيات قابلة للحساب.
الاتجاهات المستقبلية: يضع هذا العمل الأساس لتوسيع تقنيات SMC المتقدمة الأخرى (مثل الوضع المنزلق عالي الرتبة، أو التجزئة الضمنية) لتشمل المعادلات التكاملية التفاضلية (IDEs) وأنظمة فضاء باناخ.

باختصار، نجح بولياكوف في تعميم الأدوات الأساسية للتحكم في الوضع المنزلق لتشمل فئة أوسع من الأنظمة (IDEs)، مما مكن من التحليل والتصميم الدقيق لمتحكمات متينة للأنظمة ذات التأخيرات وأنظمة المعلمات الموزعة (PDEs).