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

निर्धारित समय तक पहुँचने-बचने-रहने के नियंत्रण के लिए सुचारु स्पेसटाइम ट्यूब संश्लेषण

मूल जानकारी

  • पेपर ID: 2510.11583
  • शीर्षक: Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
  • लेखक: सिद्धार्थ उपाध्याय, रत्नांगशु दास, पुष्पक जगताप (भारतीय विज्ञान संस्थान)
  • वर्गीकरण: eess.SY (प्रणाली और नियंत्रण), cs.RO (रोबोटिक्स), cs.SY (प्रणाली और नियंत्रण)
  • प्रकाशन तिथि: 14 अक्टूबर 2025
  • पेपर लिंक: https://arxiv.org/abs/2510.11583

सारांश

यह पेपर नियंत्रण-सम्बद्ध अरैखिक प्रणालियों के लिए नियंत्रक संश्लेषण समस्या को संबोधित करता है, जिसका लक्ष्य निर्धारित समय के पहुँचने-बचने-रहने (RAS) विनिर्देशों को पूरा करना है। अनुसंधान का उद्देश्य स्पेसटाइम ट्यूब (STT) आधारित मौजूदा विधियों में सुधार करना है, जो बाईपास कार्यों को समाप्त करके ट्यूब में तीव्र परिवर्तन और उच्च नियंत्रण लागत का कारण बनते हैं। एक अनुकूली ढांचा प्रस्तावित किया गया है जो स्थिर असुरक्षित समुच्चय के चारों ओर सुचारु STT का निर्माण कर सकता है, निरंतर बाधा परिहार को लागू करते हुए निर्धारित समय में प्रणाली को लक्ष्य तक पहुँचाता है। बंद-रूप, सन्निकटन-मुक्त नियंत्रण कानून प्राप्त किए गए हैं जो यह सुनिश्चित करते हैं कि प्रणाली का प्रक्षेपवक्र ट्यूब के भीतर रहता है और RAS कार्य को पूरा करता है। केस अध्ययनों के माध्यम से विधि की प्रभावशीलता को सत्यापित किया गया है, जो पूर्ववर्ती विधियों की तुलना में नियंत्रण लागत में उल्लेखनीय कमी दर्शाता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

1. समस्या परिभाषा

इस पेपर द्वारा हल की जाने वाली मूल समस्या नियंत्रण-सम्बद्ध अरैखिक प्रणालियों के लिए नियंत्रक डिजाइन करना है ताकि वे निर्धारित समय के पहुँचने-बचने-रहने (Reach-Avoid-Stay, RAS) विनिर्देशों को पूरा करें। RAS कार्य के लिए आवश्यक है कि प्रणाली प्रारंभिक समुच्चय से शुरू हो, निर्धारित समय में लक्ष्य समुच्चय तक पहुँचे, साथ ही हमेशा असुरक्षित क्षेत्रों से बचे, और लक्ष्य तक पहुँचने के बाद लक्ष्य क्षेत्र के भीतर रहे।

2. समस्या की महत्ता

RAS गुण अधिक जटिल अस्थायी तर्क को परिभाषित करने के लिए मौलिक घटक हैं, और सुरक्षा-महत्वपूर्ण प्रणालियों में महत्वपूर्ण हैं। यह मजबूत नियंत्रण रणनीतियों के विकास का समर्थन करता है, जो प्रणाली की स्थिति को सुरक्षित क्षेत्रों के भीतर रखना सुनिश्चित करता है, जिसका रोबोट नेविगेशन, स्वायत्त ड्राइविंग, एयरोस्पेस और अन्य क्षेत्रों में व्यापक अनुप्रयोग मूल्य है।

3. मौजूदा विधियों की सीमाएं

