2025-11-27T07:13:19.186636

Local Dissipativity Analysis of Nonlinear Systems

Strong, Bridgeman

Dissipativity is an input-output (IO) characterization of nonlinear systems that enables compositional robust control through Vidyasagar's Network Dissipativity Theorem. However, determining the dissipativity of a system is an involved and, often, model-specific process. We present a general method to determine the local dissipativity properties of nonlinear, control affine systems. We simultaneously search for the optimal IO characterization of a system and synthesize a continuous piecewise affine (CPA) storage function via a convex optimization problem. To do so, we reformulate the relationship between the Hamilton-Jacobi inequality and the dissipation inequality as an linear matrix inequality (LMI) and develop novel LMI bounds for a triangulation. Further, we develop a method to synthesize a combined quadratic and CPA storage function to expand the systems the optimization problem is applicable to. Finally, we demonstrate that our method will always find a feasible IO characterization and a CPA or quadratic storage function given that the system is strictly locally dissipative.

academic

অরৈখিক সিস্টেমের স্থানীয় বিচ্ছরণশীলতা বিশ্লেষণ

মৌলিক তথ্য

পেপার আইডি: 2511.20838
শিরোনাম: Local Dissipativity Analysis of Nonlinear Systems
লেখক: Amy K. Strong, Leila Bridgeman (Duke University)
শ্রেণীবিভাগ: eess.SY (Systems and Control), cs.SY
জমা দেওয়ার সময়: 2025 সালের নভেম্বর 25
পেপার লিঙ্ক: https://arxiv.org/abs/2511.20838

সারসংক্ষেপ

বিচ্ছরণশীলতা (Dissipativity) অরৈখিক সিস্টেমের ইনপুট-আউটপুট (IO) বৈশিষ্ট্যের একটি চিত্রকল্প যা Vidyasagar নেটওয়ার্ক বিচ্ছরণশীলতা উপপাদ্য মাধ্যমে সমন্বিত শক্তিশালী নিয়ন্ত্রণ সক্ষম করে। তবে, সিস্টেমের বিচ্ছরণশীলতা নির্ধারণ করা একটি জটিল এবং সাধারণত মডেল-নির্দিষ্ট প্রক্রিয়া। এই পেপারটি অরৈখিক নিয়ন্ত্রণ-সম্পর্কিত সিস্টেমের স্থানীয় বিচ্ছরণশীলতা বৈশিষ্ট্য নির্ধারণের জন্য একটি সাধারণ পদ্ধতি প্রস্তাব করে। এই পদ্ধতিটি উত্তল অপ্টিমাইজেশন সমস্যার মাধ্যমে সিস্টেমের সর্বোত্তম IO বৈশিষ্ট্য অনুসন্ধান করে এবং একযোগে ক্রমাগত পিসওয়াইজ অ্যাফাইন (CPA) সংরক্ষণ ফাংশন সংশ্লেষণ করে। এই উদ্দেশ্যে, লেখকরা Hamilton-Jacobi অসমতা এবং বিচ্ছরণশীলতা অসমতার সম্পর্ককে রৈখিক ম্যাট্রিক্স অসমতা (LMI) হিসাবে পুনর্গঠন করেছেন এবং ত্রিভুজীকরণের জন্য নতুন LMI সীমানা বিকশিত করেছেন। অতিরিক্তভাবে, দ্বিঘাত এবং CPA সংমিশ্রণ সংরক্ষণ ফাংশন সংশ্লেষণের পদ্ধতি বিকশিত করা হয়েছে অপ্টিমাইজেশন সমস্যার প্রযোজ্যতা প্রসারিত করতে। অবশেষে, প্রমাণ করা হয়েছে যে সিস্টেম কঠোরভাবে স্থানীয়ভাবে বিচ্ছরণশীল হলে পদ্ধতিটি সর্বদা সম্ভাব্য IO বৈশিষ্ট্য এবং CPA বা দ্বিঘাত সংরক্ষণ ফাংশন খুঁজে পেতে পারে।

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

1. মূল সমস্যা

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

2. সমস্যার গুরুত্ব

সমন্বিত নিয়ন্ত্রণ: IO তত্ত্ব বিভিন্ন ধরনের সাব-সিস্টেম (রৈখিক, অরৈখিক, সময়-পরিবর্তনশীল ইত্যাদি) নমনীয়ভাবে পরিচালনা করা সম্ভব করে
শক্তিশীলতা: IO বৈশিষ্ট্য বিভিন্ন অনিশ্চয়তার উৎসের প্রতি শক্তিশালী হওয়ার জন্য নির্বাচন করা যায়
ব্যাপক প্রয়োগ: স্থানীয় QSR বিচ্ছরণশীলতা অনেক বিখ্যাত IO বৈশিষ্ট্য অন্তর্ভুক্ত করে, যেমন প্যাসিভিটি, L2 লাভ, শঙ্কু-খাত ইত্যাদি

3. বিদ্যমান পদ্ধতির সীমাবদ্ধতা

রৈখিক সিস্টেম পদ্ধতির সীমাবদ্ধতা:

