Safe Adaptive Control of Parabolic PDE-ODE Cascades

ملخص تقني: التحكم التكيفي الآمن لمتتاليات المعادلات التفاضلية الجزئية-المعادلات التفاضلية العادية المكافئة

صياغة المشكلة
تتناول هذه الورقة البحثية التحكم في فئة من الأنظمة المتتالية المكونة من معادلة تفاضلية جزئية (PDE) مكافئة ومعادلة تفاضلية عادية (ODE). يتم نمذجة النظام بواسطة معادلة تفاضلية عادية خطية في الصيغة الكانونية القابلة للتحكم، مقترنة بمعادلة تفاضلية جزئية مكافئة تتميز بحدود الانتشار والتفاعل. ويتمثل التحدي الحرج الذي تعالجه الورقة في وجود شكوك بارامترية في كل من النظام الفرعي للمعادلة التفاضلية الجزئية (تحديداً معامل التفاعل $\lambda$) والنظام الفرعي للمعادلة التفاضلية العادية (تحديداً كسب المدخل $b$).

الهدف من التحكم هو هدف مزدوج:

1. الاستقرار: تحقيق تقارب جميع حالات النظام (كلاً من حالة المعادلة التفاضلية الجزئية $u(x,t)$ وحالة المعادلة التفاضلية العادية $Y(t)$) إلى الصفر.
2. الأمان: فرض قيود الحالة المحددة بواسطة دالة حاجز $h(y_1(t), t) \geq 0$، حيث $y_1$ هي الحالة الأولى للمعادلة التفاضلية العادية. يجب أن يضمن المتحكم أنه إذا بدأ النظام في مجموعة آمنة، فإنه سيظل آمناً؛ وإذا بدأ في مجموعة غير آمنة، فسيتم دفعه للعودة إلى المنطقة الآمنة خلال زمن محدد مسبقاً من قبل المستخدم.

المنهجية
يقترح الحل المقترح دمج دوال الحواجز التكيفية (aCBFs) مع تصميم الخطوات الخلفية (Backstepping) ومخطط تحديد المربعات الصغرى بالدفعات (BaLSI).

1. تصميم التحكم الآمن الاسمي:

   • تحويل الإحداثيات: يتم تحويل المعادلة التفاضلية العادية إلى سلسلة من المكاملات باستخدام مصفوفة تحويل خطية $T_z$. بعد ذلك، يتم تطبيق إطار عمل دالة حاجز (CBF) عالي الدرجة النسبية على حالات المعادلة التفاضلية العادية المحولة ($z_i$) لبناء سلسلة من دوال الحواجز $h_i$.
   • التعامل مع الحالات غير الآمنة الأولية: يتم إدخال دالة مساعدة متغيرة زمنياً $\sigma(t)$. إذا كانت الحالة الأولية غير آمنة ($h \leq 0$)، تقوم $\sigma(t)$ بإنشاء حاجز مؤقت يوجه الحالة للعودة إلى المنطقة الآمنة خلال زمن $t_a$ محدد مسبقاً.
   • الخطوات الخلفية للمعادلة التفاضلية الجزئية: يتم استخدام تحويل الخطوات الخلفية (backstepping) لخرائط النظام المتتالي الأصلي غير المستقر (المكون من PDE و ODE) إلى نظام مستهدف. يتكون هذا النظام المستهدف من معادلة تفاضلية عادية مستقرة (محكومة بديناميكيات الحاجز) ومعادلة حرارة مستقرة مع حد تخميد.
   • قانون التحكم: يتم تصميم مدخل التحكم الحدودي $U(t)$ لإلغاء الحدود المزعزعة للاستقرار وضخ إشارة متلاشية $\delta(t)$ لضمان استيفاء شروط الأمان.

