Safety Filtering with an Infinite Number of Constraints

यहाँ मैक्स एच. कोहेन और अन्य द्वारा लिखित शोध पत्र "Safety Filtering with an Infinite Number of Constraints" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

कंट्रोल बैरियर फंक्शन्स (CBFs) स्वायत्त प्रणालियों (autonomous systems) में सुरक्षा सुनिश्चित करने के लिए एक मानक ढांचा हैं, जो एक सुरक्षित सेट $S$ की फॉरवर्ड इनवेरिएंस (forward invariance) को लागू करके काम करते हैं। जबकि CBF सिद्धांत सीमित (finite) संख्या में बाधाओं (constraints) वाले सिस्टम के लिए अच्छी तरह से स्थापित है (जैसे, $i=1 \dots N$ के लिए $h_i(x) \geq 0$), कई महत्वपूर्ण अनुप्रयोगों में अनंत (infinite) बाधाओं की आवश्यकता होती है।

• मुख्य उदाहरण:
  • बैकअप CBFs: एक बैकअप कंट्रोलर के तहत सिस्टम के फ्लो (flow) का उपयोग करके एक रूढ़िवादी (conservative) सुरक्षित सेट का विस्तार करना।
  • टक्कर बचाव (Collision Avoidance): यह सुनिश्चित करना कि रिजिड बॉडीज के किसी भी विन्यास (configuration) के लिए कोई टक्कर न हो।
  • अनिश्चितता (Uncertainty): ऐसी सुरक्षा लागू करना जहाँ सुरक्षित सेट सभी संभावित स्टेट अनुमानों (state estimates) द्वारा परिभाषित होता है।
• अंतराल (The Gap): मौजूदा CBF सिद्धांत अनंत बाधाओं को संभालने में संघर्ष करता है। मौलिक प्रश्न अभी भी अनुत्तरित हैं:
  1. जब सुरक्षित सेट अनंत असमानताओं द्वारा परिभाषित होता है, तो फॉरवर्ड इनवेरिएंस के लिए आवश्यक और पर्याप्त स्थितियाँ क्या हैं?
  2. CBF की परिभाषा और अनंत बाधाओं से प्राप्त कंट्रोलर्स की नियमितता (निरंतरता/लिप्सचिट्ज़ गुण) क्या है?
  3. क्या सुरक्षा गारंटी खोए बिना व्यावहारिक कार्यान्वयन के लिए अनंत बाधाओं को एक सीमित सेट में बदला जा सकता है?

2. कार्यप्रणाली (Methodology)

लेखक CBF सिद्धांत का विस्तार करते हैं ताकि ऐसे सुरक्षित सेट को संभाला जा सके जो इस प्रकार परिभाषित है:
$$S = \{x \in \mathbb{R}^n \mid h(\tau, x) \geq 0, \forall \tau \in T\}$$
जहाँ $T \subset \mathbb{R}^p$ एक कॉम्पैक्ट पैरामीटर सेट है (जैसे, समय क्षितिज/time horizon) और $h$ $x$ के संबंध में निरंतर अवकलनीय (continuously differentiable) और $\tau$ के संबंध में निरंतर है।

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

