2025-11-16T06:37:11.852603

On the equivalence of model-based and data-driven approaches to the design of unknown-input observers

Disarò, Valcher
In this paper we investigate a data-driven approach to the design of an unknown-input observer (UIO). Specifically, we provide necessary and sufficient conditions for the existence of an unknown-input observer for a discrete-time linear time-invariant (LTI) system, designed based only on some available data, obtained on a finite time window. We also prove that, under weak assumptions on the collected data, the solvability conditions derived by means of the data-driven approach are in fact equivalent to those obtained through the model-based one. In other words, the data-driven conditions do not impose further constraints with respect to the classic model-based ones, expressed in terms of the original system matrices.
academic

अज्ञात-इनपुट पर्यवेक्षकों के डिजाइन के लिए मॉडल-आधारित और डेटा-संचालित दृष्टिकोणों की समानता पर

मूल जानकारी

  • पेपर ID: 2311.00673
  • शीर्षक: अज्ञात-इनपुट पर्यवेक्षकों के डिजाइन के लिए मॉडल-आधारित और डेटा-संचालित दृष्टिकोणों की समानता पर
  • लेखक: गिओर्जिया डिसारो, मारिया एलेना वाल्चर (पडोवा विश्वविद्यालय, इटली)
  • वर्गीकरण: math.DS (गतिशील प्रणालियाँ)
  • प्रकाशन समय: नवंबर 2023 (arXiv प्रीप्रिंट)
  • पेपर लिंक: https://arxiv.org/abs/2311.00673

सारांश

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

अनुसंधान पृष्ठभूमि और प्रेरणा

  1. समस्या विवरण: कई नियंत्रण इंजीनियरिंग अनुप्रयोगों में, प्रणाली की आंतरिक स्थिति को समझना स्थिति प्रतिक्रिया स्थिरीकरण और दोष पहचान जैसी मौलिक समस्याओं को हल करने के लिए महत्वपूर्ण है। हालांकि, प्रणाली की स्थिति आमतौर पर सीधे प्राप्त नहीं होती है, इसलिए स्थिति वेक्टर का अनुमान लगाने के लिए उपयुक्त पर्यवेक्षक डिजाइन करने की आवश्यकता होती है।
  2. चुनौतियाँ: व्यावहारिक प्रणाली की गतिशीलता अक्सर व्यवधान, माप त्रुटियों या अन्य अज्ञात संकेतों से प्रभावित होती है जिनका उपयोग स्थिति विकास की पहचान के लिए नहीं किया जा सकता। पारंपरिक पर्यवेक्षक डिजाइन मानता है कि प्रणाली मॉडल ज्ञात है, लेकिन कुछ मामलों में, केवल उपलब्ध डेटा से प्रणाली को विशिष्ट रूप से पहचाना नहीं जा सकता।
  3. मौजूदा विधियों की सीमाएं:
    • मॉडल-आधारित विधियों को ज्ञात प्रणाली मैट्रिक्स की आवश्यकता होती है
    • मौजूदा डेटा-संचालित विधियाँ (जैसे 18) केवल पर्याप्त शर्तें प्रदान करती हैं, जब प्राप्त प्रणाली स्पर्शोन्मुख रूप से स्थिर न हो तो यह स्पष्ट नहीं है कि क्या UIO डिजाइन किया जा सकता है
  4. अनुसंधान प्रेरणा: बड़ी मात्रा में उपलब्ध डेटा का उपयोग करके, नियंत्रण इंजीनियरिंग समस्याओं को हल करने के लिए डेटा-संचालित तकनीकें विकसित करना, विशेष रूप से जब सटीक प्रणाली मॉडल प्राप्त नहीं किया जा सकता है तो स्थिति अनुमान समस्या।

मुख्य योगदान

  1. आवश्यक और पर्याप्त शर्तें प्रदान करना: डेटा सत्यापन के आधार पर UIO के अस्तित्व के लिए सत्यापन योग्य आवश्यक और पर्याप्त शर्तें दी गई हैं
  2. संपूर्ण पैरामीटराइजेशन: सभी संभावित UIO का संपूर्ण पैरामीटराइजेशन प्रदान किया गया है
  3. समानता का प्रमाण: विशिष्ट डेटा धारणाओं के तहत, डेटा-संचालित विधि की समाधान योग्य शर्तें मॉडल-आधारित विधि की शर्तों के साथ पूरी तरह से समतुल्य हैं
  4. सैद्धांतिक सफलता: डेटा-संचालित और मॉडल-आधारित विधियों के बीच एक द्विभाजन पत्राचार स्थापित किया गया है

