تمثيل فضاء الحالة

في هندسة التحكم وتحديد خصائص الأنظمة ، يُعد تمثيل فضاء الحالة نموذجًا رياضيًا لنظام فيزيائي يستخدم متغيرات الحالة لتتبع كيفية تأثير المدخلات على سلوك النظام بمرور الوقت من خلال معادلات تفاضلية من الدرجة الأولى أو معادلات فرقية . تتغير متغيرات الحالة هذه بناءً على قيمها الحالية والمدخلات، بينما تعتمد المخرجات على الحالات، وأحيانًا على المدخلات أيضًا. فضاء الحالة (يُسمى أيضًا نهج المجال الزمني ، وهو مكافئ لفضاء الطور في بعض الأنظمة الديناميكية ) هو فضاء هندسي تمثل محاوره متغيرات الحالة، ويتم تمثيل حالة النظام بواسطة متجه حالة .

بالنسبة للأنظمة الخطية ، الثابتة زمنيًا ، وذات الأبعاد المحدودة، يمكن كتابة المعادلات في صورة مصفوفة ، [ 1 ] [ 2 ] مما يوفر بديلاً مختصرًا لتحويلات لابلاس في مجال التردد لأنظمة الإدخال والإخراج المتعددة (MIMO). وعلى عكس منهج مجال التردد، فإن هذا المنهج فعال لأنظمة تتجاوز الأنظمة الخطية ذات الشروط الابتدائية الصفرية. يحوّل هذا المنهج نظرية الأنظمة إلى إطار جبري، مما يتيح استخدام هياكل كرونكر لتحليل فعال.

تُستخدم نماذج فضاء الحالة في مجالاتٍ مثل الاقتصاد، [ 3 ] والإحصاء، [ 4 ] وعلوم الحاسوب، والهندسة الكهربائية ، [ 5 ] وعلم الأعصاب. [ 6 ] في الاقتصاد القياسي ، على سبيل المثال، يمكن استخدام نماذج فضاء الحالة لتحليل السلاسل الزمنية إلى اتجاهات ودورات، ودمج المؤشرات الفردية في مؤشر مركب، [ 7 ] وتحديد نقاط التحول في الدورة الاقتصادية ، وتقدير الناتج المحلي الإجمالي باستخدام السلاسل الزمنية الكامنة وغير المرصودة. [ 8 ] [ 9 ] تعتمد العديد من التطبيقات على مرشح كالمان أو مراقب الحالة لإنتاج تقديرات لمتغيرات الحالة غير المعروفة الحالية باستخدام ملاحظاتها السابقة. [ 10 ] [ 11 ]

متغيرات الحالة

تُمثل متغيرات الحالة الداخلية أصغر مجموعة فرعية ممكنة من متغيرات النظام التي يمكنها تمثيل حالة النظام بأكملها في أي وقت مُحدد. [ 12 ] الحد الأدنى لعدد متغيرات الحالة المطلوبة لتمثيل نظام مُعين،ن{\displaystyle n}عادةً ما يكون عدد متغيرات الحالة مساويًا لرتبة المعادلة التفاضلية المُعرِّفة للنظام، ولكن ليس بالضرورة. إذا مُثِّل النظام بصيغة دالة التحويل، فإن الحد الأدنى لعدد متغيرات الحالة يساوي رتبة مقام دالة التحويل بعد اختزالها إلى كسر حقيقي. من المهم فهم أن تحويل تمثيل فضاء الحالة إلى صيغة دالة التحويل قد يُفقد بعض المعلومات الداخلية عن النظام، وقد يُقدِّم وصفًا لنظام مستقر، بينما يكون تمثيل فضاء الحالة غير مستقر عند نقاط معينة. في الدوائر الكهربائية، غالبًا ما يكون عدد متغيرات الحالة مساويًا لعدد عناصر تخزين الطاقة في الدائرة، مثل المكثفات والمحاثات ، وإن لم يكن دائمًا . يجب أن تكون متغيرات الحالة المُعرَّفة مستقلة خطيًا ، أي لا يمكن كتابة أي متغير حالة كتركيبة خطية لمتغيرات الحالة الأخرى.

الأنظمة الخطية

تمثيل مخطط الكتلة لمعادلات فضاء الحالة الخطية

التمثيل الأكثر عمومية لحيز الحالة لنظام خطي معص{\displaystyle p}المدخلات،q{\displaystyle q}المخرجات ون{\displaystyle n}تُكتب متغيرات الحالة بالشكل التالي: [ 13 ]x˙(ت)=أ(ت)x(ت)+ب(ت)u(ت){\displaystyle {\dot {\mathbf {x} }}(t)=\mathbf {A} (t)\mathbf {x} (t)+\mathbf {B} (t)\mathbf {u} (t)}y(ت)=ج(ت)x(ت)+د(ت)u(ت){\displaystyle \mathbf {y} (t)=\mathbf {C} (t)\mathbf {x} (t)+\mathbf {D} (t)\mathbf {u} (t)}

