2025-11-16T06:37:11.852603

On the equivalence of model-based and data-driven approaches to the design of unknown-input observers

Disarò, Valcher
In this paper we investigate a data-driven approach to the design of an unknown-input observer (UIO). Specifically, we provide necessary and sufficient conditions for the existence of an unknown-input observer for a discrete-time linear time-invariant (LTI) system, designed based only on some available data, obtained on a finite time window. We also prove that, under weak assumptions on the collected data, the solvability conditions derived by means of the data-driven approach are in fact equivalent to those obtained through the model-based one. In other words, the data-driven conditions do not impose further constraints with respect to the classic model-based ones, expressed in terms of the original system matrices.
academic

অজানা-ইনপুট পর্যবেক্ষকদের ডিজাইনে মডেল-ভিত্তিক এবং ডেটা-চালিত পদ্ধতির সমতুল্যতার উপর

মৌলিক তথ্য

  • পেপার আইডি: 2311.00673
  • শিরোনাম: অজানা-ইনপুট পর্যবেক্ষকদের ডিজাইনে মডেল-ভিত্তিক এবং ডেটা-চালিত পদ্ধতির সমতুল্যতার উপর
  • লেখক: জিওর্জিয়া ডিসারো, মারিয়া এলেনা ভ্যালচার (পাডোভা বিশ্ববিদ্যালয়, ইতালি)
  • শ্রেণীবিভাগ: math.DS (গতিশীল সিস্টেম)
  • প্রকাশনার সময়: ২০২৩ সালের নভেম্বর (arXiv প্রাক-প্রিন্ট)
  • পেপার লিঙ্ক: https://arxiv.org/abs/2311.00673

সারসংক্ষেপ

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

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

  1. সমস্যার বর্ণনা: অনেক নিয়ন্ত্রণ প্রকৌশল প্রয়োগে, সিস্টেমের অভ্যন্তরীণ অবস্থা বোঝা অবস্থা প্রতিক্রিয়া স্থিতিশীলকরণ এবং ত্রুটি সনাক্তকরণের মতো মৌলিক সমস্যা সমাধানের জন্য অত্যন্ত গুরুত্বপূর্ণ। তবে, সিস্টেম অবস্থা সাধারণত সরাসরি অ্যাক্সেসযোগ্য নয়, অবস্থা ভেক্টর অনুমান করার জন্য উপযুক্ত পর্যবেক্ষক ডিজাইন করা প্রয়োজন।
  2. চ্যালেঞ্জ: বাস্তব সিস্টেমের গতিশীলতা প্রায়শই বিঘ্ন, পরিমাপ ত্রুটি বা অন্যান্য অজানা সংকেত দ্বারা প্রভাবিত হয় যা অবস্থা বিবর্তনের সনাক্তকরণের জন্য ব্যবহার করা যায় না। ঐতিহ্যবাহী পর্যবেক্ষক ডিজাইন অনুমান করে যে সিস্টেম মডেল পরিচিত, তবে কিছু ক্ষেত্রে, শুধুমাত্র উপলব্ধ ডেটা থেকে সিস্টেম অনন্যভাবে সনাক্ত করা যায় না।
  3. বিদ্যমান পদ্ধতির সীমাবদ্ধতা:
    • মডেল-ভিত্তিক পদ্ধতির জন্য পরিচিত সিস্টেম ম্যাট্রিক্স প্রয়োজন
    • বিদ্যমান ডেটা-চালিত পদ্ধতি (যেমন 18) শুধুমাত্র পর্যাপ্ত শর্ত প্রদান করে, যখন প্রাপ্ত সিস্টেম অ-অ্যাসিম্পটোটিকভাবে স্থিতিশীল হয়, তখন UIO ডিজাইন করা সম্ভব কিনা তা অস্পষ্ট
  4. গবেষণার প্রেরণা: বিশাল পরিমাণে উপলব্ধ ডেটা ব্যবহার করে, নিয়ন্ত্রণ প্রকৌশল সমস্যা সমাধানের জন্য ডেটা-চালিত প্রযুক্তি বিকাশ করা, বিশেষত যখন সঠিক সিস্টেম মডেল পাওয়া যায় না তখন অবস্থা অনুমানের সমস্যা।

মূল অবদান

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

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

কাজের সংজ্ঞা

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

x(t+1) = Ax(t) + Bu(t) + Ed(t)  (1)
y(t) = Cx(t)                    (2)

যেখানে:

  • x(t) ∈ ℝⁿ: অবস্থা ভেক্টর
  • u(t) ∈ ℝᵐ: পরিচিত নিয়ন্ত্রণ ইনপুট
  • y(t) ∈ ℝᵖ: আউটপুট ভেক্টর
  • d(t) ∈ ℝʳ: অজানা ইনপুট (যেমন বিঘ্ন)

