विस्कोसिटी CBFs: सुरक्षित नियंत्रण सिद्धांत में नियंत्रण बाधा फ़ंक्शन और हैमिल्टन-जैकोबी पहुंचयोग्यता ढांचे को जोड़ना

मूल जानकारी

• पेपर ID: 2510.09929
• शीर्षक: विस्कोसिटी CBFs: सुरक्षित नियंत्रण सिद्धांत में नियंत्रण बाधा फ़ंक्शन और हैमिल्टन-जैकोबी पहुंचयोग्यता ढांचे को जोड़ना
• लेखक: डायलन हिर्श, जेम फर्नांडीज फिसैक, सिल्विया हर्बर्ट
• वर्गीकरण: eess.SY (प्रणाली और नियंत्रण), cs.SY (प्रणाली और नियंत्रण)
• प्रकाशन समय: 25 अक्टूबर 11, 2025 (arXiv प्रीप्रिंट)
• पेपर लिंक: https://arxiv.org/abs/2510.09929

सारांश

नियंत्रण बाधा फ़ंक्शन (CBFs) और हैमिल्टन-जैकोबी पहुंचयोग्यता (HJR) सुरक्षित नियंत्रण सिद्धांत में दो मुख्य ढांचे हैं। परंपरागत रूप से, इन दोनों ढांचों को विभिन्न दृष्टिकोणों के रूप में देखा जाता है, पहला इष्टतम सुरक्षित नियंत्रक डिजाइन पर केंद्रित है, दूसरा सुरक्षा के लिए पर्याप्त शर्तें प्रदान करता है। पूर्व कार्य ने नियंत्रण बाधा मूल्य फ़ंक्शन (CB-VF) की अवधारणा प्रस्तुत की, जिसे HJR में अध्ययन किए गए अन्य मूल्य फ़ंक्शन के समान परिभाषित किया गया है, लेकिन कुछ CBF विशेषताओं के साथ। यह पेपर दूसरी दिशा से शुरू करते हुए, CBFs को गैर-अवकलनीय "विस्कोसिटी" CBFs में सामान्यीकृत करता है। लेखक विस्कोसिटी CBFs और CB-VFs के बीच गहरे संबंध प्रदर्शित करते हैं, जो CBF और HJR ढांचों को जोड़ता है। इस पुल के माध्यम से, लेखक विस्कोसिटी CBFs को सटीक रूप से उन फ़ंक्शन के रूप में चिन्हित करते हैं जो CBF-वर्ग सुरक्षा गारंटी (नियंत्रण अपरिवर्तनीयता और सीमा सुचारु सन्निकटन) प्रदान करते हैं। इसके अलावा, विस्कोसिटी CBFs के अच्छे सैद्धांतिक गुण प्रदर्शित किए गए हैं, जिनमें अधिकतम और सीमा संचालन के तहत आदर्श बंद होना शामिल है।

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

समस्या पृष्ठभूमि

1. दो प्रमुख सुरक्षा नियंत्रण ढांचों का अलगाव: CBFs और HJR सुरक्षित नियंत्रण सिद्धांत में दो मुख्य ढांचे हैं, लेकिन परंपरागत रूप से परस्पर स्वतंत्र दृष्टिकोणों के रूप में देखे जाते हैं
2. CBFs की सीमाएं: परंपरागत CBFs को निरंतर अवकलनीयता की आवश्यकता होती है, जो कुछ अनुप्रयोगों में बहुत कठोर है, जो इसकी प्रयोज्यता को सीमित करता है
3. सैद्धांतिक संबंध की कमी: इन दोनों विधियों के बीच आंतरिक संबंध को समझने के लिए एकीकृत सैद्धांतिक ढांचे की कमी है

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