أين:

  • x(){\displaystyle \mathbf {x} (\cdot )}يُطلق عليه اسم "متجه الحالة".x(ت)Rن{\displaystyle \mathbf {x} (t)\in \mathbb {R} ^{n}}؛
  • y(){\displaystyle \mathbf {y} (\cdot )}يُطلق عليه اسم "متجه الإخراج".y(ت)Rq{\displaystyle \mathbf {y} (t)\in \mathbb {R} ^{q}}؛
  • u(){\displaystyle \mathbf {u} (\cdot )}يُطلق عليه اسم "متجه الإدخال (أو متجه التحكم)".u(ت)Rص{\displaystyle \mathbf {u} (t)\in \mathbb {R} ^{p}}؛
  • أ(){\displaystyle \mathbf {A} (\cdot )}هي "مصفوفة الحالة (أو النظام)"،خافت[أ()]=ن×ن{\displaystyle \dim[\mathbf {A} (\cdot )]=n\times n}،
  • ب(){\displaystyle \mathbf {B} (\cdot )}هي "مصفوفة الإدخال"،خافت[ب()]=ن×ص{\displaystyle \dim[\mathbf {B} (\cdot )]=n\times p}،
  • ج(){\displaystyle \mathbf {C} (\cdot )}هي "مصفوفة الإخراج"،خافت[ج()]=q×ن{\displaystyle \dim[\mathbf {C} (\cdot )]=q\times n}،
  • د(){\displaystyle \mathbf {D} (\cdot )}هي "مصفوفة التغذية المباشرة (أو التغذية الأمامية)" (في الحالات التي لا يحتوي فيها نموذج النظام على تغذية مباشرة،د(){\displaystyle \mathbf {D} (\cdot )}(هي المصفوفة الصفرية)،خافت[د()]=q×ص{\displaystyle \dim[\mathbf {D} (\cdot )]=q\times p}،
  • x˙(ت):=ددتx(ت){\displaystyle {\dot {\mathbf {x} }}(t):={\frac {d}{dt}}\mathbf {x} (t)}.

في هذه الصيغة العامة، يُسمح لجميع المصفوفات بأن تكون متغيرة مع الزمن (أي أن عناصرها يمكن أن تعتمد على الزمن)؛ ومع ذلك، في حالة LTI الشائعة ، ستكون المصفوفات ثابتة مع الزمن. المتغير الزمنيت{\displaystyle t}يمكن أن يكون مستمرا (مثلاً)تR{\displaystyle t\in \mathbb {R} }) أو منفصلة (مثلتZ{\displaystyle t\in \mathbb {Z} }في الحالة الأخيرة، يكون المتغير الزمنيك{\displaystyle k}يُستخدم عادةً بدلاً منت{\displaystyle t}تسمح الأنظمة الهجينة بنطاقات زمنية تتضمن أجزاءً متصلة وأخرى منفصلة. وبناءً على الافتراضات الموضوعة، يمكن أن يتخذ تمثيل نموذج فضاء الحالة الأشكال التالية:

نوع النظامنموذج فضاء الحالة
ثابت مع الزمنx˙(ت)=أx(ت)+بu(ت){\displaystyle {\dot {\mathbf {x} }}(t)=\mathbf {A} \mathbf {x} (t)+\mathbf {B} \mathbf {u} (t)}y(ت)=جx(ت)+دu(ت){\displaystyle \mathbf {y} (t)=\mathbf {C} \mathbf {x} (t)+\mathbf {D} \mathbf {u} (t)}
متغير مع الزمن المستمرx˙(ت)=أ(ت)x(ت)+ب(ت)u(ت){\displaystyle {\dot {\mathbf {x} }}(t)=\mathbf {A} (t)\mathbf {x} (t)+\mathbf {B} (t)\mathbf {u} (t)}y(ت)=ج(ت)x(ت)+د(ت)u(ت){\displaystyle \mathbf {y} (t)=\mathbf {C} (t)\mathbf {x} (t)+\mathbf {D} (t)\mathbf {u} (t)}
ثابت زمني منفصل صريحx(ك+1)=أx(ك)+بu(ك){\displaystyle \mathbf {x} (k+1)=\mathbf {A} \mathbf {x} (k)+\mathbf {B} \mathbf {u} (k)}y(ك)=جx(ك)+دu(ك){\displaystyle \mathbf {y} (k)=\mathbf {C} \mathbf {x} (k)+\mathbf {D} \mathbf {u} (k)}
متغير زمني منفصل صريحx(ك+1)=أ(ك)x(ك)+ب(ك)u(ك){\displaystyle \mathbf {x} (k+1)=\mathbf {A} (k)\mathbf {x} (k)+\mathbf {B} (k)\mathbf {u} (k)}y(ك)=ج(ك)x(ك)+د(ك)u(ك){\displaystyle \mathbf {y} (k)=\mathbf {C} (k)\mathbf {x} (k)+\mathbf {D} (k)\mathbf {u} (k)}
مجال لابلاس للزمن المستمر الثابتsX(s)-x(0)=أX(s)+بيو(s){\displaystyle s\mathbf {X} (s)-\mathbf {x} (0)=\mathbf {A} \mathbf {X} (s)+\mathbf {B} \mathbf {U} (s)}Y(s)=جX(s)+ديو(s){\displaystyle \mathbf {Y} (s)=\mathbf {C} \mathbf {X} (s)+\mathbf {D} \mathbf {U} (s)}
المجال Z للأنظمة المنفصلة الثابتة زمنياًzX(z)-zx(0)=أX(z)+بيو(z){\displaystyle z\mathbf {X} (z)-z\mathbf {x} (0)=\mathbf {A} \mathbf {X} (z)+\mathbf {B} \mathbf {U} (z)}Y(z)=جX(z)+ديو(z){\displaystyle \mathbf {Y} (z)=\mathbf {C} \mathbf {X} (z)+\mathbf {D} \mathbf {U} (z)}

مثال: حالة LTI ذات الزمن المستمر

يمكن دراسة استقرار وخصائص الاستجابة الطبيعية لنظام خطي ثابت الزمن (أي نظام خطي بمصفوفات ثابتة بالنسبة للزمن) من خلال القيم الذاتية للمصفوفة.أ{\displaystyle \mathbf {A} }يمكن تحديد استقرار نموذج فضاء الحالة الثابت زمنيًا من خلال النظر إلى دالة نقل النظام في شكلها المُحلل. وستبدو حينها على النحو التالي:

جي(s)=ك(s-z1)(s-z2)(s-z3)(s-ص1)(s-ص2)(s-ص3)(s-ص4).{\displaystyle \mathbf {G} (s)=k{\frac {(s-z_{1})(s-z_{2})(s-z_{3})}{(s-p_{1})(s-p_{2})(s-p_{3})(s-p_{4})}}.}

مقام دالة التحويل يساوي متعدد الحدود المميز الذي يتم إيجاده بأخذ محددsأنا-أ{\displaystyle s\mathbf {I} -\mathbf {A} }، λ(s)=|sأنا-أ|.{\displaystyle \lambda (s)=\left|s\mathbf {I} -\mathbf {A} \right|.} جذور هذه المعادلة متعددة الحدود ( القيم الذاتية ) هي أقطاب دالة نقل النظام (أي النقاط الشاذة التي تكون فيها قيمة دالة النقل غير محدودة). يمكن استخدام هذه الأقطاب لتحليل ما إذا كان النظام مستقرًا تقاربيًا أم مستقرًا هامشيًا . ثمة نهج بديل لتحديد الاستقرار، لا يتضمن حساب القيم الذاتية، وهو تحليل استقرار ليابونوف للنظام .

الأصفار الموجودة في بسطجي(s){\displaystyle \mathbf {G} (s)}ويمكن استخدامها بالمثل لتحديد ما إذا كان النظام في طور أدنى .

قد يظل النظام مستقرًا من حيث المدخلات والمخرجات (انظر استقرار BIBO ) حتى وإن لم يكن مستقرًا داخليًا. قد يكون هذا هو الحال إذا تم إلغاء الأقطاب غير المستقرة بواسطة الأصفار (أي إذا كانت تلك النقاط الشاذة في دالة التحويل قابلة للإزالة ).

إمكانية التحكم

يشترط شرط قابلية التحكم في الحالة إمكانية توجيه الحالات من أي قيمة ابتدائية إلى أي قيمة نهائية خلال فترة زمنية محددة، وذلك  باستخدام مدخلات مقبولة . ويكون نموذج فضاء الحالة الخطي المستمر والثابت زمنيًا قابلاً للتحكم إذا وفقط إذا رتبة[بأبأ2بأن-1ب]=ن،{\displaystyle \operatorname {rank} {\begin{bmatrix}\mathbf {B} &\mathbf {A} \mathbf {B} &\mathbf {A} ^{2}\mathbf {B} &\cdots &\mathbf {A} ^{n-1}\mathbf {B} \end{bmatrix}}=n,} حيث يمثل rank عدد الصفوف المستقلة خطيًا في المصفوفة، وحيث n هو عدد متغيرات الحالة.

مراقبة

تُعدّ قابلية الملاحظة مقياسًا لمدى إمكانية استنتاج الحالات الداخلية للنظام من خلال معرفة مخرجاته الخارجية. وتُعتبر قابلية الملاحظة وقابلية التحكم للنظام متقابلتين رياضيًا (أي، كما تُتيح قابلية التحكم إمكانية توفير مدخلات تُؤدي إلى أي حالة ابتدائية وصولًا إلى أي حالة نهائية مرغوبة، تُتيح قابلية الملاحظة إمكانية توفير معلومات كافية للتنبؤ بالحالة الابتدائية للنظام من خلال معرفة مسار المخرجات).

يكون نموذج فضاء الحالة الخطي المستمر والثابت مع الزمن قابلاً للملاحظة إذا وفقط إذا رتبة[ججأجأن-1]=ن.{\displaystyle \operatorname {rank} {\begin{bmatrix}\mathbf {C} \\\mathbf {C} \mathbf {A} \\\vdots \\\mathbf {C} \mathbf {A} ^{n-1}\end{bmatrix}}=n.}

دالة التحويل

يمكن اشتقاق " دالة النقل " لنموذج فضاء الحالة الخطي المستمر والثابت مع الزمن بالطريقة التالية:

أولاً، بأخذ تحويل لابلاس لـ x˙(ت)=أx(ت)+بu(ت){\displaystyle {\dot {\mathbf {x} }}(t)=\mathbf {A} \mathbf {x} (t)+\mathbf {B} \mathbf {u} (t)}

العائد sX(s)-x(0)=أX(s)+بيو(s).{\displaystyle s\mathbf {X} (s)-\mathbf {x} (0)=\mathbf {A} \mathbf {X} (s)+\mathbf {B} \mathbf {U} (s).} بعد ذلك، نقوم بالتبسيط لـX(s){\displaystyle \mathbf {X} (s)}، إعطاء (sأنا-أ)X(s)=x(0)+بيو(s){\displaystyle (s\mathbf {I} -\mathbf {A} )\mathbf {X} (s)=\mathbf {x} (0)+\mathbf {B} \mathbf {U} (s)} وبالتالي X(s)=(sأنا-أ)-1x(0)+(sأنا-أ)-1بيو(s).{\displaystyle \mathbf {X} (s)=(s\mathbf {I} -\mathbf {A} )^{-1}\mathbf {x} (0)+(s\mathbf {I} -\mathbf {A} )^{-1}\mathbf {B} \mathbf {U} (s).}

بديل عنX(s){\displaystyle \mathbf {X} (s)}في معادلة المخرجات

Y(s)=جX(s)+ديو(s)،{\displaystyle \mathbf {Y} (s)=\mathbf {C} \mathbf {X} (s)+\mathbf {D} \mathbf {U} (s),} أعطِ Y(s)=ج((sأنا-أ)-1x(0)+(sأنا-أ)-1بيو(s))+ديو(s).{\displaystyle \mathbf {Y} (s)=\mathbf {C} ((s\mathbf {I} -\mathbf {A} )^{-1}\mathbf {x} (0)+(s\mathbf {I} -\mathbf {A} )^{-1}\mathbf {B} \mathbf {U} (s))+\mathbf {D} \mathbf {U} (s).}

بافتراض شروط ابتدائية صفريةx(0)=0{\displaystyle \mathbf {x} (0)=\mathbf {0} }وفي نظام ذي مدخل واحد ومخرج واحد (SISO) ، تُعرَّف دالة التحويل بأنها نسبة المخرج إلى المدخلجي(s)=Y(s)/يو(s){\displaystyle G(s)=Y(s)/U(s)}أما بالنسبة لنظام متعدد المدخلات والمخرجات (MIMO) ، فإن هذه النسبة غير مُعرَّفة. لذلك، وبافتراض شروط ابتدائية صفرية، تُشتق مصفوفة دالة التحويل منY(s)=جي(s)يو(s){\displaystyle \mathbf {Y} (s)=\mathbf {G} (s)\mathbf {U} (s)}

باستخدام طريقة مساواة المعاملات التي ينتج عنها

جي(s)=ج(sأنا-أ)-1ب+د.{\displaystyle \mathbf {G} (s)=\mathbf {C} (s\mathbf {I} -\mathbf {A} )^{-1}\mathbf {B} +\mathbf {D} .}

بالتالي،جي(s){\displaystyle \mathbf {G} (s)}هي مصفوفة ذات بُعدq×ص{\displaystyle q\times p}تحتوي هذه المصفوفة على دوال نقل لكل تركيبة من المدخلات والمخرجات. ونظرًا لبساطة هذه الصيغة المصفوفية، يُستخدم تمثيل فضاء الحالة عادةً للأنظمة متعددة المدخلات والمخرجات. وتُوفر مصفوفة نظام روزنبروك جسرًا بين تمثيل فضاء الحالة ودالة نقله .

التحقيقات الكنسية

يمكن بسهولة تحويل أي دالة نقل معينة تكون مناسبة تمامًا إلى فضاء الحالة من خلال النهج التالي (هذا المثال لنظام رباعي الأبعاد، ذو مدخل واحد ومخرج واحد):

بفرض وجود دالة تحويل، قم بتوسيعها لإظهار جميع المعاملات في كل من البسط والمقام. يجب أن ينتج عن ذلك الشكل التالي:

جي(s)=ن1s3+ن2s2+ن3s+ن4s4+د1s3+د2s2+د3s+د4=ن1s-1+ن2s-2+ن3s-3+ن4s-41+د1s-1+د2s-2+د3s-3+د4s-4 .{\displaystyle {\begin{aligned}\mathbf {G} (s)&={\frac {n_{1}s^{3}+n_{2}s^{2}+n_{3}s+n_{4}}{s^{4}+d_{1}s^{3}+d_{2}s^{2}+d_{3}s+d_{4}}}\\\\&={\frac {n_{1}s^{-1}+n_{2}s^{-2}+n_{3}s^{-3}+n_{4}s^{-4}}{1+d_{1}s^{-1}+d_{2}s^{-2}+d_{3}s^{-3}+d_{4}s^{-4}}}\ .\end{aligned}}}

يمكن الآن إدخال المعاملات مباشرة في نموذج فضاء الحالة باتباع النهج التالي: x˙(ت)=[010000100001-د4-د3-د2-د1]x(ت)+[0001]u(ت){\displaystyle {\dot {\mathbf {x} }}(t)={\begin{bmatrix}0&1&0&0\\0&0&1&0\\0&0&0&1\\-d_{4}&-d_{3}&-d_{2}&-d_{1}\end{bmatrix}}\mathbf {x} (t)+{\begin{bmatrix}0\\0\\0\\1\end{bmatrix}}\mathbf {u} (t)}

y(ت)=[ن4ن3ن2ن1]x(ت).{\displaystyle \mathbf {y} (t)={\begin{bmatrix}n_{4}&n_{3}&n_{2}&n_{1}\end{bmatrix}}\mathbf {x} (t).}

يُطلق على هذا التحقيق في فضاء الحالة اسم الشكل القانوني القابل للتحكم لأن النموذج الناتج مضمون أن يكون قابلاً للتحكم (أي، لأن التحكم يدخل في سلسلة من المكاملات، فإنه يمتلك القدرة على تحريك كل حالة).

يمكن أيضًا استخدام معاملات دالة التحويل لإنشاء نوع آخر من الأشكال القانونية x˙(ت)=[000-د4100-د3010-د2001-د1]x(ت)+[ن4ن3ن2ن1]u(ت){\displaystyle {\dot {\mathbf {x} }}(t)={\begin{bmatrix}0&0&0&-d_{4}\\1&0&0&-d_{3}\\0&1&0&-d_{2}\\0&0&1&-d_{1}\end{bmatrix}}\mathbf {x} (t)+{\begin{bmatrix}n_{4}\\n_{3}\\n_{2}\\n_{1}\end{bmatrix}}\mathbf {u} (t)}y(ت)=[0001]x(ت).{\displaystyle \mathbf {y} (t)={\begin{bmatrix}0&0&0&1\end{bmatrix}}\mathbf {x} (t).}

يُطلق على هذا التحقيق في فضاء الحالة اسم الشكل القانوني القابل للملاحظة لأن النموذج الناتج مضمون أن يكون قابلاً للملاحظة (أي، لأن المخرجات تخرج من سلسلة من المكاملات، فإن لكل حالة تأثير على المخرجات).

وظائف النقل المناسبة

يمكن أيضاً تحقيق دوال التحويل التي تكون مناسبة فقط (وليست مناسبة تماماً ) بسهولة تامة. يكمن السر هنا في فصل دالة التحويل إلى جزأين: جزء مناسب تماماً وجزء ثابت. جي(s)=جيSP(s)+جي().{\displaystyle \mathbf {G} (s)=\mathbf {G} _{\mathrm {SP} }(s)+\mathbf {G} (\infty ).}

يمكن بعد ذلك تحويل دالة النقل الصحيحة تمامًا إلى تمثيل قياسي في فضاء الحالة باستخدام التقنيات الموضحة أعلاه. ويكون تمثيل فضاء الحالة للثابت بديهيًا.y(ت)=جي()u(ت){\displaystyle \mathbf {y} (t)=\mathbf {G} (\infty )\mathbf {u} (t)}. معًا نحصل بعد ذلك على تحقيق فضاء الحالة مع المصفوفات A و B و C التي يتم تحديدها بواسطة الجزء المناسب تمامًا، والمصفوفة D التي يتم تحديدها بواسطة الثابت.

إليك مثال لتوضيح الأمور قليلاً: جي(s)=s2+3s+3s2+2s+1=s+2s2+2s+1+1{\displaystyle \mathbf {G} (s)={\frac {s^{2}+3s+3}{s^{2}+2s+1}}={\frac {s+2}{s^{2}+2s+1}}+1} مما ينتج عنه التحقيق القابل للتحكم التالي x˙(ت)=[-2-110]x(ت)+[10]u(ت){\displaystyle {\dot {\mathbf {x} }}(t)={\begin{bmatrix}-2&-1\\1&0\\\end{bmatrix}}\mathbf {x} (t)+{\begin{bmatrix}1\\0\end{bmatrix}}\mathbf {u} (t)}y(ت)=[12]x(ت)+[1]u(ت){\displaystyle \mathbf {y} (t)={\begin{bmatrix}1&2\end{bmatrix}}\mathbf {x} (t)+{\begin{bmatrix}1\end{bmatrix}}\mathbf {u} (t)} لاحظ كيف يعتمد الناتج أيضًا بشكل مباشر على المدخلات. ويعود ذلك إلىجي(){\displaystyle \mathbf {G} (\infty )}ثابت في دالة التحويل.

تعليق

نموذج نموذجي لحيز الحالة مع التغذية الراجعة

تتمثل إحدى الطرق الشائعة للتغذية الراجعة في ضرب المخرجات بمصفوفة K وتعيين هذه المصفوفة كمدخل للنظام:u(ت)=كy(ت){\displaystyle \mathbf {u} (t)=K\mathbf {y} (t)}بما أن قيم K غير مقيدة، يمكن بسهولة عكس قيمها في حالة التغذية الراجعة السلبية . إن وجود علامة السالب (الرمز الشائع) هو مجرد رمز، ولا يؤثر غيابها على النتائج النهائية.

x˙(ت)=أx(ت)+بu(ت){\displaystyle {\dot {\mathbf {x} }}(t)=A\mathbf {x} (t)+B\mathbf {u} (t)}y(ت)=جx(ت)+دu(ت){\displaystyle \mathbf {y} (t)=C\mathbf {x} (t)+D\mathbf {u} (t)}

يصبح

x˙(ت)=أx(ت)+بكy(ت){\displaystyle {\dot {\mathbf {x} }}(t)=A\mathbf {x} (t)+BK\mathbf {y} (t)}y(ت)=جx(ت)+دكy(ت){\displaystyle \mathbf {y} (t)=C\mathbf {x} (t)+DK\mathbf {y} (t)}

حل معادلة المخرجات لـy(ت){\displaystyle \mathbf {y} (t)}وبالتعويض في معادلة الحالة ينتج عنه

x˙(ت)=(أ+بك(أنا-دك)-1ج)x(ت){\displaystyle {\dot {\mathbf {x} }}(t)=\left(A+BK\left(I-DK\right)^{-1}C\right)\mathbf {x} (t)}y(ت)=(أنا-دك)-1جx(ت){\displaystyle \mathbf {y} (t)=\left(I-DK\right)^{-1}C\mathbf {x} (t)}

تكمن ميزة هذا في إمكانية التحكم في القيم الذاتية للمصفوفة A عن طريق ضبط قيمة K بشكل مناسب من خلال تحليل القيم الذاتية للمصفوفة A.(أ+بك(أنا-دك)-1ج){\displaystyle \left(A+BK\left(I-DK\right)^{-1}C\right)}يفترض هذا أن النظام ذو الحلقة المغلقة قابل للتحكم أو أن القيم الذاتية غير المستقرة لـ A يمكن جعلها مستقرة من خلال الاختيار المناسب لـ K.

مثال

في النظام المثالي تمامًا، تكون قيمة D مساوية للصفر. وهناك حالة شائعة أخرى، وهي عندما تكون جميع الحالات عبارة عن مخرجات، أي y = x ، مما ينتج عنه C = I ، وهي مصفوفة الوحدة . وهذا بدوره يؤدي إلى معادلات أبسط.

x˙(ت)=(أ+بك)x(ت){\displaystyle {\dot {\mathbf {x} }}(t)=\left(A+BK\right)\mathbf {x} (t)}y(ت)=x(ت){\displaystyle \mathbf {y} (t)=\mathbf {x} (t)}

هذا يقلل من عملية تحليل القيم الذاتية اللازمة إلى مجردأ+بك{\displaystyle A+BK}.

التغذية الراجعة مع إدخال نقطة الضبط (المرجعية)

تغذية راجعة للمخرجات مع نقطة ضبط

بالإضافة إلى التغذية الراجعة، هناك مدخلات أخرى،ر(ت){\displaystyle r(t)}، ويمكن إضافتها بحيثu(ت)=-كy(ت)+ر(ت){\displaystyle \mathbf {u} (t)=-K\mathbf {y} (t)+\mathbf {r} (t)}.

x˙(ت)=أx(ت)+بu(ت){\displaystyle {\dot {\mathbf {x} }}(t)=A\mathbf {x} (t)+B\mathbf {u} (t)}y(ت)=جx(ت)+دu(ت){\displaystyle \mathbf {y} (t)=C\mathbf {x} (t)+D\mathbf {u} (t)}

يصبح

x˙(ت)=أx(ت)-بكy(ت)+بر(ت){\displaystyle {\dot {\mathbf {x} }}(t)=A\mathbf {x} (t)-BK\mathbf {y} (t)+B\mathbf {r} (t)}y(ت)=جx(ت)-دكy(ت)+در(ت){\displaystyle \mathbf {y} (t)=C\mathbf {x} (t)-DK\mathbf {y} (t)+D\mathbf {r} (t)}

حل معادلة المخرجات لـy(ت){\displaystyle \mathbf {y} (t)}وبالتعويض في معادلة الحالة ينتج عنه

x˙(ت)=(أ-بك(أنا+دك)-1ج)x(ت)+ب(أنا-ك(أنا+دك)-1د)ر(ت){\displaystyle {\dot {\mathbf {x} }}(t)=\left(A-BK\left(I+DK\right)^{-1}C\right)\mathbf {x} (t)+B\left(I-K\left(I+DK\right)^{-1}D\right)\mathbf {r} (t)}y(ت)=(أنا+دك)-1جx(ت)+(أنا+دك)-1در(ت){\displaystyle \mathbf {y} (t)=\left(I+DK\right)^{-1}C\mathbf {x} (t)+\left(I+DK\right)^{-1}D\mathbf {r} (t)}

إحدى التبسيطات الشائعة لهذا النظام هي حذف D ، مما يقلل المعادلات إلى

x˙(ت)=(أ-بكج)x(ت)+بر(ت){\displaystyle {\dot {\mathbf {x} }}(t)=\left(A-BKC\right)\mathbf {x} (t)+B\mathbf {r} (t)}y(ت)=جx(ت){\displaystyle \mathbf {y} (t)=C\mathbf {x} (t)}

مثال على تحريك جسم

النظام الخطي الكلاسيكي هو نظام حركة جسم في بُعد واحد (مثل عربة). قوانين نيوتن للحركة لجسم يتحرك أفقيًا على مستوى ومثبت بجدار بواسطة نابض:

مy¨(ت)=u(ت)-بy˙(ت)-كy(ت){\displaystyle m{\ddot {y}}(t)=u(t)-b{\dot {y}}(t)-ky(t)}

أين

  • y(ت){\displaystyle y(t)}هو الموقع؛y˙(ت){\displaystyle {\dot {y}}(t)}هي السرعة؛y¨(ت){\displaystyle {\ddot {y}}(t)}التسارع
  • u(ت){\displaystyle u(t)}هي قوة مطبقة
  • ب{\displaystyle b}معامل الاحتكاك اللزج
  • ك{\displaystyle k}ثابت الزنبرك
  • م{\displaystyle m}كتلة الجسم

ستصبح معادلة الحالة حينها

[x˙1(ت)x˙2(ت)]=[01-كم-بم][x1(ت)x2(ت)]+[01م]u(ت){\displaystyle {\begin{bmatrix}{\dot {\mathbf {x} }}_{1}(t)\\{\dot {\mathbf {x} }}_{2}(t)\end{bmatrix}}={\begin{bmatrix}0&1\\-{\frac {k}{m}}&-{\frac {b}{m}}\end{bmatrix}}{\begin{bmatrix}\mathbf {x} _{1}(t)\\\mathbf {x} _{2}(t)\end{bmatrix}}+{\begin{bmatrix}0\\{\frac {1}{m}}\end{bmatrix}}\mathbf {u} (t)}y(ت)=[10][x1(ت)x2(ت)]{\displaystyle \mathbf {y} (t)=\left[{\begin{matrix}1&0\end{matrix}}\right]\left[{\begin{matrix}\mathbf {x_{1}} (t)\\\mathbf {x_{2}} (t)\end{matrix}}\right]}

أين

  • x1(ت){\displaystyle x_{1}(t)}يمثل موضع الجسم
  • x2(ت)=x˙1(ت){\displaystyle x_{2}(t)={\dot {x}}_{1}(t)}هي سرعة الجسم
  • x˙2(ت)=x¨1(ت){\displaystyle {\dot {x}}_{2}(t)={\ddot {x}}_{1}(t)}هو تسارع الجسم
  • الناتجy(ت){\displaystyle \mathbf {y} (t)}هو موضع الجسم

ثم يصبح اختبار قابلية التحكم

[بأب]=[[01م][01-كم-بم][01م]]=[01م1م-بم2]{\displaystyle {\begin{bmatrix}B&AB\end{bmatrix}}={\begin{bmatrix}{\begin{bmatrix}0\\{\frac {1}{m}}\end{bmatrix}}&{\begin{bmatrix}0&1\\-{\frac {k}{m}}&-{\frac {b}{m}}\end{bmatrix}}{\begin{bmatrix}0\\{\frac {1}{m}}\end{bmatrix}}\end{bmatrix}}={\begin{bmatrix}0&{\frac {1}{m}}\\{\frac {1}{m}}&-{\frac {b}{m^{2}}}\end{bmatrix}}}

والتي تتمتع برتبة كاملة للجميعب{\displaystyle b}وم{\displaystyle m}وهذا يعني أنه إذا كانت الحالة الأولية للنظام معروفة (y(ت){\displaystyle y(t)}،y˙(ت){\displaystyle {\dot {y}}(t)}،y¨(ت){\displaystyle {\ddot {y}}(t)}), وإذا كانب{\displaystyle b}وم{\displaystyle m}إذا كانت ثوابت، فهناك قوةu{\displaystyle u}وهذا من شأنه أن ينقل العربة إلى أي موضع آخر في النظام.

ثم يصبح اختبار قابلية الملاحظة

[ججأ]=[[10][10][01-كم-بم]]=[1001]{\displaystyle {\begin{bmatrix}C\\CA\end{bmatrix}}={\begin{bmatrix}{\begin{bmatrix}1&0\end{bmatrix}}\\{\begin{bmatrix}1&0\end{bmatrix}}{\begin{bmatrix}0&1\\-{\frac {k}{m}}&-{\frac {b}{m}}\end{bmatrix}}\end{bmatrix}}={\begin{bmatrix}1&0\\0&1\end{bmatrix}}}

والذي يتمتع أيضاً برتبة كاملة. لذلك، فإن هذا النظام قابل للتحكم والمراقبة.

الأنظمة غير الخطية

يمكن كتابة الشكل الأكثر عمومية لنموذج فضاء الحالة على شكل دالتين.

x˙(ت)=و(ت،x(ت)،u(ت)){\displaystyle {\dot {\mathbf {x} }}(t)=\mathbf {f} (t,x(t),u(t))}y(ت)=ح(ت،x(ت)،u(ت)){\displaystyle \mathbf {y} (t)=\mathbf {h} (t,x(t),u(t))}

الأولى هي معادلة الحالة، والثانية هي معادلة المخرجات. إذا كانت الدالةو(،،){\displaystyle f(\cdot ,\cdot ,\cdot )}إذا كان النظام عبارة عن توليفة خطية من الحالات والمدخلات، فيمكن كتابة المعادلات باستخدام ترميز المصفوفات كما هو موضح أعلاه.u(ت){\displaystyle u(t)}يمكن حذف وسيط الدوال إذا كان النظام غير مجبر (أي أنه ليس لديه مدخلات).

مثال البندول

النظام غير الخطي الكلاسيكي هو بندول بسيط غير مُجبر

م2θ¨(ت)=-مزالخطيئةθ(ت)-كθ˙(ت){\displaystyle m\ell ^{2}{\ddot {\theta }}(t)=-m\ell g\sin \theta (t)-k\ell {\dot {\theta }}(t)}

أين

  • θ(ت){\displaystyle \theta (t)}هي زاوية البندول بالنسبة لاتجاه الجاذبية
  • م{\displaystyle m}كتلة البندول (يفترض أن كتلة قضيب البندول تساوي صفرًا)
  • ز{\displaystyle g}هو التسارع الجاذبي
  • ك{\displaystyle k}معامل الاحتكاك عند نقطة الارتكاز
  • {\displaystyle \ell }يمثل نصف قطر البندول (إلى مركز ثقل الكتلة)م{\displaystyle m})

