नियंत्रणीयता ग्रामियन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 9: Line 9:
नियंत्रणीयता है, जहां <math>\boldsymbol{A}</math>, <math>\boldsymbol{B}</math>, <math>\boldsymbol{C}</math> और <math>\boldsymbol{D}</math> हैं, क्रमशः, <math>n\times n</math>, <math>n\times p</math>, <math>q\times n</math> और <math>q\times p</math> एक सिस्टम के लिए आव्यूह <math>p</math> इनपुट, <math>n</math> अवस्था चर और <math>q</math> आउटपुट.
नियंत्रणीयता है, जहां <math>\boldsymbol{A}</math>, <math>\boldsymbol{B}</math>, <math>\boldsymbol{C}</math> और <math>\boldsymbol{D}</math> हैं, क्रमशः, <math>n\times n</math>, <math>n\times p</math>, <math>q\times n</math> और <math>q\times p</math> एक सिस्टम के लिए आव्यूह <math>p</math> इनपुट, <math>n</math> अवस्था चर और <math>q</math> आउटपुट.


ऐसे लक्ष्य को प्राप्त करने के कई तरीकों में से एक है नियंत्रणीयता ग्रामियन (कंट्रोलेबिलिटी [[ग्रामियन]]) का उपयोग है।
ऐसे लक्ष्य को प्राप्त करने के कई तरीकों में से एक है '''नियंत्रणीयता ग्रामियन''' ('''कंट्रोलेबिलिटी''' [[ग्रामियन|'''ग्रामियन''']]) का उपयोग है।


==एलटीआई सिस्टम में नियंत्रणीयता==
==एलटीआई सिस्टम में नियंत्रणीयता==
Line 27: Line 27:


<math>{\mathcal{C}}=[\begin{array}{ccccc}
<math>{\mathcal{C}}=[\begin{array}{ccccc}
\boldsymbol{B} & \boldsymbol{AB} & \boldsymbol{A^{2}B} & ... & \boldsymbol{A^{n-1}B}\end{array}]</math>
\boldsymbol{B} & \boldsymbol{AB} & \boldsymbol{A^{2}B} & ... & \boldsymbol{A^{n-1}B}\end{array}]</math> रैंक n है.
रैंक n है.


4. <math>n\times(n+p)</math> h> आव्यूह
4. <math>n\times(n+p)</math> h> आव्यूह
Line 34: Line 33:
<math>[\begin{array}{cc}
<math>[\begin{array}{cc}
\boldsymbol{A}\boldsymbol{-\lambda}\boldsymbol{I} & \boldsymbol{B}\end{array}] </math>
\boldsymbol{A}\boldsymbol{-\lambda}\boldsymbol{I} & \boldsymbol{B}\end{array}] </math>
प्रत्येक eigenvalue पर पूर्ण पंक्ति रैंक है <math>\lambda</math> का <math>\boldsymbol{A}</math>.


यदि, इसके अतिरिक्त, के सभी eigenvalues <math>\boldsymbol{A}</math> ऋणात्मक    वास्तविक भाग हैं (<math>\boldsymbol{A}</math> स्थिर है), और ल्यपुनोव समीकरण का अनूठा समाधान
प्रत्येक इगेनवैल्यू पर पूर्ण रो रैंक है <math>\lambda</math> का <math>\boldsymbol{A}</math>.


<math>\boldsymbol{A}\boldsymbol{W}_{c}+\boldsymbol{W}_{c}\boldsymbol{A^{T}}=-\boldsymbol{BB^{T}}</math>घनात्मक निश्चित है, सिस्टम नियंत्रणीय है। समाधान को नियंत्रणीयता ग्रामियन कहा जाता है और इसे इस प्रकार व्यक्त किया जा सकता है
यदि, इसके अतिरिक्त, के सभी इगेनवैल्यू <math>\boldsymbol{A}</math> ऋणात्मक वास्तविक भाग हैं (<math>\boldsymbol{A}</math> स्थिर है), और ल्यपुनोव समीकरण का अनूठा समाधान हैंl
 
<math>\boldsymbol{A}\boldsymbol{W}_{c}+\boldsymbol{W}_{c}\boldsymbol{A^{T}}=-\boldsymbol{BB^{T}}</math>घनात्मक निश्चित है, सिस्टम नियंत्रणीय है। समाधान को नियंत्रणीयता ग्रामियन कहा जाता है और इसे इस प्रकार व्यक्त किया जा सकता हैl