UIO সংজ্ঞা: নিম্নলিখিত আকারের LTI সিস্টেম Σ̂:

z(t+1) = A_UIO z(t) + B^u_UIO u(t) + B^y_UIO y(t)  (3)
x̂(t) = z(t) + D_UIO y(t)                           (4)

যেমন অনুমান ত্রুটি e(t) = x(t) - x̂(t) অ্যাসিম্পটোটিকভাবে শূন্যে সংবেদনশীল হয়, প্রাথমিক শর্ত এবং অজানা ইনপুট গতিশীলতার উপর নির্ভর করে না।

মডেল-ভিত্তিক পদ্ধতি

প্রয়োজনীয় এবং পর্যাপ্ত শর্ত (উপপাদ্য 2): UIO অস্তিত্ব আছে যদি এবং শুধুমাত্র যদি নিম্নলিখিত শর্তগুলির মধ্যে একটি সন্তুষ্ট হয়:

  1. ম্যাট্রিক্স (A_UIO, B^u_UIO, B^y_UIO, D_UIO) বিদ্যমান যা সন্তুষ্ট করে:
    • A_UIO Schur স্থিতিশীল
    • D_UIO CE = E
    • B^u_UIO = (I - D_UIO C)B
    • A_UIO(I - D_UIO C) + B^y_UIO C = (I - D_UIO C)A
  2. ম্যাট্রিক্স শর্ত:
    • rank(CE) = rank(E) = r
    • rankzIₙ - A -E; C 0 = n + r, ∀z ∈ ℂ, |z| ≥ 1
  3. ত্রিগুণ (A,E,C) শক্তিশালী *সনাক্তযোগ্য

ডেটা-চালিত পদ্ধতি

ডেটা সংগঠন: ঐতিহাসিক ডেটা ম্যাট্রিক্স আকারে সংগঠিত করুন:

  • Uₚ = uₐ(0) ... uₐ(T-2) ∈ ℝᵐˣ⁽ᵀ⁻¹⁾
  • Xₚ = xₐ(0) ... xₐ(T-2) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
  • Xf = xₐ(1) ... xₐ(T-1) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
  • Yₚ = yₐ(0) ... yₐ(T-2) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾
  • Yf = yₐ(1) ... yₐ(T-1) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾

মূল অনুমান: ম্যাট্রিক্স Uₚᵀ Dₚᵀ Xₚᵀᵀ সম্পূর্ণ সারি র্যাঙ্ক m+r+n রয়েছে।

প্রধান ফলাফল (উপপাদ্য 9): নিম্নলিখিত শর্তগুলি সমতুল্য:

  1. (3)-(4) আকারের UIO বিদ্যমান যেমন T_Σ ⊆ T_Σ̂
  2. ম্যাট্রিক্স T₁,T₂,T₃,T₄ বিদ্যমান যেমন Xf = [T₁ T₂ T₃ T₄]Uₚ; Yₚ; Yf; Xₚ এবং T₄ Schur স্থিতিশীল
  3. ডেটা শর্ত: ker(Xf) ⊇ ker(Uₚ; Yₚ; Yf; Xₚ) এবং rankzXₚ-Xf; Uₚ; Yₚ = n+m+r, ∀z∈ℂ,|z|≥1
  4. ত্রিগুণ (A,E,C) শক্তিশালী *সনাক্তযোগ্য

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

  1. সমতুল্যতা প্রতিষ্ঠা: প্রথমবারের মতো কঠোরভাবে ডেটা-চালিত শর্ত এবং মডেল-ভিত্তিক শর্তের সম্পূর্ণ সমতুল্যতা প্রমাণ করা
  2. দ্বিমুখী সংযোগ: UIO পরামিতি ম্যাট্রিক্স এবং ডেটা-চালিত পরামিতির মধ্যে দ্বিমুখী সংযোগ প্রতিষ্ঠা করা (অনুসিদ্ধান্ত 10)
  3. ব্যবহারিক অ্যালগরিদম: সরলীকৃত গণনা পদ্ধতি প্রদান করা, সমস্যাটিকে আরও সহজে পরিচালনাযোগ্য আকারে রূপান্তরিত করা

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

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

সাহিত্য 4 থেকে উদাহরণ ব্যবহার করুন:

A = [-1 -1  0; -1  0  0; 0 -1 -1]
C = [1  0  0; 0  0  1]  
E = [-1; 0; 0]