1. सैद्धांतिक एकीकरण: CBFs और HJR के बीच गहरे सैद्धांतिक संबंध स्थापित करना, सुरक्षित नियंत्रण के लिए अधिक संपूर्ण सैद्धांतिक आधार प्रदान करना
2. विधि विस्तार: CBFs को गैर-अवकलनीय फ़ंक्शन तक सामान्यीकृत करना, इसकी प्रयोज्यता सीमा का विस्तार करना
3. विशेषता लक्षण वर्णन: यह सटीक रूप से चिन्हित करना कि कौन से फ़ंक्शन CBF-प्रकार की सुरक्षा गारंटी प्रदान कर सकते हैं

मुख्य योगदान

1. विस्कोसिटी CBFs अवधारणा का परिचय: परंपरागत CBFs को गैर-अवकलनीय फ़ंक्शन तक सामान्यीकृत करना, केवल विस्कोसिटी अर्थ में CBF असमानता को संतुष्ट करना
2. सैद्धांतिक पुल स्थापित करना: यह साबित करना कि विस्कोसिटी CBFs समय-अपरिवर्तनीय CB-VFs के साथ पूरी तरह से समतुल्य हैं, CBF और HJR ढांचों को जोड़ना
3. सुरक्षा गारंटी का पूर्ण लक्षण वर्णन: यह साबित करना कि विस्कोसिटी CBFs बिल्कुल वे सतत फ़ंक्शन हैं जो "बाधा गारंटी" (Barrier Guarantee) प्रदान करते हैं
4. CB-VF सिद्धांत का विस्तार: CB-VF को घातीय प्रतिछूट से K-वर्ग फ़ंक्शन द्वारा निर्धारित गैर-रैखिक प्रतिछूट तक विस्तारित करना
5. सैद्धांतिक गुणों का विश्लेषण: विस्कोसिटी CBFs के अधिकतम और सीमा संचालन के तहत बंद होने जैसे अच्छे गुणों को साबित करना

विधि विस्तार

मूल परिभाषाएं और सेटअप

गतिशील प्रणाली पर विचार करें: $\dot{x} = f(x,u)$

जहां $f : \mathbb{R}^n \times U \to \mathbb{R}^n$ एक लिप्सचिट्ज फ़ंक्शन है, $U \subset \mathbb{R}^m$ अनुमत नियंत्रण इनपुट का एक कॉम्पैक्ट सेट है।

परंपरागत CBF परिभाषा

फ़ंक्शन $h : \mathbb{R}^n \to \mathbb{R}$ K-वर्ग फ़ंक्शन $\alpha$ के संबंध में एक नियंत्रण बाधा फ़ंक्शन है, यदि यह निरंतर अवकलनीय है और संतुष्ट करता है: $\max_{u \in U} \nabla h(x) \cdot f(x,u) \geq -\alpha(h(x))$ सभी $x \in \mathbb{R}^n$ के लिए जो $h(x) > 0$ को संतुष्ट करते हैं।

मुख्य नवाचार: विस्कोसिटी CBFs

विस्कोसिटी CBF परिभाषा

सतत फ़ंक्शन $h : \mathbb{R}^n \to \mathbb{R}$ K-वर्ग फ़ंक्शन $\alpha$ के संबंध में एक विस्कोसिटी CBF है, यदि प्रत्येक $x \in \mathbb{R}^n$ के लिए जो $h(x) > 0$ को संतुष्ट करता है, असमानता $\max_{u \in U} \nabla h(x) \cdot f(x,u) \geq -\alpha(h(x))$ विस्कोसिटी अर्थ में सत्य है।

विस्कोसिटी अर्थ: किसी भी सतत अवकलनीय फ़ंक्शन $\phi : \mathbb{R}^n \to \mathbb{R}$ के लिए, यदि $h - \phi$ का $x$ पर स्थानीय अधिकतम है, तो $\max_{u \in U} \nabla \phi(x) \cdot f(x,u) \geq -\alpha(h(x))$

बाधा गारंटी (Barrier Guarantee)