রৈখিক সিস্টেমের জন্য, ফ্রিকোয়েন্সি-ডোমেইন বিশ্লেষণ, HJI দ্বারা উত্পন্ন LMI সমাধান বা ডেটা-চালিত বিশ্লেষণের মাধ্যমে IO বৈশিষ্ট্য প্রতিষ্ঠা করা যায়
KYP লেম্মার মাধ্যমে, বিচ্ছরণশীলতা একটি ইতিবাচক সেমিডেফিনিট দ্বিঘাত সংরক্ষণ ফাংশনের অস্তিত্বের সমতুল্য, যা অপ্টিমাইজেশন দ্বারা সমাধান করা যায়
কিন্তু অরৈখিক সিস্টেমের সংরক্ষণ ফাংশনের কোন নির্দিষ্ট ফাংশন ফর্ম নেই, কোন সিস্টেমেটিক পদ্ধতি নেই

বিদ্যমান অরৈখিক পদ্ধতির সমস্যা:

গতিশীল প্রোগ্রামিং পদ্ধতি 6,14: পুনরাবৃত্তিমূলক পদ্ধতি ভাল প্রাথমিকীকরণ প্রয়োজন এবং সর্বদা সংগ্রহের গ্যারান্টি নেই
রূপান্তর পদ্ধতি 26,33: শুধুমাত্র রূপান্তর বৈধ সীমিত অবস্থা-স্থান অঞ্চলে কার্যকর, নির্দিষ্ট কৌশল প্রয়োজন
SOS পদ্ধতি 25,27,1: শুধুমাত্র বহুপদী সিস্টেমের জন্য প্রযোজ্য, অ-উত্তল অপ্টিমাইজেশনের উপর নির্ভর করে যা অত্যন্ত রক্ষণশীল হতে পারে
প্রাথমিক CPA পদ্ধতি 17: HJI এবং এর ত্রুটি পদ ডিজাইন ভেরিয়েবলের বহুপদী, যা রক্ষণশীল অ-উত্তল অপ্টিমাইজেশনের দিকে পরিচালিত করে এবং রৈখিক এবং নিয়ন্ত্রণ-সম্পর্কিত পদ বাদ দেয়

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

অরৈখিক নিয়ন্ত্রণ-সম্পর্কিত সিস্টেমের স্থানীয় বিচ্ছরণশীলতা বৈশিষ্ট্য নির্ধারণের জন্য একটি সাধারণ, সিস্টেমেটিক পদ্ধতির প্রয়োজন যা:

বিস্তৃত অরৈখিক সিস্টেম শ্রেণীতে প্রযোজ্য
উত্তল অপ্টিমাইজেশনের মাধ্যমে বাস্তবায়িত
সম্ভাব্যতার গ্যারান্টি প্রদান করে
একযোগে সংরক্ষণ ফাংশন এবং IO বৈশিষ্ট্য সংশ্লেষণ করে

মূল অবদান

উত্তল অপ্টিমাইজেশন কাঠামো: QSR প্যারামিটার এবং CPA সংরক্ষণ ফাংশন একযোগে অনুসন্ধানের জন্য একটি উত্তল অপ্টিমাইজেশন সমস্যার মাধ্যমে একটি পদ্ধতি প্রস্তাব করা হয়েছে, যা সম্পূর্ণ অবস্থা-স্থান অঞ্চলে HJI নিশ্চিত করে
নতুন LMI ত্রুটি সীমানা (বিভাগ 3):
- ত্রিভুজীকরণে CPA ফাংশনে LMI সীমাবদ্ধতা আরোপ করার জন্য নতুন LMI ত্রুটি সীমানা বিকশিত করা হয়েছে (Theorem 10)
- উৎপত্তির চারপাশে বন্ধ বল উপর অসমতা প্রয়োগ করার পদ্ধতি বিকশিত করা হয়েছে, দ্বিঘাত সংরক্ষণ ফাংশন বিবেচনা করার অনুমতি দেয় (Theorem 11)
HJI এর LMI পুনর্গঠন (বিভাগ 4):
- HJI কে LMI তে পুনর্গঠন করা হয়েছে, পূর্ববর্তী অপ্টিমাইজেশন সমস্যা উত্তল করা হয়েছে
- CPA সংরক্ষণ ফাংশন HJI মেনে চলার শর্ত প্রস্তাব করা হয়েছে (Theorem 12)
- দ্বিঘাত এবং CPA সংরক্ষণ ফাংশন সংমিশ্রণ সংশ্লেষণের পদ্ধতি বিকশিত করা হয়েছে (Theorem 13)
তাত্ত্বিক গ্যারান্টি (বিভাগ 5):
- কঠোরভাবে স্থানীয়ভাবে বিচ্ছরণশীল অরৈখিক নিয়ন্ত্রণ-সম্পর্কিত সিস্টেমের জন্য, অপ্টিমাইজেশন সমস্যা সর্বদা CPA বা দ্বিঘাত সংরক্ষণ ফাংশনের বিচ্ছরণশীলতা বৈশিষ্ট্য যাচাই করতে পারে প্রমাণ করা হয়েছে (Theorems 15, 16)
সংখ্যাগত যাচাইকরণ (বিভাগ 6):
- তিনটি সিস্টেমে পদ্ধতির কার্যকারিতা প্রদর্শন করা হয়েছে, বিশ্লেষণাত্মক সীমানা এবং বিদ্যমান পদ্ধতির সাথে তুলনা সহ

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

