নিয়ন্ত্রণ ব্যবস্থা/স্টেট-স্পেস স্থিতিশীলতা
অবস্থা-স্থান স্থিতিশীলতা
[সম্পাদনা]যদি একটি সিস্টেমকে অবস্থা-স্থান ডোমেইনে উপস্থাপন করা হয়, তাহলে পূর্বের স্থিতিশীলতার পদ্ধতিগুলোর জন্য সেটিকে ট্রান্সফার ফাংশন (বা ট্রান্সফার ম্যাট্রিক্স) রূপে রূপান্তর করার কোনো অর্থ হয় না। সৌভাগ্যবশত, অবস্থা-স্থান উপস্থাপনার সাথে ব্যবহারযোগ্য অন্যান্য বিশ্লেষণ পদ্ধতিও রয়েছে, যা দ্বারা সিস্টেমটি স্থিতিশীল কি না তা নির্ধারণ করা যায়। প্রথমে, আমরা অস্থিতিশীলতার ধারণাটি উপস্থাপন করি:
- অস্থিতিশীল
- একটি সিস্টেমকে অস্থিতিশীল বলা হয় যদি সিস্টেমের প্রতিক্রিয়া সময় অনন্তের দিকে অগ্রসর হওয়ার সাথে সাথে অনন্তের দিকে ধাবিত হয়। যদি আমাদের সিস্টেম হয় G(t), তাহলে বলা যায় সিস্টেমটি অস্থিতিশীল যদি:
স্থিতিশীলতা নিয়ে আলোচনার সময় আরেকটি গুরুত্বপূর্ণ ধারণা হলো সমতুল্য বিন্দু:
- সমতুল্য বিন্দু
- যদি একটি সিস্টেম f দ্বারা সংজ্ঞায়িত হয়:
তাহলে একটি নির্দিষ্ট অবস্থা xe কে সমতুল্য বিন্দু বলা হয় যদি
সময় t এর জন্য অন্তরালে, যেখানে t0 হলো সিস্টেমের প্রারম্ভিক সময়।
নিচের সংজ্ঞাগুলো সাধারণত ধরে নেয় যে সমতুল্য বিন্দুটি শূন্য। যদি সমতুল্য বিন্দু হয় xe = a, তাহলে আমরা নিম্নলিখিত পরিবর্তন ব্যবহার করতে পারি সমতুল্য বিন্দুটিকে শূন্যে রূপান্তর করতে:
আমরা নিচে দেখতে পাবো যে, সিস্টেমের স্থিতিশীলতা একটি সমতুল্য বিন্দুর উপর নির্ভরশীল। এই সমতুল্য বিন্দুর সাথে সম্পর্কিত আরেকটি ধারণা হলো শূন্য অবস্থা:
- শূন্য অবস্থা
- একটি অবস্থা xz কে বলা হয় শূন্য অবস্থা যদি xz = 0 হয়। একটি শূন্য অবস্থা সমতুল্য বিন্দু হতে পারে বা নাও হতে পারে।
স্থিতিশীলতার সংজ্ঞাসমূহ
[সম্পাদনা]সিস্টেমের সমতুল্য বিন্দু x = 0 স্থিতিশীল যদি এবং কেবল যদি শূন্য-ইনপুট অবস্থা সমীকরণের সমাধানগুলো সসীম থাকে। সমতুল্যভাবে, x = 0 কে স্থিতিশীল বলা যায় যদি প্রতিটি প্রারম্ভিক সময় t0 এর জন্য একটি সসীম ধ্রুবক k(t0) বিদ্যমান থাকে যাতে:
এখানে sup অর্থাৎ সর্বোচ্চ হলো সমীকরণের "সর্বোচ্চ" মান। এই মানটি নির্দিষ্ট সসীম মান k অতিক্রম করতে পারবে না (অতএব এটি অনন্ত হতে পারবে না)।
- সর্বজনীন স্থিতিশীলতা
- একটি সিস্টেমকে বলা হয় সর্বজনীনভাবে স্থিতিশীল যদি এটি t0 এর সকল প্রারম্ভিক মানের জন্য স্থিতিশীল হয়:
সর্বজনীন স্থিতিশীলতা পূর্বের তুলনায় অধিক সাধারণ এবং শক্তিশালী রূপের স্থিতিশীলতা।
- অসিমপটোটিক স্থিতিশীলতা
- একটি সিস্টেমকে বলা হয় অসিমপটোটিকভাবে স্থিতিশীল যদি:
একটি সময়-অপরিবর্তনশীল সিস্টেম অসিমপটোটিকভাবে স্থিতিশীল যদি সিস্টেম ম্যাট্রিক্স A এর সকল ইজেনভ্যালুর বাস্তব অংশ নেতিবাচক হয়। যদি একটি সিস্টেম অসিমপটোটিকভাবে স্থিতিশীল হয়, তাহলে এটি BIBO স্থিতিশীলও হবে। তবে বিপরীতটি সবসময় সত্য নয়।
- সর্বজনীন অসিমপটোটিক স্থিতিশীলতা
- একটি সিস্টেমকে বলা হয় সর্বজনীনভাবে অসিমপটোটিকভাবে স্থিতিশীল যদি এটি t0 এর সকল মানের জন্য অসিমপটোটিকভাবে স্থিতিশীল হয়।
- সূচকীয় স্থিতিশীলতা
- একটি সিস্টেমকে বলা হয় সূচকীয়ভাবে স্থিতিশীল যদি সিস্টেমের প্রতিক্রিয়া সময়ের সাথে সাথে সূচকীয়ভাবে শূন্যের দিকে ধাবিত হয়।
রৈখিক সিস্টেমের জন্য, সর্বজনীন অসিমপটোটিক স্থিতিশীলতা এবং সূচকীয় স্থিতিশীলতা একই। তবে অ-রৈখিক সিস্টেমের ক্ষেত্রে এটি সত্য নাও হতে পারে।
প্রান্তিক স্থিতিশীলতা
[সম্পাদনা]এখানে আমরা কিছু নিয়ম আলোচনা করবো যা প্রান্তিকভাবে স্থিতিশীল সিস্টেমের ক্ষেত্রে প্রযোজ্য। যেহেতু আমরা ইজেনভ্যালু ও ইজেনভেক্টর নিয়ে আলোচনা করছি, তাই এই উপপাদ্যগুলো কেবল সময়-অপরিবর্তনশীল সিস্টেমের জন্য প্রযোজ্য।
- একটি সময়-অপরিবর্তনশীল সিস্টেম প্রান্তিকভাবে স্থিতিশীল যদি এবং কেবল যদি A ম্যাট্রিক্সের সব ইজেনভ্যালু শূন্য বা ঋণাত্মক বাস্তব অংশযুক্ত হয়, এবং যেগুলোর বাস্তব অংশ শূন্য, সেগুলো A এর মিনিমাল পলিনোমিয়ালের সরল মূল হয়।
- অবস্থা সমীকরণের সমতুল্য বিন্দু x = 0 সর্বজনীনভাবে স্থিতিশীল যদি A এর সব ইজেনভ্যালুর বাস্তব অংশ অ-ধনাত্মক হয়, এবং শূন্য বাস্তব অংশবিশিষ্ট ইজেনভ্যালুগুলোর জন্য পৃথক ইজেনভেক্টরের একটি পূর্ণ সেট বিদ্যমান থাকে।
- অবস্থা সমীকরণের সমতুল্য বিন্দু x = 0 তখন এবং কেবল তখনই সূচকীয়ভাবে স্থিতিশীল যদি A এর সকল ইজেনভ্যালুর বাস্তব অংশ নেতিবাচক হয়।
ইজেনভ্যালু এবং পোল
[সম্পাদনা]একটি রৈখিক সময়-অপরিবর্তনশীল (LTI) সিস্টেম স্থিতিশীল (অসিমপটোটিকভাবে) যদি A ম্যাট্রিক্সের সব ইজেনভ্যালুর বাস্তব অংশ নেতিবাচক হয়। নিচের অবস্থা সমীকরণটি বিবেচনা করুন:
উভয় পাশে লাপ্লাস রূপান্তর প্রয়োগ করি (ধরা যাক প্রারম্ভিক অবস্থা x0 = 0):
AX(s) বিয়োগ করলে:
ধরা যাক (sI - A) বিপরীতযোগ্য, তাহলে:
এখন যদি আমরা ইনভার্স ম্যাট্রিক্সের সূত্র ব্যবহার করি:
এখানে ডিনোমিনেটর (যাকে আমরা D(s) বলি) বিশ্লেষণ করে দেখা যায়:
s এর স্থানে λ বসালে এটি A ম্যাট্রিক্সের চরিত্রগত সমীকরণ। অর্থাৎ, যে মানগুলো এই সমীকরণ পূরণ করে (ট্রান্সফার ফাংশনের পোল) তারাই A এর ইজেনভ্যালু। সিস্টেমের স্থিতিশীলতার জন্য প্রয়োজনীয় যে সব পোল S-ডোমেইনে বামদিকে (বামার্ধ সমতলে) অবস্থান করে, অর্থাৎ A এর সব ইজেনভ্যালুর বাস্তব অংশ নেতিবাচক।
ইমপালস প্রতিক্রিয়া ম্যাট্রিক্স
[সম্পাদনা]ইমপালস প্রতিক্রিয়া ম্যাট্রিক্স G(t, τ) সংজ্ঞায়িত করা যায়:
[Impulse Response Matrix]
সিস্টেমটি সর্বজনীনভাবে স্থিতিশীল যদি একটি ধনাত্মক সসীম ধ্রুবক L থাকে যাতে:
অর্থাৎ, উপরের ইন্টিগ্রালটির মান সসীম হতে হবে।
সময়-অপরিবর্তনশীল ক্ষেত্রে, এটি সরলীকরণ করে দাঁড়ায়:
এবং এই ক্ষেত্রে BIBO স্থিতিশীলতা যাচাইয়ের জন্য:
যেখানে L একটি সসীম ধ্রুবক।
ধনাত্মক নির্ধারকতা
[সম্পাদনা]এই শব্দগুলো গুরুত্বপূর্ণ এবং পরবর্তী আলোচনার জন্য প্রাসঙ্গিক।
- f(x) ধনাত্মক নির্ধারক যদি f(x) > 0 সকল x এর জন্য।
- f(x) আংশিক ধনাত্মক নির্ধারক যদি সকল x এর জন্য, এবং f(x) = 0 হয় কেবল x = 0 এর জন্য।
- f(x) ঋণাত্মক নির্ধারক যদি f(x) < 0 সকল x এর জন্য।
- f(x) আংশিক ঋণাত্মক নির্ধারক যদি সকল x এর জন্য, এবং f(x) = 0 হয় কেবল x = 0 এর জন্য।
একটি হারমিশিয়ান ম্যাট্রিক্স X ধনাত্মক নির্ধারক যদি তার সকল প্রধান মাইনর ধনাত্মক হয়। এছাড়াও, X এর সকল ইজেনভ্যালুর বাস্তব অংশ ধনাত্মক হলে X ধনাত্মক নির্ধারক।
লিয়াপুনভ স্থিতিশীলতা
[সম্পাদনা]লিয়াপুনভ সমীকরণ
[সম্পাদনা]রৈখিক সিস্টেমের জন্য, স্থিতিশীলতা নির্ধারণ করতে আমরা লিয়াপুনভ সমীকরণ ব্যবহার করতে পারি:
[Lyapunov Equation]
এখানে A হলো সিস্টেম ম্যাট্রিক্স, এবং M ও N হলো p × p স্কয়ার ম্যাট্রিক্স।
- লিয়াপুনভ স্থিতিশীলতা উপপাদ্য
- একটি LTI সিস্টেম স্থিতিশীল যদি এমন একটি ম্যাট্রিক্স M বিদ্যমান থাকে যা লিয়াপুনভ সমীকরণ পূরণ করে, যেখানে N একটি যেকোনো ধনাত্মক নির্ধারক ম্যাট্রিক্স এবং M একটি একক ধনাত্মক নির্ধারক ম্যাট্রিক্স।
লিয়াপুনভ সমীকরণ পূরণ করতে হলে ম্যাট্রিক্সগুলো উপযুক্ত আকারের হতে হবে, অর্থাৎ A, M, ও N সকলেরই সমান স্কয়ার মাত্রা হতে হবে। বিকল্পভাবে:
- লিয়াপুনভ স্থিতিশীলতা (বিকল্প)
- যদি A ম্যাট্রিক্সের সকল ইজেনভ্যালুর বাস্তব অংশ নেতিবাচক হয়, তাহলে প্রতিটি ধনাত্মক নির্ধারক ম্যাট্রিক্স N এর জন্য একটি একক সমাধান M বিদ্যমান থাকবে, যা নিচেরভাবে নির্ণয় করা যায়:
যদি এইভাবে M নির্ণয় করা যায়, তাহলে সিস্টেমটি অসিমপটোটিকভাবে স্থিতিশীল।