1. नियमितता और सुव्यवस्थितता (Regularity and Well-Posedness): पेपर Assumption 1 पेश करता है, जो "रेगुलर वैल्यू" धारणा का एक सामान्यीकरण है। यह आवश्यक है कि $S$ के किसी भी बिंदु पर, एक दिशा $v$ मौजूद होनी चाहिए जहाँ सभी सक्रिय बाधाओं (जहाँ $h(\tau, x)=0$) के लिए ली डेरिवेटिव (Lie derivative) स्ट्रिक्टली पॉजिटिव हो।
2. स्मूथ एसेंट डायरेक्शन (Smooth Ascent Direction - Lemma 1): $T$ की कॉम्पैक्टनेस और Assumption 1 का उपयोग करते हुए, लेखक एक स्मूथ ($C^\infty$) वेक्टर फील्ड $\phi(x)$ के अस्तित्व को सिद्ध करते हैं जो सभी सक्रिय बाधाओं के लिए एक साथ "स्ट्रिक्ट एसेंट" दिशा के रूप में कार्य करता है। यह पॉइंटवाइज अस्तित्व और स्थिरता प्रमाणों के लिए आवश्यक स्मूथ फंक्शन के बीच के अंतर को पाटता है।
3. इनवेरिएंस स्थितियाँ (Invariance Conditions):
   • Theorem 1: अनंत बाधाओं के लिए नागुमो के प्रमेय (Nagumo's Theorem) का विस्तार करता है। यह सिद्ध करता है कि $S$ फॉरवर्ड इनवेरिएंट है यदि और केवल यदि बाउंड्री पर सभी सक्रिय बाधाओं के लिए ली डेरिवेटिव की स्थिति पूरी होती है।
   • ऑप्टिमल-डिके बैरियर फंक्शन्स (OD-BF): अनिश्चितता और व्यावहारिक कंट्रोलर सिंथेसिस के बीच के अंतर को पाटने के लिए, लेखक OD-BF पेश करते हैं। वे सिद्ध करते हैं कि निर्धारित नियमितता स्थितियों के तहत फॉरवर्ड इनवेरिएंस के लिए OD-BF का अस्तित्व आवश्यक और पर्याप्त है।
4. कंट्रोलर सिंथेसिस (Controller Synthesis):
   • OD-CBF परिभाषा: एक एकल "ऑप्टिमल डिके" (OD) वेरिएबल $\omega$ का उपयोग करके अनंत बाधाओं के लिए अनुकूलित कंट्रोल बैरियर फंक्शन। यह अनुकूलन (optimization) में अनंत निर्णय चरों की आवश्यकता को समाप्त करता है।
   • निरंतरता (Proposition 4): पेपर सिद्ध करता है कि ऑप्टिमाइजेशन-आधारित कंट्रोलर्स (अनंत बाधाओं वाले QP को हल करने वाले) स्ट्रिक्ट फजीबिलिटी शर्तों के तहत निरंतर (continuous) होते हैं (हालांकि अनिवार्य रूप से लिप्सचिट्ज़ नहीं)।
   • निरंतरता के तहत सुरक्षा (Theorem 2): चूंकि निरंतर कंट्रोलर्स अद्वितीय समाधानों की गारंटी नहीं देते (आमतौर पर लिप्सचिट्ज़ निरंतरता की आवश्यकता होती है), लेखक डिनी डेरिवेटिव (Dini derivatives) और डांस्किन के प्रमेय (Danskin's Theorem) का उपयोग करके एक कमजोर सुरक्षा गारंटी प्रदान करते हैं, जो निरंतर (गैर-लिप्सचिट्ज़) क्लोज्ड-लूप डायनेमिक्स के तहत भी इनवेरिएंस सुनिश्चित करती है।
5. फाइनाइट रिडक्शन (Finite Reduction - Proposition 5): पेपर अनंत बाधा सेट को एक सीमित सेट में बदलने के लिए एक रचनात्मक विधि प्रदान करता है। लिप्सचिट्ज़ स्थिरांकों (Lipschitz constants) के आधार पर पैरामीटर स्पेस $T$ को एक पर्याप्त महीन ग्रिड के साथ विविक्त (discretize) करके, यह सुनिश्चित किया जाता है कि सीमित सेट की संतुष्टि अनंत सेट की संतुष्टि को दर्शाती है, जिससे मानक संख्यात्मक सॉल्वर का उपयोग संभव हो जाता है।

3. मुख्य योगदान (Key Contributions)

• सैद्धांतिक विस्तार: अनंत निरंतर अवकलनीय बाधाओं द्वारा परिभाषित सुरक्षित सेटों के लिए CBF सिद्धांत को औपचारिक रूप दिया।
• आवश्यक और पर्याप्त स्थितियाँ: स्थापित किया कि फॉरवर्ड इनवेरिएंस बाउंड्री पर बैरियर-जैसी असमानताओं के समकक्ष है (नागुमो के प्रमेय का सामान्यीकरण) और इसे ऑप्टिमल-डिके बैरियर फंक्शन्स के अस्तित्व से जोड़ा।
• नियमितता गारंटी: सिद्ध किया कि ऑप्टिमाइजेशन-आधारित कंट्रोलर्स जो अनंत बाधाओं को पूरा करते हैं, निरंतर होते हैं, और निरंतर (गैर-लिप्सचिट्ज़) वेक्टर फील्ड्स वाले सिस्टम के लिए सुरक्षा गारंटी स्थापित की।
• व्यावहारिक कमी (Practical Reduction): अनंत बाधाओं को सुरक्षा गारंटी बनाए रखते हुए एक सीमित सेट में बदलने की एक कठोर प्रक्रिया विकसित की, जिससे यह सिद्धांत कम्प्यूटेशनल रूप से व्यवहार्य बन गया।
• बैकअप CBFs के लिए एकीकृत ढांचा: यह प्रदर्शित किया कि प्रस्तावित ढांचा मौजूदा बैकअप CBF विधियों की सीमाओं को कैसे हल करता है, विशेष रूप से सुरक्षा फिल्टर की व्यवहार्यता (feasibility) के संबंध में।

4. परिणाम (Results)

• सैद्धांतिक सत्यापन: पेपर सिद्ध करता है कि Assumption 1 के तहत, अनंत बाधा सेट, यदि कंट्रोलर विशिष्ट बैरियर स्थितियों को पूरा करता है, तो फॉरवर्ड इनवेरिएंस के संबंध में सीमित सेटों के समान व्यवहार करता है।
• OD-CFBs की व्यवहार्यता: एकल OD वेरिएबल का उपयोग करने से एक सेमी-इनफिनिट ऑप्टिमाइजेशन समस्या (Eq. 29) तैयार होती है जो बाउंड्री के पास स्ट्रिक्टली फजीबल है, जिससे यह सुनिश्चित होता है कि कंट्रोलर इनफिजिबिलिटी के कारण विफल न हो।
• संख्यात्मक उदाहरण (Double Integrator):
  • लेखकों ने बैकअप CBF सेटअप के साथ डबल इंटीग्रेटर पर सिद्धांत लागू किया।
  • मानक बैकअप CBF: निश्चित डिके रेट्स ($\alpha$) का उपयोग करने से सुरक्षित सेट के भीतर कुछ स्टेट्स पर इनफिजिबिलिटी (infeasibility) आई, जिससे कंट्रोलर अनिश्चित हो गया और सिस्टम सुरक्षित क्षेत्र से बाहर निकल गया।
  • प्रस्तावित OD-CBF: सिंगल OD वेरिएबल दृष्टिकोण का उपयोग करके, कंट्रोलर पूरे सुरक्षित सेट में फजीबल (feasible) रहा। परिणामी क्लोज्ड-लूप वेक्टर फील्ड हर जगह सुव्यवस्थित था, और सिस्टम ने सफलतापूर्वक सुरक्षा बनाए रखी।

5. महत्व (Significance)

यह पेपर सुरक्षा-महत्वपूर्ण नियंत्रण में एक महत्वपूर्ण बाधा को संबोधित करता है: जटिल, अनंत-क्षितिज (infinite-horizon), या अनिश्चितता-आधारित सुरक्षा बाधाओं के लिए सैद्धांतिक सुरक्षा गारंटी और व्यावहारिक कार्यान्वयन के बीच का अंतर।

• बैकअप CBFs के लिए: यह "इनफिजिबिलिटी" की समस्या को हल करता है जो अक्सर निश्चित डिके रेट्स के साथ एक समय क्षितिज पर सुरक्षा लागू करने का प्रयास करते समय आती है, जिससे एक मजबूत विकल्प मिलता है जो एक वैध कंट्रोल इनपुट के अस्तित्व की गारंटी देता है।
• सामान्य सुरक्षा के लिए: यह अनंत बाधाओं (जैसे कि रीचेबिलिटी या रोबस्ट ऑप्टिमाइजेशन के माध्यम से) के उपयोग के लिए CBFs के उपयोग हेतु गणितीय आधार प्रदान करता है, जो सरल ज्यामितीय बाधाओं से आगे बढ़ता है।
• कार्यान्वयन: यह सिद्ध करके कि अनंत बाधाओं को सुरक्षा गारंटी के साथ सीमित बाधाओं में बदला जा सकता है, यह कार्य उन्नत सुरक्षा फिल्टरों को वास्तविक समय के नियंत्रण प्रणालियों (जैसे QP का उपयोग करके) में सीधे लागू करने में सक्षम बनाता है।