পরীক্ষামূলক পরামিতি

  • সময় উইন্ডো: T = 20
  • অজানা ইনপুট: (-2,2) ব্যবধানে সমানভাবে র্যান্ডম উৎপাদিত
  • প্রাথমিক শর্ত: র্যান্ডমভাবে নির্বাচিত
  • বিঘ্ন: (-10,10) ব্যবধানে র্যান্ডমভাবে উৎপাদিত

তুলনামূলক পদ্ধতি

সাহিত্য 18-এ প্রস্তাবিত পদ্ধতির সাথে তুলনা করুন

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

প্রধান ফলাফল

  1. মডেল যাচাইকরণ: rank(CE) = rank(E) = r এবং শক্তিশালী *সনাক্তযোগ্যতা শর্ত যাচাই করা
  2. ডেটা-চালিত ডিজাইন: ডেটা থেকে সফলভাবে ম্যাট্রিক্স C পুনর্নির্মাণ এবং উপপাদ্য 9 এর শর্ত যাচাই করা
  3. কর্মক্ষমতা তুলনা:
    • এই পত্রের পদ্ধতি থেকে প্রাপ্ত A_UIO ম্যাট্রিক্স নীলপটেন্ট ম্যাট্রিক্স
    • সাহিত্য 18 পদ্ধতি থেকে প্রাপ্ত eigenvalues {0, 0, -0.2}
    • উভয় পদ্ধতি কাজ করে, তবে এই পত্রের পদ্ধতি সংবেদনশীলতার গতি নির্বাচনের অনুমতি দেয়

কেস বিশ্লেষণ

চিত্র 1 অবস্থা অনুমান ত্রুটির গতিশীলতা দেখায়:

  • কঠিন লাইন (কালো): এই পত্রের ডিজাইন পদ্ধতি
  • ড্যাশড লাইন (লাল): সাহিত্য 18 পদ্ধতি
  • উভয় পদ্ধতি অ্যাসিম্পটোটিক সংবেদনশীলতা অর্জন করে, তবে এই পত্রের পদ্ধতি আরও বেশি ডিজাইন স্বাধীনতা প্রদান করে

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

  1. ডেটা-চালিত শর্ত UIO অস্তিত্ব সঠিকভাবে সনাক্ত করতে পারে
  2. সম্পূর্ণ পরামিতিকরণ পছন্দসই সংবেদনশীলতা বৈশিষ্ট্য নির্বাচনের অনুমতি দেয়
  3. ডেটা অনুমান শর্ত পূরণ করলে, ডেটা-চালিত পদ্ধতি কোনো অতিরিক্ত সীমাবদ্ধতা প্রবর্তন করে না

সম্পর্কিত কাজ

মডেল-ভিত্তিক UIO ডিজাইন

  • Luenberger পর্যবেক্ষক তত্ত্ব 12,13
  • অজানা ইনপুট বিচ্ছিন্নকরণ পদ্ধতি 9,11,21
  • জ্যামিতিক পদ্ধতি 2 এবং সাধারণীকৃত বিপরীত পদ্ধতি 15
  • বৈশিষ্ট্য মূল্য বিয়োজন প্রযুক্তি 6

ডেটা-চালিত পদ্ধতি

  • দুই-পদক্ষেপ পদ্ধতি: প্রথমে সিস্টেম সনাক্তকরণ তারপর পর্যবেক্ষক ডিজাইন
  • এক-পদক্ষেপ পদ্ধতি: সনাক্তকরণ পর্যায় এড়াতে সরাসরি ডেটা ব্যবহার করুন 18
  • ডেটা-চালিত সিমুলেশন এবং নিয়ন্ত্রণ 14

এই পত্রের অবদান অবস্থান

বিদ্যমান কাজের তুলনায়, এই পত্র প্রথমবারের মতো দুটি পদ্ধতির তাত্ত্বিক সমতুল্যতা প্রতিষ্ঠা করে এবং সম্পূর্ণ পরামিতিকরণ সমাধান প্রদান করে।

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

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

  1. দুর্বল ডেটা অনুমানের অধীনে, ডেটা-চালিত UIO ডিজাইন শর্ত এবং মডেল-ভিত্তিক শর্ত সম্পূর্ণভাবে সমতুল্য
  2. ডেটা-চালিত পদ্ধতি কোনো অতিরিক্ত সীমাবদ্ধতা প্রবর্তন করে না
  3. সমস্ত সম্ভাব্য UIO-এর সম্পূর্ণ পরামিতিকরণ প্রদান করা
  4. তাত্ত্বিক সেতু প্রতিষ্ঠা করা, দুটি ডিজাইন প্যারাডাইম একীভূত করা