কাজের সংজ্ঞা

সিস্টেম মডেল: ম্যাপিং $G(x_0): \mathcal{L}^m_{2e} \to \mathcal{L}^p_{2e}$ বিবেচনা করুন, যেখানে $y = G(x_0)u$ নিম্নলিখিত দ্বারা সংজ্ঞায়িত:

\begin{cases} \dot{x} = f(x) + \bar{G}(x)u \\ y = h(x) + \bar{J}(x)u \end{cases}

যেখানে $\bar{G}(x) = B + G(x)$ , $\bar{J}(x) = D + J(x)$ , এবং $f(0)=0, G(0)=0, h(0)=0, J(0)=0$ ।

লক্ষ্য: শক্তিশালী ইতিবাচক অপরিবর্তনীয় সেট $\Omega \subset \mathbb{R}^n$ এ সিস্টেমের স্থানীয় QSR বিচ্ছরণশীলতা নির্ধারণ করা, অর্থাৎ একটি সংরক্ষণ ফাংশন $V: \Omega \to \mathbb{R}_+$ বিদ্যমান যেমন:

V(x_0) + \int_{t_0}^{t_1} w(t)dt \geq V(x_1)

যেখানে সরবরাহ হার:

w(u,y) = y^\top Q y + 2y^\top S u + u^\top R u

মডেল আর্কিটেকচার

1. ক্রমাগত পিসওয়াইজ অ্যাফাইন (CPA) ফাংশন

ত্রিভুজীকরণ: অবস্থা-স্থান অঞ্চল $\Omega$ কে সীমিত সংখ্যক n-সিম্পলেক্স সেটে বিভক্ত করুন $\mathcal{T} = \{\sigma_i\}_{i=1}^{m_T}$

CPA ফাংশন সংজ্ঞা: CPA ফাংশন $\Omega$ এ ত্রিভুজীকরণ শীর্ষবিন্দু $\mathcal{E}_\Omega$ এ এর মানগুলি দ্বারা অনন্যভাবে নির্ধারিত হয়। সিম্পলেক্স $\sigma_i = \text{co}\{x_{i,j}\}_{j=0}^n$ এর জন্য, ফাংশন মান:

W(x) = x^\top X_i^{-1} \bar{W}_i

যেখানে $X_i$ এর j-তম সারি $x_{i,j} - x_{i,0}$ , এবং $\bar{W}_i$ এর j-তম উপাদান $W_{x_{i,j}} - W_{x_{i,0}}$ ।

2. LMI ত্রুটি সীমানা (মূল উদ্ভাবন)

Theorem 10 (সিম্পলেক্সে LMI ত্রুটি সীমানা): LMI ফর্মের জন্য:

M(x) = \begin{bmatrix} \phi(x) & 0 \\ 0 & -I \end{bmatrix} + \text{He}\left(\begin{bmatrix} 0 & \zeta(x)^\top \\ 0 & 0 \end{bmatrix}\begin{bmatrix} 0 & 0 \\ 0 & I \end{bmatrix}\right)

সিম্পলেক্স $\sigma$ এ, যদি $x = \sum_{j=0}^n \lambda_j x_j$ , তাহলে:

M(x) - \sum_{j=0}^n \lambda_j M(x_j) \preceq E(x)

যেখানে ত্রুটি সীমানা ম্যাট্রিক্স:

E(x_{i,j}) = \begin{bmatrix} \frac{1}{2}\hat{\phi}_j & * & * \\ 0 & \frac{1}{2}\Pi^{-1} & * \\ \hat{\zeta} & 0 & -2\Pi^{-1} \end{bmatrix}

এখানে $\hat{\phi}_j \geq \max_{j} |H_\phi(x_j, x)|$ , $\hat{\zeta}^{(k)} \geq \max_j |H_{\zeta^{(k)}}(x_j, x)|$ , $\Pi$ একটি কর্ণ ইতিবাচক নির্দিষ্ট ম্যাট্রিক্স।

Theorem 11 (বল ডোমেইনে দ্বিঘাত ত্রুটি সীমানা): অসমতার জন্য:

\zeta(x)^\top \zeta(x) + \frac{1}{2}(x^\top \theta(x) + \theta(x)^\top x) \leq 0

যদি $x=0$ এ Jacobian সন্তুষ্ট করে:

M_\epsilon = \begin{bmatrix} \frac{1}{2}(J_\theta^\top + J_\theta + \hat{\theta}\epsilon I) & J_\zeta^\top & \hat{\zeta}\epsilon \mathbf{1}_{1\times m} \\ * & -I + \frac{1}{2}\Pi^{-1} & 0 \\ * & * & -2\pi I \end{bmatrix} \preceq 0

তাহলে মূল অসমতা $B_\epsilon(0)$ এ সন্তুষ্ট হয়।

3. সংরক্ষণ ফাংশন সংশ্লেষণ শর্ত

Theorem 12 (খাঁটি CPA সংরক্ষণ ফাংশন, B=0, D=0): যদি CPA ফাংশন $V = \{V_x\}_{x \in \mathcal{E}_T}$ সন্তুষ্ট করে:

$V_x \geq 0, \forall x \in \mathcal{E}_x$ (অ-নেতিবাচকতা)
$\|\nabla V_i\|_1 \leq l_i$ (গ্রেডিয়েন্ট সীমানা)
$M(x_{i,j}) + E(x_{i,j}) \preceq 0$ (ত্রুটি সীমানা সহ QSR শর্ত)

তাহলে $V$ $\mathcal{X}^\circ$ এ HJI বিচ্ছরণশীলতা সন্তুষ্ট করে।

Theorem 13 (সংমিশ্রণ দ্বিঘাত-CPA সংরক্ষণ ফাংশন): অ-শূন্য নিয়ন্ত্রণ-সম্পর্কিত পদ সহ সিস্টেমের জন্য, সংমিশ্রণ সংরক্ষণ ফাংশন সংজ্ঞায়িত করুন:

V(x) = \begin{cases} V_p(x) & x \in \Psi \\ \min[V_P(x), V_C(x)] & x \in B_\epsilon(0) \setminus \Psi \\ V_C(x) & x \in \mathcal{X} \setminus B_\epsilon(0) \end{cases}

যেখানে $V_P(x) = x^\top P x$ একটি দ্বিঘাত ফাংশন, $V_C$ একটি CPA ফাংশন। অতিরিক্ত সীমাবদ্ধতার মাধ্যমে দুটির মধ্যে সীমানায় ধারাবাহিকতা নিশ্চিত করুন।

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

LMI ত্রুটি সীমানার কাঠামোগত ডিজাইন:
- Young সম্পর্ক এবং Schur পরিপূরক লেম্মা ব্যবহার করে অ-কর্ণ পদগুলি পরিচালনাযোগ্য সীমানায় রূপান্তরিত করুন
- ডিজাইন ভেরিয়েবল $\Pi$ প্রবর্তন করুন অপ্টিমাইজেশনে ত্রুটি সীমানার কঠোরতা সামঞ্জস্য করতে অনুমতি দিতে
- উৎপত্তি সিম্পলেক্স এবং অ-উৎপত্তি সিম্পলেক্সের পার্থক্যপূর্ণ পরিচালনা
উত্তলকরণ কৌশল:
- পূর্ববর্তী কাজ 17 এ HJI এবং ত্রুটি পদ ডিজাইন ভেরিয়েবলের বহুপদী (অ-উত্তল)
- এই পেপারে সমস্যা উত্তল অপ্টিমাইজেশনে রূপান্তরিত করা হয়েছে LMI পুনর্গঠনের মাধ্যমে
- মূল চাবিকাঠি $\nabla V$ কে রৈখিক পদ হিসাবে বিবেচনা করা দ্বিঘাত পদ নয়
সংমিশ্রণ সংরক্ষণ ফাংশন:
- উৎপত্তির কাছাকাছি নিয়ন্ত্রণ-সম্পর্কিত পদ পরিচালনা করতে দ্বিঘাত ফাংশন ব্যবহার করুন
- উৎপত্তি থেকে দূরে নমনীয়তা প্রদান করতে CPA ফাংশন ব্যবহার করুন
- সীমাবদ্ধতা (21a-b) এর মাধ্যমে ফাংশন ধারাবাহিকতা নিশ্চিত করুন
তাত্ত্বিক সম্পূর্ণতা:
- শুধুমাত্র সংখ্যাগত পদ্ধতি প্রদান করুন না, সম্ভাব্যতা গ্যারান্টিও প্রমাণ করুন
- Theorem 15 এবং 16 দেখায় যে কঠোরভাবে স্থানীয়ভাবে বিচ্ছরণশীল সিস্টেমের জন্য, পদ্ধতি সর্বদা সমাধান খুঁজে পায়

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

সংখ্যাগত উদাহরণ

1. এক-মাত্রিক অরৈখিক শঙ্কু-খাত সিস্টেম

সিস্টেম:

\begin{cases} \dot{x} = k_1 x^3 - (k_1 + k_2)x + Bu \\ y = Cx + Du \end{cases}

প্যারামিটার: $k_1=1, k_2=2, B=1, C=1, D=0$

অঞ্চল: $\mathcal{X} = [-1,1]$ , RPI সেট $\Omega = [-0.8092, 0.8092]$

বিশ্লেষণাত্মক সীমানা: $a = -5.8 \times 10^{-9}$ , $b = 0.50$

2. দ্বি-মাত্রিক পেন্ডুলাম সিস্টেম

সিস্টেম:

\begin{cases} \dot{x}_1 = x_2 \\ \dot{x}_2 = -\sin x_1 - x_2 + u \\ y = x_2 \end{cases}

ইনপুট সীমাবদ্ধতা: $|u| < 0.1942$

বিশ্লেষণাত্মক Lyapunov ফাংশন: $V(x) = (1-\cos x_1) + \frac{1}{2}x_2^2$ , বিশ্লেষণাত্মক লাভ সীমানা $\gamma \geq 1$

3. ত্রি-মাত্রিক বহুপদী সিস্টেম

সিস্টেম:

\begin{cases} \dot{x}_1 = -x_1 - x_3 + x_2 - x_3 x_2^2 \\ \dot{x}_2 = -x_2 x_3^2 - x_2 + u \\ \dot{x}_3 = \frac{1}{2}(x_1 - x_3) \\ y = x_2 \end{cases}

অঞ্চল: $\mathcal{X} = [-0.5, 0.5]^3$