<math>\boldsymbol{W_{c}}=\int_{0}^{\infty}e^{\boldsymbol{A}\tau}\boldsymbol{BB^{T}}e^{\boldsymbol{A}^{T}\tau}d\tau</math>
<math>\boldsymbol{W_{c}}=\int_{0}^{\infty}e^{\boldsymbol{A}\tau}\boldsymbol{BB^{T}}e^{\boldsymbol{A}^{T}\tau}d\tau</math>


निम्नलिखित अनुभाग में हम कंट्रोलेबिलिटी ग्रैमियन पर करीब से नज़र डालने जा रहे हैं।
निम्नलिखित अनुभाग में हम नियंत्रणीयता ग्रामियन पर नज़दीक से नज़र डालने जा रहे हैं।  


== नियंत्रणीयता ग्रामियन ==
== नियंत्रणीयता ग्रामियन ==
Line 49: Line 49:


<math>\boldsymbol{A}\boldsymbol{W}_{c}+\boldsymbol{W}_{c}\boldsymbol{A^{T}}=-\boldsymbol{BB^{T}}</math>
<math>\boldsymbol{A}\boldsymbol{W}_{c}+\boldsymbol{W}_{c}\boldsymbol{A^{T}}=-\boldsymbol{BB^{T}}</math>
वास्तव में, यदि हम लेते हैं तो हम इसे देख सकते हैं
वास्तव में, यदि हम लेते हैं तो हम इसे देख सकते हैं


<math>\boldsymbol{W_{c}}=\int_{0}^{\infty}e^{\boldsymbol{A}\tau}\boldsymbol{BB^{T}}e^{\boldsymbol{A}^{T}\tau}d\tau</math>
<math>\boldsymbol{W_{c}}=\int_{0}^{\infty}e^{\boldsymbol{A}\tau}\boldsymbol{BB^{T}}e^{\boldsymbol{A}^{T}\tau}d\tau</math>
एक समाधान के रूप में, हम इसे ढूंढने जा रहे हैं:
एक समाधान के रूप में, हम इसे ढूंढने जा रहे हैं:


Line 61: Line 63:
\end{array}</math>
\end{array}</math>


जहाँ हमने इस तथ्य का उपयोग किया <math>e^{\boldsymbol{A}t}=0</math> पर <math>t=\infty</math> स्थिर के लिए <math>\boldsymbol{A}</math> (इसके सभी eigenvalues ​​​​में ऋणात्मक वास्तविक भाग है)। यह हमें यह दिखाता है <math>\boldsymbol{W}_{c}</math> वास्तव में विश्लेषण के तहत लायपुनोव समीकरण का समाधान है।
जहाँ हमने इस तथ्य का उपयोग किया <math>e^{\boldsymbol{A}t}=0</math> पर <math>t=\infty</math> स्थिर के लिए <math>\boldsymbol{A}</math> (इसके सभी इगेनवैल्यू ​​​​में ऋणात्मक वास्तविक भाग है)। यह हमें यह दिखाता है <math>\boldsymbol{W}_{c}</math> वास्तव में विश्लेषण के तहत लायपुनोव समीकरण का समाधान है।


=== गुण ===
=== गुण ===
Line 67: Line 69:
हम देख सकते हैं कि <math>\boldsymbol{BB^{T}}</math> एक सममित आव्यूह है, इसलिए, ऐसा है <math>\boldsymbol{W}_{c}</math>.
हम देख सकते हैं कि <math>\boldsymbol{BB^{T}}</math> एक सममित आव्यूह है, इसलिए, ऐसा है <math>\boldsymbol{W}_{c}</math>.


हम इस तथ्य का फिर से उपयोग कर सकते हैं कि, यदि <math>\boldsymbol{A}</math> यह दिखाने के लिए स्थिर है (इसके सभी eigenvalues ​​​​में ऋणात्मक वास्तविक भाग है)<math>\boldsymbol{W}_{c}</math> निराला है। ऐसा साबित करने के लिए, मान लीजिए कि हमारे पास दो अलग-अलग समाधान हैं
हम इस तथ्य का फिर से उपयोग कर सकते हैं कि, यदि <math>\boldsymbol{A}</math> यह दिखाने के लिए स्थिर है (इसके सभी इगेनवैल्यू ​​​​में ऋणात्मक वास्तविक भाग है) <math>\boldsymbol{W}_{c}</math> एकमात्र है। ऐसा प्रमाण करने के लिए, मान लीजिए कि हमारे पास दो अलग-अलग समाधान हैंl


