2025-11-14T07:16:10.989277

Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control

Upadhyay, Das, Jagtap
In this work, we address the issue of controller synthesis for a control-affine nonlinear system to meet prescribed time reach-avoid-stay specifications. Our goal is to improve upon previous methods based on spatiotemporal tubes (STTs) by eliminating the need for circumvent functions, which often lead to abrupt tube modifications and high control effort. We propose an adaptive framework that constructs smooth STTs around static unsafe sets, enabling continuous avoidance while guiding the system toward the target within the prescribed time. A closed-form, approximation-free control law is derived to ensure the system trajectory remains within the tube and satisfies the RAS task. The effectiveness of the proposed approach is demonstrated through a case study, showing a significant reduction in control effort compared to prior methods.
academic

নির্ধারিত সময়ের জন্য পৌঁছানো-এড়ানো-থাকা নিয়ন্ত্রণের জন্য মসৃণ স্থানকালীন নল সংশ্লেষণ

মৌলিক তথ্য

  • পেপার আইডি: 2510.11583
  • শিরোনাম: Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
  • লেখক: সিদ্ধার্থ উপাধ্যায়, রত্নাঙ্গশু দাস, পুষ্পক জগতাপ (ভারতীয় বিজ্ঞান গবেষণা প্রতিষ্ঠান)
  • শ্রেণীবিভাগ: eess.SY (সিস্টেম এবং নিয়ন্ত্রণ), cs.RO (রোবোটিক্স), cs.SY (সিস্টেম এবং নিয়ন্ত্রণ)
  • প্রকাশনার সময়: ২০২৫ সালের ১৪ অক্টোবর
  • পেপার লিঙ্ক: https://arxiv.org/abs/2510.11583

সারসংক্ষেপ

এই পেপারটি নিয়ন্ত্রণ-সম্পর্কিত অ-রৈখিক সিস্টেমের নিয়ন্ত্রক সংশ্লেষণ সমস্যার সমাধান করে, যা নির্ধারিত সময়ের পৌঁছানো-এড়ানো-থাকা (RAS) বৈশিষ্ট্য পূরণ করতে লক্ষ্য রাখে। গবেষণার উদ্দেশ্য হল স্থানকালীন নল (STT) ভিত্তিক বিদ্যমান পদ্ধতি উন্নত করা, নল তীক্ষ্ণ পরিবর্তন এবং উচ্চ নিয়ন্ত্রণ খরচ সৃষ্টিকারী বাইপাস ফাংশন দূর করে। একটি অভিযোজনশীল কাঠামো প্রস্তাব করা হয়েছে যা স্থির অনিরাপদ সেটের চারপাশে মসৃণ STT তৈরি করতে পারে, ক্রমাগত বাধা এড়ানোর সাথে সাথে নির্ধারিত সময়ে সিস্টেমকে লক্ষ্যে পরিচালিত করে। বন্ধ-ফর্ম, অ-আনুমানিক নিয়ন্ত্রণ আইন প্রাপ্ত করা হয়েছে, যা নিশ্চিত করে যে সিস্টেম ট্র্যাজেক্টরি নলের মধ্যে থাকে এবং RAS কাজ পূরণ করে। কেস স্টাডির মাধ্যমে পদ্ধতির কার্যকারিতা যাচাই করা হয়েছে, যা পূর্ববর্তী পদ্ধতির তুলনায় নিয়ন্ত্রণ খরচে উল্লেখযোগ্য হ্রাস প্রদর্শন করে।

গবেষণা পটভূমি এবং প্রেরণা

১. সমস্যা সংজ্ঞা

এই পেপারটি যে মূল সমস্যার সমাধান করে তা হল নিয়ন্ত্রণ-সম্পর্কিত অ-রৈখিক সিস্টেমের জন্য নিয়ন্ত্রক ডিজাইন করা, যা নির্ধারিত সময়ের পৌঁছানো-এড়ানো-থাকা (Reach-Avoid-Stay, RAS) বৈশিষ্ট্য পূরণ করে। RAS কাজ প্রাথমিক সেট থেকে শুরু করে নির্ধারিত সময়ে লক্ষ্য সেটে পৌঁছানোর প্রয়োজন, একই সাথে সর্বদা অনিরাপদ অঞ্চল এড়িয়ে চলে এবং লক্ষ্যে পৌঁছানোর পরে লক্ষ্য অঞ্চলের মধ্যে থাকে।