وتكون معادلات الحالة بعد ذلك

x˙1(ت)=x2(ت){\displaystyle {\dot {x}}_{1}(t)=x_{2}(t)}x˙2(ت)=-زالخطيئةx1(ت)-كمx2(ت){\displaystyle {\dot {x}}_{2}(t)=-{\frac {g}{\ell }}\sin {x_{1}}(t)-{\frac {k}{m\ell }}{x_{2}}(t)}

أين

  • x1(ت)=θ(ت){\displaystyle x_{1}(t)=\theta (t)}هي زاوية البندول
  • x2(ت)=x˙1(ت){\displaystyle x_{2}(t)={\dot {x}}_{1}(t)}هي السرعة الدورانية للبندول
  • x˙2=x¨1{\displaystyle {\dot {x}}_{2}={\ddot {x}}_{1}}يمثل التسارع الدوراني للبندول

بدلاً من ذلك، يمكن كتابة معادلة الحالة بالشكل العام

x˙(ت)=[x˙1(ت)x˙2(ت)]=و(ت،x(ت))=[x2(ت)-زالخطيئةx1(ت)-كمx2(ت)].{\displaystyle {\dot {\mathbf {x} }}(t)={\begin{bmatrix}{\dot {x}}_{1}(t)\\{\dot {x}}_{2}(t)\end{bmatrix}}=\mathbf {f} (t,x(t))={\begin{bmatrix}x_{2}(t)\\-{\frac {g}{\ell }}\sin {x_{1}}(t)-{\frac {k}{m\ell }}{x_{2}}(t)\end{bmatrix}}.}

