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

From Vigyanwiki
(Created page with "नियंत्रण सिद्धांत में, हमें यह पता लगाने की आवश्यकता हो सकती है क...")
 
No edit summary
Line 6: Line 6:
\boldsymbol{y}(t)=\boldsymbol{Cx}(t)+\boldsymbol{Du}(t)
\boldsymbol{y}(t)=\boldsymbol{Cx}(t)+\boldsymbol{Du}(t)
\end{array}</math>
\end{array}</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> आउटपुट.


ऐसे लक्ष्य को प्राप्त करने के कई तरीकों में से एक है कंट्रोलेबिलिटी [[ग्रामियन]] का उपयोग।
नियंत्रणीयता है, जहां <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 17: Line 18:
1. जोड़ी <math>(\boldsymbol{A},\boldsymbol{B})</math> नियंत्रणीय है.
1. जोड़ी <math>(\boldsymbol{A},\boldsymbol{B})</math> नियंत्रणीय है.


2. <math>n\times n</math> h> मैट्रिक्स
2. <math>n\times n</math> h> आव्यूह


<math>\boldsymbol{W_{c}}(t)=\int_{0}^{t}e^{\boldsymbol{A}\tau}\boldsymbol{BB^{T}}e^{\boldsymbol{A}^{T}\tau}d\tau=\int_{0}^{t}e^{\boldsymbol{A}(t-\tau)}\boldsymbol{BB^{T}}e^{\boldsymbol{A}^{T}(t-\tau)}d\tau</math>
<math>\boldsymbol{W_{c}}(t)=\int_{0}^{t}e^{\boldsymbol{A}\tau}\boldsymbol{BB^{T}}e^{\boldsymbol{A}^{T}\tau}d\tau=\int_{0}^{t}e^{\boldsymbol{A}(t-\tau)}\boldsymbol{BB^{T}}e^{\boldsymbol{A}^{T}(t-\tau)}d\tau</math>
किसी के लिए निरर्थक है <math>t>0</math>.
किसी के लिए निरर्थक है <math>t>0</math>.


3. <math>n\times np</math> h> नियंत्रणीयता मैट्रिक्स
3. <math>n\times np</math> h> नियंत्रणीयता आव्यूह


<math>{\mathcal{C}}=[\begin{array}{ccccc}
<math>{\mathcal{C}}=[\begin{array}{ccccc}
Line 28: Line 30:
रैंक n है.
रैंक n है.


4. <math>n\times(n+p)</math> h> मैट्रिक्स
4. <math>n\times(n+p)</math> h> आव्यूह


<math>[\begin{array}{cc}
<math>[\begin{array}{cc}
Line 34: Line 36:
प्रत्येक eigenvalue पर पूर्ण पंक्ति रैंक है <math>\lambda</math> का <math>\boldsymbol{A}</math>.
प्रत्येक eigenvalue पर पूर्ण पंक्ति रैंक है <math>\lambda</math> का <math>\boldsymbol{A}</math>.


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


<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 58: Line 59:
  & = & \boldsymbol{-BB^{T}}
  & = & \boldsymbol{-BB^{T}}
\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> (इसके सभी eigenvalues ​​​​में ऋणात्मक वास्तविक भाग है)। यह हमें यह दिखाता है <math>\boldsymbol{W}_{c}</math> वास्तव में विश्लेषण के तहत लायपुनोव समीकरण का समाधान है।


=== गुण ===
=== गुण ===


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


<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>
Line 75: Line 77:
से एकीकृत किया जा रहा है <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}[(\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}\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>
दूसरे शब्दों में, <math>\boldsymbol{W}_{c}</math> अद्वितीय होना चाहिए.
 
दूसरे शब्दों में, <math>\boldsymbol{W}_{c}</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>\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> एक सकारात्मक निश्चित मैट्रिक्स.
किसी भी टी के लिए घनात्मक है (गैर-अपक्षयी मामले को मानते हुए)। <math>\left\Vert \boldsymbol{B^{T}e^{\boldsymbol{A}^{T}t}\boldsymbol{x}}\right\Vert</math> समान रूप से शून्य नहीं है)। यह बनाता है <math>\boldsymbol{W}_{c}</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> नियंत्रणीय है" एलटीआई सिस्टम में नियंत्रणीयता अनुभाग में प्रस्तुत किया गया है।
नियंत्रणीय प्रणालियों के अधिक गुण यहां पाए जा सकते हैं,<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 101: Line 103:


<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> घनात्मक निश्चित है, और सभी 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>




Line 115: Line 117:
\boldsymbol{y}(t)=\boldsymbol{C}(t)\boldsymbol{x}(t)
\boldsymbol{y}(t)=\boldsymbol{C}(t)\boldsymbol{x}(t)
\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}(t),\boldsymbol{B}(t))</math> समय पर नियंत्रणीय है <math>t_{0}</math> यदि और केवल यदि कोई परिमित अस्तित्व है <math>t_{1}>t_{0}</math> ऐसे कि <math>n\times n</math> मैट्रिक्स, जिसे कंट्रोलेबिलिटी ग्रैमियन भी कहा जाता है, द्वारा दिया गया
यानी आव्यूह <math>\boldsymbol{A}</math>, <math>\boldsymbol{B}</math> और <math>\boldsymbol{C}</math> ऐसी प्रविष्टियाँ हैं जो समय के साथ बदलती रहती हैं। पुनः, निरंतर समय के मामले में और असतत समय के मामले में, किसी को यह जानने में रुचि हो सकती है कि क्या जोड़ी द्वारा दी गई प्रणाली <math>(\boldsymbol{A}(t),\boldsymbol{B}(t))</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>, निरर्थक है.


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


<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>


== यह भी देखें ==
== यह भी देखें ==
Line 139: Line 141:
* नियंत्रणीयता
* नियंत्रणीयता
* [[अवलोकनीयता ग्रामियन]]
* [[अवलोकनीयता ग्रामियन]]
* [[ग्रामियन मैट्रिक्स]]
* [[ग्रामियन मैट्रिक्स|ग्रामियन आव्यूह]]
*[[न्यूनतम ऊर्जा नियंत्रण]]
*[[न्यूनतम ऊर्जा नियंत्रण]]
* [[हैंकेल एकवचन मान]]
* [[हैंकेल एकवचन मान]]

Revision as of 19:36, 5 October 2023

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

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

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

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

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

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

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

2. h> आव्यूह

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

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

रैंक n है.

4. h> आव्यूह

प्रत्येक eigenvalue पर पूर्ण पंक्ति रैंक है का .

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

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

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

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

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

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

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

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

गुण

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

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

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

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

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

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

W के गुणc(टी0,टी1)

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

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

कंट्रोलेबिलिटी ग्रैमियन के बारे में अधिक जानकारी यहां पाई जा सकती है।[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.


बाहरी संबंध