২. সমস্যার গুরুত্ব

RAS বৈশিষ্ট্য আরও জটিল সময়গত যুক্তি সংজ্ঞায়িত করার জন্য একটি মৌলিক উপাদান এবং নিরাপত্তা-সমালোচনামূলক সিস্টেমে গুরুত্বপূর্ণ। এটি শক্তিশালী নিয়ন্ত্রণ কৌশল বিকাশ সমর্থন করে, যা সিস্টেম অবস্থা নিরাপদ অঞ্চলের মধ্যে থাকে তা নিশ্চিত করে, যা রোবোটিক্স নেভিগেশন, স্বয়ংক্রিয় চালনা, বিমান চলাচল এবং অন্যান্য ক্ষেত্রে ব্যাপক প্রয়োগ মূল্য রয়েছে।

৩. বিদ্যমান পদ্ধতির সীমাবদ্ধতা

বিদ্যমান পদ্ধতিগুলি প্রধানত নিম্নলিখিত সমস্যাগুলির মুখোমুখি হয়:

  • বিমূর্ততা পদ্ধতি: অবস্থা স্থান বিচ্ছিন্নকরণের উপর ভিত্তি করে প্রতীকী নিয়ন্ত্রণ পদ্ধতি মাত্রার অভিশাপের সম্মুখীন হয়
  • অপ্টিমাইজেশন পদ্ধতি: নিয়ন্ত্রণ বাধা ফাংশনের উপর ভিত্তি করে পদ্ধতি উচ্চ গণনা খরচ এবং উচ্চ-মাত্রিক সিস্টেমে সম্প্রসারণ কঠিন
  • ফানেল নিয়ন্ত্রণ: যদিও গণনা দক্ষ, উত্তল বৈশিষ্ট্য (যেমন বাধা এড়ানো সীমাবদ্ধতা) পরিচালনা করা এখনও চ্যালেঞ্জিং
  • বিদ্যমান STT পদ্ধতি: বাইপাস ফাংশন ব্যবহার নল তীক্ষ্ণ পরিবর্তন সৃষ্টি করে, উচ্চ নিয়ন্ত্রণ খরচ উৎপন্ন করে

৪. গবেষণা প্রেরণা

উপরোক্ত সীমাবদ্ধতার উপর ভিত্তি করে, এই পেপারটি মসৃণ STT সংশ্লেষণ পদ্ধতি প্রস্তাব করে, যা লক্ষ্য রাখে:

  • বাইপাস ফাংশন ব্যবহার দূর করা, নল তীক্ষ্ণ পরিবর্তন এড়ানো
  • নিয়ন্ত্রণ খরচ হ্রাস করা, সিস্টেম কর্মক্ষমতা উন্নত করা
  • নির্ধারিত সময় RAS বৈশিষ্ট্য সন্তুষ্টির গ্যারান্টি বজায় রাখা
  • বন্ধ-ফর্ম, অ-আনুমানিক নিয়ন্ত্রণ সমাধান প্রদান করা

মূল অবদান

১. মসৃণ STT অভিযোজনশীল কাঠামো প্রস্তাব: একটি নতুন অভিযোজনশীল কাঠামো ডিজাইন করা হয়েছে যা রিয়েল-টাইমে মসৃণ স্থানকালীন নল তৈরি করতে পারে, বাইপাস ফাংশন ব্যবহার এড়িয়ে চলে

২. নল তীক্ষ্ণ পরিবর্তন দূর করা: মসৃণ ক্রমাগত বিকৃতির মাধ্যমে বাধা এড়ানো সীমাবদ্ধতা পরিচালনা করে, নিয়ন্ত্রণ খরচ উল্লেখযোগ্যভাবে হ্রাস করে

