2025-11-18T05:37:13.726728

Lyapunov-like Stability Inequality with an Asymmetric Matrix and Application to Suboptimal LQ Control Design

Kumar

The Lyapunov inequality is an indispensable tool for stability analysis in linear control theory. It provides a necessary and sufficient condition for the stability of an autonomous linear-time invariant system in terms of the existence of a symmetric positive-definite Lyapunov matrix. This work proposes a new variant of this inequality in which the constituent Lyapunov matrix is allowed to be asymmetric. After analysing the properties of the proposed inequality for a class of matrices, we derive new results for the stabilisation of linear systems. Subsequently, we utilize the developed results to obtain sufficient conditions for the suboptimal linear quadratic control design problem, where addition to having an asymmetric Lyapunov matrix, which serves as a design matrix for this problem, we provide a characterization of the cost associated with the computed stabilizing suboptimal control laws by deriving an expression for the upper bound on cost in terms of the initial conditions of the system. We demonstrate the applicability of the proposed results using two numerical examples -- one for suboptimal control design for a linear time-invariant system and another for the consensus (state-agreement) protocol design for a multi-agent system where-in we see how the asymmetry of the design matrix emerges as an inherent requirement for the problem.

academic

লায়াপুনভ-সদৃশ স্থিতিশীলতা অসমতা অ-প্রতিসম ম্যাট্রিক্স সহ এবং সাব-অপ্টিমাল LQ নিয়ন্ত্রণ ডিজাইনে প্রয়োগ

মৌলিক তথ্য

পত্র ID: 2502.11556
শিরোনাম: লায়াপুনভ-সদৃশ স্থিতিশীলতা অসমতা অ-প্রতিসম ম্যাট্রিক্স সহ এবং সাব-অপ্টিমাল LQ নিয়ন্ত্রণ ডিজাইনে প্রয়োগ
লেখক: অবিনাশ কুমার
শ্রেণীবিভাগ: math.OC (অপ্টিমাইজেশন এবং নিয়ন্ত্রণ)
প্রকাশনার সময়: ২০২৫ সালের ফেব্রুয়ারি (arXiv প্রাক-প্রিন্ট)
পত্র লিঙ্ক: https://arxiv.org/abs/2502.11556

সারসংক্ষেপ

লায়াপুনভ অসমতা রৈখিক নিয়ন্ত্রণ তত্ত্বে স্থিতিশীলতা বিশ্লেষণের একটি গুরুত্বপূর্ণ হাতিয়ার, যা প্রতিসম ধনাত্মক নির্দিষ্ট লায়াপুনভ ম্যাট্রিক্সের অস্তিত্বের মাধ্যমে স্বায়ত্তশাসিত রৈখিক সময়-অপরিবর্তনীয় সিস্টেমের স্থিতিশীলতার জন্য প্রয়োজনীয় এবং পর্যাপ্ত শর্ত প্রদান করে। এই পত্রটি সেই অসমতার একটি নতুন রূপান্তর প্রস্তাব করে, যা লায়াপুনভ ম্যাট্রিক্সকে অ-প্রতিসম রূপ হতে অনুমতি দেয়। এই অসমতার ম্যাট্রিক্সের একটি শ্রেণীর বৈশিষ্ট্যগুলি বিশ্লেষণ করার পরে, লেখক রৈখিক সিস্টেম স্থিতিশীলকরণের নতুন ফলাফল প্রাপ্ত করেন। পরবর্তীতে, এই ফলাফলগুলি ব্যবহার করে সাব-অপ্টিমাল রৈখিক দ্বিঘাত নিয়ন্ত্রণ ডিজাইন সমস্যার জন্য পর্যাপ্ত শর্ত অর্জন করা হয়, যেখানে অ-প্রতিসম লায়াপুনভ ম্যাট্রিক্স ডিজাইন ম্যাট্রিক্স হিসাবে কাজ করে এবং সিস্টেমের প্রাথমিক শর্তের উপর ভিত্তি করে খরচ উপরের সীমা অভিব্যক্তি প্রাপ্ত করে গণনা করা স্থিতিশীলকরণ সাব-অপ্টিমাল নিয়ন্ত্রণ আইনের সম্পর্কিত খরচ চিহ্নিত করা হয়।

গবেষণা পটভূমি এবং প্রেরণা

সমস্যার পটভূমি