विधि विवरण

कार्य परिभाषा

असतत समय LTI प्रणाली Σ पर विचार करें:

x(t+1) = Ax(t) + Bu(t) + Ed(t)  (1)
y(t) = Cx(t)                    (2)

जहाँ:

  • x(t) ∈ ℝⁿ: स्थिति वेक्टर
  • u(t) ∈ ℝᵐ: ज्ञात नियंत्रण इनपुट
  • y(t) ∈ ℝᵖ: आउटपुट वेक्टर
  • d(t) ∈ ℝʳ: अज्ञात इनपुट (जैसे व्यवधान)

UIO परिभाषा: निम्नलिखित रूप की LTI प्रणाली Σ̂:

z(t+1) = A_UIO z(t) + B^u_UIO u(t) + B^y_UIO y(t)  (3)
x̂(t) = z(t) + D_UIO y(t)                           (4)

ऐसी कि अनुमान त्रुटि e(t) = x(t) - x̂(t) शून्य में स्पर्शोन्मुख रूप से अभिसरित होती है, प्रारंभिक शर्तों और अज्ञात इनपुट गतिशीलता पर निर्भर नहीं।

मॉडल-आधारित विधि

आवश्यक और पर्याप्त शर्तें (प्रमेय 2): UIO तब और केवल तब मौजूद है जब निम्नलिखित शर्तों में से कोई एक सत्य हो:

  1. मैट्रिक्स (A_UIO, B^u_UIO, B^y_UIO, D_UIO) मौजूद हैं जो संतुष्ट करते हैं:
    • A_UIO Schur स्थिर है
    • D_UIO CE = E
    • B^u_UIO = (I - D_UIO C)B
    • A_UIO(I - D_UIO C) + B^y_UIO C = (I - D_UIO C)A
  2. मैट्रिक्स शर्तें:
    • rank(CE) = rank(E) = r
    • rankzIₙ - A -E; C 0 = n + r, ∀z ∈ ℂ, |z| ≥ 1
  3. त्रिपुट (A,E,C) दृढ़ता से *पहचानने योग्य है

डेटा-संचालित विधि

डेटा संगठन: ऐतिहासिक डेटा को मैट्रिक्स रूप में संगठित करें:

  • Uₚ = uₐ(0) ... uₐ(T-2) ∈ ℝᵐˣ⁽ᵀ⁻¹⁾
  • Xₚ = xₐ(0) ... xₐ(T-2) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
  • Xf = xₐ(1) ... xₐ(T-1) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
  • Yₚ = yₐ(0) ... yₐ(T-2) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾
  • Yf = yₐ(1) ... yₐ(T-1) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾

मूल धारणा: मैट्रिक्स Uₚᵀ Dₚᵀ Xₚᵀᵀ में पूर्ण पंक्ति रैंक m+r+n है।

मुख्य परिणाम (प्रमेय 9): निम्नलिखित शर्तें समतुल्य हैं:

  1. (3)-(4) के रूप में एक UIO मौजूद है जो T_Σ ⊆ T_Σ̂को संतुष्ट करता है
  2. मैट्रिक्स T₁,T₂,T₃,T₄ मौजूद हैं जो Xf = [T₁ T₂ T₃ T₄]Uₚ; Yₚ; Yf; Xₚ को संतुष्ट करते हैं और T₄ Schur स्थिर है
  3. डेटा शर्त: ker(Xf) ⊇ ker(Uₚ; Yₚ; Yf; Xₚ) और rankzXₚ-Xf; Uₚ; Yₚ = n+m+r, ∀z∈ℂ,|z|≥1
  4. त्रिपुट (A,E,C) दृढ़ता से *पहचानने योग्य है

तकनीकी नवाचार बिंदु

  1. समानता स्थापना: पहली बार डेटा-संचालित शर्तों और मॉडल-आधारित शर्तों की पूर्ण समानता को कठोरता से सिद्ध किया गया
  2. द्विभाजन पत्राचार: UIO पैरामीटर मैट्रिक्स और डेटा-संचालित पैरामीटर के बीच द्विभाजन संबंध स्थापित किया गया (परिणाम 10)
  3. व्यावहारिक एल्गोरिथ्म: सरलीकृत गणना विधि प्रदान की गई है, समस्या को अधिक सुविधाजनक रूप में परिवर्तित किया गया है