३. তাত্ত্বিক গ্যারান্টি বজায় রাখা: নিয়ন্ত্রণ খরচ হ্রাস করার সাথে সাথে, নির্ধারিত সময় RAS বৈশিষ্ট্য সন্তুষ্টির তাত্ত্বিক গ্যারান্টি বজায় রাখা হয়

४. বন্ধ-ফর্ম নিয়ন্ত্রণ আইন প্রদান করা: অজানা গতিশীলতার নিয়ন্ত্রণ-সম্পর্কিত সিস্টেমের জন্য প্রযোজ্য অ-আনুমানিক বন্ধ-ফর্ম নিয়ন্ত্রণ আইন প্রাপ্ত করা হয়েছে

५. পদ্ধতির কার্যকারিতা যাচাই করা: সর্বমুখী মোবাইল রোবটের সিমুলেশন কেস স্টাডির মাধ্যমে পদ্ধতির ব্যবহারিকতা এবং উচ্চতর কর্মক্ষমতা যাচাই করা হয়েছে

পদ্ধতির বিস্তারিত বিবরণ

কাজের সংজ্ঞা

নির্ধারিত সময় RAS কাজ: অনিরাপদ সেট U, প্রাথমিক সেট S⊂ℝⁿ\U এবং লক্ষ্য সেট T⊂ℝⁿ\U দেওয়া হলে, যেকোনো প্রাথমিক অবস্থা x(0)∈S এর জন্য, সময় t∈0,tc বিদ্যমান যেমন x(t)∈T, এবং ট্র্যাজেক্টরি সমস্ত সময়ে অনিরাপদ সেট এড়ায়, অর্থাৎ সমস্ত s∈0,tc এর জন্য x(s)∈ℝⁿ\U, যেখানে tc∈ℝ⁺ নির্ধারিত সমাপ্তি সময়।

সিস্টেম মডেল

নিয়ন্ত্রণ-সম্পর্কিত অ-রৈখিক সিস্টেম বিবেচনা করুন:

S: ẋ = f(x) + g(x)u + w

যেখানে:

  • x(t)∈ℝⁿ: অবস্থা ভেক্টর
  • u(t)∈ℝⁿ: নিয়ন্ত্রণ ইনপুট ভেক্টর
  • w(t)∈W⊂ℝⁿ: অজানা সীমাবদ্ধ বিঘ্ন
  • f(x) এবং g(x): অজানা স্থানীয় Lipschitz ফাংশন

মডেল আর্কিটেকচার

১. পৌঁছানোর যোগ্যতা নল ডিজাইন

প্রাথমিক অবস্থা x(0) কেন্দ্রীভূত হাইপার-আয়তক্ষেত্র সংজ্ঞায়িত করুন:

Ŝ := ∏[i=1,n] [xi(0) - di,S, xi(0) + di,S] ⊂ S

পৌঁছানোর যোগ্যতা নল সীমানা ρ(t) নিম্নলিখিত ডিফারেনশিয়াল সমীকরণ অনুযায়ী বিবর্তিত হয়:

ρ̇i(t) = {
  tc(T̂i - Ŝi)/((tc-t)²) sech²(t/(tc-t)), যদি t < tc
  0, যদি t ≥ tc
}

२. বাধা এড়ানো বৈশিষ্ট্য পরিচালনা

অনিরাপদ সেট মডেল করা হয়েছে: U = ⋃j∈1,nu U⁽ʲ⁾ ⊂ ℝⁿ

নল এবং j-তম অনিরাপদ সেটের ছেদ সময় ব্যবধান t⁽ʲ⁾, t̄⁽ʲ⁾ গণনা করে:

tj = (max[i∈[1,n]] min āi) tc, t̄j = (min[i∈[1,n]] max āi) tc

३. অভিযোজনশীল নল সংশোধন

অভিযোজনশীল কাঠামো সংশোধন প্রস্তাব করা হয়েছে:

γ̇i,L(t) = {
  ρ̇i(t), যদি i ≠ k
  α₁⁽ʲ⁾ρ̇i(t) + α₂⁽ʲ⁾ϕ₁⁽ʲ⁾(t) + α₃⁽ʲ⁾ϕ₂⁽ʲ⁾(t), যদি i = k
}

