A Fixed-Time Sliding-Mode Framework for Constraint Optimization

तकनीकी सारांश: बाधा अनुकूलन (Constraint Optimization) के लिए एक फिक्स्ड-टाइम स्लाइडिंग-मोड फ्रेमवर्क

समस्या का निरूपण (Problem Formulation)
यह शोधपत्र निरंतर-समय बाधित अनुकूलन समस्याओं (continuous-time constrained optimization problems) को हल करने की चुनौती को संबोधित करता है जहाँ उद्देश्य फलन (objective function) $\phi(x)$ और समानता बाधाएं (equality constraints) $h(x)=0$ गैर-उत्तल (non-convex) हो सकती हैं। प्राथमिक लक्ष्य एक गतिशील प्रणाली (dynamical system) को डिजाइन करना है जो दो महत्वपूर्ण गुणों को एक साथ सुनिश्चित करे:

1. फिक्स्ड-टाइम बाधा संतुष्टि (Fixed-Time Constraint Satisfaction): प्रणाली को एक सीमित समय $T_c$ के भीतर व्यवहार्य सेट (feasible set, जहाँ $h(x)=0$) तक पहुँचना चाहिए, जो प्रारंभिक स्थितियों पर निर्भर नहीं है।
2. इष्टतम अभिसरण (Optimality Convergence): बाधा मैनिफोल्ड (constraint manifold) पर पहुँचने के बाद, प्रणाली को एक करश-कुह्न-टकर (KKT) बिंदु पर अभिसरित होना चाहिए। गैर-उत्तल उद्देश्यों के लिए, यह एक स्थानीय KKT बिंदु की ओर अनंतस्पर्शी (asymptotic) अभिसरण है; $\mu$-स्ट्रॉन्गली कॉन्वेक्स उद्देश्यों के लिए, शोधपत्र का लक्ष्य एक निश्चित समय के भीतर अद्वितीय वैश्विक इष्टतम (global optimizer) की ओर अभिसरण करना है।
3. मजबूती (Robustness): फ्रेमवर्क को 'मैच्ड डिस्टर्बेंस' (matched disturbances) जैसे कि मॉडलिंग त्रुटियों या शोर (noise) की उपस्थिति में भी इन गुणों को बनाए रखना चाहिए, जो $\xi(t,x) = J_h^\top \eta(t,x)$ के रूप में होते हैं।

मौजूदा निरंतर-समय अनुकूलन विधियाँ, जैसे कि प्राइमल-डुअल ग्रेडिएंट डायनेमिक्स (PDGD), अक्सर उत्तल समस्याओं के लिए घातांकीय स्थिरता (exponential stability) प्रदान करती हैं, लेकिन उनमें फिक्स्ड-टाइम गारंटी और बाहरी गड़बड़ी के विरुद्ध मजबूती का अभाव होता है। हालाँकि हाल के कार्यों ने फिक्स्ड-टाइम फ्लो या कंट्रोल बैरियर फंक्शन्स का अन्वेषण किया है, वे अक्सर बाहरी गड़बड़ी को संबोधित करने में विफल रहते हैं या उत्तल और गैर-उत्तल दोनों मामलों के लिए एक एकीकृत नियंत्रण-सैद्धांतिक डिजाइन प्रदान नहीं करते हैं।

कार्यप्रणाली (Methodology)
लेखक एक नियंत्रण-सैद्धांतिक ढांचे का प्रस्ताव करते हैं जहाँ लैग्रेंज मल्टीप्लायर्स $\lambda$ को नियंत्रण इनपुट के रूप में माना जाता है। सिस्टम डायनेमिक्स को इस प्रकार मॉडल किया गया है:
$$\dot{x} = -\nabla \phi(x) - J_h(x)^\top \lambda(x)$$
जहाँ $x$ निर्णय चर (decision variables) को दर्शाता है और $y = h(x)$ विनियमित आउटपुट (regulated output) है।

मुख्य कार्यप्रणाली फिक्स्ड-टाइम स्लाइडिंग मोड कंट्रोल (SMC) का उपयोग करती है:

