⚡ electrical engineering

Verification of High-Order Control Barrier Functions by Computing Class K Functions

यह शोध पत्र संबंधित क्लास K फलनों (class K functions) की गणना करने के लिए सम-ऑफ-स्क्वेयर्स (Sum-of-Squares - SOS) कार्यक्रमों के एक अनुक्रम का उपयोग करके हाई-ऑर्डर कंट्रोल बैरियर फंक्शन्स (High-Order Control Barrier Functions - HOCBFs) के लिए एक सत्यापन विधि प्रस्तावित करता है, जिससे समाधान मौजूद होने पर सिस्टम सुरक्षा सुनिश्चित होती है।

मूल लेखक: Ellie Pond, Matthew Hale

प्रकाशित 2026-08-03

📖 9 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Ellie Pond, Matthew Hale

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक व्यस्त शहर में उड़ने वाले डिलीवरी ड्रोन के बेड़े को प्रोग्राम कर रहे हैं। आप चाहते हैं कि वे तेज़ और कुशल हों, लेकिन सबसे महत्वपूर्ण बात यह है कि वे कभी इमारतों, अन्य ड्रोनों या लोगों से न टकराएं। रोबोटिक्स और इंजीनियरिंग की दुनिया में, यह "सुरक्षा" का परम लक्ष्य है। वैज्ञानिक 'कंट्रोल बैरियर फंक्शन्स' (CBFs) नामक गणितीय उपकरणों का उपयोग करते हैं जो इन रोबोटों के चारों ओर अदृश्य बल क्षेत्र (force fields) की तरह काम करते हैं। ये बल क्षेत्र रोबोट के कंप्यूटर को बताते हैं, "यदि आप इस दिशा में जाते हैं, तो आप सुरक्षित हैं; यदि आप उस दिशा में जाते हैं, तो आप मुसीबत में हैं।"

हालाँकि, इसमें एक पेचीदा पेंच है। कभी-कभी, रोबोट का भौतिक विज्ञान (physics) जटिल होता है। हो सकता है कि ब्रेक लगाने के बाद भी रोबोट को रुकने में कुछ सेकंड लगें, या उसे रुकने के लिए मुड़ने की आवश्यकता हो। यहीं पर "हाई-ऑर्डर" (High-Order) CBFs काम आते हैं। वे बल क्षेत्र का एक अधिक परिष्कृत संस्करण हैं जो इन देरी और जटिल गतिविधियों को ध्यान में रखते हैं। लेकिन समस्या यह है कि इन बल क्षेत्रों को काम करने के लिए, इंजीनियरों को विशिष्ट गणितीय वक्र (curves) चुनने होते हैं, जिन्हें "क्लास K फंक्शन्स" कहा जाता है, जो यह परिभाषित करते हैं कि सुरक्षा नियम कितने सख्त होंगे। गलत वक्र चुनना एक ऐसी गति सीमा निर्धारित करने जैसा है जो या तो बहुत अधिक है (और आप टकरा जाते हैं) या बहुत कम है (और रोबट फंस जाता है)। लंबे समय तक, इंजीनियरों को इन नंबरों का अनुमान लगाना पड़ता था, इस उम्मीद में कि वे काम करेंगे, जो एक जोखिम भरा खेल है जब जीवन या महंगे उपकरण दांव पर हों।

यह शोध पत्र, जिसका शीर्षक "कंप्यूटिंग क्लास K फंक्शन्स द्वारा हाई-ऑर्डर कंट्रोल बैरियर फंक्शन्स का सत्यापन" है, इस अनुमान लगाने वाले खेल को सीधे संबोधित करता है। लेखक, एली पॉन्ड और मैथ्यू टी. हेल, एक नया तरीका प्रस्तावित करते हैं जिससे वे गणितीय रूप से यह सिद्ध कर सकें कि किसी रोबोट के सुरक्षा नियम वास्तव में काम करेंगे, इससे पहले कि वह रोबोट गैरेज से बाहर भी निकले। इन वक्रों का अनुमान लगाने के बजाय, वे "सम-ऑफ-स्क्वेयर्स" (Sum-of-Squares) प्रोग्रामिंग नामक एक शक्तिशाली गणितीय तकनीक का उपयोग करते हैं ताकि सटीक सुरक्षा वक्रों की गणना स्वचालित रूप से की जा सके। इसे एक मास्टर आर्किटेक्ट की तरह समझें जो केवल ब्लूप्रिंट ही नहीं बनाता, बल्कि एक ईंट भी रखने से पहले यह साबित करने के लिए हजारों कंप्यूटर सिमुलेशन चलाता है कि इमारत ढहेगी नहीं।

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