সীমাবদ্ধতা

  1. ঐতিহাসিক অবস্থা পরিমাপ ডেটার প্রয়োজন (পরীক্ষাগার পরিবেশে সম্ভব)
  2. অজানা ইনপুট মাত্রা পরিচিত হওয়া প্রয়োজন
  3. ডেটার সম্পূর্ণ সারি র্যাঙ্ক অনুমানের উপর নির্ভর করে
  4. শুধুমাত্র রৈখিক সময়-অপরিবর্তনীয় সিস্টেমের জন্য প্রযোজ্য

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

  1. অরৈখিক সিস্টেমে সম্প্রসারণ
  2. সময়-পরিবর্তনশীল সিস্টেম ক্ষেত্রে বিবেচনা করুন
  3. শব্দযুক্ত ডেটার দৃঢ়তা অধ্যয়ন করুন
  4. ব্যবহারিক প্রয়োগের জন্য অ্যালগরিদম বাস্তবায়ন বিকাশ করুন

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

সুবিধা

  1. তাত্ত্বিক অবদান উল্লেখযোগ্য: প্রথমবারের মতো কঠোরভাবে ডেটা-চালিত এবং মডেল-ভিত্তিক পদ্ধতির সমতুল্যতা প্রমাণ করা
  2. গণিত কঠোর: সম্পূর্ণ প্রয়োজনীয় এবং পর্যাপ্ত শর্ত এবং কঠোর গাণিতিক প্রমাণ প্রদান করা
  3. ব্যবহারিক মূল্য: যাচাইযোগ্য ডেটা শর্ত এবং ব্যবহারিক অ্যালগরিদম প্রদান করা
  4. সম্পূর্ণতা: সমস্ত UIO-এর পরামিতিকরণ প্রদান করা, একক সমাধান নয়
  5. লেখার স্পষ্টতা: যুক্তি কাঠামো স্পষ্ট, প্রযুক্তিগত বিবরণ যথেষ্ট

অসুবিধা

  1. অনুমান সীমাবদ্ধতা: অবস্থা পরিমাপ ডেটার অনুমান বাস্তবে অত্যন্ত কঠোর
  2. রৈখিক সীমাবদ্ধতা: শুধুমাত্র রৈখিক সিস্টেমের জন্য প্রযোজ্য, প্রয়োগের পরিসীমা সীমিত করে
  3. সীমিত সংখ্যাগত যাচাইকরণ: শুধুমাত্র একটি সংখ্যাগত উদাহরণ প্রদান করা
  4. দৃঢ়তা বিশ্লেষণ অনুপস্থিত: ডেটা শব্দ এবং মডেলিং ত্রুটি বিবেচনা করা হয়নি

প্রভাব

  1. তাত্ত্বিক তাৎপর্য: ডেটা-চালিত নিয়ন্ত্রণ তত্ত্বের জন্য গুরুত্বপূর্ণ তাত্ত্বিক ভিত্তি প্রদান করা
  2. ব্যবহারিক মূল্য: প্রকৌশল প্রয়োগের জন্য সম্ভাব্য ডিজাইন পদ্ধতি প্রদান করা
  3. গবেষণা অনুপ্রেরণা: অন্যান্য পর্যবেক্ষক ডিজাইন সমস্যার জন্য নতুন গবেষণা চিন্তাভাবনা প্রদান করা
  4. পুনরুৎপাদনযোগ্যতা: স্পষ্ট অ্যালগরিদম পদক্ষেপ প্রদান করা, পুনরুৎপাদন সহজতর করা

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

  1. সিস্টেম মডেল অজানা কিন্তু ঐতিহাসিক অবস্থা ডেটা পাওয়া যায় এমন পরিস্থিতি
  2. অজানা বিঘ্ন পরিচালনা করার প্রয়োজনীয় অবস্থা অনুমান সমস্যা
  3. বিচ্ছিন্ন সময়ের রৈখিক নিয়ন্ত্রণ সিস্টেমের পর্যবেক্ষক ডিজাইন
  4. ত্রুটি সনাক্তকরণ এবং নির্ণয় প্রয়োগ

রেফারেন্স

পত্রটি পর্যবেক্ষক তত্ত্ব, ডেটা-চালিত নিয়ন্ত্রণ, সিস্টেম সনাক্তকরণ এবং অন্যান্য সম্পর্কিত ক্ষেত্রের গুরুত্বপূর্ণ কাজ অন্তর্ভুক্ত করে ২৪টি সম্পর্কিত রেফারেন্স উদ্ধৃত করে, গবেষণার জন্য দৃঢ় তাত্ত্বিক ভিত্তি প্রদান করে।

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