मौजूदा विधियों में मुख्य रूप से निम्नलिखित समस्याएं हैं:

  • अमूर्तकरण विधियां: राज्य-स्थान विवेकीकरण पर आधारित प्रतीकात्मक नियंत्रण विधियां आयाम के अभिशाप का सामना करती हैं
  • अनुकूलन विधियां: नियंत्रण बाधा कार्यों पर आधारित विधियां उच्च कम्प्यूटेशनल लागत वाली हैं और उच्च-आयामी प्रणालियों तक विस्तार करना मुश्किल है
  • फनल नियंत्रण: हालांकि कम्प्यूटेशनल रूप से कुशल है, लेकिन उत्तल विनिर्देशों (जैसे बाधा परिहार बाधाओं) को संभालना अभी भी चुनौतीपूर्ण है
  • मौजूदा STT विधियां: बाईपास कार्यों का उपयोग ट्यूब में तीव्र परिवर्तन का कारण बनता है, जिससे उच्च नियंत्रण लागत उत्पन्न होती है

4. अनुसंधान प्रेरणा

उपरोक्त सीमाओं के आधार पर, यह पेपर सुचारु STT संश्लेषण विधि प्रस्तावित करता है, जिसका उद्देश्य है:

  • बाईपास कार्यों के उपयोग को समाप्त करना, ट्यूब में तीव्र परिवर्तन से बचना
  • नियंत्रण लागत को कम करना, प्रणाली के प्रदर्शन में सुधार करना
  • निर्धारित समय RAS विनिर्देशों की संतुष्टि की गारंटी बनाए रखना
  • बंद-रूप, सन्निकटन-मुक्त नियंत्रण समाधान प्रदान करना

मुख्य योगदान

  1. सुचारु STT अनुकूली ढांचा प्रस्तावित किया: एक नई अनुकूली ढांचा डिजाइन की गई जो वास्तविक समय में सुचारु स्पेसटाइम ट्यूब का निर्माण कर सकती है, बाईपास कार्यों के उपयोग से बचती है
  2. ट्यूब में तीव्र परिवर्तन को समाप्त किया: बाधा परिहार बाधाओं को संभालने के लिए सुचारु निरंतर विरूपण के माध्यम से, नियंत्रण लागत में उल्लेखनीय कमी
  3. सैद्धांतिक गारंटियां बनाए रखीं: नियंत्रण लागत को कम करते हुए, निर्धारित समय RAS विनिर्देशों की संतुष्टि की सैद्धांतिक गारंटी बनाए रखी
  4. बंद-रूप नियंत्रण कानून प्रदान किए: अज्ञात गतिशीलता वाली नियंत्रण-सम्बद्ध प्रणालियों के लिए सन्निकटन-मुक्त बंद-रूप नियंत्रण कानून प्राप्त किए
  5. विधि की प्रभावशीलता को सत्यापित किया: सर्वदिशात्मक गतिशील रोबोट के सिमुलेशन केस अध्ययनों के माध्यम से विधि की व्यावहारिकता और श्रेष्ठता को सत्यापित किया

विधि विवरण

कार्य परिभाषा

निर्धारित समय 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): अज्ञात स्थानीय लिप्सचिट्ज़ कार्य

मॉडल आर्किटेक्चर

1. पहुंचनीयता ट्यूब डिजाइन

प्रारंभिक स्थिति 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
}

2. बाधा परिहार विनिर्देश प्रसंस्करण

असुरक्षित समुच्चय को मॉडल किया गया है: 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

3. अनुकूली ट्यूब सुधार

STT को सुधारने के लिए अनुकूली ढांचा प्रस्तावित किया गया है:

γ̇i,L(t) = {
  ρ̇i(t), यदि i ≠ k
  α₁⁽ʲ⁾ρ̇i(t) + α₂⁽ʲ⁾ϕ₁⁽ʲ⁾(t) + α₃⁽ʲ⁾ϕ₂⁽ʲ⁾(t), यदि i = k
}

जहां भार कार्य α₁⁽ʲ⁾, α₂⁽ʲ⁾, α₃⁽ʲ⁾ को s(t) = 0.5tanh(t/v) के आधार पर परिभाषित किया गया है, तीन-चरण सुचारु स्विचिंग को लागू करते हैं।

तकनीकी नवाचार बिंदु

1. बाईपास कार्यों को समाप्त करना

मौजूदा विधियों के विपरीत, यह पेपर तीव्र परिवर्तन का कारण बनने वाले बाईपास कार्यों का उपयोग नहीं करता है, बल्कि अनुकूली भार कार्यों के माध्यम से सुचारु ट्यूब विरूपण को लागू करता है।