মূল্যায়ন মেট্রিক্স

শঙ্কু-খাত সীমানা: প্যারামিটার $a, b$ যেমন $G_\Omega \in \text{cone}(a,b)$
L2 লাভ: $\gamma$ যেমন $\|y\|_2 \leq \gamma \|u\|_2$
বিশ্লেষণাত্মক সীমানার সাথে ত্রুটি: সংখ্যাগত সমাধান এবং তাত্ত্বিক সীমানার নৈকট্য
সংগ্রহ: সিম্পলেক্স সংখ্যা বৃদ্ধির সাথে কর্মক্ষমতা উন্নতি

তুলনা পদ্ধতি

বিশ্লেষণাত্মক পদ্ধতি: হাতে তৈরি Lyapunov ফাংশনের মাধ্যমে (উদাহরণ 1 এবং 2)
SOS পদ্ধতি 25: SOSAnalysis টুলবক্স ব্যবহার করে (উদাহরণ 3)
বিভিন্ন সিম্পলেক্স ঘনত্ব: $\Delta = 0.1, 0.01, 0.001, 0.0001$

বাস্তবায়ন বিবরণ

উত্তল অপ্টিমাইজেশন সমাধানকারী ব্যবহার করে সমস্যা 1 এবং সমস্যা 2 সমাধান করুন
RPI সেট বিদ্যমান সরঞ্জাম দ্বারা নির্ধারিত 18,21
ত্রিভুজীকরণ সমান ব্যবধান কৌশল ব্যবহার করে
সংমিশ্রণ সংরক্ষণ ফাংশনের জন্য, $\epsilon = 2\Delta$

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

প্রধান ফলাফল

1. এক-মাত্রিক শঙ্কু-খাত সিস্টেম (চিত্র 1)

সিম্পলেক্স সংখ্যা	উপরের সীমানা $b$	নিচের সীমানা $a$	বিশ্লেষণাত্মক সীমানার সাথে ত্রুটি
10	0.535	0.035	বড়
100	0.510	0.005	মাঝারি
1,000	0.502	0.001	ছোট
10,000	0.501	$<10^{-3}$	খুবই ছোট
100,000	0.500	$\approx 0$	অত্যন্ত ছোট

মূল আবিষ্কার:

সিম্পলেক্স সংখ্যা বৃদ্ধির সাথে সংখ্যাগত সীমানা দ্রুত বিশ্লেষণাত্মক সীমানায় সংগ্রহ করে
এমনকি তুলনামূলকভাবে কম সিম্পলেক্স (100) ব্যবহার করেও যুক্তিসঙ্গত অনুমান পাওয়া যায়
উপরের সীমানা $b$ নিচের সীমানা $a$ এর চেয়ে দ্রুত সংগ্রহ করে

2. পেন্ডুলাম সিস্টেম (চিত্র 2)

সিম্পলেক্স সংখ্যা	L2 লাভ $\gamma$
100	3.8
500	3.2
1,000	2.8
5,000	2.4
10,000	2.3
50,000	2.221

মূল আবিষ্কার:

বিশ্লেষণাত্মক সীমানা $\gamma = 1.0$ , এই পদ্ধতি $\gamma = 2.221$ খুঁজে পায়
রক্ষণশীলতা বিদ্যমান কিন্তু সিম্পলেক্স বৃদ্ধির সাথে ক্রমাগত উন্নত হয়
SOS পদ্ধতি প্রযোজ্য নয় (অ-বহুপদী সিস্টেম)
চিত্র 4 অবস্থা-স্থানে সংশ্লেষিত সংরক্ষণ ফাংশনের বিতরণ প্রদর্শন করে

3. ত্রি-মাত্রিক বহুপদী সিস্টেম

পদ্ধতি	L2 লাভ $\gamma$	সিম্পলেক্স/বহুপদী ক্রম
এই পেপার	1.65	24,576 সিম্পলেক্স
SOS পদ্ধতি 21	1.01	লাইন সার্চের মাধ্যমে

মূল আবিষ্কার:

এই পেপারের পদ্ধতি আরও রক্ষণশীল লাভ খুঁজে পায় (1.65 বনাম 1.01)
কিন্তু এই পদ্ধতি উত্তল অপ্টিমাইজেশন গ্যারান্টি প্রদান করে, যখন SOS অ-উত্তল অপ্টিমাইজেশনের উপর নির্ভর করে
এই পদ্ধতি আরও প্রযোজ্য (বহুপদী সিস্টেমে সীমাবদ্ধ নয়)

কেস বিশ্লেষণ

চিত্র 3 এবং চিত্র 4 (পেন্ডুলাম সিস্টেম):

চিত্র 3 RPI সেট $\Omega$ (লাল লাইন) এবং ত্রিভুজীকরণ প্রদর্শন করে
চিত্র 4 অবস্থা-স্থানে সংশ্লেষিত CPA সংরক্ষণ ফাংশন মসৃণ এবং ধারাবাহিক দেখায়
সংরক্ষণ ফাংশন উৎপত্তিতে ন্যূনতম, বাইরের দিকে বৃদ্ধি পায়, যা শারীরিক স্বজ্ঞার সাথে সামঞ্জস্যপূর্ণ

পরীক্ষামূলক আবিষ্কার