<math>\boldsymbol{A}\boldsymbol{W}_{c}+\boldsymbol{W}_{c}\boldsymbol{A^{T}}=-\boldsymbol{BB^{T}}</math>
<math>\boldsymbol{A}\boldsymbol{W}_{c}+\boldsymbol{W}_{c}\boldsymbol{A^{T}}=-\boldsymbol{BB^{T}}</math>
और वे द्वारा दिए गए हैं <math>\boldsymbol{W}_{c1}</math> और <math>\boldsymbol{W}_{c2}</math>. तो हमारे पास हैं:
 
और वे <math>\boldsymbol{W}_{c1}</math> और <math>\boldsymbol{W}_{c2}</math>. द्वारा दिए गए हैं तो हमारे पास हैं:


<math>\boldsymbol{A}\boldsymbol{(W}_{c1}-\boldsymbol{W}_{c2})+\boldsymbol{(W}_{c1}-\boldsymbol{W}_{c2})\boldsymbol{A^{T}}=\boldsymbol{0}</math>
<math>\boldsymbol{A}\boldsymbol{(W}_{c1}-\boldsymbol{W}_{c2})+\boldsymbol{(W}_{c1}-\boldsymbol{W}_{c2})\boldsymbol{A^{T}}=\boldsymbol{0}</math>
से गुणा करना <math>e^{\boldsymbol{A}t}</math> बायीं ओर से और द्वारा <math>e^{\boldsymbol{A}^{T}t}</math> दाईं ओर, हमें ले जाएगा
से गुणा करना <math>e^{\boldsymbol{A}t}</math> बायीं ओर से और द्वारा <math>e^{\boldsymbol{A}^{T}t}</math> दाईं ओर, हमें ले जाएगा