ঐতিহ্যবাহী লায়াপুনভ তত্ত্বের সীমাবদ্ধতা: ক্লাসিক্যাল লায়াপুনভ অসমতা $A^T P + PA \prec 0$ লায়াপুনভ ম্যাট্রিক্স P কে অবশ্যই প্রতিসম ধনাত্মক নির্দিষ্ট হতে হবে, এই অনুমান লায়াপুনভ অসমতার উপর ভিত্তি করে সমস্ত ফলাফলে সর্বজনীনভাবে উপস্থিত।
প্রতিসম অনুমানের কারণ:
- প্রতিসম ম্যাট্রিক্সের ভাল বৈশিষ্ট্য রয়েছে (বাস্তব eigenvalues, তির্যকযোগ্য)
- দ্বিঘাত রূপ $z^T Mz$ সন্তুষ্ট করে $z^T Mz = z^T M_{sym}z$ , যেখানে $M_{sym} = \frac{1}{2}(M + M^T)$
- ধনাত্মক নির্দিষ্টতার ধারণা দ্বিঘাত রূপ থেকে প্রতিসম ম্যাট্রিক্সে সহজেই রূপান্তরিত হয়
সাব-অপ্টিমাল LQ নিয়ন্ত্রণের প্রয়োজন: সর্বোত্তম LQ নিয়ন্ত্রণ সমাধান ইনপুট স্যাচুরেশন সীমাবদ্ধতা, প্রতিক্রিয়া লাভ ম্যাট্রিক্সের নর্ম সীমাবদ্ধতা বা কাঠামোগত শর্তের কারণে বাস্তবায়ন করা যায় না, তাই সাব-অপ্টিমাল সমাধান অধ্যয়ন করার প্রয়োজন।

গবেষণা প্রেরণা

ডিজাইন স্থান সম্প্রসারণ: প্রতিসমতার অনুমান শিথিল করে, ডিজাইন ম্যাট্রিক্স P এর অনুসন্ধান স্থানকে প্রতিসম ধনাত্মক নির্দিষ্ট ম্যাট্রিক্স থেকে বৃহত্তর ম্যাট্রিক্স সেটে প্রসারিত করা
পূর্বনির্ধারিত খরচ উপরের সীমা এড়ানো: বিদ্যমান পদ্ধতিগুলি খরচ উপরের সীমা γ পূর্বে নির্দিষ্ট করার প্রয়োজন, যা অসম্ভবতার দিকে পরিচালিত করতে পারে, বিশেষত নেটওয়ার্ক নিয়ন্ত্রণ ডিজাইনে
কাঠামোগত নিয়ন্ত্রণ প্রয়োজন পূরণ: কিছু সমস্যা (যেমন মাল্টি-এজেন্ট সামঞ্জস্য প্রোটোকল) স্বাভাবিকভাবে অ-প্রতিসম ডিজাইন ম্যাট্রিক্স প্রয়োজন

মূল অবদান

নতুন লায়াপুনভ-সদৃশ স্থিতিশীলতা অসমতা (LSI) প্রস্তাব: $AP + P^T A \prec 0$ , যেখানে P প্রতিসম হওয়ার প্রয়োজন নেই
অ-প্রতিসম ম্যাট্রিক্সের স্থিতিশীলতা তত্ত্ব প্রতিষ্ঠা: প্রমাণ করা হয়েছে যে যখন A প্রতিসম ঋণাত্মক নির্দিষ্ট হয়, তখন LSI সন্তুষ্ট করে এমন ম্যাট্রিক্স P এর ধনাত্মক বাস্তব অংশ eigenvalues রয়েছে
সাব-অপ্টিমাল LQ নিয়ন্ত্রণের নতুন পদ্ধতি উন্নয়ন: প্রাথমিক শর্তের উপর ভিত্তি করে খরচ উপরের সীমা গণনা করা, পূর্বে নির্দিষ্ট করা নয়
খরচ পরিমাণকরণ ফলাফল প্রদান: স্পষ্ট খরচ উপরের সীমা অভিব্যক্তি প্রাপ্ত করা $\gamma(x_0) = \text{trace}(P - \bar{P} + \hat{P})x_0^T x_0$

পদ্ধতি বিস্তারিত

কাজের সংজ্ঞা

রৈখিক সময়-অপরিবর্তনীয় সিস্টেম বিবেচনা করুন: $\dot{x}(t) = Ax(t) + Bu(t)$ লক্ষ্য হল নিয়ন্ত্রণ আইন $u(t) = -R^{-1}B^T Px(t)$ ডিজাইন করা যাতে সিস্টেম স্থিতিশীল হয় এবং দ্বিঘাত খরচ কমানো যায়: $J = \int_0^{\infty} (x^T(t)Qx(t) + u^T(t)Ru(t))dt$

মূল তাত্ত্বিক ফলাফল

1. লায়াপুনভ-সদৃশ স্থিতিশীলতা অসমতা (LSI)

