2025-11-17T18:37:13.154009

Behaviors, trajectories and data: A novel perspective on the design of unknown-input observers

Disarò, Valcher
The purpose of this paper is to propose a novel perspective, based on Willems' "behavior theory", on the design of an unknown-input observer for a given linear time-invariant discrete-time state-space model, with unknown disturbances affecting both the state and the output equations. The problem is first addressed assuming that the original system model is known, and later assuming that the model is unknown but historical data satisfying a certain assumption are available. In both cases, fundamental concepts in behavior theory, as the projection of a behavior, the inclusion of a behavior in another one, and the use of kernel and image representations, provide quite powerful tools to determine necessary and sufficient conditions for the existence of an unknown-input observer (UIO), as well as algorithms to design one of them, if it exists.
academic

আচরণ, গতিপথ এবং তথ্য: অজানা-ইনপুট পর্যবেক্ষকদের ডিজাইনের একটি নতুন দৃষ্টিভঙ্গি

মৌলিক তথ্য

  • পেপার আইডি: 2407.18833
  • শিরোনাম: Behaviors, trajectories and data: A novel perspective on the design of unknown-input observer
  • লেখক: Giorgia Disarò, Maria Elena Valcher (পাডোভা বিশ্ববিদ্যালয়)
  • শ্রেণীবিভাগ: math.OC (অপ্টিমাইজেশন এবং নিয়ন্ত্রণ), math.DS (গতিশীল সিস্টেম)
  • প্রকাশনার সময়: ২০২৪ সালের ২৬ জুলাই (arXiv প্রাক-প্রিন্ট)
  • পেপার লিঙ্ক: https://arxiv.org/abs/2407.18833

সারসংক্ষেপ

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

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

সমস্যা সংজ্ঞা

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

গুরুত্ব বিশ্লেষণ

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

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

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

মূল অবদান

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

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

কাজের সংজ্ঞা

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

x(t+1) = Ax(t) + Bu(t) + Ed(t)    (1a)
y(t) = Cx(t) + Du(t) + Fd(t)      (1b)

যেখানে:

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

UIO ডিজাইন করুন:

z(t+1) = A_UIO z(t) + B^u_UIO u(t) + B^y_UIO y(t)    (2a)
x̂(t) = z(t) + D^u_UIO u(t) + D^y_UIO y(t)            (2b)

আচরণ তত্ত্বের ভিত্তি

আচরণ সংজ্ঞা: আচরণ B ⊆ (ℝʷ)^ℤ₊ হল পার্থক্য সমীকরণ সিস্টেম সন্তুষ্ট করে এমন গতিপথের সেট:

R(σ)w = 0

যেখানে R(z) ∈ ℝz^(p×w) একটি বহুপদী ম্যাট্রিক্স, σ হল বাম স্থানান্তর অপারেটর।

মূল ধারণা:

  1. আচরণ প্রক্ষেপণ: P_{w₁}B = {w₁ : ∃w₂ যেমন (w₁,w₂) ∈ B}
  2. ন্যূনতম বাম শূন্যকারী (MLA): H(z)M(z) = 0 সন্তুষ্ট করে এমন ন্যূনতম ক্রমের বহুপদী ম্যাট্রিক্স
  3. আচরণ অন্তর্ভুক্তি: B₁ ⊆ B₂ এর সিদ্ধান্ত শর্ত

আচরণ-ভিত্তিক UIO ডিজাইন

মডেল-জ্ঞাত পরিস্থিতি

সিস্টেম আচরণ প্রতিনিধিত্ব:

B_Σ = ker(R_Σ(σ))

যেখানে:

R_Σ(z) = [zI_n - A  -B   0   -E]
          [-C       -D   I_p -F]

UIO আচরণ প্রতিনিধিত্ব:

B_Σ̂ = ker(R_Σ̂(σ))

প্রধান উপপাদ্য: সিস্টেম Σ̂ হল Σ এর UIO যদি এবং শুধুমাত্র যদি:

  1. গ্রহণকারী শর্ত: P_{(x,u,y)}B_Σ ⊆ P_{(x̂,u,y)}B_Σ̂
  2. স্থিতিশীলতা শর্ত: A_UIO হল Schur স্থিতিশীল

