2025-11-17T05:46:12.770787

Data-Driven Structured Controller Design Using the Matrix S-Procedure

Yang, Zhong, Yang et al.

This paper focuses on the data-driven optimal structured controller design for discrete-time linear time-invariant (LTI) systems, considering both the $H_2$ performance and the $H_\infty$ performance. Specifically, we consider three scenarios: (i) the model-based structured control, (ii) the data-driven unstructured control, and (iii) the data-driven structured control. For the $H_2$ performance, we primarily investigate cases (ii) and (iii), since case (i) has been extensively studied in the literature. For the $H_\infty$ performance, all three scenarios are considered. For the structured control, we introduce a linearization technique that transforms the original nonconvex problem into a semidefinite programming (SDP) problem. Based on this transformation, we develop an iterative linear matrix inequality (ILMI) algorithm. For the data-driven control, we describe the set of all possible system matrices that can generate the sequence of collected data. Additionally, we propose a sufficient condition to handle all possible system matrices using the matrix S-procedure. The data-driven structured control is followed by combining the previous two cases. We compare our methods with those in the existing literature and demonstrate our superiority via several numerical simulations.

academic

ম্যাট্রিক্স এস-প্রসিডিউর ব্যবহার করে ডেটা-চালিত কাঠামোগত নিয়ন্ত্রক ডিজাইন

মৌলিক তথ্য

পত্র আইডি: 2503.14949
শিরোনাম: ম্যাট্রিক্স এস-প্রসিডিউর ব্যবহার করে ডেটা-চালিত কাঠামোগত নিয়ন্ত্রক ডিজাইন
লেখক: ঝাও হুয়া ইয়াং, ইউক্সিং ঝং, নাচুয়ান ইয়াং, জিয়াওক্সু লিউ, লিং শি
শ্রেণীবিভাগ: math.OC (গণিত অপ্টিমাইজেশন এবং নিয়ন্ত্রণ)
প্রকাশনার সময়: ২০২৫ সালের অক্টোবর ১৪ (অটোমেটিকা-তে প্রি-প্রিন্ট জমা দেওয়া)
পত্রের লিঙ্ক: https://arxiv.org/abs/2503.14949

সারসংক্ষেপ

এই পত্রটি বিচ্ছিন্ন সময় রৈখিক সময়-অপরিবর্তনীয় (LTI) সিস্টেমের জন্য ডেটা-চালিত সর্বোত্তম কাঠামোগত নিয়ন্ত্রক ডিজাইনের উপর দৃষ্টি নিবদ্ধ করে, যখন $H_2$ কর্মক্ষমতা এবং $H_\infty$ কর্মক্ষমতা বিবেচনা করে। তিনটি পরিস্থিতি নির্দিষ্টভাবে অধ্যয়ন করা হয়: (i) মডেল-ভিত্তিক কাঠামোগত নিয়ন্ত্রণ, (ii) ডেটা-চালিত অ-কাঠামোগত নিয়ন্ত্রণ, (iii) ডেটা-চালিত কাঠামোগত নিয়ন্ত্রণ। $H_2$ কর্মক্ষমতার জন্য, প্রধানত পরিস্থিতি (ii) এবং (iii) অধ্যয়ন করা হয়, কারণ পরিস্থিতি (i) ইতিমধ্যে সাহিত্যে ব্যাপকভাবে অধ্যয়ন করা হয়েছে। $H_\infty$ কর্মক্ষমতার জন্য, তিনটি পরিস্থিতি সবই বিবেচনা করা হয়। কাঠামোগত নিয়ন্ত্রণের জন্য, একটি রৈখিকীকরণ কৌশল প্রবর্তন করা হয়েছে যা মূল অ-উত্তল সমস্যাকে আধা-নির্দিষ্ট প্রোগ্রামিং (SDP) সমস্যায় রূপান্তরিত করে এবং এর উপর ভিত্তি করে পুনরাবৃত্তিমূলক রৈখিক ম্যাট্রিক্স অসমতা (ILMI) অ্যালগরিদম বিকশিত করা হয়েছে।

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

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

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

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

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

মূল অবদান