अदृश्य बल क्षेत्र (The Invisible Force Fields)

यह समझने के लिए कि यह इतना बड़ा मामला क्यों है, आइए उन उपकरणों को देखें जिनका यह पत्र उपयोग करता है। कल्पना कीजिए कि एक रोबोट हाईवे पर चल रही एक कार है। एक मानक सुरक्षा नियम हो सकता है: "अपनी लेन में रहें।" गणित में, यह एक सरल रेखा है। लेकिन क्या होगा यदि कार भारी है और उसे रुकने में लंबा समय लगता है? एक सरल रेखा पर्याप्त नहीं है; आपको एक नियम की आवश्यकता है जो कहे, "यदि आप किनारे के करीब हैं, तो आपको अभी धीमा होना चाहिए ताकि आप बाद में फिसलने से बच सकें।" यही वह चीज़ है जो एक हाई-ऑर्डर कंट्रोल बैरियर फंक्शन (HOCBF) करता है। यह एक ऐसा सुरक्षा नियम है जो भविष्य की ओर देखता है, रोबोट के संवेग (momentum) और प्रतिक्रिया देने में लगने वाले समय को ध्यान में रखता है।

लेकिन इस "लुक-अहेड" नियम को काम करने के लिए, इंजीनियर को नियम का एक विशिष्ट आकार चुनना होता है, जिसे क्लास K फंक्शन कहा जाता है। कल्पना कीजिए कि आप एक स्मोक अलार्म की संवेदनशीलता सेट कर रहे हैं। यदि आप इसे बहुत संवेदनशील सेट करते हैं, तो यह टोस्ट किए गए ब्रेड पर भी बज उठेगा (रोबोट अनावश्यक रूप से रुक जाता है)। यदि आप इसे बहुत ढीला सेट करते हैं, तो यह तब तक नहीं बजेगा जब तक घर जल न जाए (रोबोट टकरा जाता है)। लंबे समय तक, इंजीनियरों को इन "संवेदनशीलता नॉब्स" को हाथ से चुनना पड़ता था, जो अक्सर अनुमान और परीक्षण (guess and check) पर आधारित होता था। यदि उन्होंने गलत अनुमान लगाया, तो रोबोट फंस सकता है, या बदतर स्थिति में, कंप्यूटर क्रैश हो सकता है क्योंकि वह सुरक्षित रास्ता नहीं ढूंढ सका।

सुरक्षा के लिए "जादुई कैलकुलेटर" (The "Magic Calculator" for Safety)

इस शोध पत्र के लेखकों ने महसूस किया कि अनुमान लगाने के बजाय, वे इन सटीक नॉब्स को कम्प्यूट करने के लिए एक गणितीय ट्रिक का उपयोग कर सकते हैं। उन्होंने सम-ऑफ-स्क्वेयर्स (SOS) प्रोग्रामिंग नामक विधि का उपयोग किया। आप SOS प्रोग्रामिंग को एक सुपर-स्मार्ट कैलकुलेटर के रूप में देख सकते है जो यह जांचता है कि कोई आकार हमेशा "पॉजिटिव" (सुरक्षित) है या "नेगेटिव" (असुरक्षित)।

पत्र का मुख्य निष्कर्ष एक चरण-दर-चरण रेसिपी (एल्गोरिदम) है जो इस कैलकुलेटर का उपयोग करके एक रोबोट के लिए सही क्लास K फंक्शन्स को खोजने के लिए किया जाता है जिसके पास कई सुरक्षा नियम हैं। यहाँ उनकी कहानी में यह कैसे काम करता है:

