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 দেওয়া থাকলে, গবেষকরা অনুসন্ধান করেন যে এমন নিয়ন্ত্রণ বিদ্যমান কিনা যা অবস্থা ট্র্যাজেক্টরিকে অবস্থা স্থানে যেকোনো পূর্বনির্ধারিত পথের ε-প্রতিবেশে রাখে। নিবন্ধটি রৈখিক এবং দ্বিঘাত সময়-অপরিবর্তনীয় সিস্টেমের পদ্ধতিগত অধ্যয়ন পরিচালনা করে। রৈখিক সিস্টেমের জন্য, নেতিবাচক ফলাফল পাওয়া যায়: নিয়ন্ত্রণ স্থান এবং অবস্থা স্থানের আইসোমর্ফিজম এই তুচ্ছ ক্ষেত্র ছাড়া, এমনকি দুর্বল অর্থেও সম্পূর্ণ অবস্থার আনুমানিক ট্র্যাকিং নিয়ন্ত্রণযোগ্যতা অসম্ভব। রৈখিক সিস্টেমের এই নেতিবাচক ফলাফলের উপর ভিত্তি করে, লেখকরা অরৈখিক গতিশীলতার দিকে মনোনিবেশ করেন এবং যেকোনো রৈখিক অংশ এবং দ্বিঘাত অরৈখিক পদ সহ সাধারণ সিস্টেম শ্রেণীর জন্য যেকোনো সময় পরিসরে দুর্বল আনুমানিক ট্র্যাকিং নিয়ন্ত্রণযোগ্যতা প্রমাণ করেন। বিবেচিত দুর্বল আনুমানিক ট্র্যাকিং নিয়ন্ত্রণযোগ্যতার ধারণা শিথিলকরণ মেট্রিক জড়িত। যুক্ত সিস্টেম (গতি পরিকল্পনা সমস্যা অন্তর্ভুক্ত) এর প্রয়োগ বিকাশের মাধ্যমে, লেখকরা এই দুর্বল সেটিংয়ের প্রাসঙ্গিকতা জোর দেন এবং শক্তিশালী নর্মে উদ্ভূত বাধা নির্দেশ করেন। এই কাঠামোটি এমনকি নিয়ন্ত্রণ-মুক্ত গতিশীলতা সীমিত সময়ে বিস্ফোরণ ঘটাতে পারে এমন ক্ষেত্রেও বৈশ্বিক ফলাফল উৎপন্ন করে।
ঐতিহ্যবাহী নিয়ন্ত্রণযোগ্যতা তত্ত্ব প্রধানত বিন্দু-থেকে-বিন্দু নিয়ন্ত্রণ সমস্যার উপর ফোকাস করে, অর্থাৎ ইনপুট সংকেত অবস্থা ট্র্যাজেক্টরিকে যেকোনো প্রাথমিক অবস্থা থেকে পূর্বনির্ধারিত চূড়ান্ত অবস্থায় চালিত করতে পারে কিনা তা অধ্যয়ন করে। বিপরীতে, ট্র্যাকিং নিয়ন্ত্রণযোগ্যতা সম্পূর্ণ সময় ব্যবধান 0,τ জুড়ে সিস্টেমের সম্পূর্ণ অবস্থা বা আউটপুট ফাংশন নিয়ন্ত্রণ করার বিষয়ে যা পূর্বনির্ধারিত ট্র্যাজেক্টরি ট্র্যাক করে। নির্দিষ্টভাবে, এই পেপারটি নিম্নলিখিত নিয়ন্ত্রণ সিস্টেম অধ্যয়ন করে:
x˙(t)+Ax(t)+f(x(t))=Bu(t),t∈[0,τ]
যেখানে x অবস্থা, u নিয়ন্ত্রণ, A রৈখিক অপারেটর, B নিয়ন্ত্রণ অপারেটর, এবং f (সম্ভাব্য) অরৈখিক পদ।
আউটপুট ট্র্যাকিং এর গবেষণা তুলনামূলকভাবে পূর্ণ (গার্সিয়া-প্লানাস এবং ডোমিনগেজ-গার্সিয়া, জামোরানো এবং জুয়াজুয়া ইত্যাদি), কিন্তু সম্পূর্ণ অবস্থা ট্র্যাকিং নিয়ন্ত্রণযোগ্যতা পদ্ধতিগত অধ্যয়নের অভাব রয়েছে
অরৈখিক সিস্টেম ট্র্যাকিং নিয়ন্ত্রণযোগ্যতা সম্পর্কে বিদ্যমান গবেষণা প্রধানত ড্রিফট-মুক্ত অ্যাফাইন নিয়ন্ত্রণ সিস্টেমে সীমাবদ্ধ
সীমিত মাত্রার সিস্টেমের জন্য, বিশেষ করে দ্বিঘাত অরৈখিকতা সহ, পদ্ধতিগত তাত্ত্বিক কাঠামোর অভাব রয়েছে
রৈখিক সিস্টেমের নেতিবাচক ফলাফল: পদ্ধতিগতভাবে প্রমাণ করে যে রৈখিক সিস্টেমের দুর্বল আনুমানিক ট্র্যাকিং নিয়ন্ত্রণযোগ্যতা শুধুমাত্র নিয়ন্ত্রণ অপারেটর B সার্জেক্টিভ (অর্থাৎ নিয়ন্ত্রণ স্থান এবং অবস্থা স্থান আইসোমর্ফিক) এই তুচ্ছ ক্ষেত্রে বিদ্যমান (প্রস্তাব ১.৫)
দ্বিঘাত সিস্টেমের ইতিবাচক ফলাফল: নির্দিষ্ট স্যাচুরেশন অনুমান (অনুমান ৩.৩) সন্তুষ্ট করে এমন দ্বিঘাত অরৈখিক সিস্টেমের জন্য, যেকোনো সময় পরিসরে দুর্বল আনুমানিক ট্র্যাকিং নিয়ন্ত্রণযোগ্যতা প্রমাণ করে (উপপাদ্য ৩.৫)
শিথিলকরণ নর্মের মূল ভূমিকা: শিথিলকরণ নর্ম |||·|||τ পরিমাপ সরঞ্জাম হিসাবে প্রবর্তন করে, যা এই দুর্বল টপোলজিতে ইতিবাচক ফলাফল প্রাপ্ত করতে সক্ষম করে, একই সাথে প্রতিউদাহরণের মাধ্যমে দেখায় যে শক্তিশালী L² নর্মে অনুরূপ ফলাফল অর্জন করা যায় না
যুক্ত সিস্টেমের প্রয়োগ: প্রধান ফলাফল যুক্ত ODE সিস্টেমের নিয়ন্ত্রণ সমস্যায় প্রয়োগ করে, গতিশীল গতি পরিকল্পনা সমস্যা অন্তর্ভুক্ত (উপপাদ্য ৭.১)
বৈশ্বিক ফলাফল: এমনকি নিয়ন্ত্রণ-মুক্ত গতিশীলতা সীমিত সময়ে বিস্ফোরণ ঘটাতে পারে এমন ক্ষেত্রেও, এই কাঠামোটি বৈশ্বিক নিয়ন্ত্রণযোগ্যতা নিশ্চিত করে
সংজ্ঞা ১.১ (আনুমানিক ট্র্যাকিং নিয়ন্ত্রণযোগ্যতা): τ>0 এবং L²(0,τ;X) এ নর্ম Nτ দেওয়া থাকলে, সিস্টেম (১.১) 0,τ এ Nτ সম্পর্কে আনুমানিক ট্র্যাকিং নিয়ন্ত্রণযোগ্য, যদি প্রতিটি ψ∈W^{1,2}((0,τ);X) এবং ε>0 এর জন্য, নিয়ন্ত্রণ ফাংশন u∈L²(0,τ;U) বিদ্যমান থাকে যেমন প্রাথমিক মান x(0)=ψ(0) সহ সমাধান x সন্তুষ্ট করে:
Nτ(x−ψ)≤ε
শিথিলকরণ নর্ম (মূল সরঞ্জাম): v∈L¹(0,τ;E) এর জন্য, সংজ্ঞায়িত করুন:
∣∣∣v∣∣∣τ:=supt∈[0,τ]∫0tv(s)dsE
এই নর্মটি L² নর্মের চেয়ে দুর্বল, কিন্তু এই দুর্বল টপোলজিটি দ্বিঘাত সিস্টেমের ট্র্যাকিং নিয়ন্ত্রণযোগ্যতা সম্ভব করে তোলে।
অনুমান ১.৭ সন্তুষ্ট হয় যাচাই করে, তাই এই সিস্টেম দুর্বল আনুমানিক ট্র্যাকিং নিয়ন্ত্রণযোগ্য।
উদাহরণ ১.৯ (নেতিবাচক ফলাফল):
সিস্টেম বিবেচনা করুন:
x˙1+x1x2=u1,x˙2+x32−x12=0,x˙3−x3x2=u2
প্রস্তাব ১.৮ এর অনুমান সন্তুষ্ট করে, তাই দুর্বল আনুমানিক ট্র্যাকিং নিয়ন্ত্রণযোগ্য
কিন্তু (শক্তিশালী) আনুমানিক ট্র্যাকিং নিয়ন্ত্রণযোগ্য নয়
প্রমাণ চিন্তাভাবনা: লক্ষ্য ট্র্যাজেক্টরি ψ=ψ₁,0,0^T নির্বাচন করুন, যেখানে ψ₁ 1/3,2/3 এ ধ্রুবক ১০০০। যদি L² অনুমান ক্রম বিদ্যমান থাকে, তাহলে x₁ সেই ব্যবধানে ≥999, তাই ẋ₂≥998000, যা L² নর্মের সীমাবদ্ধতার সাথে বিরোধ করে।
উদাহরণ ৩.৪ (অনুমান ৩.৩ এর অ-তুচ্ছতা):
X=ℝ⁶, U=ℝ³
f(x)=0,0,0,x₁x₂,x₁x₃,x₂x₃^T
B=I₃,O₃^T
অনুমান ৩.৩ সন্তুষ্ট কিন্তু অনুমান ১.৭ সন্তুষ্ট নয় যাচাই করা যায়, দেখায় যে পূর্বটি সত্যিই আরও সাধারণ।
উপপাদ্য ৩.৫ (প্রধান উপপাদ্য):
অনুমান ৩.৩ সন্তুষ্ট হোক, τ>0। যেকোনো ψ∈W^{1,2}((0,τ);X) এবং ε>0 এর জন্য, নিয়ন্ত্রণ u∈C^∞(0,τ;U) বিদ্যমান যেমন প্রাথমিক মান x₀=ψ(0) সহ সমাধান x সন্তুষ্ট করে:
∣x(τ)−ψ(τ)∣+∣∣∣x−ψ∣∣∣τ<ε
উপপাদ্য ৭.১: যুক্ত সিস্টেম বিবেচনা করুন
x˙+Ax+f(x)=Bu,z˙+Γ~(z,x)+B(z)=0
যদি (z̄,x̄) দ্বিতীয় সমীকরণ সন্তুষ্ট করে, এবং f,B অনুমান ৩.৩ সন্তুষ্ট করে, তাহলে যেকোনো ε>0 এর জন্য, u বিদ্যমান যেমন:
supt∈[0,τ]∣z(t)−zˉ(t)∣+∣x(τ)−xˉ(τ)∣+∣∣∣x−xˉ∣∣∣τ<ε
প্রয়োগ দৃশ্য:
গতিশীল নিয়ন্ত্রণ: প্রথম সমীকরণ দ্বিতীয় সমীকরণের গতিশীল নিয়ন্ত্রক হিসাবে কাজ করে
গতি পরিকল্পনা (উদাহরণ ৭.৩): x নিয়ন্ত্রণ করে z এর ট্র্যাজেক্টরি ট্র্যাকিং বাস্তবায়ন করুন
উদাহরণ ৭.৩ এর নির্দিষ্ট সেটআপ:
X=Z=ℝ^d, Γ̃(a,b)=a₁b₁,...,a_db_d^T
লক্ষ্য: নির্দিষ্ট অর্থোগোনাল অক্ষের মধ্যে থাকা রেফারেন্স বক্ররেখা z_ref ট্র্যাক করুন
সামগ্রিক মূল্যায়ন: এটি একটি উচ্চ মানের তাত্ত্বিক নিয়ন্ত্রণ পেপার যা সীমিত মাত্রার সিস্টেমের সম্পূর্ণ অবস্থা ট্র্যাকিং নিয়ন্ত্রণযোগ্যতার তাত্ত্বিক কাঠামো পদ্ধতিগতভাবে স্থাপন করে। শিথিলকরণ নর্ম প্রবর্তন এবং দ্বিঘাত অরৈখিকতার বিশেষ কাঠামো ব্যবহার করে, এটি চতুরভাবে অসীম মাত্রার PDE নিয়ন্ত্রণের কৌশল সীমিত মাত্রার ODE তে অভিযোজিত করে, গভীর ইতিবাচক এবং নেতিবাচক উভয় ফলাফল অর্জন করে। পেপারের প্রধান মূল্য তাত্ত্বিক অবদান এবং পদ্ধতি উদ্ভাবনে নিহিত, তবে ব্যবহারিকতা এবং সংখ্যাগত যাচাইকরণ দিক শক্তিশালী করা প্রয়োজন। অরৈখিক নিয়ন্ত্রণ তত্ত্ব গবেষণায় নিয়োজিত পণ্ডিতদের জন্য, এটি গভীরভাবে পড়ার যোগ্য একটি সাহিত্য; প্রয়োগ গবেষকদের জন্য, নির্দিষ্ট সমস্যার সাথে এর প্রযোজ্যতা মূল্যায়ন করা প্রয়োজন।