সংগ্রহ: তিনটি উদাহরণই ত্রিভুজীকরণ সূক্ষ্মকরণের সাথে আরও কঠোর সীমানার দিকে সংগ্রহ দেখায়
প্রযোজ্যতা:
- পদ্ধতি অ-বহুপদী সিস্টেমে প্রযোজ্য (যেমন পেন্ডুলাম সিস্টেমের সাইন পদ)
- বিভিন্ন মাত্রা (1D থেকে 3D) পরিচালনা করতে পারে
- বিভিন্ন IO বৈশিষ্ট্য বিশ্লেষণ করতে পারে (শঙ্কু-খাত সীমানা, L2 লাভ)
রক্ষণশীলতা ট্রেড-অফ:
- হাতে তৈরি বিশ্লেষণাত্মক পদ্ধতির তুলনায় কিছু রক্ষণশীলতা বিদ্যমান
- কিন্তু স্বয়ংক্রিয়, সিস্টেমেটিক বিশ্লেষণ কাঠামো প্রদান করে
- রক্ষণশীলতা সিম্পলেক্স সংখ্যা বৃদ্ধির মাধ্যমে হ্রাস করা যায়
গণনাগত সম্ভাব্যতা:
- এমনকি দশ হাজার সিম্পলেক্সের জন্যও অপ্টিমাইজেশন সমস্যা সমাধানযোগ্য
- উত্তল অপ্টিমাইজেশন বৈশ্বিক সর্বোত্তম সমাধান গ্যারান্টি দেয়

পদ্ধতি ধরন	প্রযোজ্য সিস্টেম	অপ্টিমাইজেশন ধরন	সংরক্ষণ ফাংশন	এই পেপারের উন্নতি
SOS 25	বহুপদী	অ-উত্তল	বহুপদী	আরও প্রযোজ্য + উত্তল অপ্টিমাইজেশন
প্রাথমিক CPA 17	সীমিত অরৈখিক	অ-উত্তল	CPA	উত্তলকরণ + সিস্টেম শ্রেণী সম্প্রসারণ
রূপান্তর 26	স্থানীয় কার্যকর	-	রূপান্তর ডোমেইন	সরাসরি অবস্থা-স্থান বিশ্লেষণ
এই পেপার	নিয়ন্ত্রণ-সম্পর্কিত	উত্তল	CPA/দ্বিঘাত	সিস্টেমেটিক + গ্যারান্টি

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

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

পদ্ধতিগত অবদান: উত্তল অপ্টিমাইজেশনের মাধ্যমে একযোগে CPA সংরক্ষণ ফাংশন সংশ্লেষণ এবং স্থানীয় QSR বিচ্ছরণশীলতা নির্ধারণের প্রথম সিস্টেমেটিক পদ্ধতি প্রস্তাব করা হয়েছে
তাত্ত্বিক গ্যারান্টি: কঠোরভাবে স্থানীয়ভাবে বিচ্ছরণশীল সিস্টেমের জন্য, পদ্ধতি সম্ভাব্য সমাধান খুঁজে পাওয়ার গ্যারান্টি দেয় (Theorems 15-16)
প্রযুক্তিগত উদ্ভাবন:
- নতুন LMI ত্রুটি সীমানা CPA ফাংশন সীমাবদ্ধতা সীমিত শীর্ষবিন্দু শর্তের মাধ্যমে বাস্তবায়ন সক্ষম করে
- সংমিশ্রণ দ্বিঘাত-CPA সংরক্ষণ ফাংশন পদ্ধতির প্রযোজ্যতা পরিসীমা প্রসারিত করে
ব্যবহারিক মূল্য: সংখ্যাগত পরীক্ষা বিভিন্ন মাত্রা এবং সিস্টেম ধরনে পদ্ধতির কার্যকারিতা যাচাই করে

সীমাবদ্ধতা

রক্ষণশীলতা:
- ত্রুটি সীমানার কারণে ফলাফল সর্বদা রক্ষণশীল
- রক্ষণশীলতার ডিগ্রি ত্রিভুজীকরণ ঘনত্ব এবং ফাংশন দ্বিতীয় ডেরিভেটিভ সীমানার উপর নির্ভর করে
- পরীক্ষা বিশ্লেষণাত্মক সীমানার সাথে পার্থক্য দেখায় (যেমন পেন্ডুলাম সিস্টেম: 2.221 বনাম 1.0)
গণনাগত জটিলতা:
- সিম্পলেক্স সংখ্যা মাত্রার সাথে সূচকীয়ভাবে বৃদ্ধি পায় (মাত্রা অভিশাপ)
- ত্রি-মাত্রিক সিস্টেম ইতিমধ্যে 24,576 সিম্পলেক্স প্রয়োজন
- উচ্চ-মাত্রিক সিস্টেম গণনাগতভাবে অসম্ভব হতে পারে
প্রযোজ্যতা পরিসীমা:
- $f, G, h, J \in C^2$ (দ্বিতীয় ক্রম ক্রমাগত পার্থক্যযোগ্য) প্রয়োজন
- RPI সেট $\Omega$ পূর্বে নির্ধারণ প্রয়োজন
- বৈশ্বিক বিচ্ছরণশীলতা বিশ্লেষণে প্রযোজ্য নয়
প্যারামিটার নির্বাচন:
- ত্রিভুজীকরণ ডিজাইন (ঘনত্ব, আকৃতি) ফলাফল প্রভাবিত করে
- ওজন ম্যাট্রিক্স $\Pi$ নির্বাচন রক্ষণশীলতা প্রভাবিত করতে পারে
- সংমিশ্রণ সংরক্ষণ ফাংশনে $\epsilon$ নির্বাচন সূক্ষ্ম-সুর প্রয়োজন
SOS এর সাথে তুলনা:
- বহুপদী সিস্টেমে ভালভাবে অপ্টিমাইজ করা SOS পদ্ধতির চেয়ে আরও রক্ষণশীল হতে পারে
- কিন্তু SOS বৈশ্বিক সর্বোত্তম গ্যারান্টি দেয় না, এই পেপারের পদ্ধতি উত্তলতা গ্যারান্টি দেয়

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

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

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