تكون نقاط التوازن / الاستقرار لنظام ما عندماx˙=0{\displaystyle {\dot {x}}=0}وبالتالي فإن نقاط توازن البندول هي تلك التي تحقق

[x1x2]=[نπ0]{\displaystyle {\begin{bmatrix}x_{1}\\x_{2}\end{bmatrix}}={\begin{bmatrix}n\pi \\0\end{bmatrix}}}

بالنسبة للأعداد الصحيحة n .

انظر أيضاً

مراجع

  1. كاتالين م. هانغوس ؛ ر. لاكنر وم. جيرزون (2001). أنظمة التحكم الذكية: مقدمة مع أمثلة . سبرينغر. ص 254. ISBN  978-1-4020-0134-5.
  2. ^ كاتالين م. هانجوس. جوزيف بوكور وجابور زيدركيني (2004). تحليل ومراقبة أنظمة العمليات غير الخطية . سبرينغر. ص. 25. رقم ISBN  978-1-85233-600-4.
  3. ستوك، جيه إتش؛ واتسون، إم دبليو (2016)، "نماذج العوامل الديناميكية، والانحدارات الذاتية المتجهة المعززة بالعوامل، والانحدارات الذاتية المتجهة الهيكلية في الاقتصاد الكلي"، دليل الاقتصاد الكلي ، المجلد 2، إلسيفير، الصفحات 415-525 ، doi : 10.1016/bs.hesmac.2016.04.002 ، ISBN   978-0-444-59487-7
  4. دوربين، جيمس؛ كوبمان، سيم جان (2012). تحليل السلاسل الزمنية باستخدام أساليب فضاء الحالة . مطبعة جامعة أكسفورد. ISBN 978-0-19-964117-8. OCLC 794591362 . 
  5. روسر، ر. (1975). "نموذج فضاء الحالة المنفصل لمعالجة الصور الخطية". معاملات IEEE في التحكم الآلي . 20 (1): 1-10 . doi : 10.1109/tac.1975.1100844 . ISSN 0018-9286 . 
  6. سميث، آن سي؛ براون، إيمري ن. (2003). "تقدير نموذج فضاء الحالة من ملاحظات عملية النقطة". الحوسبة العصبية . 15 (5): 965-991 . doi : 10.1162/089976603765202622 . ISSN 0899-7667 . PMID 12803953. S2CID 10020032 .   
  7. جيمس إتش. ستوك ومارك دبليو. واتسون، 1989. "مؤشرات جديدة للمؤشرات الاقتصادية المتزامنة والرائدة "، فصول NBER، في: NBER Macroeconomics Annual 1989، المجلد 4، الصفحات 351-409، المكتب الوطني للبحوث الاقتصادية، Inc.
  8. بانبورا، مارتا؛ مودونيو، ميشيل (12 نوفمبر 2012). "تقدير الاحتمال الأقصى لنماذج العوامل على مجموعات البيانات ذات النمط العشوائي للبيانات المفقودة". مجلة الاقتصاد القياسي التطبيقي . 29 (1): 133-160 . doi : 10.1002/jae.2306 . hdl : 10419/153623 . ISSN 0883-7252 . S2CID 14231301 .  
  9. "نماذج فضاء الحالة مع تبديل ماركوف وأخذ عينات جيبس"، نماذج فضاء الحالة مع تبديل النظام ، مطبعة معهد ماساتشوستس للتكنولوجيا، 2017، الصفحات 237-274 ، doi : 10.7551/mitpress/6444.003.0013 ، ISBN  978-0-262-27711-2
  10. كالمان، ر. إي. (1960-03-01). "نهج جديد لمشاكل الترشيح والتنبؤ الخطي" . مجلة الهندسة الأساسية . 82 (1): 35-45 . doi : 10.1115/1.3662552 . ISSN 0021-9223 . S2CID 259115248 .  
  11. هارفي، أندرو سي. (1990). التنبؤ، نماذج السلاسل الزمنية الهيكلية، ومرشح كالمان . كامبريدج: مطبعة جامعة كامبريدج. doi:10.1017/CBO9781107049994
  12. نايس، نورمان س. (2010). هندسة أنظمة التحكم ( الطبعة السادسة). جون وايلي وأولاده، رقم ISBN  978-0-470-54756-4.
  13. بروجان، ويليام ل. (1974). نظرية التحكم الحديثة ( الطبعة الأولى). دار النشر كوانتوم، ص 172.  

للمزيد من القراءة

  • أنتساكليس، بيجاي؛ ميشيل، أن (2007). كتاب تمهيدي للأنظمة الخطية . بيركهاوزر. رقم ISBN 978-0-8176-4460-4.
  • تشين، تشي تسونغ (1999). نظرية وتصميم الأنظمة الخطية (  الطبعة الثالثة). مطبعة جامعة أكسفورد. ISBN 0-19-511777-8.
  • خليل، حسن ك. (2001). الأنظمة غير الخطية (  الطبعة الثالثة). برنتيس هول. ISBN 0-13-067389-7.
  • هينريشسن، ديدريش؛ بريتشارد، أنتوني جيه. (2005). نظرية الأنظمة الرياضية 1: النمذجة، تحليل فضاء الحالة، الاستقرار والمتانة . سبرينغر. ISBN 978-3-540-44125-0.
  • سونتاغ، إدواردو د. (1999). نظرية التحكم الرياضي: الأنظمة الحتمية ذات الأبعاد المحدودة (ملف PDF) (الطبعة الثانية  ). سبرينغر. ISBN 0-387-98489-5تم الاطلاع عليه بتاريخ 28 يونيو 2012 .
  • فريدلاند، برنارد (2005). تصميم أنظمة التحكم: مقدمة في أساليب فضاء الحالة . دوفر. ISBN 0-486-44278-0.
  • زاده، لطفي أ.؛ ديزور، تشارلز أ. (1979). نظرية الأنظمة الخطية . دار نشر كريجر. ISBN 978-0-88275-809-1.
حول تطبيقات نماذج فضاء الحالة في الاقتصاد القياسي
  • دوربين، ج.؛ كوبمان، س. (2001). تحليل السلاسل الزمنية باستخدام أساليب فضاء الحالة . أكسفورد، المملكة المتحدة: مطبعة جامعة أكسفورد. ISBN 978-0-19-852354-3.