प्रायोगिक सेटअप

संख्यात्मक उदाहरण

साहित्य 4 से उदाहरण का उपयोग करें:

A = [-1 -1  0; -1  0  0; 0 -1 -1]
C = [1  0  0; 0  0  1]  
E = [-1; 0; 0]

प्रायोगिक पैरामीटर

  • समय विंडो: T = 20
  • अज्ञात इनपुट: (-2,2) अंतराल में समान रूप से यादृच्छिक रूप से उत्पन्न
  • प्रारंभिक शर्तें: यादृच्छिक रूप से चुनी गई
  • व्यवधान: (-10,10) अंतराल में यादृच्छिक रूप से उत्पन्न

तुलना विधियाँ

साहित्य 18 में प्रस्तावित विधि के साथ तुलना

प्रायोगिक परिणाम

मुख्य परिणाम

  1. मॉडल सत्यापन: rank(CE) = rank(E) = r और दृढ़ता से *पहचानने योग्य शर्त को सत्यापित किया गया
  2. डेटा-संचालित डिजाइन: डेटा से मैट्रिक्स C को सफलतापूर्वक पुनर्निर्मित किया गया और प्रमेय 9 की शर्तों को सत्यापित किया गया
  3. प्रदर्शन तुलना:
    • इस पेपर की विधि से प्राप्त A_UIO मैट्रिक्स एक निलपोटेंट मैट्रिक्स है
    • साहित्य 18 विधि से प्राप्त eigenvalues {0, 0, -0.2} हैं
    • दोनों विधियाँ काम करती हैं, लेकिन यह विधि अभिसरण गति का चयन करने की अनुमति देती है

केस विश्लेषण

चित्र 1 स्थिति अनुमान त्रुटि की गतिशीलता दिखाता है:

  • ठोस रेखा (काली): इस पेपर की डिजाइन विधि
  • बिंदीदार रेखा (लाल): साहित्य 18 विधि
  • दोनों विधियाँ स्पर्शोन्मुख अभिसरण को प्राप्त करती हैं, लेकिन यह विधि अधिक डिजाइन स्वतंत्रता प्रदान करती है

प्रायोगिक निष्कर्ष

  1. डेटा-संचालित शर्तें UIO के अस्तित्व को सही ढंग से पहचान सकती हैं
  2. संपूर्ण पैरामीटराइजेशन वांछित अभिसरण विशेषताओं का चयन करने की अनुमति देता है
  3. जब डेटा धारणा शर्तों को पूरा करता है, तो डेटा-संचालित विधि कोई अतिरिक्त बाधा नहीं लगाती है

संबंधित कार्य

मॉडल-आधारित UIO डिजाइन

  • Luenberger पर्यवेक्षक सिद्धांत 12,13
  • अज्ञात इनपुट विघटन विधि 9,11,21
  • ज्यामितीय विधि 2 और सामान्यीकृत व्युत्क्रम विधि 15
  • विलक्षण मान अपघटन तकनीक 6

डेटा-संचालित विधियाँ

  • दो-चरणीय विधि: पहले प्रणाली पहचान फिर पर्यवेक्षक डिजाइन
  • एक-चरणीय विधि: पहचान चरण से बचने के लिए सीधे डेटा का उपयोग करें 18
  • डेटा-संचालित सिमुलेशन और नियंत्रण 14

इस पेपर का योगदान स्थिति

मौजूदा कार्य की तुलना में, यह पेपर पहली बार दोनों विधियों के बीच सैद्धांतिक समानता स्थापित करता है, और संपूर्ण पैरामीटराइजेशन समाधान प्रदान करता है।

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. कमजोर डेटा धारणाओं के तहत, डेटा-संचालित UIO डिजाइन शर्तें मॉडल-आधारित शर्तों के साथ पूरी तरह से समतुल्य हैं
  2. डेटा-संचालित विधि कोई अतिरिक्त बाधा नहीं लगाती है
  3. सभी संभावित UIO का संपूर्ण पैरामीटराइजेशन प्रदान किया गया है
  4. एक सैद्धांतिक पुल स्थापित किया गया है, दोनों डिजाइन प्रतिमानों को एकीकृत किया गया है