समस्या: उनके पास एक रोबोट था जिसे एक साथ सात अलग-अलग सुरक्षा नियमों (HOCBFs) का पालन करना था। प्रत्येक नियम के पास खोजने के लिए अपना स्वयं का अज्ञात "संवेदनशीलता नॉब" (क्लास K फंक्शन) था। कुल मिलाकर यह 14 अज्ञात फंक्शन थे (प्रत्येक सात नियमों के लिए दो)।
समाधान: उन्होंने गणितीय समस्याओं की एक श्रृंखला बनाई। पहले, उन्होंने सुरक्षा की पहली परत के लिए समाधान निकाला, फिर उस परिणाम का उपयोग अगली परत को हल करने के लिए किया, और इसी तरह। यह ब्लॉक के टॉवर बनाने जैसा है जहाँ आप दूसरा ब्लॉक तब तक नहीं रख सकते जब तक कि आपने पहले ब्लॉक के स्थिर होने का प्रमाण न दे दिया हो।
परिणाम: कंप्यूटर सफलतापूर्वक सभी 14 अज्ञात फंक्शनों के मान खोजने में सफल रहा।

सिमुलेशन परीक्षण (The Simulation Test)

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

तीन क्षेत्र ऐसे थे जैसे अदृश्य वृत्त जिन्हें रोबोट को टालना था।
चार क्षेत्र कमरे की दीवारें थीं जिनके भीतर रोबोट को रहना था।

उन्होंने एक लक्ष्य भी जोड़ा: रोबोट को एक विशिष्ट स्थान तक जाना है और वहां रुकना है (इसे "कंट्रोल लियापन फंक्शन" या CLF कहा जाता है, जो एक चुंबक की तरह है जो रोबोट को उसके गंतव्य की ओर खींचता है)।

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