প্রস্তাব 1: ধরুন $A \in \mathbb{R}^{n \times n}$ একটি প্রতিসম ঋণাত্মক নির্দিষ্ট ম্যাট্রিক্স। যদি একটি ম্যাট্রিক্স $P \in \mathbb{R}^{n \times n}$ LSI সন্তুষ্ট করে বিদ্যমান থাকে: $AP + P^T A \prec 0$ তাহলে $\text{Re}(\lambda_i(P)) > 0, \forall i \in \{1,2,\ldots,n\}$ , তাই $\text{trace}(P) > 0$ ।

প্রমাণ কৌশল: যেকোনো eigenvalue λ এবং সংশ্লিষ্ট eigenvector v ব্যবহার করে, $v^H(AP + P^T A)v < 0$ এর মাধ্যমে $\text{Re}(\lambda) > 0$ প্রাপ্ত করা।

2. রৈখিক সিস্টেম স্থিতিশীলকরণ ফলাফল

প্রস্তাব 2: যদি ম্যাট্রিক্স $X \succ 0$ এবং $Y$ বিদ্যমান থাকে যা সন্তুষ্ট করে: $XA^T + AX - Y^T BR^{-1}B^T - BR^{-1}B^T Y \prec 0$ তাহলে ম্যাট্রিক্স $A - BR^{-1}B^T P$ Hurwitz, যেখানে $P = YX^{-1}$ ।

3. সাব-অপ্টিমালিটি পরিমাণকরণ প্রধান উপপাদ্য

উপপাদ্য 3: ধরুন ম্যাট্রিক্স $X \succ 0$ , $W \succ 0$ , $Y$ , $P$ বিদ্যমান যা সন্তুষ্ট করে: $XA^T + AX - Y^T BR^{-1}B^T - BR^{-1}B^T Y \prec 0$ $\begin{bmatrix} A^T P + P^T A - Q + W & (I + Y^T A)^T(P^T B) \\ (P^T B)^T & R \end{bmatrix} \succ 0$

যদি বন্ধ-লুপ ম্যাট্রিক্স $A - BR^{-1}B^T P$ প্রতিসম এবং একটি $\hat{P}$ বিদ্যমান থাকে যা: $(A - BR^{-1}B^T P)\hat{P} + \hat{P}^T(A - BR^{-1}B^T P) + W = 0$

তাহলে নিয়ন্ত্রণ আইন সমস্যা 2 সমাধান করে, খরচ উপরের সীমা: $\gamma(x_0) = \text{trace}(P - \bar{P} + \hat{P})x_0^T x_0$

প্রযুক্তিগত উদ্ভাবন পয়েন্ট

অ-প্রতিসম ডিজাইন ম্যাট্রিক্স: প্রথমবার সিস্টেমেটিকভাবে নিয়ন্ত্রণ ডিজাইনে অ-প্রতিসম লায়াপুনভ ম্যাট্রিক্সের অধ্যয়ন
প্রাথমিক শর্তের উপর ভিত্তি করে খরচ সীমা: সিস্টেমের প্রাথমিক অবস্থার উপর ভিত্তি করে সরাসরি খরচ উপরের সীমা গণনা করা, পূর্বনির্ধারিত প্যারামিটার এড়ানো
কাঠামোগত নিয়ন্ত্রণ প্রযোজ্যতা: বিশেষভাবে অ-প্রতিসম ডিজাইন ম্যাট্রিক্স প্রয়োজন এমন কাঠামোগত নিয়ন্ত্রণ সমস্যার জন্য উপযুক্ত

পরীক্ষামূলক সেটআপ

সংখ্যাসূচক উদাহরণ 1: অস্থিতিশীল LTI সিস্টেম

সিস্টেম ম্যাট্রিক্স: $A = \begin{bmatrix} 1 & 2 \\ 0 & 2 \end{bmatrix}$ , $B = \begin{bmatrix} 4 & 2 \\ 0 & 2 \end{bmatrix}$
প্রাথমিক শর্ত: $x_0 = [0.1, -0.2]^T$
ওজন ম্যাট্রিক্স: $Q = 10I_{2 \times 2}$ , $R = 0.05I_{2 \times 2}$
সরঞ্জাম: CVX টুলবক্স LMI সমাধানের জন্য

সংখ্যাসূচক উদাহরণ 2: মাল্টি-এজেন্ট সামঞ্জস্য প্রোটোকল