<math>e^{\boldsymbol{A}t}[\boldsymbol{A}\boldsymbol{(W}_{c1}-\boldsymbol{W}_{c2})+\boldsymbol{(W}_{c1}-\boldsymbol{W}_{c2})\boldsymbol{A^{T}}]e^{\boldsymbol{A^{T}}t}=\frac{d}{dt}[e^{\boldsymbol{A}t}[(\boldsymbol{W}_{c1}-\boldsymbol{W}_{c2})e^{\boldsymbol{A^{T}}t}]=\boldsymbol{0}</math>
<math>e^{\boldsymbol{A}t}[\boldsymbol{A}\boldsymbol{(W}_{c1}-\boldsymbol{W}_{c2})+\boldsymbol{(W}_{c1}-\boldsymbol{W}_{c2})\boldsymbol{A^{T}}]e^{\boldsymbol{A^{T}}t}=\frac{d}{dt}[e^{\boldsymbol{A}t}[(\boldsymbol{W}_{c1}-\boldsymbol{W}_{c2})e^{\boldsymbol{A^{T}}t}]=\boldsymbol{0}</math>
से एकीकृत किया जा रहा है <math>0</math> को <math>\infty</math>:
से एकीकृत किया जा रहा है <math>0</math> को <math>\infty</math>:


<math>[e^{\boldsymbol{A}t}[(\boldsymbol{W}_{c1}-\boldsymbol{W}_{c2})e^{\boldsymbol{A^{T}}t}]|_{t=0}^{\infty}=\boldsymbol{0}</math> इस तथ्य का उपयोग करते हुए <math>e^{\boldsymbol{A}t}\rightarrow0</math> जैसा <math>t\rightarrow\infty</math>:
<math>[e^{\boldsymbol{A}t}[(\boldsymbol{W}_{c1}-\boldsymbol{W}_{c2})e^{\boldsymbol{A^{T}}t}]|_{t=0}^{\infty}=\boldsymbol{0}</math>
 
इस तथ्य का उपयोग करते हुए <math>e^{\boldsymbol{A}t}\rightarrow0</math> जैसा <math>t\rightarrow\infty</math>:


<math>\boldsymbol{0}-(\boldsymbol{W}_{c1}-\boldsymbol{W}_{c2})=\boldsymbol{0}</math>
<math>\boldsymbol{0}-(\boldsymbol{W}_{c1}-\boldsymbol{W}_{c2})=\boldsymbol{0}</math>
Line 87: Line 94:


<math>\boldsymbol{x^{T}W_{c}x}=\int_{0}^{\infty}\boldsymbol{x}^{T}e^{\boldsymbol{A}t}\boldsymbol{BB^{T}}e^{\boldsymbol{A}^{T}t}\boldsymbol{x}dt=\int_{0}^{\infty}\left\Vert \boldsymbol{B^{T}e^{\boldsymbol{A}^{T}t}\boldsymbol{x}}\right\Vert _{2}^{2}dt</math>
<math>\boldsymbol{x^{T}W_{c}x}=\int_{0}^{\infty}\boldsymbol{x}^{T}e^{\boldsymbol{A}t}\boldsymbol{BB^{T}}e^{\boldsymbol{A}^{T}t}\boldsymbol{x}dt=\int_{0}^{\infty}\left\Vert \boldsymbol{B^{T}e^{\boldsymbol{A}^{T}t}\boldsymbol{x}}\right\Vert _{2}^{2}dt</math>
किसी भी टी के लिए घनात्मक है (गैर-अपक्षयी मामले को मानते हुए)। <math>\left\Vert \boldsymbol{B^{T}e^{\boldsymbol{A}^{T}t}\boldsymbol{x}}\right\Vert</math> समान रूप से शून्य नहीं है)। यह बनाता है <math>\boldsymbol{W}_{c}</math> एक घनात्मक निश्चित आव्यूह.
 
किसी भी '''t''' के लिए घनात्मक है (गैर-अपक्षयी परिस्थिति को मानते हुए)। <math>\left\Vert \boldsymbol{B^{T}e^{\boldsymbol{A}^{T}t}\boldsymbol{x}}\right\Vert</math> समान रूप से शून्य नहीं है)। यह बनाता है <math>\boldsymbol{W}_{c}</math> एक घनात्मक निश्चित आव्यूह है।l


नियंत्रणीय प्रणालियों के अधिक गुण यहां पाए जा सकते हैं,<ref>{{cite book|last=Chen|first=Chi-Tsong|title=रैखिक प्रणाली सिद्धांत और डिज़ाइन तीसरा संस्करण|url=https://archive.org/details/linearsystemtheo00chen|url-access=limited|year=1999|publisher=Oxford University Press|location=New York, New York|isbn=0-19-511777-8|page=[https://archive.org/details/linearsystemtheo00chen/page/n81 145]}}</ref> साथ ही "जोड़ी" के अन्य समकक्ष कथनों के लिए प्रमाण भी <math>(\boldsymbol{A},\boldsymbol{B})</math> नियंत्रणीय है" एलटीआई सिस्टम में नियंत्रणीयता अनुभाग में प्रस्तुत किया गया है।
नियंत्रणीय प्रणालियों के अधिक गुण यहां पाए जा सकते हैं,<ref>{{cite book|last=Chen|first=Chi-Tsong|title=रैखिक प्रणाली सिद्धांत और डिज़ाइन तीसरा संस्करण|url=https://archive.org/details/linearsystemtheo00chen|url-access=limited|year=1999|publisher=Oxford University Press|location=New York, New York|isbn=0-19-511777-8|page=[https://archive.org/details/linearsystemtheo00chen/page/n81 145]}}</ref> साथ ही "जोड़ी" के अन्य समकक्ष कथनों के लिए प्रमाण भी <math>(\boldsymbol{A},\boldsymbol{B})</math> नियंत्रणीय है" एलटीआई सिस्टम में नियंत्रणीयता अनुभाग में प्रस्तुत किया गया है।
Line 99: Line 107:
\boldsymbol{y}[k]=\boldsymbol{Cx}[k]+\boldsymbol{Du}[k]
\boldsymbol{y}[k]=\boldsymbol{Cx}[k]+\boldsymbol{Du}[k]
\end{array}</math>
\end{array}</math>
कोई यह जांच सकता है कि "जोड़ी" कथन के लिए समतुल्यताएं हैं <math>(\boldsymbol{A},\boldsymbol{B})</math> नियंत्रणीय है" (निरंतर समय के मामले में समतुल्यताएं काफी हद तक समान हैं)।


हम उस तुल्यता में रुचि रखते हैं जो दावा करती है कि, यदि "जोड़ी।" <math>(\boldsymbol{A},\boldsymbol{B})</math> नियंत्रणीय है" और सभी eigenvalues <math>\boldsymbol{A}</math> से कम परिमाण है <math>1</math> (<math>\boldsymbol{A}</math> स्थिर है), तो का अद्वितीय समाधान
कोई यह जांच सकता है कि "जोड़ी" कथन के लिए समतुल्यताएं हैं <math>(\boldsymbol{A},\boldsymbol{B})</math> नियंत्रणीय है" (निरंतर समय के परिस्थितिमें समतुल्यताएं काफी हद तक समान हैं)।
 
हम उस तुल्यता में रुचि रखते हैं जो दावा करती है कि, यदि "जोड़ी।" <math>(\boldsymbol{A},\boldsymbol{B})</math> नियंत्रणीय है" और सभी इगेनवैल्यू <math>\boldsymbol{A}</math> से कम परिमाण है <math>1</math> (<math>\boldsymbol{A}</math> स्थिर है), तो का अद्वितीय समाधान


<math>W_{dc}-\boldsymbol{A}\boldsymbol{W}_{dc}\boldsymbol{A^{T}}=\boldsymbol{BB^{T}}</math>
<math>W_{dc}-\boldsymbol{A}\boldsymbol{W}_{dc}\boldsymbol{A^{T}}=\boldsymbol{BB^{T}}</math>
घनात्मक निश्चित है और द्वारा दिया गया है
घनात्मक निश्चित है और द्वारा दिया गया है


<math>\boldsymbol{W}_{dc}=\sum_{m=0}^{\infty}\boldsymbol{A}^{m}\boldsymbol{BB}^{T}(\boldsymbol{A}^{T})^{m}</math>
<math>\boldsymbol{W}_{dc}=\sum_{m=0}^{\infty}\boldsymbol{A}^{m}\boldsymbol{BB}^{T}(\boldsymbol{A}^{T})^{m}</math>
इसे असतत नियंत्रणीयता ग्रैमियन कहा जाता है। हम असतत समय और सतत समय मामले के बीच पत्राचार को आसानी से देख सकते हैं, यानी, अगर हम इसकी जांच कर सकें <math>\boldsymbol{W}_{dc}</math> घनात्मक निश्चित है, और सभी eigenvalues <math>\boldsymbol{A}</math> से कम परिमाण है <math>1</math>, प्रणाली <math>(\boldsymbol{A},\boldsymbol{B})</math> नियंत्रणीय है. अधिक गुण और प्रमाण इसमें पाए जा सकते हैं।<ref>{{cite book|last=Chen|first=Chi-Tsong|title=रैखिक प्रणाली सिद्धांत और डिज़ाइन तीसरा संस्करण|url=https://archive.org/details/linearsystemtheo00chen|url-access=limited|year=1999|publisher=Oxford University Press|location=New York, New York|isbn=0-19-511777-8|page=[https://archive.org/details/linearsystemtheo00chen/page/n93 169]}}</ref>


इसे असतत नियंत्रणीयता ग्रामियन कहा जाता है। हम असतत समय और सतत समय परिस्थिति के बीच पत्राचार को आसानी से देख सकते हैं, यानी, अगर हम इसकी जांच कर सकें <math>\boldsymbol{W}_{dc}</math> घनात्मक निश्चित है, और सभी इगेनवैल्यू <math>\boldsymbol{A}</math> से कम परिमाण है <math>1</math>, प्रणाली <math>(\boldsymbol{A},\boldsymbol{B})</math> नियंत्रणीय हैl अधिक गुण और प्रमाण इसमें पाए जा सकते हैं।<ref>{{cite book|last=Chen|first=Chi-Tsong|title=रैखिक प्रणाली सिद्धांत और डिज़ाइन तीसरा संस्करण|url=https://archive.org/details/linearsystemtheo00chen|url-access=limited|year=1999|publisher=Oxford University Press|location=New York, New York|isbn=0-19-511777-8|page=[https://archive.org/details/linearsystemtheo00chen/page/n93 169]}}</ref>
== रैखिक समय भिन्न प्रणालियाँ ==
== रैखिक समय भिन्न प्रणालियाँ ==


लीनियर टाइम वैरिएंट (LTV) प्रणालियाँ इस प्रकार हैं:
लीनियर टाइम वैरिएंट (एलटीवी) प्रणालियाँ इस प्रकार हैं:


<math>\begin{array}{c}
<math>\begin{array}{c}
Line 119: Line 128:
\end{array}</math>
\end{array}</math>


यानी आव्यूह <math>\boldsymbol{A}</math>, <math>\boldsymbol{B}</math> और <math>\boldsymbol{C}</math> ऐसी प्रविष्टियाँ हैं जो समय के साथ बदलती रहती हैं। पुनः, निरंतर समय के मामले में और असतत समय के मामले में, किसी को यह जानने में रुचि हो सकती है कि क्या जोड़ी द्वारा दी गई प्रणाली <math>(\boldsymbol{A}(t),\boldsymbol{B}(t))</math> नियंत्रणीय है या नहीं. यह पिछले मामलों की तरह ही किया जा सकता है।
यानी आव्यूह <math>\boldsymbol{A}</math>, <math>\boldsymbol{B}</math> और <math>\boldsymbol{C}</math> ऐसी प्रविष्टियाँ हैं जो समय के साथ बदलती रहती हैं। पुनः निरंतर समय के परिस्थिति में और असतत समय के परिस्थिति में, किसी को यह जानने में रुचि हो सकती है कि क्या जोड़ी द्वारा दी गई प्रणाली <math>(\boldsymbol{A}(t),\boldsymbol{B}(t))</math> नियंत्रणीय है या नहींl यह पिछले परिस्थितियों की तरह ही किया जा सकता है।


प्रणाली <math>(\boldsymbol{A}(t),\boldsymbol{B}(t))</math> समय पर नियंत्रणीय है <math>t_{0}</math> यदि और केवल यदि कोई परिमित अस्तित्व है <math>t_{1}>t_{0}</math> ऐसे कि <math>n\times n</math> आव्यूह, जिसे कंट्रोलेबिलिटी ग्रैमियन भी कहा जाता है, द्वारा दिया गया
प्रणाली <math>(\boldsymbol{A}(t),\boldsymbol{B}(t))</math> समय पर नियंत्रणीय है <math>t_{0}</math> यदि और केवल यदि कोई परिमित अस्तित्व है <math>t_{1}>t_{0}</math> ऐसे कि <math>n\times n</math> आव्यूह, जिसे नियंत्रणीयता ग्रामियन भी कहा जाता है, द्वारा दिया गया


<math>\boldsymbol{W}_{c}(t_{0},t_{1})=\int_{t_{0}}^{t_{1}}\boldsymbol{\Phi}(t_{1},\tau)\boldsymbol{B}(\tau)\boldsymbol{B}^{T}(\tau)\boldsymbol{\Phi}^{T}(t_{1},\tau)d\tau,</math>
<math>\boldsymbol{W}_{c}(t_{0},t_{1})=\int_{t_{0}}^{t_{1}}\boldsymbol{\Phi}(t_{1},\tau)\boldsymbol{B}(\tau)\boldsymbol{B}^{T}(\tau)\boldsymbol{\Phi}^{T}(t_{1},\tau)d\tau,</math>
कहाँ <math>\boldsymbol{\Phi}(t,\tau)</math> का अवस्था संक्रमण आव्यूह है <math>\boldsymbol{\dot{x}}=\boldsymbol{A}(t)\boldsymbol{x}</math>, निरर्थक है.
 
जहाँ <math>\boldsymbol{\Phi}(t,\tau)</math> का अवस्था संक्रमण आव्यूह है <math>\boldsymbol{\dot{x}}=\boldsymbol{A}(t)\boldsymbol{x}</math>, निरर्थक है.


फिर, हमारे पास यह निर्धारित करने के लिए एक समान विधि है कि कोई सिस्टम नियंत्रणीय सिस्टम है या नहीं।
फिर, हमारे पास यह निर्धारित करने के लिए एक समान विधि है कि कोई सिस्टम नियंत्रणीय सिस्टम है या नहीं।


=== <strong><i>W</i></strong> के गुण<sub>c</sub>(टी<sub>0</sub>,टी<sub>1</sub>) ===
=== <strong><i>W</i></strong><sub>c</sub>(t<sub>0</sub>,t<sub>1</sub>) के गुण ===


हमारे पास वह नियंत्रणीयता ग्रैमियन है <math>\boldsymbol{W}_{c}(t_{0},t_{1})</math> निम्नलिखित संपत्ति है:
हमारे पास वह नियंत्रणीयता ग्रामियन है <math>\boldsymbol{W}_{c}(t_{0},t_{1})</math> निम्नलिखित गुण है:


<math>\boldsymbol{W}_c(t_0, t_1)=\boldsymbol{W}_c(t, t_1)+\boldsymbol{\Phi}(t_1,t)\boldsymbol{W}_c(t_0, t)\boldsymbol{\Phi}^T(t_1,t)</math>
<math>\boldsymbol{W}_c(t_0, t_1)=\boldsymbol{W}_c(t, t_1)+\boldsymbol{\Phi}(t_1,t)\boldsymbol{W}_c(t_0, t)\boldsymbol{\Phi}^T(t_1,t)</math>
जिसे की परिभाषा से आसानी से देखा जा सकता है <math>\boldsymbol{W}_{c}(t_{0},t_{1})</math> और अवस्था संक्रमण आव्यूह की संपत्ति द्वारा जो दावा करता है कि:
 
जिसे की परिभाषा से आसानी से देखा जा सकता है <math>\boldsymbol{W}_{c}(t_{0},t_{1})</math> और अवस्था संक्रमण आव्यूह की गुण द्वारा जो दावा करता है कि:


<math>\boldsymbol{\Phi}(t_1,\tau)=\boldsymbol{\Phi}(t_{1},t)\boldsymbol{\Phi}(t,\tau)</math>
<math>\boldsymbol{\Phi}(t_1,\tau)=\boldsymbol{\Phi}(t_{1},t)\boldsymbol{\Phi}(t,\tau)</math>
कंट्रोलेबिलिटी ग्रैमियन के बारे में अधिक जानकारी यहां पाई जा सकती है।<ref>{{cite book|last=Chen|first=Chi-Tsong|title=रैखिक प्रणाली सिद्धांत और डिज़ाइन तीसरा संस्करण|url=https://archive.org/details/linearsystemtheo00chen|url-access=limited|year=1999|publisher=Oxford University Press|location=New York, New York|isbn=0-19-511777-8|page=[https://archive.org/details/linearsystemtheo00chen/page/n96 176]}}</ref>
 
नियंत्रणीयता ग्रामियन के बारे में अधिक जानकारी यहां पाई जा सकती है।<ref>{{cite book|last=Chen|first=Chi-Tsong|title=रैखिक प्रणाली सिद्धांत और डिज़ाइन तीसरा संस्करण|url=https://archive.org/details/linearsystemtheo00chen|url-access=limited|year=1999|publisher=Oxford University Press|location=New York, New York|isbn=0-19-511777-8|page=[https://archive.org/details/linearsystemtheo00chen/page/n96 176]}}</ref>


== यह भी देखें ==
== यह भी देखें ==

Revision as of 20:35, 5 October 2023

नियंत्रण सिद्धांत में, हमें यह पता लगाने की आवश्यकता हो सकती है कि कोई प्रणाली ऐसी है या नहीं

नियंत्रणीयता है, जहां , , और हैं, क्रमशः, , , और एक सिस्टम के लिए आव्यूह इनपुट, अवस्था चर और आउटपुट.

ऐसे लक्ष्य को प्राप्त करने के कई तरीकों में से एक है नियंत्रणीयता ग्रामियन (कंट्रोलेबिलिटी ग्रामियन) का उपयोग है।

एलटीआई सिस्टम में नियंत्रणीयता

लीनियर टाइम इनवेरिएंट (एलटीआई) सिस्टम वे सिस्टम हैं जिनमें पैरामीटर , , और समय के संबंध में अपरिवर्तनीय हैं।

केवल जोड़ी को देखकर ही कोई यह पता लगा सकता है कि एलटीआई प्रणाली नियंत्रण योग्य है या नहीं . तब, हम कह सकते हैं कि निम्नलिखित कथन समतुल्य हैं:

1. जोड़ी नियंत्रणीय है.

2. h> आव्यूह

किसी के लिए निरर्थक है .

3. h> नियंत्रणीयता आव्यूह

रैंक n है.

4. h> आव्यूह

प्रत्येक इगेनवैल्यू पर पूर्ण रो रैंक है का .

यदि, इसके अतिरिक्त, के सभी इगेनवैल्यू ऋणात्मक वास्तविक भाग हैं ( स्थिर है), और ल्यपुनोव समीकरण का अनूठा समाधान हैंl

घनात्मक निश्चित है, सिस्टम नियंत्रणीय है। समाधान को नियंत्रणीयता ग्रामियन कहा जाता है और इसे इस प्रकार व्यक्त किया जा सकता हैl

निम्नलिखित अनुभाग में हम नियंत्रणीयता ग्रामियन पर नज़दीक से नज़र डालने जा रहे हैं।

नियंत्रणीयता ग्रामियन

नियंत्रणीयता ग्रामियन को ल्यपुनोव समीकरण द्वारा दिए गए समाधान के रूप में पाया जा सकता है

वास्तव में, यदि हम लेते हैं तो हम इसे देख सकते हैं

एक समाधान के रूप में, हम इसे ढूंढने जा रहे हैं:

जहाँ हमने इस तथ्य का उपयोग किया पर स्थिर के लिए (इसके सभी इगेनवैल्यू ​​​​में ऋणात्मक वास्तविक भाग है)। यह हमें यह दिखाता है वास्तव में विश्लेषण के तहत लायपुनोव समीकरण का समाधान है।

गुण

हम देख सकते हैं कि एक सममित आव्यूह है, इसलिए, ऐसा है .

हम इस तथ्य का फिर से उपयोग कर सकते हैं कि, यदि यह दिखाने के लिए स्थिर है (इसके सभी इगेनवैल्यू ​​​​में ऋणात्मक वास्तविक भाग है) एकमात्र है। ऐसा प्रमाण करने के लिए, मान लीजिए कि हमारे पास दो अलग-अलग समाधान हैंl

और वे और . द्वारा दिए गए हैं तो हमारे पास हैं:

से गुणा करना बायीं ओर से और द्वारा दाईं ओर, हमें ले जाएगा

से एकीकृत किया जा रहा है को :

इस तथ्य का उपयोग करते हुए जैसा :

दूसरे शब्दों में, अद्वितीय होना चाहिए.

साथ ही, हम इसे देख भी सकते हैं

किसी भी t के लिए घनात्मक है (गैर-अपक्षयी परिस्थिति को मानते हुए)। समान रूप से शून्य नहीं है)। यह बनाता है एक घनात्मक निश्चित आव्यूह है।l

नियंत्रणीय प्रणालियों के अधिक गुण यहां पाए जा सकते हैं,[1] साथ ही "जोड़ी" के अन्य समकक्ष कथनों के लिए प्रमाण भी नियंत्रणीय है" एलटीआई सिस्टम में नियंत्रणीयता अनुभाग में प्रस्तुत किया गया है।

असतत समय प्रणाली

असतत समय प्रणालियों के लिए

कोई यह जांच सकता है कि "जोड़ी" कथन के लिए समतुल्यताएं हैं नियंत्रणीय है" (निरंतर समय के परिस्थितिमें समतुल्यताएं काफी हद तक समान हैं)।

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

घनात्मक निश्चित है और द्वारा दिया गया है

इसे असतत नियंत्रणीयता ग्रामियन कहा जाता है। हम असतत समय और सतत समय परिस्थिति के बीच पत्राचार को आसानी से देख सकते हैं, यानी, अगर हम इसकी जांच कर सकें घनात्मक निश्चित है, और सभी इगेनवैल्यू से कम परिमाण है , प्रणाली नियंत्रणीय हैl अधिक गुण और प्रमाण इसमें पाए जा सकते हैं।[2]

रैखिक समय भिन्न प्रणालियाँ

लीनियर टाइम वैरिएंट (एलटीवी) प्रणालियाँ इस प्रकार हैं:

यानी आव्यूह , और ऐसी प्रविष्टियाँ हैं जो समय के साथ बदलती रहती हैं। पुनः निरंतर समय के परिस्थिति में और असतत समय के परिस्थिति में, किसी को यह जानने में रुचि हो सकती है कि क्या जोड़ी द्वारा दी गई प्रणाली नियंत्रणीय है या नहींl यह पिछले परिस्थितियों की तरह ही किया जा सकता है।

प्रणाली समय पर नियंत्रणीय है यदि और केवल यदि कोई परिमित अस्तित्व है ऐसे कि आव्यूह, जिसे नियंत्रणीयता ग्रामियन भी कहा जाता है, द्वारा दिया गया

जहाँ का अवस्था संक्रमण आव्यूह है , निरर्थक है.

फिर, हमारे पास यह निर्धारित करने के लिए एक समान विधि है कि कोई सिस्टम नियंत्रणीय सिस्टम है या नहीं।

Wc(t0,t1) के गुण

हमारे पास वह नियंत्रणीयता ग्रामियन है निम्नलिखित गुण है:

जिसे की परिभाषा से आसानी से देखा जा सकता है और अवस्था संक्रमण आव्यूह की गुण द्वारा जो दावा करता है कि:

नियंत्रणीयता ग्रामियन के बारे में अधिक जानकारी यहां पाई जा सकती है।[3]

यह भी देखें

संदर्भ

  1. Chen, Chi-Tsong (1999). रैखिक प्रणाली सिद्धांत और डिज़ाइन तीसरा संस्करण. New York, New York: Oxford University Press. p. 145. ISBN 0-19-511777-8.
  2. Chen, Chi-Tsong (1999). रैखिक प्रणाली सिद्धांत और डिज़ाइन तीसरा संस्करण. New York, New York: Oxford University Press. p. 169. ISBN 0-19-511777-8.
  3. Chen, Chi-Tsong (1999). रैखिक प्रणाली सिद्धांत और डिज़ाइन तीसरा संस्करण. New York, New York: Oxford University Press. p. 176. ISBN 0-19-511777-8.


बाहरी संबंध