যেখানে ওজন ফাংশন α₁⁽ʲ⁾, α₂⁽ʲ⁾, α₃⁽ʲ⁾ s(t) = 0.5tanh(t/v) এর উপর ভিত্তি করে সংজ্ঞায়িত, তিন-পর্যায়ের মসৃণ স্যুইচিং বাস্তবায়ন করে।

প্রযুক্তিগত উদ্ভাবন পয়েন্ট

१. বাইপাস ফাংশন দূর করা

বিদ্যমান পদ্ধতির বিপরীতে, এই পেপারটি তীক্ষ্ণ পরিবর্তন সৃষ্টিকারী বাইপাস ফাংশন ব্যবহার করে না, বরং অভিযোজনশীল ওজন ফাংশনের মাধ্যমে মসৃণ নল বিকৃতি বাস্তবায়ন করে।

२. তিন-পর্যায়ের অভিযোজনশীল প্রক্রিয়া

  • পর্যায় ১: α₁⁽ʲ⁾=1, নল লক্ষ্য সেটের দিকে
  • পর্যায় २: α₂⁽ʲ⁾=1, নল অনিরাপদ সেট প্রজেকশন চারপাশে
  • পর্যায় ३: α₃⁽ʲ⁾=1, নল মসৃণভাবে মূল পৌঁছানোর যোগ্যতা সীমানায় ফিরে আসে

३. বন্ধ-ফর্ম নিয়ন্ত্রণ আইন

অ-আনুমানিক নিয়ন্ত্রণ আইন প্রাপ্ত করা হয়েছে:

u(x,t) = -κξ(x,t)ε(x,t)

যেখানে ξ(x,t) এবং ε(x,t) স্বাভাবিকীকৃত ত্রুটি এবং রূপান্তরিত ত্রুটির উপর ভিত্তি করে সংজ্ঞায়িত।

পরীক্ষামূলক সেটআপ

সিস্টেম মডেল

সর্বমুখী মোবাইল রোবট গতিশীলতা মডেল ব্যবহার করা হয়েছে:

[ẋ₁; ẋ₂; ẋ₃] = [cos x₃ -sin x₃ 0; sin x₃ cos x₃ 0; 0 0 1][v₁; v₂; ω] + w(t)

দৃশ্য সেটআপ

  • প্রাথমিক অঞ্চল: S = 0, 0.5 × 0, 0.5
  • লক্ষ্য অঞ্চল: T = 11, 11.5 × 7, 7.5
  • বাধা:
    • U₁ = 1.5, 2 × 0.5, 3
    • U₂ = 5.2, 6.8 × 3.2, 4
    • U₃ = 7, 8 × 0, 8
  • নির্ধারিত সময়: tc = 80s

মূল্যায়ন সূচক

প্রধানত নিয়ন্ত্রণ খরচ হ্রাসের মাত্রা মূল্যায়ন করা হয়, বাইপাস ফাংশন-ভিত্তিক পদ্ধতির সাথে তুলনা করে।

পরীক্ষামূলক ফলাফল

প্রধান ফলাফল

१. ট্র্যাজেক্টরি কর্মক্ষমতা: সিস্টেম সফলভাবে নির্ধারিত সময়ে প্রাথমিক অঞ্চল থেকে লক্ষ্য অঞ্চলে পৌঁছায়, একই সাথে সমস্ত বাধা এড়ায়

२. নিয়ন্ত্রণ খরচ: বাইপাস ফাংশন-ভিত্তিক পদ্ধতির তুলনায়, নিয়ন্ত্রণ খরচ উল্লেখযোগ্যভাবে হ্রাস পায়

३. মসৃণতা: STT ডিজাইন আরও মসৃণ, তীক্ষ্ণ পরিবর্তন এড়ায়

কেস বিশ্লেষণ