2. الامتداد التكيفي:

   • تحديد البارامترات: بما أن $\lambda$ و $b$ غير معروفين، يتم استبدال المتحكم الاسمي بنسخة تكيفية تستخدم تقديرات البارامترات $\hat{\lambda}$ و $\hat{b}$.
   • مخطط BaLSI: يتم استخدام محدد المربعات الصغرى بالدفعات المثار (triggered batch least-squares identifier). وخلافاً للتكيف المستمر، يقوم هذا المخطط بتحديث البارامترات عند لحظات زمنية منفصلة $t_i$. ومن خلال دمج ديناميكيات النظام عبر فترات محددة، يتم تشكيل مشكلة انحدار خطي.
   • التحديد الدقيق في زمن محدد: النتيجة النظرية الرئيسية هي أنه بموجب آلية الإثارة المقترحة وشروط الإثارة، تتقارب تقديرات البارامترات إلى القيم الحقيقية الدقيقة في زمن محدد (تحديداً عند لحظة التحديث الأولى $t_1$). وهذا يلغي الحاجة إلى شروط الإثارة المستمرة عبر زمن لانهائي ويزيل أخطاء تقدير البارامترات بعد $t_1$.

3. تحليل الاستقرار والأمان:

   • يتم بناء دالة ليابونوف لإثبات التقارب الأسي لحالات النظام المستهدف إلى الصفر.
   • يوضح تحليل الأمان أن شروط دوال الحواجز (CBF) عالية الدرجة النسبية قد تم استيفاؤها. يضمن التصميم بقاء دالة الحاجز غير سالبة لجميع الأوقات إذا بدأت في حالة آمنة، أو تصبح غير سالبة ضمن الزمن المحدد $t_a$ إذا بدأت في حالة غير آمنة.

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

1. ضمانات أمان صارمة للتحكم التكيفي في المعادلات التفاضلية الجزئية: على عكس طرق التحكم التكيفي للحدود في المعادلات التفاضلية الجزئية التي تركز بشكل أساسي على الاستقرار، يوفر هذا العمل ضمانات أمان صارمة تحت ظروف الشكوك البارامترية.
2. تعميم الخطوات الخلفية الآمنة: بينما تناولت أعمال سابقة (مثل [12]) التحكم الآمن لنماذج ستيفان (وهي نوع محدد من المعادلات التفاضلية الجزئية المكافئة)، فإن هذا العمل يوسع الإطار ليشمل فئة أوسع من المشكلات التي تتضمن عدم استقرار داخل النطاق، ومعادلات تفاضلية عادية مقترنة، وقيود أمان عامة.
3. أول تحكم تكيفي آمن لمتتاليات المعادلات التفاسية الجزئية-المعادلات التفاضلية العادية المكافئة: تميز الورقة نفسها عن النتائج الحديثة للتحكم التكيفي الآمن لمتتاليات (Hyperbolic) PDE-ODE (مثل [42]) من خلال معالجة الديناميكيات المختلفة جوهرياً للأنظمة (Parabolic). وبحسب علم المؤلفين، يعد هذا أول نتيجة تثبت التحكم التكيفي الآمن للمعادلات التفاضلية الجزئية المكافئة.

النتائج
أُجريت محاكاة عددية على معادلة تفاضلية عادية من الدرجة الثانية مقترنة بمعادلة تفاضلية جزئية مكافئة. وقد أثبتت المحاكاة الادعاءات النظرية:

• الاستقرار: تقاربت جميع الحالات ($u(x,t)$ و $Y(t)$) إلى الصفر.
• الأمان:
  • في حالة البداية الآمنة، ظلت المخرجات $y_1(t)$ ضمن المنطقة الآمنة طوال الفترة الانتقالية.
  • في حالة البداية غير الآمنة، نجح المتحكم في دفع المخرجات للعودة إلى المنطقة الآمنة ضمن الزمن المحدد $t_a$ (على سبيل المثال، ثانية واحدة).
• تحديد البارامترات: حقق مخطط BaLSI تحديداً دقيقاً للبارامترات المجهولة $\lambda$ و $b$ عند زمن الإثارة الأول، وبعد ذلك تصرف المتحكم التكيفي بشكل مطابق للمتحكم الاسمي (ذو البارامترات المعروفة).
• المتانة تجاه الظروف الأولية: عمل المتحكم بفعالية بغض النظر عما إذا كان النظام قد بدأ في منطقة آمنة أو غير آمنة، ولتعريفات مختلفة لدالة الحاجز (الاضمحلال الخطي والاضمحلال الأسي).

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