مشکل در این است که در حقیقت نمیتوان به سادگی ماتریس های ، و را انتخاب نمود و همچنین معادله فوق را برای حل نمود.
قابل تعیین بودن کواریانس توسط فیدبک خروجی
ایده اصلی در پشت تئوری کنترل کواریانسی عبارتست از فراهم نمودن یک توصیف از تمامی ماتریس های کواریانس قابل تعیین و پارامتریزه کردن تمامی کنترل کننده هایی که یک کواریانس خاص را تعیین مینمایند (Hotz and Skelton,1987;Yasuda et al.,1993;Skelton and Iwasaki,1993). یک سیستم تصادفی را بصورت زیر در نظر بگیرید:
(3-3)
که در آن اغتشاشی از نویز سفید با میانگین صفر و شدت میباشد، ماتریس کواریانس حالت پایدار بردار حالت بصورت زیر تعریف میگردد:
(3-4)
که در آن بیانگر امید ریاضی میباشد. برای یک قانون کنترلی فیدبک استاتیک خروجی ، به خوبی شناخته شده است که معادله لیاپانوف زیر را حل مینماید:
(3-5)
ماتریس یک کواریانس قابل تعیین نامیده میشود چنانچه بهره کنترل کننده ای مانند وجود داشته باشد که معادله فوق را برآورده نماید. چنانچه پایدار پذیر و کنترل پذیر باشند آنگاه، با استفاده از تئوری پایداری لیاپانوف، معادل پایداری سیستم حلقه بسته میباشد. نتیجه ذیل تمامی کواریانس های قابل تعیین توسط فیدبک استاتیک خروجی را پارامتریزه مینماید (Yasuda et al.,1993).
تئوری 3-3
ماتریس یک کواریانس قابل تعیین توسط فیدبک استاتیک خروجی میباشد اگر و تنها اگر معادلات زیر را برآورده نماید:
(3-6)
(3-7)
(3-8)
که در آن:
یک روش پارامتریزه کردن تمامی بهره های فیدبک استاتیک خروجی که سیستم را پایدار و یک کواریانس قابل تعیین خاص را مشخص مینمایند در ادامه ارائه گردیده است(Yasuda et al.,1993).
تئوری 3-4
اگر یک ماتریس کواریانس قابل تعیین باشد. آنگاه تمامی بهره های فیدبک استاتیک خروجی که را برای سیستم حلقه بسته تعیین میکنند بصورت زیر پارامتریزه میگردند:
(3-9)
که در آن:
و یک ماتریس دلخواه و یک ماتریس دلخواه پادمتقارن35 است.
شرایط (3-6) تا (3-9) را میتوان بصورت پارامتریزه نمودن فضای حالت تمامی بهره های فیدبک استاتیک خروجی پایدار ساز بر حسب ماتریس کواریانس حالت دانست. دشواری عمده در تئوری کنترل کواریانسی رسیدن به این مهم است که آیا برای معادلات (3-8)- (3-6) یک پاسخ مشترک وجود دارد و اگر وجود دارد چگونه میتوان آنرا یافت. زمانی که یک پاسخ مشترک یافت گردید، فرآیند پارامتریزه نموده (3-9) تمامی بهره های استاتیکی را فراهم میکند که سیستم را پایدار میکنند و را بعنوان یک کواریانس حلقه بسته تعیین مینمایند.
روش محدودیت ساختاری خروجی
مسئله فیدبک استاتیک خروجی را میتوان بصورت یک مسئله فیدبک حالت در نظر گرفت که در آن بهره های فیدبک در معرض یک محدودیت ساختاری قرار دارند. بطور ویژه، پایدار است اگر و تنها اگر پایدار باشد که در آن و یک پایه متعامد بهنجار36 از فضای پوچی37 است. ماتریس های الحاقی38 زیر را تعریف مینماییم:
(3-10)
و همچنین توابع زیر را در نظر میگیریم:
(3-11)
(3-12)
که در آنها یک ماتریس متقارن بصورت زیر است:
یک شر لازم و کافی برای پایدار سازی خروجی را میتوان بصورت زیر بیان نمود:
تئوری 3-5
بهره فیدبک استاتیک خروجی پایدار سازی وجود دارد، اگر و تنها اگر:
(3-13)
که در آن:
بیانگر فضای پوچی است. مجموعه تمامی بهره های فیدبک استاتیک خروجی پایدار ساز بصورت زیر پارامتریزه میگردند:
(3-14)
که در آن .
مجموعه محدب است، اما غیرمحدب است و موجب دشواری بررسی شرط (3-13) میگردد.
فرمولبندی نامعادلات ماتریسی خطی مزدوج39
شرایط لازم و کافی برای فیدبک استاتیک خروجی را میتوان بر حسب نامعادلات ماتریسی خطی مزدوج و به دنبال آن روش تابع درجه دوم لیاپانوف بدست آورد. از تئوری پایداری لیاپانوف میدانیم که ماتریس سیستم حلقه بسته پایدار است، اگر و تنها اگر به ازای برخی نامعادله ماتریسی زیر را برآورده نماید:
(3-15)
برای مقادیر ثابت ، نامعادله فوق یک نامعادله ماتریسی خطی بر حسب است. LMI فوق بر حسب محدب است و میتوان از تکنیک های برنامه نویسی محدب برای یافتن بطور عددی زمانی که مشخص باشد استفاده کرد.
شرایط لازم و کافی برای پایدار سازی فیدبک استاتیک خروجی را میتوان بوسیله یافتن شرایط حل پذیری نامعادله فوق بر حسب بدست آورد.
تئوری 3-6
یک بهره فیدبک استاتیک خروجی پایدار ساز وجود دارد اگر و تنها اگر وجود داشته باشد بطوریکه:
(3-16)
(3-17)
که در آن و ماتریس های رتبه کاملی هستند که به ترتیب بر و متعامد میباشند.
نامعادله (3-16) از نامعادله (3-15) با ضرب کردن آن از سمت چپ با و از سمت راست با حاصل میشود. نامعادله (3-17) نیز از ضرب نامعادله (3-15) از سمت چپ و راست با و سپس ضرب نمودن از سمت چپ با و از سمت راست با بدست می آید. در برخی منابع نشان داده شده است که عکس این مورد نیز صحیح است، به این معنا که اگر یک وجود داشته باشد که نامعادلات (3-16) و (3-17) را برآورده نماید آنگاه یک بهره فیدبک استاتیک خروجی پایدار ساز وجود خواهد داشت.
تئوری 3-7
تمامی بهره های فیدبک استاتیک پایدار ساز را میتوان بصورت زیر پارامتریزه نمود:
(3-18)
که در آن:
همچنین یک ماتریس معین مثبت است که نامعادلات (3-16) و (3-17) را برآورده مینماید و ماتریسی است که .
توجه نمایید که (3-16) یک LMI بر حسب و (3-17) یک LMI بر حسب میباشد، اما یافتن یک چنین کاری دشوار است، چراکه این دو نامعادله بر حسب محدب نمیباشند.
تا بدین جا مشخص گردید که تمامی تئوری های ارائه شده دارای محدودیت هایی بوده و یافتن بهره ها با استفاده از این الگوریتم ها دشوار و گاها” ناممکن مینماید. در ادامه به ارائه تئوری میپردازیم که شروط کافی جهت پایدار سازی سیستم توسط فیدبک استاتیک خروجی را بیان مینماید و نتایج آن در فصول آینده مورد استفاده قرار میگیرد.
شرایط LMI کافی برای مسئله کنترل فیدبک خروجی
سیستم پیوسته با زمان زیر را در نظر میگیریم:
(3-19)
که در آن ، و ماتریس های حالت سیستم میباشند. بسیار واضح است که سیستم (3-19) از طریق فیدبک حالت قابل پایدار سازی است اگر و تنها اگر ماتریس معین مثبت و با ابعاد مناسب وجود داشته باشند بطوریکه:
(3-20)
با ضرب نامعادله فوق از دو طرف در خواهیم داشت:
(3-21)
اکنون با تعریف معادله فوق نیز بصورت زیر تبدیل خواهد شد:
(3-22)
در حقیقت این یک نتیجه شناخته شده از میباشد که نامعادله بالا بر حسب متغییر های و امکان پذیر است اگر و تنها اگر ماتریس های و پایدار پذیر باشند، انگاه فیدبک سیستم (3-19) را پایدار میسازد. یافتن یک پاسخ برای این مسأله یا بیان اینکه مسأله امکان پذیر نمیباشد با الگوریتم های موجود به سادگی صورت میپذیرد.
اکنون حالت فیدبک استاتیک خروجی را در نظر میگیریم، یعنی قانون کنترلی مورد نظر ساختاری بصورت یا بطور معادل با دارد. از رابطه (3-21) داریم:
(3-23)
به دلیل اینکه نامعادلات ماتریسی فوق بطور کلی محدب نمیباشند، حل عددی آنها برای و بسیار دشوار میباشد. در ارتباط با این مسأله غیرمحدب، مسأله محدب زیر را داریم:
تعریف 3-1- مسأله W
ماتریس های معلوم ، و ماتریس رتبه کامل سطری را در نظر میگیریم. مسأله W شامل یافتن، در صورت امکان، ماتریس های ، و میشود بطوریکه:
(3-24)
مسألهW دارای دو جنبه مهم است: محدب میباشد و از اینرو میتوان آنرا را با الگوریتم های کارآمد حل نمود، علاوه بر آن چنانچه امکان پذیر باشد آنگاه مسأله پایدار سازی فیدبک استاتیک خروجی (3-23)، که محدب نمیباشد، نیز امکان پذیر خواهد بود که در ادامه نشان داده خواهد شد.
تئوری 3-8
اگر ، و پاسخ های مسأله Wباشند. آنگاه فیدبک
(3-25)
سیستم (3-19) را پایدار میسازد.
اثبات:اگر رتبه سطری کامل باشد، آنگاه از نتیجه میشود که نیز رتبه کامل است و بنابراین معکوس پذیر است در نتیجه . با استفاده از این حقیقت و تعریف رابطه (3-23) را از رابطه (3-24) بدست خواهیم آورد.
چنانچه نقطه آغاز کار را به جای رابطه (3-21)، رابطه (3-20) در نظر بگیریم، نتیجه حاصل بصورت زیر خواهد بود:
تعریف 3-2- مسألهP
ماتریس های معلوم ، و ماتریس رتبه کامل ستونی را در نظر میگیریم. مسأله P شامل یافتن، در صورت امکان، ماتریس های ، و میشود بطوریکه:
(3-26)
استنباط 1: اگر ، و پاسخ های مسألهP باشند. آنگاه فیدبک
(3-27)
سیستم (3-19) را پایدار میسازد.
امکان پذیری هر کدام از مسائلP یا W یک شرط کافی برای مسأله فیدبک استاتیک خروجی میباشد و این مزیت را دارد که به دلیل محدب بودن میتوان آنرا با الگوریتم های موثر و کارآمد مورد بررسی قرار داد.
نتایج برای سسیتم های گسسته در زمان بصورت زیر خواهد بود.
سیستم گسسته در زمان زیر را در نظر میگیریم:
(3-28)
همتای گسسته در زمان (3-23) بصورت زیر خواهد بود:
(3-29)
براساس این نامعادله ماتریسی نتایج زیر را بدست می آوریم:
تعریف 3-3- مسألهP گسسته
ماتریس های معلوم ، و ماتریس رتبه کامل ستونی را در نظر میگیریم. مسأله P گسسته شامل یافتن، در صورت امکان، ماتریس های ، و میشود بطوریکه:
(3-30)
تعریف 3-4- مسألهW گسسته:
ماتریس های معلوم ، و ماتریس رتبه کامل سطری را در نظر میگیریم. مسأله W گسسته شامل یافتن، در صورت امکان، ماتریس های ، و میشود بطوریکه:
(3-31)
مشابه مورد پیوسته با زمان نشان دادن اینکه چنانچه مسأله Pامکان پذیر باشد آنگاه قانون کنترلی سیستم (3-28) را پایدار میسازد کار دشواری نیست، همچنین چنانچه مسأله Wامکان پذیر باشد آنگاه قانون کنترلی سیستم (3-28) را پایدار میسازد.
4- طراحی کنترل کننده فیدبک استاتیک خروجی برای نیل به تعقیب فازی H_? برای سیستم های غیرخطی توصیف شده با مدل تاکاگی- سوگنو T-S
مقدمه
یک سیستم غیرخطی به مجموعه ای از معادلات غیرخطی گفته میشود که برای توصیف یک دستگاه یا فرآیند فیزیکی بکار گرفته میشوند که نمیتوان آن را توسط مجموعه ای از معادلات خطی تعریف نمود. سیستم های دینامیکی به عنوان یک مترادف برای سیستم های فیزیکی یا ریاضی استفاده میشود زمانیکه معادلات توصیف کننده نمایانگر تکامل یک پاسخ با زمان یا گاهاً با ورودی های کنترل و/ یا دیگر پارامتر های متغیر میباشند.
امروزه سیستم های کنترل غیرخطی جهت توصیف گستره وسیعی از پدیده های علمی و مهندسی استفاده میشوند. از پدیده های اجتماعی، زندگی و فیزیکی گرفته تا مهندسی و تکنولوژی. تئوری سیستم های کنترل غیرخطی برای طیف وسیعی از مسائل در فیزیک، شیمی، ریاضیات، زیست، پزشکی، اقتصاد و شاخه های مختلف مهندسی بکار گرفته شده است.
تئوری پایداری نقش مهمی در سیستم های مهندسی به ویژه در حوزه سیستم های کنترل و اتوماسیون دارد. پایداری یک سیستم

این مطلب رو هم توصیه می کنم بخونین:   منبع تحقیق دربارهبیشترین، گاماروس، ایستگاه
دسته‌ها: No category

دیدگاهتان را بنویسید