ডিজাইন শর্ত: UIO অস্তিত্বের প্রয়োজনীয় এবং যথেষ্ট শর্ত হল ম্যাট্রিক্স বিদ্যমান থাকা যা সন্তুষ্ট করে:

[-D^y_UIO  A_UIO D^y_UIO - B^y_UIO][CE F] = [-E 0]     (10)
                                    [F  0]

A_UIO = A + [-D^y_UIO  A_UIO D^y_UIO - B^y_UIO][CA]    (11)
                                                [C ]

[B^u_UIO] = [I  -D^y_UIO C  -B^y_UIO][B]               (12)
[D^u_UIO]   [0  -D^y_UIO            ][D]

এবং A_UIO হল Schur স্থিতিশীল।

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

ঐতিহাসিক তথ্য: সময় ব্যবধান 0,T-1 এর অবস্থা-ইনপুট-আউটপুট গতিপথ সংগ্রহ করুন:

  • x_d = {x_d(t)}^{T-1}_
  • u_d = {u_d(t)}^{T-1}_
  • y_d = {y_d(t)}^{T-1}_

ডেটা ম্যাট্রিক্স:

Φ_d = [X_p^T  X_f^T  U_p^T  U_f^T  Y_p^T  Y_f^T]^T ∈ ℝ^{2(n+m+p)×(T-1)}

সামঞ্জস্যপূর্ণ গতিপথ: গতিপথ (x,u,y) ঐতিহাসিক তথ্যের সাথে সামঞ্জস্যপূর্ণ যদি এবং শুধুমাত্র যদি:

[x(t)    ]
[x(t+1)  ] ∈ Im(Φ_d), ∀t ∈ ℤ₊
[u(t)    ]
[u(t+1)  ]
[y(t)    ]
[y(t+1)  ]

প্রধান ফলাফল: UIO অস্তিত্ব রয়েছে যদি এবং শুধুমাত্র যদি ker(V_p V_f W_p W_f R_p R_f) = Im(Φ_d) সন্তুষ্ট করে এমন যেকোনো ম্যাট্রিক্সের জন্য, Ω বিদ্যমান থাকে যেমন:

Ω[V_p V_f] = [-A* I_n]

যেখানে A* হল Schur ম্যাট্রিক্স।

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

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

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

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

3-ক্রমের সিস্টেম বিবেচনা করুন:

A = [1  1 -1]    B = [-1]    E = [1]
    [2  1  1]        [1 ]        [0]
    [1  0 -1]        [1 ]        [1]

C = [1  1  0]    D = [2]    F = [1]
    [1 -1  1]        [1]        [1]

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

  • সময় উইন্ডো: T = 11
  • ইনপুট তথ্য: u(t) (-4,4) এ সমানভাবে বিতরণ করা, d(t) (-3,3) এ সমানভাবে বিতরণ করা
  • প্রাথমিক শর্ত: র্যান্ডমলি উৎপন্ন

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

ডিজাইন প্রক্রিয়া

  1. তথ্য সংগ্রহ: ডেটা ম্যাট্রিক্স Φ_d নির্মাণ করা
  2. কার্নেল গণনা: শর্ত (20) সন্তুষ্ট করে এমন ম্যাট্রিক্স Ψ নির্ধারণ করা
  3. প্যারামিটার সমাধান: SVD বিয়োজন মাধ্যমে সমীকরণ (21) সমাধান করা
  4. স্থিতিশীলকরণ: L নির্বাচন করা যাতে Ā + LC̄ Schur স্থিতিশীল হয়

প্রাপ্ত UIO প্যারামিটার

A_UIO = [0.3721 -0.2326 -0.4651]
        [0.2791 -0.1744 -0.3488]  (বৈশিষ্ট্য মূল্য: 0, 0, 0.5)
        [0.5581 -0.3488 -0.6977]

B^u_UIO = [-2.9070]    B^y_UIO = [1.0930 -0.1860]
          [-0.1802]              [0.3198  0.1105]
          [-0.3605]              [0.6395  0.2209]