2. तीन-चरण अनुकूली तंत्र

  • चरण 1: α₁⁽ʲ⁾=1, ट्यूब लक्ष्य समुच्चय की ओर निर्देशित होता है
  • चरण 2: α₂⁽ʲ⁾=1, ट्यूब असुरक्षित समुच्चय प्रक्षेपण के चारों ओर जाता है
  • चरण 3: α₃⁽ʲ⁾=1, ट्यूब मूल पहुंचनीयता सीमा पर सुचारु रूप से लौटता है

3. बंद-रूप नियंत्रण कानून

सन्निकटन-मुक्त नियंत्रण कानून प्राप्त किया गया है:

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

मूल्यांकन मेट्रिक्स

मुख्य रूप से नियंत्रण लागत में कमी की डिग्री का मूल्यांकन किया गया है, बाईपास कार्य-आधारित विधि के साथ तुलना के माध्यम से।

प्रायोगिक परिणाम

मुख्य परिणाम

  1. प्रक्षेपवक्र प्रदर्शन: प्रणाली निर्धारित समय में प्रारंभिक क्षेत्र से लक्ष्य क्षेत्र तक पहुंचने में सफल रही, साथ ही सभी बाधाओं से बचती है
  2. नियंत्रण लागत: बाईपास कार्य-आधारित विधि की तुलना में, नियंत्रण लागत में उल्लेखनीय कमी
  3. सुचारुता: STT डिजाइन अधिक सुचारु है, तीव्र परिवर्तन से बचता है

केस विश्लेषण

चित्र 2 2D वातावरण में रोबोट के नेविगेशन प्रक्षेपवक्र को दर्शाता है, काली ठोस रेखा प्रणाली प्रक्षेपवक्र को दर्शाती है, सभी लाल बाधाओं से सफलतापूर्वक बचती है और हरे लक्ष्य क्षेत्र तक पहुंचती है। चित्र 3 के तुलनात्मक परिणाम नियंत्रण लागत के पहलू में इस विधि के स्पष्ट लाभ को दर्शाते हैं।

सैद्धांतिक सत्यापन

प्रमेय 3.3 के माध्यम से यह साबित किया गया है कि निर्मित STT निम्नलिखित शर्तों को पूरा करता है:

  • ट्यूब प्रारंभिक समुच्चय से शुरू होता है: Γ(0) ⊂ S
  • निर्धारित समय में लक्ष्य तक पहुंचता है: Γ(tc) ⊂ T
  • पूरे समय असुरक्षित समुच्चय से बचता है: Γ(t) ∩ U = ∅
  • ट्यूब सीमा बाधा शर्तों को पूरा करती है

संबंधित कार्य

मुख्य अनुसंधान दिशाएं

  1. अमूर्तकरण विधियां: राज्य-स्थान विवेकीकरण के माध्यम से प्रतीकात्मक नियंत्रण संश्लेषण
  2. बाधा कार्य विधियां: नियंत्रण लायपुनोव-बाधा कार्यों पर आधारित अनुकूलन विधियां
  3. फनल नियंत्रण: उच्च-दक्ष ट्रैकिंग नियंत्रण विधि
  4. STT विधियां: स्पेसटाइम ट्यूब ढांचे का विकास

इस पेपर के लाभ

मौजूदा कार्य की तुलना में, यह विधि:

  • आयाम के अभिशाप समस्या से बचती है
  • कम्प्यूटेशनल जटिलता को कम करती है
  • ट्यूब में तीव्र परिवर्तन को समाप्त करती है
  • बंद-रूप समाधान प्रदान करती है

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. प्रस्तावित सुचारु STT संश्लेषण विधि निर्धारित समय RAS नियंत्रण समस्या को प्रभावी ढंग से हल करती है
  2. बाईपास कार्यों को समाप्त करने से नियंत्रण लागत में उल्लेखनीय कमी आई है
  3. अनुकूली ढांचा बाधा परिहार के सुचारु प्रसंस्करण को लागू करता है
  4. सैद्धांतिक विश्लेषण विधि की सही्ता और पूर्णता की गारंटी देता है