উন্নত ডেটা-চালিত কাঠামো:
- সমস্ত সম্ভাব্য সিস্টেম ম্যাট্রিক্সের সেটকে প্রতিটি ডেটা পয়েন্ট সেটের ছেদ হিসাবে প্রতিনিধিত্ব করে, যা 15-এ সেটের চেয়ে ছোট
- সমস্ত সম্ভাব্য সিস্টেম ম্যাট্রিক্স পরিচালনা করতে ম্যাট্রিক্স এস-প্রসিডিউর ব্যবহার করে, প্রমাণ করে যে সম্ভাব্য ডোমেন 15-এ সম্ভাব্য ডোমেন অন্তর্ভুক্ত করে
- ডেটা দৈর্ঘ্যের সাথে সম্পর্কে কর্মক্ষমতার একঘেয়ে অ-হ্রাসমান প্রমাণ করে
উপন্যাস রৈখিকীকরণ কৌশল:
- মূল অ-উত্তল সমস্যাকে SDP সমস্যায় রূপান্তরিত করার জন্য রৈখিকীকরণ কৌশল বিকশিত করে
- কাঠামোগত নিয়ন্ত্রক গণনা করতে ILMI অ্যালগরিদম প্রস্তাব করে
- 15-এর চেয়ে বৃহত্তর সম্ভাব্য ডোমেন অন্বেষণ করতে পারে
ব্যাপক $H_\infty$ নিয়ন্ত্রণ অধ্যয়ন:
- প্রথমবারের মতো মডেল-ভিত্তিক কাঠামোগত নিয়ন্ত্রণ, ডেটা-চালিত অ-কাঠামোগত নিয়ন্ত্রণ এবং ডেটা-চালিত কাঠামোগত নিয়ন্ত্রণের ব্যাপক অধ্যয়ন পরিচালনা করে

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

কাজের সংজ্ঞা

বিচ্ছিন্ন সময় LTI সিস্টেম বিবেচনা করুন:

x_{k+1} = Ax_k + Bu_k + Gd_k
y_k = Cx_k + Du_k + Hd_k

যেখানে $x_k \in \mathbb{R}^{n_x}$ সিস্টেম অবস্থা, $u_k \in \mathbb{R}^{n_u}$ নিয়ন্ত্রণ ইনপুট, $y_k \in \mathbb{R}^{n_y}$ নিয়ন্ত্রণ আউটপুট, $d_k \in \mathbb{R}^{n_d}$ বাহ্যিক ব্যাঘাত।

অবস্থা প্রতিক্রিয়া নিয়ন্ত্রক $u_k = Kx_k$ ব্যবহার করুন, যেখানে $K \in \mathbb{R}^{n_u \times n_x}$ কাঠামো সীমাবদ্ধতা $K \in S$ পূরণ করতে হবে।

ডেটা সংগ্রহ প্রক্রিয়া

ধরে নিন ম্যাট্রিক্স $A, B$ অজানা কিন্তু নির্ধারিত, ম্যাট্রিক্স $C, D, G, H$ পরিচিত। সংগৃহীত ডেটা অন্তর্ভুক্ত করে:

X = [x_0, x_1, ..., x_T] ∈ ℝ^{n×(T+1)}
U = [u_0, u_1, ..., u_{T-1}] ∈ ℝ^{m×T}

মূল অনুমান: প্রক্রিয়া শব্দ সীমাবদ্ধ, অর্থাৎ $\|w_k\|_2 \leq \epsilon$ ।

মূল প্রযুক্তিগত উদ্ভাবন

1. উন্নত সিস্টেম ম্যাট্রিক্স সেট প্রতিনিধিত্ব

$i$ -তম সময় ধাপের ডেটা $(x_i, u_i, x_{i+1})$ এর উপর ভিত্তি করে, সংজ্ঞায়িত করুন:

Σ_i = {(A,B) | x_{i+1} = Ax_i + Bu_i + w_i, w_i w_i^T ⪯ ε²I}

ডেটার সাথে সামঞ্জস্যপূর্ণ সমস্ত সিস্টেম ম্যাট্রিক্সের সেট:

Σ = ∩_{i=0}^{T-1} Σ_i

এটি 15-এ সেটের চেয়ে আরও নির্ভুল, রক্ষণশীলতা হ্রাস করে।

2. ম্যাট্রিক্স এস-প্রসিডিউরের প্রয়োগ

$H_2$ নিয়ন্ত্রণের জন্য, ম্যাট্রিক্স এস-প্রসিডিউর ব্যবহার করে, শর্ত (5a) সমস্ত $(A,B) \in Σ$ এর জন্য সত্য হওয়ার জন্য যথেষ্ট শর্ত হল অ-নেতিবাচক $α_0, α_1, ..., α_{T-1}$ এবং $β > 0$ বিদ্যমান থাকা যেমন: