A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems

तकनीकी सारांश: निरंतर द्वि-मोडल (Bimodal) खंडित रैखिक (Piecewise Affine) प्रणालियों के लिए एक खंडित दीर्घवृत्तीय (Piecewise Ellipsoidal) सुग्राह्य सेट अनुमान विधि

समस्या विवरण
यह शोध पत्र बाह्य विक्षोभों (Exogenous disturbances) के अधीन निरंतर द्वि-मोडल खंडित रैखिक (PWA) प्रणालियों के लिए सुग्राह्य सेटों (Reachable sets) का अनुमान लगाने की समस्या को संबोधित करता है। जबकि PWA प्रणालियों का उपयोग भौतिक घटनाओं (जैसे रिले, हिस्टेरेसिस, संतृप्ति) को मॉडल करने और गैर-रैखिक गतिकी को अनुमानित करने के लिए व्यापक रूप से किया जाता है, उनके सुग्राह्य सेटों की गणना करना आम तौर पर एक अनिर्णायक (Undecidable) समस्या है। सामान्य PWA हाइब्रिड प्रणालियों के लिए मौजूदा विधियाँ अक्सर उच्च कम्प्यूटेशनल जटिलता से ग्रस्त होती हैं या द्वि-मोडल प्रणालियों की विशिष्ट गतिक संरचना के लिए अनुपयुक्त होती हैं। इसके अतिरिक्त, रैखिक और स्विच किए गए सिस्टम के लिए दीर्घवृत्तीय बाउंडिंग तकनीकें मौजूद हैं, लेकिन वे अक्सर सामान्य लियापुनोव फलनों (Common Lyapunov functions) पर निर्भर करती हैं या विशिष्ट मैट्रिक्स अपघटन की आवश्यकता रखती हैं, जिससे रूढ़िवादी अनुमान (Conservative estimates) मिल सकते हैं या गैर-शून्य विक्षोभों (Non-vanishing disturbances) के साथ अवस्था-निर्भर स्विचिंग को संभालने में विफल हो सकते हैं।

कार्यप्रणाली
लेखक दीर्घवृत्तीय बाउंडिंग के ढांचे के भीतर एक नया दृष्टिकोण प्रस्तावित करते हैं, जो प्रणाली की द्वि-मोडल प्रकृति के अनुरूप खंडित द्विघाती लियापुनोव फलनों (Piecewise quadratic Lyapunov functions) का उपयोग करता है। प्रणाली को दो अफाइन गतिकी (Affine dynamics) द्वारा परिभाषित किया गया है जो एक हाइपरप्लेन $c^T x + f = 0$ के आधार पर स्विच करती है। विक्षोभ एक दीर्घवृत्त (Ellipsoid) के भीतर सीमित हैं।

कार्यप्रणाली निम्नलिखित तकनीकी चरणों के माध्यम से आगे बढ़ती है:

1. हाफ-स्पेस धनात्मकता स्थितियाँ (Half-Space Positivity Conditions): लेखक यह सुनिश्चित करने के लिए स्थितियाँ (लेम्मा 3.1) व्युत्पन्न करते हैं कि एक द्विघाती फलन एक विशिष्ट हाफ-स्पेस पर धनात्मक हो। इसे स्विचिंग सतह मापदंडों से जुड़े एक विशिष्ट मैट्रिक्स रूपांतरण का उपयोग करके हाफ-स्पेस को लक्षणित करके प्राप्त किया जाता है।
2. निरंतरता प्रतिबंध (Continuity Constraints): स्विचिंग हाइपरप्लेन के पार खंडित लियापुनोव फलन की निरंतरता सुनिश्चित करने के लिए, लेखक दो मोडों में द्विघाती फलनों के मापदंडों को संबंधित करने वाली स्थितियाँ (लेम्मा 3.2) स्थापित करते हैं।
3. होमोजेनाइजेशन और एस-प्रोसीजर (Homogenization and S-Procedure): लेखक विक्षोभ दीर्घवृत्त और स्विचिंग सतह दोनों को एक साथ संभालने के लिए होमोजेनाइजेशन की अवधारणा और एक सामान्यीकृत एस-प्रोसीजर (लेम्मा 3.5) का उपयोग करते हैं।
4. LMI सूत्रीकरण (LMI Formulation): इन लेम्मा और सुग्राह्य सेट के लियापुनोव लक्षण (लेम्मा 2.3) को जोड़कर, लेखक लीनियर मैट्रिक्स इनइक्वेलिटी (LMI) स्थितियाँ (थ्योरम 3.6 और कोरोलरी 3.7) व्युत्पन्न करते हैं। ये स्थितियाँ गारंटी देती हैं कि एक विशिष्ट क्षेत्र के बाहर खंडित लियापुनोव फलन का व्युत्पन्न ऋणात्मक निश्चित (Negative definite) है, जिससे एक खंडित दीर्घवृत्तीय सेट के भीतर सुग्राह्य सेट को बांधा जा सके।