सीमाएं

  1. स्थिर बाधा धारणा: वर्तमान विधि मानती है कि असुरक्षित समुच्चय स्थिर और ज्ञात हैं
  2. प्रणाली श्रेणी प्रतिबंध: मुख्य रूप से नियंत्रण-सम्बद्ध प्रणालियों के लिए
  3. समय पृथक्करण धारणा: असुरक्षित समुच्चय को समय में पर्याप्त रूप से अलग होना आवश्यक है
  4. आयाम विस्तार क्षमता: उच्च-आयामी प्रणालियों की कम्प्यूटेशनल जटिलता को अभी और सत्यापन की आवश्यकता है

भविष्य की दिशाएं

  1. समय-परिवर्तनशील बाधाओं वाले गतिशील वातावरण तक विस्तार
  2. अधिक व्यापक अरैखिक प्रणाली श्रेणियों तक सामान्यीकरण
  3. बहु-एजेंट प्रणालियों का समन्वय नियंत्रण
  4. यादृच्छिक विक्षोभ के तहत मजबूतता विश्लेषण

गहन मूल्यांकन

लाभ

  1. सैद्धांतिक नवाचार शक्तिशाली है: प्रस्तावित सुचारु STT विधि सैद्धांतिक रूप से स्पष्ट नवाचार प्रदान करती है, बाईपास कार्यों के उपयोग को समाप्त करती है
  2. व्यावहारिक मूल्य अधिक है: नियंत्रण लागत में उल्लेखनीय कमी व्यावहारिक अनुप्रयोग के लिए महत्वपूर्ण है
  3. गणितीय कठोरता: पूर्ण सैद्धांतिक विश्लेषण और प्रमाण प्रदान करता है
  4. विधि सामान्यता: अज्ञात गतिशीलता वाली नियंत्रण-सम्बद्ध प्रणालियों के लिए लागू है

कमियां

  1. सीमित प्रायोगिक सत्यापन: केवल एक 2D रोबोट नेविगेशन केस प्रदान किया गया है, अधिक विविध सत्यापन की कमी है
  2. मजबूत धारणा शर्तें: स्थिर बाधा और समय पृथक्करण धारणा व्यावहारिक अनुप्रयोग में सीमित हो सकती हैं
  3. कम्प्यूटेशनल जटिलता विश्लेषण अपर्याप्त: विधि की कम्प्यूटेशनल जटिलता का विस्तृत विश्लेषण नहीं किया गया है
  4. मजबूतता सत्यापन अपर्याप्त: विक्षोभ और अनिश्चितता के प्रसंस्करण को अधिक सत्यापन की आवश्यकता है

प्रभाव

  1. शैक्षणिक योगदान: STT विधि के विकास के लिए नई सोच और तकनीकी पथ प्रदान करता है
  2. अनुप्रयोग संभावनाएं: रोबोट नेविगेशन, स्वायत्त ड्राइविंग आदि क्षेत्रों में अच्छी अनुप्रयोग संभावनाएं
  3. विधि विस्तारशीलता: बाद के अनुसंधान के लिए ठोस सैद्धांतिक आधार प्रदान करता है

लागू परिदृश्य

  1. रोबोट पथ योजना: विशेष रूप से ज्ञात स्थिर वातावरण में रोबोट नेविगेशन के लिए उपयुक्त
  2. ड्रोन नियंत्रण: ड्रोन के बाधा-परिहार उड़ान नियंत्रण में लागू किया जा सकता है
  3. औद्योगिक स्वचालन: सटीक समय नियंत्रण की आवश्यकता वाली औद्योगिक रोबोट प्रणालियों के लिए उपयुक्त
  4. स्वायत्त ड्राइविंग: संरचित वातावरण में स्वायत्त ड्राइविंग वाहन नियंत्रण में उपयोग किया जा सकता है

संदर्भ

पेपर में 18 संबंधित संदर्भों का हवाला दिया गया है, जिसमें प्रतीकात्मक नियंत्रण, बाधा कार्य विधियां, फनल नियंत्रण, STT ढांचा आदि संबंधित क्षेत्रों के महत्वपूर्ण कार्य शामिल हैं, जो इस अनुसंधान के लिए ठोस सैद्धांतिक आधार और तुलना मानदंड प्रदान करते हैं।