A note on input signal generators: A relaxation of Willems' fundamental lemma in the SISO case

यहाँ युन जियोंग यांग और जिन ग्यू ली के शोध पत्र "A note on input signal generators: A relaxation of Willems' fundamental lemma in the SISO case" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र डिस्क्रीट-टाइम (discrete-time) और कंटीन्यूअस-टाइम (continuous-time) सिंगल-इनपुट-सिंगल-आउटपुट (SISO) लीनियर टाइम-इनवेरिएंट (LTI) प्रणालियों के लिए डेटा-ड्रिवन सिस्टम आइडेंटिफिकेशन और कंट्रोल की चुनौती को संबोधित करता है।

• संदर्भ (Context): विलेम्स का फंडामेंटल लेम्मा (Willems' Fundamental Lemma) डेटा-ड्रिवन कंट्रोल का आधार स्तंभ है, जो यह बताता है कि यदि एक इनपुट सिग्नल पर्याप्त उच्च क्रम का परसिस्टेंटली एक्साइटिंग (PE) है, तो परिणामी इनपुट-आउटपुट डेटा सिस्टम के व्यवहार को पूरी तरह से वर्णित कर सकता है (अर्थात, सभी संभावित प्रक्षेप पथों [trajectories] के स्थान को कवर कर सकता है)।
• वर्तमान सिद्धांत की सीमाएँ (Limitations of Current Theory):
  • अत्यधिक रूढ़िवादिता (Over-conservatism): मानक PE स्थिति के लिए इनपुट आयाम (input dimension) कम से कम $L + n$ होना चाहिए (जहाँ $L$ विंडो की लंबाई है और $n$ सिस्टम का क्रम है) ताकि सभी प्रारंभिक स्थितियों (initial conditions) के लिए सूचनात्मक डेटा सुनिश्चित किया जा सके। इसके लिए अक्सर लंबे डेटा अनुक्रमों या जटिल सिग्नल डिजाइनों (जैसे कई आवृत्तियों वाले मल्टीसाइन्स) की आवश्यकता होती है।
  • सत्यापन बनाम डिजाइन (Verification vs. Design): PE स्थिति को इनपुट चुनने के बाद बनने वाले हेंकेल मैट्रिक्स (Hankel matrix) के रैंक के माध्यम से परिभाषित किया जाता है। यह इनपुट सिग्नल को स्वयं डिजाइन करने के लिए कोई रचनात्मक नियम प्रदान नहीं करता है।
  • डिस्क्रीट-टाइम पर ध्यान (Discrete-time focus): शास्त्रीय लेम्मा डिस्क्रीट-टाइम प्रणालियों के लिए तैयार किया गया है, जिससे कंटीन्यूअस-टाइम प्रणालियों में इसका विस्तार करना गैर-तुच्छ (non-trivial) हो जाता है।
• मुख्य प्रश्न (Core Question): क्या हम सूचनात्मक डेटा उत्पन्न करने के लिए एक ऐसी आवश्यक और पर्याप्त शर्त (necessary and sufficient condition) खोज सकते हैं जो विलेम्स की स्थिति की तुलना में कम प्रतिबंधात्मक हो, विशेष रूप से छोटे इनपुट या कम आवृत्तियों वाले इनपुट की अनुमति देती हो, जबकि "लगभग सभी" (almost all) प्रणालियों और प्रारंभिक स्थितियों के लिए कार्य करती हो?

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

लेखक व्यवहार संबंधी सिद्धांत (Behavioral Theory) (जो PE जैसे सिग्नल गुणों पर ध्यान केंद्रित करता है) से वापस डायनेमिकल सिस्टम्स थ्योरी (Dynamical Systems Theory) (जो सिग्नल जनरेटर की संरचना पर ध्यान केंद्रित करता है) की ओर एक प्रतिमान परिवर्तन (paradigm shift) का प्रस्ताव करते हैं।

• सिग्नल जनरेटर मॉडल (Signal Generator Model): इनपुट $u(t)$ को एक यादृच्छिक अनुक्रम के रूप में मानने के बजाय, वे इसे एक स्वायत्त LTI सिस्टम (एक "सिग्नल जनरेटर") के आउटपुट के रूप में मॉडल करते हैं:
  $$w(t+1) = S_g w(t), \quad u(t) = L_g w(t)$$
  जहाँ $w \in \mathbb{R}^{N_g}$ जनरेटर स्टेट है, $S_g$ डायनेमिक्स मैट्रिक्स है, और $L_g$ आउटपुट मैट्रिक्स है।
• मान्यताएँ (Assumptions):
  1. युग्म $(L_g, S_g)$ ऑब्जर्वेबल (observable) है।
  2. युग्म $(S_g, w_0)$ कंट्रोलेबल (controllable) है (यह सुनिश्चित करने के लिए कि सभी मोड उत्तेजित हों)।
  3. सिस्टम मैट्रिक्स $A$ और जनरेटर मैट्रिक्स $S_g$ के स्पेक्ट्रा विलगित (disjoint) हैं ($\sigma(A) \cap \sigma(S_g) = \emptyset$)।
• विघटन दृष्टिकोण (Decomposition Approach): सिग्नल जनरेटर को प्लांट के साथ जोड़कर, लेखक एक इनवेरिएंट मैनिफोल्ड (invariant manifold) को परिभाषित करने के लिए सिल्वेस्टर समीकरण (Sylvester equation) ($A\Pi + B L_g = \Pi S_g$) का उपयोग करते हैं। यह उन्हें इनपुट-आउटपुट हेंकेल मैट्रिक्स को जनरेटर के स्ट्रक्चरल घटकों और सिस्टम की ऑब्जर्वेबिलिटी से संबंधित घटकों में विभाजित करने की अनुमति देता है।
• रैंक विश्लेषण (Rank Analysis): वे रैंक-निलिटी प्रमेय (rank-nullity theorem) का उपयोग करके हेंकेल मैट्रिक्स के रैंक का विश्लेषण करते हैं, जिसमें जनरेटर के ऑब्जर्वेबिलिटी मैट्रिक्स के इमेज और सिस्टम के कंट्रोलेबिलिटी मैट्रिक्स के कर्नेल (kernel) के प्रतिच्छेदन (intersection) पर ध्यान केंद्रित किया जाता है।

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

1. विलेम्स की स्थिति का शिथिलन (Relaxation of Willems' Condition): यह शोध पत्र सिद्ध करता है कि सख्त आवश्यकता $N_g \geq L + n$ (जनरेटर का आयाम $\geq$ विंडो लंबाई + सिस्टम का क्रम) केवल सभी प्रारंभिक स्थितियों के लिए आवश्यक है। लगभग सभी प्रारंभिक स्थितियों के लिए (लेबेग माप [Lebesgue measure] के अर्थ में), एक जनरेटर जिसका आयाम $N_g \geq L$ है, पर्याप्त है।
2. रचनात्मक इनपुट डिजाइन (Constructive Input Design): समस्या को सिग्नल जनरेटर के संदर्भ में फ्रेम करके, लेखक एक सीधा डिजाइन दिशानिर्देश प्रदान करते हैं। डेटा के बाद-के-पश्चात (post-hoc) PE स्थितियों की जाँच करने के बजाय, शोधकर्ता सीधे $N_g = L$ आयाम वाला एक जनरेटर (या सिस्टम आइडेंटिफिकेशन के लिए $n+1$) डिजाइन कर सकते हैं ताकि सूचनात्मक डेटा सुनिश्चित किया जा सके।
3. कंटीन्यूअस-टाइम में विस्तार (Extension to Continuous-Time): यह कार्यप्रणाली कंटीन्यूअस-टाइम प्रणालियों में भी स्वाभाविक रूप से विस्तारित होती है, जो टाइम-शिफ्टेड विंडोज़ के बजाय "जेट्स" (derivatives) का उपयोग करती है।
4. "अनदेखे" इनपुटों की पहचान (Identification of "Overlooked" Inputs): यह सिद्धांत उन इनपुट्स के उपयोग को मान्य करता है जो शास्त्रीय विलेम्स की स्थिति में विफल रहते हैं (जैसे कम आवृत्तियों वाले मल्टीसाइन सिग्नल या छोटे रैंडम सीक्वेंस), जब तक कि वे एक कम-आयामी सिग्नल जनरेटर द्वारा उत्पन्न किए जाते हैं।

4. मुख्य परिणाम (Main Results)

A. डिस्क्रीट-टाइम फंडामेंटल लेम्मा (Theorem 1)

क्रम $n$ के सिस्टम और डेटा विंडो लंबाई $L$ के लिए, मान लीजिए कि सिग्नल जनरेटर का आयाम $N_g$ है और डेटा की लंबाई $T$ है।

• स्थिति 1 ($N_g < L$): डेटा किसी भी प्रारंभिक स्थिति के लिए कभी भी सूचनात्मक नहीं होता है।
• स्थिति 2 ($L \leq N_g < L + n$): डेटा लगभग सभी प्रारंभिक स्थितियों $x(0)$ के लिए सूचनात्मक है, बशर्ते डेटा की लंबाई $T \geq N_g + n + L - 1$ हो। "खराब" प्रारंभिक स्थितियों का सेट लेबेग माप शून्य रखता है।
• स्थिति 3 ($N_g \geq L + n$): डेटा सभी प्रारंभिक स्थितियों के लिए सूचनात्मक है (शास्त्रीय विलेम्स परिणाम को पुनः प्राप्त करता है)।

व्यावहारिक निहितार्थ: क्रम $n$ के सिस्टम की पहचान करने के लिए, आपको पारंपरिक रूप से $2n+1$ के PE इनपुट की आवश्यकता होती है (जिसके लिए $T \geq 4n+1$ आवश्यक है)। नया परिणाम दिखाता है कि लगभग सभी प्रणालियों और प्रारंभिक स्थितियों के लिए $N_g = n+1$ आयाम वाले जनरेटर के साथ $T = 3n+1$ की लंबाई पर्याप्त है।

B. कंटीन्यूअस-टाइम फंडामेंटल लेम्मा (Theorem 2)

वही तर्क "जेट्स" (डेरिवेटिव्स) का उपयोग करके कंटीन्यूअस-टाइम सिस्टमों पर लागू होता है।

• यदि $N_g \geq L$, तो लगभग सभी प्रारंभिक स्थितियों के लिए सूचनात्मक डेटा प्राप्त होता है।
• यदि $N_g \geq L + n$, तो सभी प्रारंभिक स्थितियों के लिए सूचनात्मक डेटा प्राप्त होता है।

C. PE ऑर्डर के साथ संबंध (Relationship to PE Order)

यह शोध पत्र एक सीधा संबंध स्थापित करता है: एक सिग्नल जनरेटर (जो ऑब्जर्वेबिलिटी/कंट्रोलेबिलिटी को संतुष्ट करता है) द्वारा उत्पन्न सिग्नल का अधिकतम PE क्रम $N_g$ होता है। अतः, "PE क्रम $\geq K$" की स्थिति "सिग्नल जनरेटर आयाम $\geq K$" के समतुल्य है।

5. महत्व (Significance)

• दक्षता (Efficiency): प्रस्तावित शिथिलन डेटा संग्रह समय को कम करने और सरल इनपुट सिग्नल का उपयोग करने की अनुमति देता है। उदाहरण के लिए, सिस्टम आइडेंटिफिकेशन में, आप पारंपरिक रूप से आवश्यक $2n+1$ के बजाय $n+1$ आयाम वाले सिग्नल जनरेटर का उपयोग कर सकते हैं, जिससे डेटा की लंबाई की आवश्यकता $4n+1$ से घटकर $3n+1$ हो जाती है।
• व्यापक प्रयोज्यता (Broader Applicability): यह उन व्यावहारिक सिग्नल्स (जैसे विशिष्ट मल्टीसाइन्स या रैंडम सिग्नल्स) के उपयोग को मान्य करता है जिन्हें पहले उच्च-क्रम PE स्थिति को सख्ती से पूरा न करने के कारण खारिज कर दिया गया था।
• एकीकृत ढांचा (Unified Framework): यह व्यवहार संबंधी सिद्धांत (डेटा-ड्रिवन) और डायनेमिकल सिस्टम्स थ्योरी (मॉडल-आधारित) के बीच के अंतर को पाटता है, जो सिस्टम आइडेंटिफिकेशन के लिए प्रयोगों को डिजाइन करने का एक अधिक सहज तरीका प्रदान करता है।
• मजबूती (Robustness): परिणाम "लगभग सभी" प्रणालियों और प्रारंभिक स्थितियों के लिए मान्य हैं, जो इंजीनियरिंग अनुप्रयोगों के लिए व्यावहारिक रूप से पर्याप्त है जहाँ पैथोलॉजिकल केस (शून्य माप सेट) नगण्य होते हैं।

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