प्रमुख योगदान

• नवीन LMI लक्षण (Novel LMI Characterizations): शोध पत्र विशेष रूप से द्वि-मोडल गतिकी का लाभ उठाने के लिए डिज़ाइन की गई नई LMI स्थितियाँ (लेम्मा 3.1, 3.2, 3.4, और थ्योरम 3.5) पेश करता है। पिछले तरीकों के विपरीत, जो एक सामान्य लियापुनोव मैट्रिक्स मानते हैं या विशेष अपघटन (जैसे $P_i = F_i^T T F_i$) की आवश्यकता रखते हैं, यह दृष्टिकोण बिना किसी प्रतिबंधात्मक धारणा के खंडित दीर्घवृत्त का निर्माण करता है।
• गैर-शून्य विक्षोभों को संभालना: प्रस्तावित विधि सीमित, गैर-शून्य विक्षोभों को समायोजित करती है, जो एक ऐसी विशेषता है जहाँ मौजूदा साहित्य (जैसे [28]) में विक्षोभों का अनंत पर शून्य होना आवश्यक होता है।
• अवस्था-निर्भर स्विचिंग: दृष्टिकोण अवस्था-निर्भर स्विचिंग के लिए तैयार किया गया है, जो समय-निर्भर स्विचिंग पर आधारित विधियों से भिन्न है।
• कम्प्यूटेशनल दक्षता: प्रस्तावित विधि एक कॉन्वेक्स ऑप्टिमाइज़ेशन समस्या में परिणत होती है जिसे कुशलतापूर्वक हल किया जा सकता है, जो उच्च-क्रम की प्रणालियों के लिए ज़ोनोटोप-आधारित दृष्टिकोणों की तुलना में कम्प्यूटेशनल समय में महत्वपूर्ण कमी प्रदान करती है।

परिणाम
प्रस्तावित विधि को दो संख्यात्मक उदाहरणों के माध्यम से मान्य किया गया है:

1. उदाहरण 4.1 (2D सिस्टम): "ऑर्थोगोनल" फेज़ प्लेन वाले एक द्वि-मोडल सिस्टम का विश्लेषण किया गया है। परिणाम दर्शाते हैं कि खंडित द्विघाती लियापुनोव फलन, सामान्य द्विघाती लियापुनोव फलन की तुलना में सुग्राह्य सेट के लिए अधिक सटीक (कम रूढ़िवादी) सीमा प्रदान करता है। खंडित विधि सफलतापूर्वक उस ज्यामिति को पकड़ लेती है जिसे सामान्य विधि मिस कर देती है।
2. उदाहरण 4.2 (4D मैकेनिकल सिस्टम): एक वन-साइडेड स्प्रिंग वाले मैकेनिकल सिस्टम का उपयोग CORA टूलबॉक्स (जो ज़ोनोटोप का उपयोग करता है) के विरुद्ध तुलना करने के लिए किया गया है।
   • सटीकता: खंडित दीर्घवृत्तीय अनुमान, सामान्य दीर्घवृत्तीय अनुमान की तुलना में छोटा (अधिक सटीक) दिखाया गया है।
   • प्रदर्शन: प्रस्तावित विधि लगभग 0.1 सेकंड में 4-आदेश की प्रणाली को हल करती है। इसके विपरीत, CORA टूलबॉक्स को 40वें-आदेश के ज़ोनोटोप के लिए 200 सेकंड से अधिक और 50वें-आदेश के ज़ोनोटोप के लिए 215 सेकंड से अधिक का समय लगा। उल्लेखनीय रूप से, CORA में ज़ोनोटोप के क्रम को बढ़ाने से अनुमान में सुधार के बिना कम्प्यूटेशनल समय बढ़ गया, जबकि प्रस्तावित विधि ने न्यूनतम कम्प्यूटेशनल लागत के साथ उच्च सटीकता प्राप्त की।

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

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