सतत फ़ंक्शन $B : \mathbb{R}^n \to \mathbb{R}$ स्थानीय लिप्सचिट्ज K-वर्ग फ़ंक्शन $\alpha$ के संबंध में बाधा गारंटी प्रदान करता है, यदि प्रत्येक $\theta \in [0,1)$ और प्रत्येक $x \in \mathbb{R}^n$ के लिए जो $B(x) > 0$ को संतुष्ट करता है, $u \in U$ मौजूद है जैसे कि सभी $t \geq 0$ के लिए: $B(x_x^u(t)) \geq \beta_\alpha(\theta B(x), t)$

जहां $\beta_\alpha$ $\alpha$ से संबंधित KL-वर्ग फ़ंक्शन है।

नियंत्रण बाधा मूल्य फ़ंक्शन (CB-VF) विस्तार

दिए गए सतत फ़ंक्शन $g : \mathbb{R}^n \to \mathbb{R}_{\geq 0}$ और स्थानीय लिप्सचिट्ज K-वर्ग फ़ंक्शन $\alpha$ के लिए, CB-VF $v : \mathbb{R}^n \times \mathbb{R}_{\geq 0} \to \mathbb{R}_{\geq 0}$ निम्नलिखित निहित परिभाषा द्वारा परिभाषित है: $\beta_\alpha(v(x,T), T) = \sup_{u \in U} \min_{t \in [0,T]} \beta_\alpha(g(x_x^u(t)), T-t)$

मुख्य सैद्धांतिक परिणाम

प्रमेय 1: CB-VF का HJ-PDE लक्षण वर्णन

CB-VF $v$ HJ-PDE का अद्वितीय विस्कोसिटी समाधान है: $\max\left\{\frac{\partial}{\partial T}v - H_\alpha(x,v,\nabla v), v - g(x)\right\} = 0$

जहां हैमिल्टनियन $H_\alpha(x,r,\lambda) = \max_{u \in U} \lambda \cdot f(x,u) + \alpha(r)$ है।

प्रमेय 2: मुख्य समतुल्यता परिणाम

स्थानीय लिप्सचिट्ज K-वर्ग फ़ंक्शन $\alpha$ और सतत फ़ंक्शन $h : \mathbb{R}^n \to \mathbb{R}_{\geq 0}$ के लिए, निम्नलिखित प्रस्ताव समतुल्य हैं:

1. $h$ $\alpha$ के संबंध में एक विस्कोसिटी CBF है
2. $h$ HJ-PDE $-\min\{H_\alpha(x,h,\nabla h), 0\} = 0$ का विस्कोसिटी समाधान है
3. संबंधित CB-VF समय-अपरिवर्तनीय है, अर्थात् सभी $T \geq 0$ के लिए $v(\cdot, T) \equiv h(\cdot)$
4. $h$ $\alpha$ के संबंध में बाधा गारंटी प्रदान करता है

विस्कोसिटी CBFs की संरचना गुण

प्रमेय 3: अधिकतम बंद होना

यदि $h_1, h_2$ दोनों K-वर्ग फ़ंक्शन $\alpha$ के संबंध में विस्कोसिटी CBFs हैं, तो $\max\{h_1, h_2\}$ भी $\alpha$ के संबंध में एक विस्कोसिटी CBF है।

प्रमेय 4: सीमा बंद होना

यदि $h_1, h_2, \ldots$ K-वर्ग फ़ंक्शन $\alpha$ के संबंध में विस्कोसिटी CBFs का एक अनुक्रम है, और $h_i \to h$ स्थानीय रूप से समान रूप से अभिसरण करता है, तो $h$ भी $\alpha$ के संबंध में एक विस्कोसिटी CBF है।

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

1. विस्कोसिटी समाधान सिद्धांत का अनुप्रयोग

• आंशिक अवकल समीकरण सिद्धांत में विस्कोसिटी समाधान की अवधारणा को CBF सिद्धांत में प्रस्तुत करना
• परंपरागत CBF के निरंतर अवकलनीयता की कठोर आवश्यकता से बचना
• सुरक्षा गारंटी के आवश्यक विशेषताओं को बनाए रखना

2. ढांचा पुल निर्माण

