Approximate Tracking Controllability of Systems with Quadratic Nonlinearities
Rissel, Tucsnak
Given a finite-dimensional time continuous control system and $\varepsilon>0$, we address the question of the existence of controls that maintain the corresponding state trajectories in the $\varepsilon$-neighborhood of any prescribed path in the state space. We investigate this property, called approximate tracking controllability, for linear and quadratic time invariant systems. Concerning linear systems, our answers are negative: by developing a systematic approach, we demonstrate that approximate tracking controllability of the full state is impossible even in a certain weak sense, except for the trivial situation where the control space is isomorphic to the state space. Motivated by these negative findings for linear systems, we focus on nonlinear dynamics. In particular, we prove weak approximate tracking controllability on any time horizon for a general class of systems with arbitrary linear part and quadratic nonlinear terms. The considered weak notion of approximate tracking controllability involves the relaxation metric. We underline the relevance of this weak setting by developing applications to coupled systems (including motion planning problems) and by remarking obstructions that would arise for natural stronger norms. The exposed framework yields global results even if the uncontrolled dynamics might exhibit singularities in finite time.
academic
التحكم التقريبي في تتبع الأنظمة ذات اللاخطية التربيعية
تدرس هذه الورقة مشكلة التحكم التقريبي في تتبع الأنظمة الديناميكية المستمرة في الزمن ذات البعد المحدود. بالنظر إلى ε>0، يتم البحث عما إذا كانت هناك عناصر تحكم تحافظ على مسار الحالة ضمن حي ε من مسار محدد مسبقاً في فضاء الحالة. تقدم الورقة دراسة منهجية للأنظمة الخطية والثابتة في الزمن ذات اللاخطية التربيعية. بالنسبة للأنظمة الخطية، تم الحصول على نتائج سلبية: ما لم يكن فضاء التحكم متماثلاً مع فضاء الحالة (الحالة البديهية)، فإن التحكم التقريبي في تتبع الحالة الكاملة مستحيل حتى بالمعنى الضعيف. بناءً على هذه النتائج السلبية للأنظمة الخطية، ينتقل المؤلفون إلى الديناميكيات غير الخطية، ويثبتون التحكم التقريبي الضعيف في تتبع أي نطاق زمني لفئة عامة من الأنظمة ذات الأجزاء الخطية التعسفية والحدود اللاخطية التربيعية. يتضمن مفهوم التحكم التقريبي الضعيف في التتبع الذي تم النظر فيه مقياس الاسترخاء (relaxation metric). من خلال تطوير تطبيقات الأنظمة المقترنة (بما في ذلك مشاكل تخطيط الحركة)، يؤكد المؤلفون على أهمية هذا الإعداد الضعيف ويشيرون إلى العوائق التي تظهر في الأعراف الأقوى. يعطي الإطار نتائج عامة حتى عندما قد تحدث نقاط شاذة في الديناميكيات بدون تحكم في وقت محدود.
تركز نظرية التحكم التقليدية بشكل أساسي على مشاكل التحكم من نقطة إلى نقطة، أي البحث عما إذا كانت إشارات الإدخال يمكنها نقل مسار الحالة من أي حالة ابتدائية إلى حالة نهائية محددة مسبقاً. وبالمقارنة، يركز التحكم في التتبع (tracking controllability) على التحكم في الحالة الكاملة أو دالة الإخراج للنظام على مدار الفترة الزمنية بأكملها 0,τ، بحيث يتتبع مساراً محدداً مسبقاً. بشكل محدد، تدرس هذه الورقة نظام التحكم التالي:
x˙(t)+Ax(t)+f(x(t))=Bu(t),t∈[0,τ]
حيث x هي الحالة، u هو التحكم، A هو المؤثر الخطي، B هو مؤثر التحكم، و f هي الحد اللاخطي (المحتمل).
البحث في تتبع الإخراج نسبياً شامل (García-Planas و Domínguez-García، Zamorano و Zuazua وآخرون)، لكن التحكم الكامل في تتبع الحالة يفتقر إلى دراسة منهجية
يقتصر البحث الموجود حول التحكم في تتبع الأنظمة غير الخطية بشكل أساسي على أنظمة التحكم الأفينية بدون انجراف
بالنسبة للأنظمة ذات البعد المحدود، خاصة تلك التي تحتوي على لاخطية تربيعية، يفتقد إطار نظري منهجي
النتائج السلبية للأنظمة الخطية: إثبات منهجي أن التحكم التقريبي الضعيف في تتبع الأنظمة الخطية يحدث فقط في الحالة البديهية حيث يكون مؤثر التحكم B متحولاً (أي أن فضاء التحكم متماثل مع فضاء الحالة) (Proposition 1.5)
النتائج الإيجابية للأنظمة التربيعية: إثبات التحكم التقريبي الضعيف في التتبع على أي نطاق زمني للأنظمة ذات اللاخطية التربيعية التي تحقق افتراضات التشبع المحددة (Assumption 3.3) (Theorem 3.5)
الدور الحاسم لمقياس الاسترخاء: إدخال مقياس الاسترخاء |||·|||τ كأداة قياس، مما يسمح بالحصول على نتائج إيجابية في هذا الطوبولوجيا الضعيفة، بينما توضح الأمثلة المضادة أنه لا يمكن الحصول على نتائج مماثلة في معيار L² الأقوى
تطبيقات الأنظمة المقترنة: تطبيق النتائج الرئيسية على مشكلة التحكم في أنظمة ODE المقترنة، بما في ذلك مشاكل تخطيط الحركة الديناميكية (Theorem 7.1)
النتائج العامة: يضمن الإطار التحكم العام حتى عندما قد تنفجر الديناميكيات بدون تحكم في وقت محدود
التعريف 1.1 (التحكم التقريبي في التتبع): بالنظر إلى τ>0 ومعيار Nτ على L²(0,τ;X)، يكون النظام (1.1) قابلاً للتحكم التقريبي في التتبع على 0,τ فيما يتعلق بـ Nτ، إذا كان لكل ψ∈W^{1,2}((0,τ);X) و ε>0، يوجد دالة تحكم u∈L²(0,τ;U) بحيث يحقق الحل x مع القيمة الابتدائية x(0)=ψ(0):
Nτ(x−ψ)≤ε
مقياس الاسترخاء (الأداة الرئيسية): بالنسبة إلى v∈L¹(0,τ;E)، يُعرّف:
∣∣∣v∣∣∣τ:=supt∈[0,τ]∫0tv(s)dsE
هذا المقياس أضعف من معيار L²، لكن هذا الطوبولوجيا الضعيفة بالذات هي التي تجعل التحكم في التتبع للأنظمة التربيعية ممكناً.
الخطوة 1: النظام الموسع (القسم 4)
إدخال نظام بمدخلين:
w˙(t)+A(w(t)+ζ(t))+f(w(t)+ζ(t))=γ(t)
حيث ζ هو تحكم مضاعف، و γ هو تحكم إضافي. عندما ζ=0، يتحلل إلى النظام الأصلي.
اللمة الرئيسية (Proposition 4.2): إنشاء الاعتماد المستمر للحل على البيانات، مما يوفر ضمان الاستقرار للتقريب اللاحق.
الخطوة 2: تقريب المسار (القسم 5، التقنية الأساسية)
فكرة إثبات Proposition 5.1:
بالنسبة إلى γ∈E_ℓ (دوال ثابتة متعددة التدرج)، افترض γ=η-f(ξ)، ξ,η∈E_{ℓ-1}
استخدام الخاصية التربيعية (1.4):
f(w)−γ=21(f(w+ξ)+f(w−ξ))−η
بناء تحكم بتذبذب عالي التردد:
ζn(t)=Enξ,حيث(Enξ)(t)=χ(nt/τ)ξ χ هي دالة دورية بفترة 1: χ(t)=ξ على [0,1/2)، χ(t)=-ξ على [1/2,1)
اللمة 5.2 (اللمة التقنية الرئيسية): إثبات أنه بالنسبة إلى φ المستمرة: X→X،
hn:=ϕ(w1+ζn)−21(ϕ(w1+ξ)+ϕ(w1−ξ))+Aζn يحقق: limn→∞∥Ihn∥C([0,τ];X)=0 حيث (Iz)(t)=∫0tz(s)ds
إثبات تقارب مقياس الاسترخاء:
∣∣∣ζn∣∣∣τ→0عندماn→∞ يتم تحقيق ذلك من خلال تحليل التكامل ∫0tζn(s)ds واستخدام الدورية لإلغاء الحدود
الخطوة 3: البناء التكراري (القسم 6)
بالنسبة إلى المسار المستهدف ψ، تعريف γ=ψ̇+Aψ+f(ψ)
تطبيق Proposition 5.1 للتقريب من E_ℓ إلى E_{ℓ-1}
التكرار n_X مرات، وأخيراً الحصول على تحكم في E₁=Range(B)
نظراً لأن B:U→Range(B) متحول، يمكن إيجاد u∈U لتحقيق هذا التحكم
كعمل نظري بحت، لا تحتوي الورقة على تجارب عددية، لكنها توفر عدة أمثلة توضيحية:
المثال 3.1 (نظام لورنتز):
x˙=σ−ρ0−σ1000βx+0x2x3−x1x2+100011u
التحقق من أن Assumption 1.7 محقق، وبالتالي فإن هذا النظام قابل للتحكم التقريبي الضعيف في التتبع.
المثال 1.9 (النتيجة السلبية):
النظر في النظام:
x˙1+x1x2=u1,x˙2+x32−x12=0,x˙3−x3x2=u2
يحقق افتراضات Proposition 1.8، وبالتالي قابل للتحكم التقريبي الضعيف في التتبع
لكن ليس قابلاً للتحكم التقريبي (القوي) في التتبع
فكرة الإثبات: اختيار المسار المستهدف ψ=ψ₁,0,0^T، حيث ψ₁ يساوي 1000 بشكل ثابت على 1/3,2/3. إذا كان هناك تسلسل تقريب في L²، فإن x₁ على هذه الفترة ≥999، وبالتالي ẋ₂≥998000، وهذا يتناقض مع معيار L² المحدود.
المثال 3.4 (عدم بديهية Assumption 3.3):
X=ℝ⁶، U=ℝ³
f(x)=0,0,0,x₁x₂,x₁x₃,x₂x₃^T
B=I₃,O₃^T
يمكن التحقق من أن Assumption 3.3 محقق لكن Assumption 1.7 غير محقق، مما يوضح أن الأول أكثر عمومية بالفعل.
النظرية 3.5 (النظرية الرئيسية):
افترض أن Assumption 3.3 محقق، τ>0. لأي ψ∈W^{1,2}((0,τ);X) و ε>0، يوجد تحكم u∈C^∞(0,τ;U) بحيث يحقق الحل x مع القيمة الابتدائية x₀=ψ(0):
∣x(τ)−ψ(τ)∣+∣∣∣x−ψ∣∣∣τ<ε
النتائج المترتبة:
التحكم التقريبي العام (حالة خاصة)
حتى عندما قد ينفجر النظام بدون تحكم في وقت محدود، يبقى نظام التحكم موجوداً بشكل عام
متطلبات التحكم القوية: عندما يكون تتبع L² أو L^∞ ضرورياً
الأنظمة سريعة الاستجابة: قد لا يكون التذبذب عالي التردد قابلاً للتطبيق
الأنظمة المحدودة الطاقة: قد تكون تكاليف التحكم عالية جداً
اللاخطية من الدرجات العليا: عندما تهيمن الحدود من الدرجة الثالثة أو أعلى
الاتجاهات المحتملة للتوسع:
الدمج مع التحسين العددي لتصميم خوارزميات عملية
النظر في قيود التحكم المحدود
دراسة الاستقرار والحساسية
التوسع إلى الأنظمة المتغيرة في الزمن أو العشوائية
التقييم الشامل: هذه ورقة عالية الجودة في نظرية التحكم النظرية، تؤسس بشكل منهجي إطار نظري لقابلية التحكم في تتبع الحالة الكاملة للأنظمة ذات البعد المحدود. من خلال إدخال مقياس الاسترخاء والاستفادة من البنية الخاصة للاخطية التربيعية، تكيّف بمهارة تقنيات التحكم في PDE اللانهائية البعد مع ODE ذات البعد المحدود، وتحصل على نتائج عميقة وإيجابية وسلبية. القيمة الرئيسية للورقة تكمن في المساهمات النظرية والابتكار المنهجي، لكن الجوانب العملية والتحقق العددي تحتاج إلى تعزيز. بالنسبة للباحثين في نظرية التحكم غير الخطي، هذه ورقة جديرة بالقراءة المتعمقة؛ بالنسبة للباحثين التطبيقيين، يتطلب تقييم الملاءمة لمشاكل محددة.