Lecture Note for Bounded Controls in Continuous-Time and Control of Several Variables

إليك ملخص تقني مفصل لملاحظات المحاضرة "التحكم المقيد في الزمن المستمر والتحكم في عدة متغيرات" للويس شو و (Louis Shuo Wang).

1. بيان المشكلة والدوافع

تتناول الملاحظات مشكلات التحكم الأمثل حيث يكون متغير التحكم $u(t)$ خاضعًا لـ قيود الصندوق (bounds pointwise)، وهو سيناريو شائع في الأنظمة البيولوجية، والداروائية، والاقتصادية، والهندسية (مثل حدود الجرعات، أو تشبع المشغلات).

تُصاغ المشكلة الأساسية كـ مسألة بولزا (Bolza problem):
$$\max_{u(\cdot)} J(u) = \int_{t_0}^{t_1} f(t, x(t), u(t)) \, dt + \phi(x(t_1))$$
بشرط:
$$\dot{x}(t) = g(t, x(t), u(t)), \quad x(t_0) = x_0, \quad u(t) \in U = [a_1, b_1] \times \dots \times [a_m, b_m]$$

التحدي الرئيسي: تؤكد الملاحظات على وجود تصور خاطئ حرج في التطبيقات العملية: لا يمكن ببساطة حل نظام الأمثلية غير المقيد ثم "قص" (truncate) التحكم الناتج ليتناسب مع الحدود. نظرًا لأن الحالة $x$ والملحق (adjoint) $\lambda$ مرتبطان بالتحكم $u$، يجب فرض القيود داخل نظام الأمثلية نفسه.

2. المنهجية والإطار النظري

تطور الملاحظات نظرية من الدرجة الأولى تعتمد على مبدأ بونترياغين الأقصى (PMP) المُكيف مع مجموعات تحكم متراصة.

أ. صياغة الهاميلتوني مع القيود

• تعريف الهاميلتوني: $H(t, x, u, \lambda) = f(t, x, u) + \lambda^\top g(t, x, u)$.
• مبدأ بونترياغين الأقصى المقيد: بدلاً من شرط الثبات غير المقيد $\frac{\partial H}{\partial u} = 0$، يجب أن يعظم التحكم الأمثل $u^*(t)$ الهاميلتوني نقطيًا عبر المجموعة المسموح بها $U$:
  $$u^*(t) \in \arg\max_{v \in U} H(t, x^*(t), v, \lambda^*(t))$$
• معادلات الملحق (Adjoint Equations): تظل معادلات الحالة والملحق هي $\dot{x} = H_\lambda$ و $\dot{\lambda} = -H_x$، لكن الشروط الحدية لـ $\lambda$ تعتمد على القيود النهائية.

ب. توصيف التحكم الأمثل

تستنتج الملاحظات أشكالًا هيكلية محددة لقانون التحكم بناءً على اعتماد الهاميلتوني على $u$:

1. قيود الصندوق القياسية (شروط الإشارة):
   بالنسبة لتحكم قياسي $u \in [a, b]$، يكافئ شرط الأمثلية مجموعة من شروط الإشارة المتكاملة:

   • إذا كان $H_u < 0 \implies u^* = a$ (الحد الأدنى).
   • إذا كان $H_u > 0 \implies u^* = b$ (الحد الأعلى).
   • إذا كان $H_u = 0 \implies a < u^* < b$ (الداخل).
   • الاشتقاق التبايني: تم إثبات ذلك عبر اضطرابات أحادية الجانب، مما يوضح أن التدرج يجب أن يشير إلى الخارج من المجموعة المتاحة عند الحدود.

2. الهاميلتونيانيات التربيعية (صيغة الإسقاط):
   بالنسبة للنماذج التي يكون فيها $H$ مقعرًا أو محدبًا بصرامة وتربيعيًا في $u$ (على سبيل المثال $H = \Psi + \beta u - \frac{\rho}{2}u^2$)، فإن المعظم غير المقيد هو $\tilde{u} = \beta/\rho$. الحل المقيد هو الإسقاط الدقيق (clamping) لهذه القيمة غير المقيدة على الفترة:
   $$u^*(t) = \text{clamp}_{[a,b]}(\tilde{u}(t)) = \min\{b, \max\{a, \tilde{u}(t)\}\}$$
   رؤية جوهرية: هذا الإسقاط ليس إصلاحًا عدديًا لاحقًا؛ بل هو الحل التحليلي لخطوة التعظيم المقيدة.