চিত্র २ 2D পরিবেশে রোবটের নেভিগেশন ট্র্যাজেক্টরি প্রদর্শন করে, কালো সলিড লাইন সিস্টেম ট্র্যাজেক্টরি প্রতিনিধিত্ব করে, সফলভাবে সমস্ত লাল বাধা এড়ায় এবং সবুজ লক্ষ্য অঞ্চলে পৌঁছায়। চিত্র ३ এর তুলনা ফলাফল স্পষ্টভাবে এই পেপারের পদ্ধতির নিয়ন্ত্রণ খরচ দিকে উল্লেখযোগ্য সুবিধা প্রদর্শন করে।

তাত্ত্বিক যাচাইকরণ

প্রমেয় ३.३ এর মাধ্যমে প্রমাণ করা হয়েছে যে নির্মিত STT নিম্নলিখিত শর্ত পূরণ করে:

  • নল প্রাথমিক সেট থেকে শুরু হয়: Γ(0) ⊂ S
  • নির্ধারিত সময়ে লক্ষ্যে পৌঁছায়: Γ(tc) ⊂ T
  • সম্পূর্ণ প্রক্রিয়া অনিরাপদ সেট এড়ায়: Γ(t) ∩ U = ∅
  • নল সীমানা সীমাবদ্ধতা পূরণ করে

সম্পর্কিত কাজ

প্রধান গবেষণা দিকনির্দেশনা

१. বিমূর্ততা পদ্ধতি: অবস্থা স্থান বিচ্ছিন্নকরণের মাধ্যমে প্রতীকী নিয়ন্ত্রণ সংশ্লেষণ

२. বাধা ফাংশন পদ্ধতি: নিয়ন্ত্রণ Lyapunov-বাধা ফাংশনের উপর ভিত্তি করে অপ্টিমাইজেশন পদ্ধতি

३. ফানেল নিয়ন্ত্রণ: দক্ষ ট্র্যাকিং নিয়ন্ত্রণ পদ্ধতি

४. STT পদ্ধতি: স্থানকালীন নল কাঠামোর উন্নয়ন

এই পেপারের সুবিধা

বিদ্যমান কাজের তুলনায়, এই পেপারের পদ্ধতি:

  • মাত্রার অভিশাপ সমস্যা এড়ায়
  • গণনা জটিলতা হ্রাস করে
  • তীক্ষ্ণ নল পরিবর্তন দূর করে
  • বন্ধ-ফর্ম সমাধান প্রদান করে

উপসংহার এবং আলোচনা

প্রধান উপসংহার

१. প্রস্তাবিত মসৃণ STT সংশ্লেষণ পদ্ধতি নির্ধারিত সময় RAS নিয়ন্ত্রণ সমস্যা কার্যকরভাবে সমাধান করে

२. বাইপাস ফাংশন দূর করা নিয়ন্ত্রণ খরচ উল্লেখযোগ্যভাবে হ্রাস করে

३. অভিযোজনশীল কাঠামো মসৃণ বাধা এড়ানো পরিচালনা বাস্তবায়ন করে

४. তাত্ত্বিক বিশ্লেষণ পদ্ধতির সঠিকতা এবং সম্পূর্ণতা গ্যারান্টি দেয়

সীমাবদ্ধতা

१. স্থির বাধা অনুমান: বর্তমান পদ্ধতি অনিরাপদ সেট স্থির এবং পরিচিত অনুমান করে

२. সিস্টেম শ্রেণী সীমাবদ্ধতা: প্রধানত নিয়ন্ত্রণ-সম্পর্কিত সিস্টেমের জন্য

३. সময় বিচ্ছিন্নতা অনুমান: অনিরাপদ সেট সময়ে যথেষ্ট বিচ্ছিন্ন হওয়া প্রয়োজন

४. মাত্রা সম্প্রসারণযোগ্যতা: উচ্চ-মাত্রিক সিস্টেমের গণনা জটিলতা আরও যাচাইকরণ প্রয়োজন

ভবিষ্যত দিকনির্দেশনা

१. সময়-পরিবর্তনশীল বাধার গতিশীল পরিবেশে সম্প্রসারণ

२. আরও বিস্তৃত অ-রৈখিক সিস্টেম শ্রেণীতে সাধারণীকরণ