কর্মক্ষমতা যাচাইকরণ

অবস্থা অনুমান ত্রুটি প্রায় 20 সময় পদক্ষেপের মধ্যে শূন্যে সংবৃত হয়, UIO এর কার্যকারিতা যাচাই করে।

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

আচরণ তত্ত্ব প্রয়োগ

  • Willems মৌলিক কাজ 20,21: আচরণ তত্ত্ব কাঠামো প্রতিষ্ঠা করা
  • পর্যবেক্ষক ডিজাইন 1,12,15: আচরণ কাঠামোতে পর্যবেক্ষক ডিজাইন, কিন্তু কার্যকারিতা নিশ্চিত করে না
  • ডেটা-চালিত নিয়ন্ত্রণ 6,7,8: Willems মৌলিক লেম্মার উপর ভিত্তি করে ডেটা-চালিত পদ্ধতি

UIO ডিজাইন পদ্ধতি

  • ক্লাসিক্যাল পদ্ধতি 2,13: অবস্থা-স্থান বীজগণিতের উপর ভিত্তি করে UIO ডিজাইন
  • ডেটা-চালিত UIO 3,4,11: শুধুমাত্র বিঘ্ন আউটপুটকে প্রভাবিত না করার সরলীকৃত পরিস্থিতি বিবেচনা করা

এই পেপারের সুবিধা

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

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

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

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

সীমাবদ্ধতা

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

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

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

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

সুবিধা

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

অসুবিধা

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

প্রভাব

  1. একাডেমিক মূল্য: নিয়ন্ত্রণ তত্ত্বের জন্য নতুন গাণিতিক সরঞ্জাম এবং বিশ্লেষণ দৃষ্টিভঙ্গি প্রদান করা
  2. পদ্ধতিগত অবদান: ব্যবহারিক নিয়ন্ত্রণ সমস্যায় আচরণ তত্ত্বের প্রয়োগ সম্ভাবনা প্রদর্শন করা
  3. পরবর্তী গবেষণা: আচরণ তত্ত্যের উপর ভিত্তি করে নিয়ন্ত্রণ সিস্টেম ডিজাইন গবেষণা আরও অনুপ্রাণিত করতে পারে
  4. শিক্ষামূলক মূল্য: ডেটা-চালিত নিয়ন্ত্রণ বোঝার জন্য ভাল তাত্ত্বিক ভিত্তি প্রদান করা

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

  1. শিল্প প্রক্রিয়া: রাসায়নিক, বিদ্যুৎ ইত্যাদি কঠিন-মডেল বিঘ্ন সহ শিল্প সিস্টেম
  2. রোবোটিক্স সিস্টেম: অজানা পরিবেশ বিঘ্নে অবস্থা অনুমান প্রয়োজন
  3. বিমান ও মহাকাশ: জটিল পরিবেশে বিমান নেভিগেশন এবং নিয়ন্ত্রণ
  4. নেটওয়ার্ক সিস্টেম: যোগাযোগ নেটওয়ার্কে অবস্থা পর্যবেক্ষণ এবং ত্রুটি সনাক্তকরণ

রেফারেন্স

এই পেপারটি 24টি গুরুত্বপূর্ণ রেফারেন্স উদ্ধৃত করে, প্রধানত অন্তর্ভুক্ত:

আচরণ তত্ত্ব ভিত্তি:

  • 20,21 J.C. Willems এর যুগান্তকারী কাজ
  • 18,22 আচরণ সিস্টেম তত্ত্বের বিকাশ

পর্যবেক্ষক ডিজাইন:

  • 1,15 আচরণ পদ্ধতির পর্যবেক্ষক ডিজাইন
  • 2,13 ক্লাসিক্যাল UIO ডিজাইন তত্ত্ব

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

  • 19 Willems মৌলিক লেম্মা
  • 3,4,11 ডেটা-চালিত UIO ডিজাইনের পূর্ববর্তী কাজ

এই রেফারেন্সগুলি এই পেপারের তাত্ত্বিক উন্নয়ন এবং পদ্ধতি তুলনার জন্য দৃঢ় ভিত্তি প্রদান করে।