• स्लाइडिंग मैनिफोल्ड (Sliding Manifold): समानता बाधाओं $h(x)=0$ को सीधे एक स्लाइडिंग सतह $S$ के रूप में शामिल किया गया है।
• नियंत्रण नियम का विखंडन (Control Law Decomposition): नियंत्रण इनपुट $\lambda(x)$ को एक समतुल्य नियंत्रण $\lambda_{eq}$ और एक स्विचिंग नियंत्रण $\lambda_{sw}$ में विभाजित किया गया है:
  • समतुल्य नियंत्रण ($\lambda_{eq}$): सिस्टम को स्लाइडिंग मैनिफोल्ड ($\dot{h}(x)=0$) पर बनाए रखने और ग्रेडिएंट फ्लो को संचालित करने के लिए डिज़ाइन किया गया है। गैर-उत्तल समस्याओं के लिए, यह सिस्टम को अनंतस्पर्शी रूप से एक KKT बिंदु की ओर ले जाता है। उत्तल समस्याओं के लिए, फिक्स्ड-टाइम अभिसरण सुनिश्चित करने के लिए एक संशोधित ग्रेडिएंट टर्म का उपयोग किया जाता है।
  • स्विचिंग नियंत्रण ($\lambda_{sw}$): एक विच्छिन्न (discontinuous) टर्म जो स्लाइडिंग मैनिफोल्ड तक फिक्स्ड-टाइम पहुँच सुनिश्चित करने के लिए डिज़ाइन किया गया है। यह इस रूप में होता है:
    $$\lambda_{sw} \propto \alpha \circ \text{sgn}(h) \circ |h|^p + \beta \circ \text{sgn}(h) \circ |h|^q$$
    जहाँ $0 < p < 1$ और $q > 1$ है। यह संरचना सुनिश्चित करती है कि बाधा उल्लंघन $h(x)$ एक निश्चित समय $T_c$ में शून्य की ओर अभिसरित होता है, जो प्रारंभिक स्थितियों की परवाह किए बिना नियंत्रण गेन्स (gains) $\alpha$ और $\beta$ द्वारा सीमित है।
• मजबूती (Robustness): मैच्ड डिस्टर्बेंस को संभालने के लिए, स्विचिंग गेन्स को इस तरह ट्यून किया जाता है कि विच्छिन्न नियंत्रण टर्म गड़बड़ी पर हावी हो जाए, जिससे बाधा की फिक्स्ड-टाइम पहुँच सुरक्षित रहे।

प्रमुख योगदान (Key Contributions)

1. फिक्स्ड-टाइम बाधा प्रवर्तन (Fixed-Time Constraint Enforcement): शोधपत्र एक नियंत्रण नियम डिजाइन करता है जो यह गारंटी देता है कि सिस्टम एक निश्चित समय $T_c$ में बाधा मैनिफोल्ड $h(x)=0$ तक पहुँच जाता है, जो प्रारंभिक अवस्थाओं पर निर्भर नहीं है, और स्लाइडिंग मोड दृष्टिकोण का उपयोग करता है।
2. दोहरा अभिसरण आश्वासन (Dual Convergence Guarantees):
   • गैर-उत्तल (Non-convex) उद्देश्यों के लिए, स्लाइडिंग मैनिफोल्ड पर कम-क्रम (reduced-order) डायनेमिक्स एक स्थानीय KKT बिंदु की ओर अनंतस्पर्शी अभिसरण सुनिश्चित करते हैं।
   • $\mu$-स्ट्रॉन्गली कॉन्वेक्स उद्देश्यों के लिए, फ्रेमवर्क एक निश्चित समय $T_{total} = T_c + T_o$ के भीतर अद्वितीय वैश्विक इष्टतम की ओर अभिसरण सुनिश्चित करता है, जहाँ $T_o$ मैनिफोल्ड पर अनुकूलन का समय है।