३. বহু-এজেন্ট সিস্টেমের সমন্বয় নিয়ন্ত্রণ

४. স্টোকাস্টিক বিঘ্নের অধীনে শক্তিশালীতা বিশ্লেষণ

গভীর মূল্যায়ন

সুবিধা

१. তাত্ত্বিক উদ্ভাবনী শক্তিশালী: প্রস্তাবিত মসৃণ STT পদ্ধতি তাত্ত্বিকভাবে স্পষ্ট উদ্ভাবন রয়েছে, বাইপাস ফাংশন ব্যবহার দূর করে

२. ব্যবহারিক মূল্য উচ্চ: নিয়ন্ত্রণ খরচ উল্লেখযোগ্য হ্রাস ব্যবহারিক প্রয়োগের জন্য গুরুত্বপূর্ণ

३. গাণিতিক কঠোরতা: সম্পূর্ণ তাত্ত্বিক বিশ্লেষণ এবং প্রমাণ প্রদান করে

४. পদ্ধতি সার্বজনীনতা: অজানা গতিশীলতার নিয়ন্ত্রণ-সম্পর্কিত সিস্টেমে প্রযোজ্য

অপূর্ণতা

१. পরীক্ষামূলক যাচাইকরণ সীমিত: শুধুমাত্র একটি 2D রোবট নেভিগেশন কেস প্রদান করা হয়েছে, আরও বৈচিত্র্যময় যাচাইকরণ অভাব

२. অনুমান শর্ত শক্তিশালী: স্থির বাধা এবং সময় বিচ্ছিন্নতা অনুমান ব্যবহারিক প্রয়োগে সীমিত হতে পারে

३. গণনা জটিলতা বিশ্লেষণ অপর্যাপ্ত: পদ্ধতির গণনা জটিলতা বিস্তারিত বিশ্লেষণ করা হয়নি

४. শক্তিশালীতা যাচাইকরণ অপর্যাপ্ত: বিঘ্ন এবং অনিশ্চয়তা পরিচালনা আরও যাচাইকরণ প্রয়োজন

প্রভাব

१. একাডেমিক অবদান: STT পদ্ধতির উন্নয়নের জন্য নতুন চিন্তাভাবনা এবং প্রযুক্তিগত পথ প্রদান করে

२. প্রয়োগ সম্ভাবনা: রোবট নেভিগেশন, স্বয়ংক্রিয় চালনা ইত্যাদি ক্ষেত্রে ভাল প্রয়োগ সম্ভাবনা

३. পদ্ধতি সম্প্রসারণযোগ্যতা: পরবর্তী গবেষণার জন্য দৃঢ় তাত্ত্বিক ভিত্তি প্রদান করে

প্রযোজ্য দৃশ্য

१. রোবট পথ পরিকল্পনা: বিশেষত পরিচিত স্থির পরিবেশে রোবট নেভিগেশনের জন্য উপযুক্ত

२. ড্রোন নিয়ন্ত্রণ: ড্রোনের বাধা এড়ানো ফ্লাইট নিয়ন্ত্রণে প্রয়োগ করা যায়

३. শিল্প স্বয়ংক্রিয়করণ: নির্ভুল সময় নিয়ন্ত্রণ প্রয়োজন এমন শিল্প রোবট সিস্টেমে প্রযোজ্য

४. স্বয়ংক্রিয় চালনা: কাঠামোগত পরিবেশে স্বয়ংক্রিয় চালনা যানবাহন নিয়ন্ত্রণে ব্যবহার করা যায়

সংদর্ভ

পেপারটি ১৮টি সম্পর্কিত সংদর্ভ উদ্ধৃত করে, যা প্রতীকী নিয়ন্ত্রণ, বাধা ফাংশন পদ্ধতি, ফানেল নিয়ন্ত্রণ, STT কাঠামো ইত্যাদি সম্পর্কিত ক্ষেত্রের গুরুত্বপূর্ণ কাজ অন্তর্ভুক্ত করে, এই গবেষণার জন্য দৃঢ় তাত্ত্বিক ভিত্তি এবং তুলনা মানদণ্ড প্রদান করে।