সুবিধা

1. পদ্ধতি উদ্ভাবনী (★★★★★)

যুগান্তকারী অবদান: প্রথমবার CPA ফাংশন সংশ্লেষণ সমস্যা উত্তল করা হয়েছে, এটি এই ক্ষেত্রে গুরুত্বপূর্ণ অগ্রগতি
LMI ত্রুটি সীমানা: Theorem 10 এর কাঠামোগত ডিজাইন ম্যাট্রিক্স কাঠামো চতুরভাবে ব্যবহার করে, পূর্ববর্তী কাজের অ-উত্তলতা এড়ায়
সংমিশ্রণ সংরক্ষণ ফাংশন: উৎপত্তিতে নিয়ন্ত্রণ-সম্পর্কিত পদ সমস্যা মার্জিতভাবে সমাধান করে

2. তাত্ত্বিক কঠোরতা (★★★★★)

সম্পূর্ণ প্রমাণ: সমস্ত উপপাদ্য কঠোর গাণিতিক প্রমাণ সহ
সম্ভাব্যতা গ্যারান্টি: Theorems 15-16 তাত্ত্বিক গ্যারান্টি প্রদান করে, শুধুমাত্র অনুপ্রেরণামূলক পদ্ধতি নয়
ধারাবাহিকতা পরিচালনা: সংমিশ্রণ সংরক্ষণ ফাংশনের ধারাবাহিকতা প্রমাণ (Theorem 13) সূক্ষ্ম এবং কঠোর

3. পরীক্ষামূলক সম্পূর্ণতা (★★★★☆)

বৈচিত্র্য: 1D-3D সিস্টেম, বিভিন্ন IO বৈশিষ্ট্য কভার করে
তুলনা: বিশ্লেষণাত্মক সীমানা এবং SOS পদ্ধতির সাথে তুলনা
সংগ্রহ বিশ্লেষণ: সিম্পলেক্স বৃদ্ধির সাথে উন্নতি প্রবণতা প্রদর্শন করে
অপূর্ণতা: গণনা সময় বিশ্লেষণ এবং উচ্চ-মাত্রিক সিস্টেম পরীক্ষা অনুপস্থিত

4. লেখার স্পষ্টতা (★★★★★)

যুক্তি স্পষ্ট: পটভূমি → ত্রুটি সীমানা → সংরক্ষণ ফাংশন শর্ত → অপ্টিমাইজেশন → গ্যারান্টি, স্তর স্পষ্ট
প্রতীক নিয়ম: বিস্তারিত প্রতীক ব্যাখ্যা বিভাগ
পাঠযোগ্যতা: জটিল গাণিতিক ডেরিভেশন স্বজ্ঞাত ব্যাখ্যা দ্বারা সহায়তা

অপূর্ণতা

1. পরীক্ষামূলক ডিজাইন ত্রুটি

চলমান সময় বিশ্লেষণ অনুপস্থিত: বিভিন্ন স্কেল সমস্যার গণনা সময় রিপোর্ট করা হয়নি
প্যারামিটার সংবেদনশীলতা: $\Pi, \epsilon, \Delta$ ইত্যাদি প্যারামিটারের প্রভাব সিস্টেমেটিকভাবে বিশ্লেষণ করা হয়নি
উচ্চ-মাত্রিক অনুপস্থিত: সর্বোচ্চ 3-মাত্রিক সিস্টেম পরীক্ষা করা হয়েছে, পদ্ধতির মাত্রা সীমা অন্বেষণ করা হয়নি

2. রক্ষণশীলতা বিশ্লেষণ অপূর্ণ

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

3. তুলনা সম্পূর্ণ নয়

বেসলাইন সীমিত: SOS পদ্ধতির সাথে শুধুমাত্র একটি উদাহরণে তুলনা
সাম্প্রতিক পদ্ধতি অনুপস্থিত: 2020 এর পরের সম্পর্কিত কাজের সাথে তুলনা করা হয়নি
ন্যায্যতা সমস্যা: বিভিন্ন পদ্ধতি ব্যবহৃত গণনা সম্পদ একীভূত করা হয়নি

4. ব্যবহারিকতা আলোচনা