3. الهاميلتونيانيات الأفينية (التحكم Bang-Bang):
   إذا كان $H$ خطيًا في $u$ ($H = \Psi + \sigma(t)u$)، فإن التحكم يكون bang-bang:
   $$u^*(t) = \begin{cases} b & \text{if } \sigma(t) > 0 \\ a & \text{if } \sigma(t) < 0 \end{cases}$$
   يحدث التبديل عندما تعبر دالة التبديل $\sigma(t)$ الصفر. تتطلب الأقواس المنفردة (singular arcs) (حيث $\sigma(t) \equiv 0$) تحليلًا من رتبة أعلى.

4. المدخلات المتعددة والمخروطات العادية:
   بالنسبة لمتجهات التحكم $u \in \mathbb{R}^m$، يتم التعبير عن الشرط عبر المخروط العادي $N_U(u^*)$:
   $$0 \in -H_u(t, x^*, u^*, \lambda^*) + N_U(u^*)$$
   هذا يعمم شروط الإشارة إلى قيود الصندوق متعددة الأبعاد، والتي تنفصل مكوناتها إذا كان الهاميلتوني منفصلاً.

ج. التنفيذ العددي: المسح الأمامي-الخلفي (FBSM)

تفصل الملاحظات طريقة المسح الأمامي-الخلفي لحل هذه المشكلات عدديًا:

1. الأمامي: تكامل معادلات الحالة مع تخمين التحكم الحالي.
2. الخلفي: تكامل معادلات الملحق مع الشروط النهائية.
3. التحديث: حساب التحكم الجديد عن طريق التعظيم النقطي للهاميلتوني (تطبيق صيغة الإسقاط/القص) باستخدام $x$ و $\lambda$ الحاليين.
   • تصحيح: يجب أن يكون التحديث $u^{(k+1)} = \text{clamp}(\Gamma(t, x^{(k)}, \lambda^{(k)}))$، وليس مجرد قص مسار تم حسابه سابقًا بدون قيود.

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

توسع الملاحظات النظرية لتشمل مواضيع متقدمة عدة:

• الأنظمة متعددة الحالات/متعددة التحكم: تعميم PMP إلى $n$ من الحالات و $m$ من التحكم، مع تعريف نظام الملحق المكوني وشروط التجاوز (transversality).
• اختزال المشكلة:
  • الإزالة الهيكلية: إزالة متغيرات الحالة التي لا تؤثر على هدف أو ديناميكيات الحالات الأخرى.
  • التكامل الصريح: تحويل الأهداف أو القيود التكاملية إلى متغيرات حالة.
• المنظم الخطي التربيعي (LQR) ذو الأفق المحدود:
  • اشتقاق معادلة ريكاتي التفاضلية لمصفوفة كسب التغذية الراجعة $S(t)$.
  • توضح أنه بالنسبة للأنظمة الخطية ذات التكاليف التربيعية، فإن التحكم الأمثل هو تغذية راجعة خطية للحالة $u^* = -R^{-1}B^\top S(t)x$، حتى مع وجود حدود (رغم أن الحدود تعقد الحل المغلق، إلا أن هيكل LQR غير المقيد هو الخط المرجعي).
• الأنظمة من الرتب العليا: توضح كيفية تحويل المعادلات التفاضلية من الرتبة $n$ إلى أنظمة فضاء الحالة من الرتبة الأولى لتطبيق PMP.
• القيود الأيزوبريمتريكية (Isoperimetric Constraints):
  • توضح كيفية تحويل القيود التكاملية (مثل $\int h(t, x, u) dt = B$) إلى قيود طرفية عن طريق إدخال متغير حالة مساعد $z(t)$ حيث $\dot{z} = h$. هذا يسمح بتطبيق PMP القياسي دون الحاجة لمتعددات لاغرانج خارجية.

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

النتائج الرئيسية:

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

الأهمية:

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

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