এজেন্ট সংখ্যা: 4টি স্কেলার অস্থিতিশীল এজেন্ট
গতিশীল সমীকরণ: $\dot{x}_i(t) = x_i(t) + u_i(t)$
যোগাযোগ টপোলজি: নির্দেশিত গ্রাফ, তথ্য বিনিময় সীমাবদ্ধ
লক্ষ্য: অবস্থা সামঞ্জস্য অর্জন করা $|x_i(t) - x_j(t)| \to 0$

মূল্যায়ন সূচক

স্থিতিশীলতা: বন্ধ-লুপ সিস্টেমের Hurwitz বৈশিষ্ট্য
খরচ কর্মক্ষমতা: প্রকৃত খরচ J এবং তাত্ত্বিক উপরের সীমা $\gamma(x_0)$ এর তুলনা
সম্ভাব্যতা: LMI সীমাবদ্ধতার সমাধানযোগ্যতা

পরীক্ষামূলক ফলাফল

প্রধান ফলাফল

উদাহরণ 1 ফলাফল

সর্বোত্তম খরচ: $J^* = 0.0207$
সাব-অপ্টিমাল নিয়ন্ত্রণ আইন: $u(t) = -\begin{bmatrix} 1.3604 & -1.0302 \\ 0.0034 & 3.0638 \end{bmatrix}x(t)$
ডিজাইন ম্যাট্রিক্স: $P = \begin{bmatrix} 0.0170 & -0.0129 \\ -0.0169 & 0.0895 \end{bmatrix}$ (অ-প্রতিসম)
খরচ উপরের সীমা: $\gamma(x_0) = 1.1374$
প্রকৃত খরচ: $J = 0.0627$

উদাহরণ 2 ফলাফল

কাঠামোগত লাভ ম্যাট্রিক্স: যোগাযোগ টপোলজি দ্বারা নির্ধারিত বিরল কাঠামো
অ-প্রতিসম ডিজাইন ম্যাট্রিক্স: $P = \begin{bmatrix} 0.0350 & 0.0350 & 0 \\ 0 & 0.1049 & 0 \\ 0 & 0 & 0.1049 \end{bmatrix}$
খরচ উপরের সীমা: $\gamma(x_0) = 1.8426$
প্রকৃত খরচ: $J = 0.1407$

মূল আবিষ্কার

অ-প্রতিসমতার প্রয়োজনীয়তা: উদাহরণ 2 প্রদর্শন করে যে কিছু সমস্যা স্বাভাবিকভাবে অ-প্রতিসম ডিজাইন ম্যাট্রিক্স প্রয়োজন
খরচ সীমার কার্যকারিতা: তাত্ত্বিক সীমা প্রকৃত খরচ কার্যকরভাবে সীমাবদ্ধ করতে পারে
পদ্ধতির ব্যবহারিকতা: কাঠামোগত নিয়ন্ত্রণ সীমাবদ্ধতা সমস্যা পরিচালনা করতে পারে

উপসংহার এবং আলোচনা

প্রধান উপসংহার

তাত্ত্বিক অবদান: অ-প্রতিসম লায়াপুনভ ম্যাট্রিক্স অনুমতি দেয় এমন নতুন স্থিতিশীলতা অসমতা প্রস্তাব করা
ব্যবহারিক মূল্য: সাব-অপ্টিমাল LQ নিয়ন্ত্রণের জন্য নতুন ডিজাইন পদ্ধতি প্রদান করা
প্রয়োগের সম্ভাবনা: বিশেষভাবে কাঠামোগত নিয়ন্ত্রণ প্রয়োজন এমন নেটওয়ার্ক সিস্টেমের জন্য উপযুক্ত

সীমাবদ্ধতা

প্রযোজ্যতার শর্ত: বন্ধ-লুপ ম্যাট্রিক্সকে প্রতিসম ঋণাত্মক নির্দিষ্ট হতে প্রয়োজন, পদ্ধতির সর্বজনীনতা সীমাবদ্ধ করে
গণনামূলক জটিলতা: একাধিক যুক্ত LMI সীমাবদ্ধতা সমাধানের প্রয়োজন
রক্ষণশীলতা: প্রয়োজনীয় শর্তের পরিবর্তে পর্যাপ্ত শর্ত প্রদান করে

ভবিষ্যত দিকনির্দেশনা

আরও সাধারণ সিস্টেমে সম্প্রসারণ: অ-প্রতিসম সিস্টেম ম্যাট্রিক্সের ক্ষেত্রে গবেষণা করা
নেটওয়ার্ক নিয়ন্ত্রণ প্রয়োগ: আরও জটিল নেটওয়ার্ক টপোলজিতে প্রয়োগ অন্বেষণ করা
শক্তিশালীতা বিশ্লেষণ: প্যারামিটার অনিশ্চয়তা এবং বাহ্যিক বিঘ্ন বিবেচনা করা

গভীর মূল্যায়ন

সুবিধা

শক্তিশালী উদ্ভাবনী: প্রথমবার লায়াপুনভ ম্যাট্রিক্সের প্রতিসমতা অনুমান সিস্টেমেটিকভাবে শিথিল করা
তাত্ত্বিক কঠোরতা: সম্পূর্ণ গাণিতিক প্রমাণ এবং তাত্ত্বিক বিশ্লেষণ প্রদান করা
ভাল ব্যবহারিকতা: সংখ্যাসূচক উদাহরণের মাধ্যমে পদ্ধতির কার্যকারিতা যাচাই করা
প্রয়োগের মূল্য: বিশেষভাবে কাঠামোগত নিয়ন্ত্রণ সমস্যার জন্য উপযুক্ত

অপূর্ণতা

সীমিত প্রযোজ্যতার পরিসীমা: সিস্টেম ম্যাট্রিক্সের প্রতিসমতার প্রয়োজন পদ্ধতির সর্বজনীনতা সীমাবদ্ধ করে
অপর্যাপ্ত পরীক্ষা: শুধুমাত্র দুটি তুলনামূলকভাবে সহজ সংখ্যাসূচক উদাহরণ প্রদান করা
বিদ্যমান পদ্ধতির সাথে তুলনা অপর্যাপ্ত: অন্যান্য সাব-অপ্টিমাল নিয়ন্ত্রণ পদ্ধতির সাথে পরিমাণগত তুলনার অভাব
গণনামূলক দক্ষতা বিশ্লেষণ অনুপস্থিত: LMI সমাধানের গণনামূলক জটিলতা আলোচনা করা হয়নি

প্রভাব

তাত্ত্বিক অবদান: লায়াপুনভ তত্ত্বে নতুন দৃষ্টিভঙ্গি এবং সরঞ্জাম প্রদান করা
ব্যবহারিক মূল্য: কাঠামোগত নিয়ন্ত্রণ ডিজাইনের জন্য নতুন চিন্তাভাবনা প্রদান করা
গবেষণা অনুপ্রেরণা: অ-প্রতিসম ডিজাইন ম্যাট্রিক্স গবেষণার নতুন দিক খুলে দিতে পারে

প্রযোজ্য দৃশ্য

মাল্টি-এজেন্ট সিস্টেম: সামঞ্জস্য প্রোটোকল ডিজাইন
নেটওয়ার্ক নিয়ন্ত্রণ: যোগাযোগ সীমাবদ্ধতা সহ বিতরণকৃত নিয়ন্ত্রণ
কাঠামোগত নিয়ন্ত্রণ: নির্দিষ্ট লাভ ম্যাট্রিক্স কাঠামো প্রয়োজন এমন নিয়ন্ত্রণ সমস্যা
সাব-অপ্টিমাল নিয়ন্ত্রণ: যখন সর্বোত্তম সমাধান বাস্তবায়নযোগ্য নয় তখন বিকল্প সমাধান

সংদর্ভ

পত্রটি নিয়ন্ত্রণ তত্ত্বের ক্লাসিক্যাল সাহিত্য উদ্ধৃত করে, যার মধ্যে রয়েছে:

লায়াপুনভ স্থিতিশীলতা তত্ত্বের ভিত্তি সাহিত্য
রৈখিক ম্যাট্রিক্স অসমতার সম্পর্কিত গবেষণা
সাব-অপ্টিমাল LQ নিয়ন্ত্রণের বিদ্যমান পদ্ধতি
মাল্টি-এজেন্ট সিস্টেম সামঞ্জস্য নিয়ন্ত্রণের সম্পর্কিত কাজ

সামগ্রিক মূল্যায়ন: এটি একটি উদ্ভাবনী নিয়ন্ত্রণ তত্ত্ব পত্র, যা ঐতিহ্যবাহী লায়াপুনভ ম্যাট্রিক্সের প্রতিসমতা অনুমান শিথিল করে, সাব-অপ্টিমাল নিয়ন্ত্রণ ডিজাইনের জন্য নতুন তাত্ত্বিক সরঞ্জাম প্রদান করে। যদিও প্রযোজ্যতার পরিসীমা এবং পরীক্ষামূলক যাচাইকরণে উন্নতির অবকাশ রয়েছে, তবে এর তাত্ত্বিক অবদান এবং ব্যবহারিক মূল্য স্বীকৃতির যোগ্য, বিশেষভাবে কাঠামোগত নিয়ন্ত্রণ সমস্যায় প্রদর্শিত সুবিধার জন্য।