RPI সেট নির্ধারণ: বাহ্যিক সরঞ্জামের উপর নির্ভর করে, এই পদক্ষেপের কঠিনতা আলোচনা করা হয়নি
প্রাথমিকীকরণ: অপ্টিমাইজেশন সমস্যার প্রাথমিকীকরণ কৌশল স্পষ্ট করা হয়নি
ব্যর্থতার ক্ষেত্রে: পদ্ধতি ব্যর্থ বা খারাপ কর্মক্ষমতা করে এমন ক্ষেত্রে আলোচনা করা হয়নি

প্রভাব মূল্যায়ন

1. একাডেমিক প্রভাব (★★★★☆)

তাত্ত্বিক অবদান: CPA সংরক্ষণ ফাংশন সংশ্লেষণ উত্তলকরণ গুরুত্বপূর্ণ তাত্ত্বিক অগ্রগতি
উদ্ধৃতি সম্ভাবনা: অরৈখিক নিয়ন্ত্রণ এবং শক্তিশালী নিয়ন্ত্রণ ক্ষেত্রে উচ্চ উদ্ধৃতি প্রত্যাশিত
অগ্রগামী: পরবর্তী গবেষণার জন্য নতুন সরঞ্জাম এবং ধারণা প্রদান করে

2. ব্যবহারিক মূল্য (★★★☆☆)

প্রযোজ্য পরিস্থিতি: নিম্ন-মাত্রিক অরৈখিক সিস্টেমের IO বৈশিষ্ট্য বিশ্লেষণ
সরঞ্জাম সম্ভাবনা: পদ্ধতি সিস্টেমেটিক, সফটওয়্যার সরঞ্জাম হিসাবে বাস্তবায়ন সহজ
শিল্প প্রয়োগ: গণনা জটিলতা হ্রাস করার পরে ব্যাপক প্রয়োগ প্রয়োজন

3. পুনরুৎপাদনযোগ্যতা (★★★☆☆)

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

প্রযোজ্য পরিস্থিতি

সবচেয়ে উপযুক্ত

নিম্ন-মাত্রিক অরৈখিক সিস্টেম (n ≤ 3) এর IO বৈশিষ্ট্য বিশ্লেষণ
নিয়ন্ত্রণ-সম্পর্কিত সিস্টেম এর বিচ্ছরণশীলতা যাচাইকরণ
তাত্ত্বিক গ্যারান্টি প্রয়োজন এমন প্রয়োগ পরিস্থিতি
অ-বহুপদী সিস্টেম (SOS অপ্রযোজ্য পরিস্থিতি)

অনুপযুক্ত

উচ্চ-মাত্রিক সিস্টেম (n > 5): গণনা অসম্ভব
রিয়েল-টাইম প্রয়োগ: অপ্টিমাইজেশন সমাধান সময় অত্যধিক হতে পারে
বৈশ্বিক বৈশিষ্ট্য বিশ্লেষণ: পদ্ধতি স্থানীয় বৈশিষ্ট্যের জন্য
অ-মসৃণ সিস্টেম: $C^2$ ধারাবাহিকতা প্রয়োজন

সম্ভাব্য প্রয়োগ ক্ষেত্র

রোবোটিক্স নিয়ন্ত্রণ: যান্ত্রিক বাহু, মোবাইল রোবটের শক্তিশালী নিয়ন্ত্রণ
বৈদ্যুতিক শক্তি সিস্টেম: স্থানীয় স্থিতিশীলতা এবং ড্যাম্পিং বিশ্লেষণ
বিমান চলাচল: বিমানের মনোভাব নিয়ন্ত্রণ
প্রক্রিয়া নিয়ন্ত্রণ: রাসায়নিক প্রক্রিয়ার স্থিতিশীলতা বিশ্লেষণ

সমন্বিত মূল্যায়ন

মাত্রা	মূল্যায়ন	ব্যাখ্যা
উদ্ভাবনী	9/10	উত্তলকরণ গুরুত্বপূর্ণ যুগান্তকারী
তাত্ত্বিক কঠোরতা	10/10	প্রমাণ সম্পূর্ণ কঠোর
পরীক্ষামূলক সম্পূর্ণতা	7/10	সময় এবং উচ্চ-মাত্রিক পরীক্ষা অনুপস্থিত
ব্যবহারিক মূল্য	7/10	মাত্রা সীমাবদ্ধতা দ্বারা সীমিত
লেখার গুণমান	9/10	স্পষ্ট পেশাদার
সামগ্রিক	8.4/10	উৎকৃষ্ট তাত্ত্বিক কাজ

রেফারেন্স (নির্বাচিত)

12 Hill & Moylan (1976): "The stability of nonlinear dissipative systems" - বিচ্ছরণশীলতা তত্ত্বের ভিত্তি কাজ
8,9 Giesl & Hafstein (2012, 2014): CPA Lyapunov ফাংশন সংশ্লেষণের অগ্রগামী কাজ, এই পেপারের গুরুত্বপূর্ণ ভিত্তি
25 Summers et al. (2013): "Quantitative local L2-gain and reachability analysis" - SOS পদ্ধতির প্রতিনিধিত্বমূলক কাজ
17 Lavaei & Bridgeman (2022): প্রাথমিক CPA সংরক্ষণ ফাংশন কাজ, এই পেপারের সরাসরি উন্নতি
28 Van Der Schaft (1992): "L2-gain analysis of nonlinear systems" - অরৈখিক সিস্টেম L2 লাভ বিশ্লেষণের ক্লাসিক সাহিত্য

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