3. डिस्टर्बेंस के प्रति मजबूती (Robustness to Disturbances): फ्रेमवर्क सैद्धांतिक गारंटी प्रदान करता है कि फिक्स्ड-टाइम पहुँच और इष्टतमता अभिसरण, बाउंडेड मैच्ड डिस्टर्बेंस की उपस्थिति में भी सुरक्षित रहते हैं।
4. संख्यात्मक सत्यापन (Numerical Validation): दृष्टिकोण को दो अलग-अलग अनुप्रयोगों पर सत्यापित किया गया है:
   • 3-बस AC ऑप्टिमल पावर फ्लो (AC-OPF): नॉनलीनियर पावर फ्लो बाधाओं के तहत सक्रिय शक्ति न्यूनीकरण (active power minimization) को प्रदर्शित करता है। प्रस्तावित विधि मानक प्रोजेक्टेड ग्रेडिएंट फ्लो (PGF) की तुलना में काफी तेजी से (0.4s के भीतर) इष्टतम समाधान तक पहुँचती है और fmincon के समाधान से मेल खाती है।
   • डिस्ट्रीब्यूटेड पैरामीटर एस्टीमेशन (Distributed Parameter Estimation): एक कंसेंसस-आधारित समस्या जहाँ एजेंट एक सामान्य पैरामीटर का अनुमान लगाते हैं। यह विधि लगभग 0.7s के भीतर फिक्स्ड-टाइम कंसेंसस और वास्तविक पैरामीटर मानों की ओर अभिसरण प्राप्त करती है, जो गति और शोर के प्रति मजबूती के मामले में मानक दृष्टिकोणों से बेहतर प्रदर्शन करती है।

परिणाम और महत्व (Results and Significance)
शोधपत्र का दावा है कि इसका प्रस्तावित फ्रेमवर्क अनुकूलन सिद्धांत और मजबूत नियंत्रण (robust control) के बीच के अंतर को पाटता है। बाधाओं को स्लाइडिंग मैनिफोल्ड के रूप में मानकर, लेखक एक ऐसा एकीकृत डिजाइन प्राप्त करते हैं जो गैर-उत्तल दोनों उद्देश्यों को संभाल सकता है और कार्यान्वयन अनिश्चितताओं को स्पष्ट रूप से संबोधित करता है।

इस कार्य का महत्व इसकी क्षमता में निहित है कि यह बाधा संतुष्टि और अभिसरण के लिए निश्चित समय सीमा (deterministic time bounds) प्रदान करता है, जो एक ऐसा फीचर है जो पारंपरिक ग्रेडिएंट-आधारित विधियों में अक्सर गायब रहता है जो आमतौर पर केवल अनंतस्पर्शी या घातांकीय अभिसरण दर प्रदान करते हैं। AC-OPF और डिस्ट्रीब्यूटेड एस्टीमेशन समस्याओं पर संख्यात्मक परिणाम फ्रेमवर्क की स्केलेबिलिटी और प्रभावशीलता को दर्शाते हैं, विशेष रूप से उन भौतिक प्रणालियों में जहाँ पैरामीटर अनिश्चितता और नेटवर्क सेटिंग्स मौजूद हैं जहाँ केंद्रीकृत समाधान अव्यवहारिक हैं। लेखक नोट करते हैं कि यह दृष्टिकोण कठोर अभिसरण गारंटी के साथ प्रथम-क्रम (first-order) एल्गोरिदम को डिजाइन करने का एक व्यवस्थित तरीका प्रदान करता है।

निष्कर्ष (Conclusion)
शोधपत्र निष्कर्ष निकालता है कि प्रस्तावित फिक्स्ड-टाइम स्लाइडिंग-मोड फ्रेमवर्क सफलतापूर्वक सटीक बाधा संतुष्टि और KKT बिंदुओं की ओर फिक्स्ड-टाइम के भीतर अभिसरण सुनिश्चित करता है, जो प्रारंभिक स्थितियों से स्वतंत्र है और मैच्ड डिस्टर्बेंस के प्रति मजबूत है। भविष्य के कार्य के रूप में समय-परिवर्तनीय (time-varying) और स्टोकेस्टिक बाधाओं, साथ ही बड़े मल्टी-एजेंट सिस्टम तक फ्रेमवर्क को स्केल करने की पहचान की गई है।