Certifying Set Attractivity for Discrete-Time Uncertain Nonlinear Switched Systems

ملخص تقني: إثبات جاذبية المجموعات للأنظمة غير الخطية المبدلة ذات الزمن المنفصل وغير اليقينية

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

المنهجية
يقترح المؤلفون إطار عمل يرتكز على فئة جديدة من الدوال تسمى دوال ضمان الجاذبية (AG-functions). وتتبع المنهجية الخطوات المنطقية التالية:

1. تعريف دوال ضمان الجاذبية (AG-functions): دالة ضمان الجاذبية هي تخفيف لمفهوم دالة ليابونوف للتحكم (control Lyapunov function). وهي دالة غير سالبة $L: X \to \mathbb{R}_{\geq 0}$ تنعدم عند المجموعة المستهدفة $\Omega$ وتستوفي شرط تناقص محدد. وتحديداً، يجب أن يوجد نمط تبديل معين بحيث يتناقص الحد الأعلى لقيمة الدالة عبر جميع تجليات عدم اليقين الممكنة بمقدار يعتمد على المسافة إلى المجموعة \Omega}، وذلك ضمن مجموعة مستوى معينة.
2. الارتباط النظري بالجاذبية: تثبت الورقة (التقرير 2) أن وجود دالة ضمان الجاذبية المرتبطة بمجموعة $\Omega$ يضمن الجاذبية المحلية القوية لتلك المجموعة.
3. النهج البنائي عبر المجموعات الانكماشية: لمعالجة صعوبة إيجاد دوال ضمان الجاذبية مباشرة للأنظمة غير الخطية، يقترح المؤلفون طريقة بنائية تعتمد على مجموعات التحكم الانكماشية القوية (RCCS). والـ RCCS هي مجموعة، لكل حالة فيها، يوجد نمط تبديل يدفع النظام إلى داخل المجموعة (مع مراعاة جميع حالات عدم اليقين).
4. إثبات الوجود: يوضح المؤلفون (التقرير 5) أنه إذا وجدت مجموعة RCCS متراصة، يمكن بناء دالة ضمان جاذبية ثابتة جزئياً بشكل صريح بناءً على "المسافة" للحالة عن المجموعة المستهدفة، والتي تُقاس بعدد الخطوات المطلوبة للوصول إلى المجموعة عبر المجموعات القابلة للتحكم.
5. التنفيذ الخواروارزمي:
   • بالنسبة للأنظمة الخطية ذات عدم اليقين المضاف، يقوم المؤلفون بتكييف خوارزمية موجودة (Fiacchini and Jungers, 2014) لحساب المجموعات القابلة للتحكم بقوة بشكل تكراري باستخدام فروق مينكوفسكي (Minkowski differences). وهذا يسمح بالحساب المسبق (offline) لقانون التبديل المثبت للاستقرار.
   • بالنسبة للأنظمة غير الخطية، يتم اقتراح إجراء عددي لتقريب المجموعات القابلة للتحكم والتحقق من شرط الانكماش ($\Omega \subset \text{int}_X(C(\Omega))$) باستخدام نهج قائم على الشبكة (grid-based approach).

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

• تقديم دوال ضمان الجاذبية (AG-functions): تعرف الورقة دوال ضمان الجاذبية كأداة لإثبات جاذبية المجموعات بمتطلبات أضعف من دوال ليابونوف التقليدية، وتحديداً لاستيعاب الانقطاعات الناجمة عن التبديل.
• الضمان النظري: تؤسس الورقة لسلسلة منطقية صارمة: وجود مجموعة تحكم انكماشية قوية (RCCS) $\implies$ وجود دالة ضمان جاذبية $\implies$ الجاذبية المحلية القوية للمجموعة.
• الطريقة البنائية: توفر الورقة طريقة ملموسة لتوليد دوال ضمان الجاذبية من مجموعات RCCS، حيث تُعرف الدالة بناءً على مؤشر الخطوة (step-index) للمجموعات القابلة للتحكم بقوة ($C_k(\Omega)$).
• تخليق قانون التبديل: يتم اشتقاق قانون تبديل مثبت صراحة (المعادلة 16) يختار النمط الذي يقلل من مؤشر الخطوة إلى المجموعة المستهدفة، مما يضمن بقاء مسار النظام ضمن نطاق الجذب وتقاربه نحو المجموعة.
• التحقق من الحالات الخطية وغير الخطية: تم التحقق من إطار العمل على أنظمة خطية مبدلة ذات عدم يقين مضاف، كما طُبق على حالة دراسية غير خطية.

النتائج

• الحالة الخطية: نجحت الخوارزمية المقترحة في تحديد مجموعات RCCS وقوانين التبديل المثبتة للأنظمة الخطية ذات حالات عدم اليقين المحدودة. وفي أحد الأمثلة، حددت الطريقة قانوناً مثبتاً حيث اقترح التحليل الخالي من عدم اليقين الاستقرار، لكن وجود عدم اليقين منع تحديد مجموعة انكماشية، مما يسلط الضوء على ضرورة النهج القوي.
• دراسة الحالة غير الخطية (مقاومة الميكروبات): طُبق إطار العمل على نموذج زمني منفصل لديناميكيات السكان البكتيرية (السلالات الحساسة والمقاومة) تحت تأثير الاستجابة المناعية والعلاج بالمضادات الحيوية.
  • حدد المؤلفون مجموعات RCCS لأحمال بكتيرية أولية محددة (على سبيل المثال، الحمل الإجمالي $b_0 \leq 10,000$).
  • أظهرت المحاكاة العددية أنه بالنسبة لهذه الأحمال، تمتلك المنظومة مجموعة جاذبة، مما يعني أنه يمكن دفع التعداد البكتيري إلى حالة حمل منخفض رغم حالات عدم اليقين في التجزئة (discretization) ومعلمات النموذج.
  • بالنسبة للأحمال الأولية الأعلى ($b_0 = 120,000$)، فشل شرط الانكماش، مما يشير إلى حدود بروتوكول العلاج للأعباء البكتيرية العالية.

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

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

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