सीमाएं

  1. ऐतिहासिक स्थिति माप डेटा की आवश्यकता है (प्रयोगशाला वातावरण में व्यावहारिक)
  2. अज्ञात इनपुट आयाम ज्ञात होने की आवश्यकता है
  3. डेटा की पूर्ण पंक्ति रैंक धारणा पर निर्भर है
  4. केवल रैखिक समय-अपरिवर्तनीय प्रणालियों के लिए लागू है

भविष्य की दिशाएं

  1. गैर-रैखिक प्रणालियों तक विस्तार
  2. समय-परिवर्तनशील प्रणाली मामले पर विचार करें
  3. शोर डेटा की मजबूती का अध्ययन करें
  4. व्यावहारिक अनुप्रयोग के लिए एल्गोरिथ्म कार्यान्वयन विकसित करें

गहन मूल्यांकन

लाभ

  1. सैद्धांतिक योगदान उत्कृष्ट: पहली बार डेटा-संचालित और मॉडल-आधारित विधियों की समानता को कठोरता से सिद्ध किया गया
  2. गणितीय कठोरता: आवश्यक और पर्याप्त शर्तें और कठोर गणितीय प्रमाण प्रदान किए गए हैं
  3. व्यावहारिक मूल्य: सत्यापन योग्य डेटा शर्तें और व्यावहारिक एल्गोरिथ्म दिए गए हैं
  4. संपूर्णता: सभी UIO का पैरामीटराइजेशन प्रदान किया गया है, न कि एकल समाधान
  5. लेखन स्पष्टता: तार्किक संरचना स्पष्ट है, तकनीकी विवरण पर्याप्त हैं

कमियाँ

  1. धारणा सीमाएं: स्थिति माप डेटा की धारणा व्यावहारिक रूप से काफी कठोर है
  2. रैखिकता सीमा: केवल रैखिक प्रणालियों के लिए लागू है, अनुप्रयोग सीमा को सीमित करता है
  3. सीमित संख्यात्मक सत्यापन: केवल एक संख्यात्मक उदाहरण प्रदान किया गया है
  4. मजबूती विश्लेषण अनुपस्थित: डेटा शोर और मॉडलिंग त्रुटि के प्रभाव पर विचार नहीं किया गया है

प्रभाव

  1. सैद्धांतिक महत्व: डेटा-संचालित नियंत्रण सिद्धांत के लिए महत्वपूर्ण सैद्धांतिक आधार प्रदान करता है
  2. व्यावहारिक मूल्य: इंजीनियरिंग अनुप्रयोग के लिए व्यावहारिक डिजाइन विधि प्रदान करता है
  3. अनुसंधान प्रेरणा: अन्य पर्यवेक्षक डिजाइन समस्याओं के लिए नई अनुसंधान दिशाएं प्रदान करता है
  4. पुनरुत्पादनशीलता: स्पष्ट एल्गोरिथ्म चरण प्रदान करता है, पुनरुत्पादन को सुविधाजनक बनाता है

लागू परिदृश्य

  1. प्रणाली मॉडल अज्ञात लेकिन ऐतिहासिक स्थिति डेटा उपलब्ध है
  2. अज्ञात व्यवधान को संभालने की आवश्यकता वाली स्थिति अनुमान समस्याएं
  3. असतत समय रैखिक नियंत्रण प्रणाली के पर्यवेक्षक डिजाइन
  4. दोष पहचान और निदान अनुप्रयोग

संदर्भ

पेपर ने 24 संबंधित संदर्भों का हवाला दिया है, जो पर्यवेक्षक सिद्धांत, डेटा-संचालित नियंत्रण, प्रणाली पहचान और अन्य संबंधित क्षेत्रों के महत्वपूर्ण कार्यों को कवर करते हैं, जो अनुसंधान के लिए एक ठोस सैद्धांतिक आधार प्रदान करते हैं।

समग्र मूल्यांकन: यह डेटा-संचालित पर्यवेक्षक डिजाइन क्षेत्र में एक उच्च-गुणवत्ता वाला सैद्धांतिक पेपर है जो महत्वपूर्ण योगदान देता है। हालांकि कुछ व्यावहारिक अनुप्रयोग सीमाएं हैं, लेकिन इसका सैद्धांतिक मूल्य और क्षेत्र के विकास में योगदान की सराहना की जानी चाहिए।