इसका क्या अर्थ है (और क्या नहीं है) (What This Means and What It Doesn't)

यह पत्र सिद्ध करता है कि यदि उनकी गणितीय समस्याओं का समाधान है, तो रोबोट गारंटीकृत रूप से सुरक्षित रहेगा। यह एक "सुरक्षा प्रमाणपत्र" है। यदि कंप्यूटर कहता है "हाँ, मैंने वक्र खोज लिए हैं," तो आप जानते हैं कि रोबोट खराब सुरक्षा सेटिंग के कारण नहीं टकराएगा।

हालाँकि, कुछ महत्वपूर्ण सीमाओं को ध्यान में रखना आवश्यक है। पत्र स्पष्ट रूप से बताता है कि यह विधि उन प्रणालियों के लिए काम करती है जहाँ गणित को 'पॉलीनोमियल्स' (एक विशिष्ट प्रकार का स्मूथ कर्व) के रूप में लिखा जा सकता है। जबकि अधिकांश वास्तविक दुनिया की प्रणालियों को इस तरह से अनुमानित किया जा सकता है, यह एक गणितीय आवश्यकता है। साथ ही, यहाँ प्रस्तुत परिणाम सिमुलेशन हैं। रोबोट केवल एक कंप्यूटर स्क्रीन पर मौजूद था। लेखकों ने इसे वास्तविक लैब या सड़क पर किसी भौतिक रोबोट पर टेस्ट नहीं किया है।

इसके अलावा, पत्र नोट करता है कि कभी-कभी गणित को हल करना बहुत जटिल हो सकता है। यदि कंप्यूटर समाधान नहीं ढूंढ पाता है, तो इसका मतलब यह नहीं है कि रोबोट सुरक्षित नहीं हो सकता; इसका मतलब यह हो सकता है कि उनके द्वारा उपयोग किए गए विशिष्ट गणितीय उपकरण उस विशेष समस्या के लिए पर्याप्त मजबूत नहीं थे। ऐसी स्थितियों में, वे गणित को बदलने (जैसे, वक्रों को सरल बनाना) और फिर से प्रयास करने का सुझाव देते हैं।

सिमुलेशन में, कंप्यूटर को सातों नियमों के लिए संयुक्त रूप से सुरक्षा को सत्यापित करने में लगभग 1,053 सेकंड (लगभग 17 मिनट) लगे। यह दर्शाता है कि हालांकि गणित भारी है, लेकिन यह संभव है। लेखकों ने पाया कि जैसे-जैसे उन्होंने सुरक्षा नियमों की संख्या बढ़ाई, समस्या को हल करने में लगने वाला समय एक सीधी रेखा में बढ़ा, जो भविष्य के अधिक जटिल रोबोटों के लिए एक अच्छा संकेत है।

निचोड़ (The Bottom Line)

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

तकनीकी सारांश: क्लास K फलनों की गणना द्वारा उच्च-क्रम नियंत्रण बाधा कार्यों (HOCBFs) का सत्यापन

समस्या विवरण
उच्च-क्रम नियंत्रण बाधा कार्यों (HOCBFs) का उपयोग कंट्रोल-एफिन सिस्टम में सुरक्षा लागू करने के लिए किया जाता है, जिससे यह सुनिश्चित होता है कि सिस्टम डायनेमिक्स के तहत सुरक्षित अवस्थाओं का एक सेट फॉरवर्ड-इनवेरिएंट (forward-invariant) बना रहे। हालाँकि, HOCBFs के व्यावहारिक कार्यान्वयन में एक महत्वपूर्ण सत्यापन चुनौती आती है। रनटाइम पर, HOCBFs को आमतौर पर सुरक्षा बाधाओं को शामिल करते हुए अनुक्रमिक द्विघात प्रोग्रामों (विशेष रूप से, Sequential Quadratic Programs, या SQPs) को हल करके लागू किया जाता है। ये बाधाएं उपयोगकर्ता द्वारा निर्धारित "क्लास K फलनों" ( $\alpha_i$ ) पर निर्भर करती हैं। वर्तमान में, इन फलनों के चयन के लिए कोई स्थापित नियम नहीं हैं जो फॉरवर्ड इनवेरिएंस की गारंटी दे सकें, और यह स्पष्ट नहीं रहता है कि परिणामी अनुकूलन समस्याएँ (optimization problems) तब व्यवहार्य (feasible) रहेंगी या नहीं जब कई सुरक्षा बाधाएं, स्थिरता के लिए कंट्रोल ल्यपुनोव फंक्शन (CLFs), और इनपुट बाधाओं को एक साथ संतुष्ट किया जाना हो। यदि SQP अव्यावहार्य हो जाता है, तो सिस्टम एक सुरक्षित नियंत्रण इनपुट उत्पन्न नहीं कर पाएगा, जिससे सुरक्षा उल्लंघन होने की संभावना बढ़ जाती है। यह शोध पत्र एक ए प्रियोरी (a priori) सत्यापन पद्धति की आवश्यकता को संबोधित करता है ताकि यह सुनिश्चित किया जा सके कि सिस्टम ऑनलाइन निरंतर सुरक्षित इनपुट उत्पन्न कर सके।

कार्यप्रणाली
लेखक Sum-of-Squares (SOS) प्रोग्रामिंग का उपयोग करके क्लास K फलनों को स्वचालित रूप से निर्मित करने के माध्यम से HOCBFs को सत्यापित करने के लिए एक ढांचा प्रस्तावित करते हैं। कार्यप्रणाली इस प्रकार है:

सैद्धांतिक सीमाएँ (Theoretical Bounds): शोध पत्र पहले क्लास K फलनों के लिए एक सैद्धांतिक ऊपरी सीमा स्थापित करता है (प्रमेय 3.1)। यह प्रदर्शित करता है कि यदि विशिष्ट बहुपद (polynomial) फलन $\beta_i$ कुछ विभेदक असमानताओं (differential inequalities) को संतुष्ट करते हैं, तो वैध क्लास K फलन मौजूद होते हैं जो सुरक्षित सेट को फॉरवर्ड-इनवेरिएंट रखते हैं। यह अज्ञात क्लास K फलनों को खोजने की समस्या को गैर-ऋणात्मकता (non-negativity) की शर्तों को संतुष्ट करने वाले बहुपद गुणांकों को खोजने की समस्या में बदल देता है।
SOS सूत्रीकरण (SOS Formulation): असमानता बाधाओं और वास्तविक बीजगणितीय ज्यामिति (real algebraic geometry) से प्राप्त गैर-ऋणात्मकता प्रमाणों के बीच संबंध का लाभ उठाते हुए, लेखक अनुक्रमिक SOS प्रोग्रामों (SOSPs) को तैयार करते हैं। ये प्रोग्राम क्लास K फलनों और नियंत्रण इनपुट के लिए बहुपद समाधानों की खोज करते हैं।
- एकल HOCBF मामला: सापेक्ष डिग्री $r$ वाले एक एकल HOCBF वाले सिस्टम के लिए, लेखक एक "बॉटम-अप" (bottom-up) SOSPs अनुक्रम विकसित करते हैं। प्रक्रिया $\beta_1$ (जो $\alpha_1$ से संबंधित है) को हल करने से शुरू होती है, फिर उस परिणाम का उपयोग बाद के $\beta_i$ और अंततः $\alpha_r$ को हल करने के लिए किया जाता है, जिससे यह सुनिश्चित होता है कि बाधाएं क्रमिक रूप से पूरी हों।
- एकाधिक HOCBF मामला: $J$ सुरक्षा बाधाओं वाले सिस्टम के लिए, लेखक एक पुनरावृत्ति एल्गोरिदम (एल्गोरिदम 1) प्रस्तावित करते हैं। एल्गोरिदम एक-एक करके HOCBFs को सत्यापित करता है। महत्वपूर्ण रूप से, $(j+1)$ -वें HOCBF को सत्यापित करते समय, पहले से सत्यापित $j$ -वें HOCBF को SOS प्रोग्राम के क्वाड्रेटिक मॉड्यूल (quadratic module) में शामिल किया जाता है। यह सुनिश्चित करता है कि नए क्लास K फलन पहले से सत्यापित बाधाओं की सुरक्षा गारंटी को अमान्य नहीं करते हैं।
व्यवहार्यता गारंटी (Feasibility Guarantee): SOSPs के अनुक्रम को रनटाइम से पूर्व हल किया जाता है। यदि समाधान मौजूद हैं, तो यह शोध पत्र गारंटी देता है कि वास्तविक समय नियंत्रण के लिए उपयोग किया जाने वाला ऑनलाइन SQP सभी समय चरणों के लिए व्यवहार्य रहेगा, बशर्ते कि सैंपलिंग अंतराल पर्याप्त रूप से छोटा हो।

प्रमुख योगदान
यह शोध पत्र तीन प्राथमिक योगदान देता है:

सैद्धांतिक ऊपरी सीमा: यह एक HOCBF में क्लास K फलनों के लिए एक सैद्धांतिक ऊपरी सीमा प्रदान करता है (प्रमेय 3.1)। कोई भी क्लास K फलन जो इस सीमा को संतुष्ट करता है, वह यह प्रमाणित करता है कि HOCBF अपनी परिभाषा को पूरा करता है, जिससे मानक परिभाषाओं में पाए जाने वाले क्लास K फलनों की पुनरावृत्ति निर्भरता (recursive dependency) समाप्त हो जाती है।
सत्यापन अनुक्रम (Verification Sequence): यह एक SOSPs अनुक्रम विकसित करता है (प्रमेय 4.1 और एल्गोरिदम 1) जो (i) सीमित संख्या में HOCBFs के लिए क्लास K फलन उत्पन्न करता है और (ii) CLFs और इनपुट बाधाओं के अधीन सिस्टम के लिए ऑनलाइन अनुकूलन समस्याओं की निरंतर व्यवहार्यता की गारंटी देता है।
संख्यात्मक सत्यापन (Numerical Validation): यह एक यूनिसाइकिल सिस्टम पर सात सापेक्ष डिग्री दो वाले HOCBFs के साथ अपने ढांचे का प्रदर्शन करने वाले संख्यात्मक सिमुलेशन प्रस्तुत करता है, जिसमें कुल 14 अज्ञात क्लास K फलन शामिल हैं।

परिणाम
प्रस्तावित ढांचे का परीक्षण एक यूनिसाकिल सिस्टम पर किया गया जिसमें:

सुरक्षा बाधाएं: सात HOCBFs ( $J=7$ ) जो सुरक्षित क्षेत्रों (तीन गोलाकार बाधाओं से बचना और एक आयताकार वर्कस्पेस के भीतर रहना) को दर्शाते हैं।
स्थिरता लक्ष्य: तीन कंट्रोल ल्यपुनोव-जैसे फंक्शन (CLlFs) जो सिस्टम को एक लक्ष्य स्थिति और वेग की ओर निर्देशित करते हैं।
कार्यान्वयन: SOSPs को MATLAB और SOSTOOLS टूलबॉक्स का उपयोग करके हल किया गया।
परिणाम: एल्गोरिदम ने आवश्यक क्लास K फलन सफलतापूर्वक उत्पन्न किए। सिमुलेशन ने दिखाया कि विभिन्न प्रारंभिक स्थितियों से शुरू होने वाले प्रक्षेपवक्र (trajectories) सभी सुरक्षित सेट्स ( $C_{sys}$ ) के प्रतिच्छेदन के भीतर रहे। परिणामी SQP कार्यान्वयन ने निरंतर इनपुट उत्पन्न किए जो सभी सुरक्षा और स्थिरता बाधाओं को संतुष्ट करते थे।
गणना: सत्यापन प्रक्रिया के लिए गणना समय HOCBFs की संख्या के साथ लगभग रैखिक रूप से बढ़ा, जो 1 HOCBF के लिए 127 सेकंड से बढ़कर 7 HOCBFs के लिए 1053 सेकंड हो गया।

महत्व और दावे
लेखक दावा करते हैं कि यह कार्य कई HOCBFs वाले सिस्टम में सुरक्षित स्थिरीकरण (safe stabilization) की निरंतर व्यवहार्यता के लिए एक कठोर, ए प्रियोरी प्रमाण प्रदान करता है। पिछले तरीकों के विपरीत जो व्यवहार्यता मान सकते हैं या इनपुट बाधाओं के बिना एकल HOCBF पर ध्यान केंद्रित कर सकते हैं, यह दृष्टिकोण व्यवस्थित रूप से कई सुरक्षा बाधाओं, स्थिरता आवश्यकताओं (CLFs) और क्रियान्वयन सीमाओं (actuation limits) के बीच परस्पर क्रिया को संभालता है।

शोध पत्र विनम्रतापूर्वक नोट करता है कि हालांकि SOS प्रोग्रामिंग बहुपद प्रणालियों (या बहुपद अनुमानों) तक सीमित है, फिर भी किसी भी निरंतर फलन को बहुपदों द्वारा समान रूप से अनुमानित किया जा सकता है, जिससे यह दृष्टिकोण व्यापक रूप से लागू करने योग्य बन जाता है। लेखक इस बात पर जोर देते हैं कि उनकी विधि सभी मामलों में सुरक्षित स्थिरीकरण (जहाँ स्थिरता स्लैक वेरिएबल $\rho = 0$ है) की गारंटी नहीं देती है; सिमुलेशन में, गैर-शून्य $\rho$ मानों ने संकेत दिया कि जबकि सुरक्षा सुनिश्चित थी, सख्त स्थिरीकरण के लिए स्लैक वेरिएबल्स के उपयोग की आवश्यकता थी। मुख्य योगदान यह आश्वासन है कि सुरक्षित इनपुट हमेशा उत्पन्न किए जा सकते हैं, जिससे अनुकूलन समस्या के अव्यावहार्य होने की संभावना को रोका जा सके। भविष्य के कार्यों को वितरित सुरक्षित सिस्टम सत्यापन (distributed safe system verification) तक विस्तार करने के रूप में नोट किया गया है।

अदृश्य बल क्षेत्र (The Invisible Force Fields)

सुरक्षा के लिए "जादुई कैलकुलेटर" (The "Magic Calculator" for Safety)

सिमुलेशन परीक्षण (The Simulation Test)

इसका क्या अर्थ है (और क्या नहीं है) (What This Means and What It Doesn't)

निचोड़ (The Bottom Line)

इसी तरह के और पेपर