• CBF और HJR के बीच द्विदिशात्मक संबंध स्थापित करना
• CB-VF को मध्यस्थ के रूप में उपयोग करके सैद्धांतिक एकीकरण प्राप्त करना
• सुरक्षित नियंत्रण को समझने के लिए दो विभिन्न दृष्टिकोण प्रदान करना

3. गैर-रैखिक प्रतिछूट विस्तार

• घातीय प्रतिछूट से K-वर्ग फ़ंक्शन द्वारा निर्धारित मनमानी प्रतिछूट तक सामान्यीकरण
• CB-VF की अभिव्यक्ति क्षमता और प्रयोज्यता को बढ़ाना

अनुप्रयोग उदाहरण

उदाहरण 1: गैर-अवकलनीय CBF

अदिश प्रणाली पर विचार करें $\dot{x} = x + x + x^3/(1+|x|) \cdot u$, नियंत्रण सेट $U = [-1,1]$ के साथ।

$h(x) = 1 - |x|$ को परिभाषित करें (असुरक्षित सेट $(-\infty,-1] \cup [1,+\infty)$ के लिए हस्ताक्षरित दूरी फ़ंक्शन)।

हालांकि $h$ $x = 0$ पर अवकलनीय नहीं है, यह सत्यापित किया जा सकता है कि यह $\alpha(r) = r$ के संबंध में एक विस्कोसिटी CBF है।

सैद्धांतिक महत्व और व्यावहारिक मूल्य

सैद्धांतिक महत्व

1. पूर्णता: CBF-वर्ग सुरक्षा गारंटी प्रदान करने वाले फ़ंक्शन वर्ग का पूर्ण लक्षण वर्णन
2. एकीकरण: दो महत्वपूर्ण सुरक्षा नियंत्रण ढांचों को एक ही सैद्धांतिक आधार पर एकीकृत करना
3. विस्तारशीलता: CBF सिद्धांत के विकास के लिए व्यापक संभावनाएं प्रदान करना

व्यावहारिक मूल्य

1. प्रयोज्यता विस्तार: गैर-अवकलनीय फ़ंक्शन को CBF के रूप में उपयोग करने की अनुमति देना, अधिक व्यावहारिक समस्याओं के लिए लागू होना
2. संरचना विधि: ज्ञात CBFs से नए CBFs का निर्माण करने के लिए व्यवस्थित विधि प्रदान करना
3. गणना लाभ: HJR की गणना विधियों का उपयोग करके CBF का निर्माण करने की संभावना

सीमाएं और भविष्य की दिशाएं

सीमाएं

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

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

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

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

शक्तियां

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

कमजोरियां

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

प्रभाव मूल्यांकन

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

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

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

संदर्भ

पेपर सुरक्षित नियंत्रण सिद्धांत के महत्वपूर्ण साहित्य का हवाला देता है, जिसमें शामिल हैं:

• CBF सिद्धांत की मूलभूत कार्य (Ames et al.)
• हैमिल्टन-जैकोबी पहुंचयोग्यता सिद्धांत (Mitchell, Bayen, Tomlin)
• विस्कोसिटी समाधान सिद्धांत (Bardi, Capuzzo-Dolcetta)
• नियंत्रण बाधा मूल्य फ़ंक्शन की मूल कार्य (Choi et al.)

सारांश: यह सुरक्षित नियंत्रण सिद्धांत क्षेत्र में एक उच्च गुणवत्ता का सैद्धांतिक पेपर है जो महत्वपूर्ण योगदान देता है। विस्कोसिटी CBF अवधारणा को प्रस्तुत करके और HJR ढांचे के साथ संबंध स्थापित करके, यह सुरक्षित नियंत्रण के लिए अधिक संपूर्ण और एकीकृत सैद्धांतिक आधार प्रदान करता है। हालांकि प्रायोगिक सत्यापन की कमी है, लेकिन इसका सैद्धांतिक मूल्य और संभावित अनुप्रयोग संभावनाएं इसे इस क्षेत्र का एक महत्वपूर्ण कार्य बनाती हैं।