ش داد:
که در رابطه فوق داریم:
بنابراین توابع عضویت بصورت زیر محاسبه میگردند:
توابع عضویت را به ترتیب مثبت، منفی، بزرگ و کوچک نام گذاری میکنیم. سپس سیستم غیرخطی با مدل فازی زیر به نمایش در می آید:
قانون شماره 1:
اگر مثبت و بزرگ باشند. آنگاه:
قانون شماره 2:
اگر مثبت و کوچک باشد. آنگاه:
قانون شماره 3:
اگر منفی و بزرگ باشد. آنگاه:
قاون شماره 4:
اگر منفی و کوچک باشد. آنگاه:
که داریم:
شکل های زیر توابع عضویت را نشان میدهند.
شکل (2-3): توابع عضویت و
شکل (2-4): توابع عضویت و
فرآیند غیرفازی سازی بصورت زیر انجام میپذیرد:
که در آن
این مدل فازی بطور دقیق سیستم خطی را در ناحیه بر روی فضای نمایش میدهد.
تقریب محلی در فضاهای تقسیم شده فازی22
یک روش دیگر به منظور دست یافتن به مدل های فازی T-S روش تقریب محلی در فضاهای تقسیم شده فازی میباشد. اساس این روش تقریب ترم های غیرخطی توسط ترم های خطی است که خردمندانه انتخاب شده اند. این روش منجر به کاهش تعداد قوانین مدل میشود. تعداد قوانین مدل مستقیما” با پیچیدگی تحلیل و طراحی شرایط LMI متناسب است. اگر چه در این روش تعداد قوانین کاهش می یابد، اما طراحی قوانین کنترل مبتنی بر مدل فازی تقریب زده شده ممکن است پایداری سیستم های غیرخطی اصلی را تحت این قوانین کنترل تضمین نکند.
جبرانسازی توزیع شده موازی
تاریخچه جبرانسازی توزیع شده موازی با یک فرآیند طراحی مبتنی بر مدل ارائه شده توسط کانگ و سوگنو آغاز میشود. اما پایداری سیستم های کنترل در آن فرآیند طراحی مد نظر قرار نگرفته بود. به مرور فرآیند طراحی بهبود یافت و پایداری سیستم های کنترل در ]17[ مورد تحلیل واقع شد و فرآیند طراحی در ]13[ جبرانسازی توزیع شده موازی نام گرفت.
PDC یک فرآیند برای طراحی کنترل کننده فازی از روی مدل فازی T-S داده شده پیشنهاد میکند. برای درک PDC، یک سیستم کنترل شده (سیستم غیرخطی) در ابتدا توسط یک مدل فازی T-S به نمایش در می آید. تأکید میکنیم که بسیاری از سیستم های واقعی، برای مثال سیستم های مکانیکی و سیستم های بی نظم23، را میتوان توسط مدل های فازی T-S به نمایش درآورد.
در طراحی PDC هر قانون کنترل از روی قانون متناظر یک مدل فازی T-S طراحی میشود. کنترل کننده فازی طراحی شده مجموعه های فازی یکسانی را با مدل فازی در بخش های مفروض به اشتراک میگذارد.
برای مدل های فازی (2-1) و (2-2) کنترل کننده فازی ساخته شده از طریق PDC بصورت زیر است:
اگر و … باشند. آنگاه:
(2-5)
قوانین کنترل فازی دارای یک کنترل کننده خطی (در این مورد قوانین فیدبک حالت) در بخش نتیجه میباشند. میتوانیم از دیگر کنترل کننده ها نظیر کنترل کننده های فیدبک خروجی و کنترل کننده های فیدبک خروجی دینامیک به جای کنترل کننده های فیدبک حالت استفاده کنیم.
کنترل کننده فازی کلی را میتوان بصورت زیر به نمایش درآورد:
(2-6)
اکنون چنانچه این کنترل کننده را به خروجی سیستم فازی در حالت گسسته در زمان یعنی
(2-7)
اعمال نماییم، سیستم حلقه بسته بصورت زیر خواهد بود:
(2-8)
اکنون با اعمال قضیه پایداری لیاپانوف به این نتیجه میرسیم که سیستم (2-7) بطور مجانبی پایدار است چنانچه یک ماتریس معین مثبت مشترکی مانند وجود داشته باشد بطوریکه نامعادلات ماتریسی زیر برقرار باشند:
(2-9)
توجه نمایید که میتوانیم سیستم (2-7) را بصورت زیر بنویسیم:
(2-10)
که در آن:
بنابراین میتوان تئوری زیر را جهت بیان شرایط کافی پایداری سیستم (2-7) بیان نمود.
تئوری 2-1
نقطه تعادل سیستم فازی (2-7) بطور مجانبی پایدار است چنانچه ماتریس معین مثبت مشترکی مانند وجود داشته باشد بطوریکه نامعادلات ماتریسی زیر برقرار باشند:
(2-11)
پس طراحی کنترل کننده فازی برابر است با تعیین بهره های فیدبک محلی به گونه ای که شرایط بیان شده در تئوری 2-1 برقرار باشند. بطور کلی، ابتدا بایستی یک کنترل کننده برای هر قانون طراحی نماییم و بررسی نماییم که آیا شرایط پایداری برقرار میباشند یا خیر. چنانچه شرایط برقرار نبود بایستی فرآیند را تکرار نماییم تا شرایط مورد نظر برقرار گردند.
با PDC یک فرآیند ساده برای کار با سیستم های غیرخطی در اختیار داریم. دیگر تکنیک های کنترل غیرخطی نیازمند دانش ویژه و نسبتا” پیچیده میباشند.
3- کنترل کننده های استاتیکی خروجی
3-1- مقدمه
بسیاری از سیستم های فیزیکی دارای حالت های محدودی جهت اندازه گیری و باز خورد نمودن برای سیستم کنترلی میباشند و معمولا” یک بردار حالت کامل جهت اندازه گیری و استفاده در حلقه فیدبک در دسترس نیست بلکه تنها بخشی از آن توسط بردار خروجی پوشش داده میشود. در این حالت دو راهکار برای برخورد با این مشکل وجود دارد. در راهکار اول میتوان یک مشاهده گر کاهش رتبه یافته24 جهت حصول نیازمندی های فیدبک حالت کامل25 طراحی نمود که موجب ایجاد دینامیک های اضافی و پیچیده شدن طراحی میگردد. راه دیگر استفاده از فیدبک استاتیک خروجی26 (SOF) میباشد که به دلیل اینکه به هیچ دینامیک اضافه ای نیاز ندارد و تنها از خروجی های قابل اندازه گیری در طراحی فیدبک آن استفاده میشود، طراحی آن ساده میباشد و از نقطه نظر اجرایی از نظر هزینه به صرفه تر و قابل اطمینان تر از فیدبک دینامیکی میباشد. علاوه بر آن بسیاری از مسائل قابل کاهش به انواع آن میباشند. به بیان ساده، مسأله فیدبک استاتیک خروجی عبارتست از فیدبک استاتیک خروجی که باعث گردد سیستم حلقه بسته برخی ویژگی های مورد نظر را داشته باشد و یا تعیین اینکه چنین فیدبکی وجود ندارد.
مسئله فیدبک استاتیک خروجی نه تنها به خودی خود از اهمیت بالایی برخوردار است بلکه از آنجاییکه بسیاری از مسائل دیگر قابل تقلیل به انواع مختلف آن میباشند، نیز موجب مورد توجه قرار گرفتن آن گردیده است. به عنوان مثال زمانی که به دلیل هزینه و قابلیت اطمینان بایستی یک کنترل کننده ساده مورد استفاده قرار گیرد و یا آنجاییکه در برخی کاربرد ها به دلیل نیاز تنظیماتی خاص در پارامتر هایی مشخص به منظور کنترل یک سیستم فیزیکی طراح نیازمند آنست که تعداد پارامتر ها تا حد امکان کاهش دهد.
اگر چه در دهه های اخیر مسأله کنترل کننده فیدبک خروجی بطور دقیق مورد مطالعه قرار گرفته است اما برخلاف مسأله فیدبک حالت، فیدبک خروجی همچنان به عنوان یکی از مسائل مطرح در مهندسی کنترل شناخته میشود.
3-2- پایدار سازی توسط فیدبک استاتیک خروجی
مسأله پایداری فیدبک استاتیک خروجی جزو مورد علاقه ترین مسائل کنترل است که تا هم اکنون پاسخ کامل و روشنی برای آن در دسترس نیست. در دهه های اخیر روش های گوناگونی جهت اعمال به این مسأله ارائه گردیده است. مسأله کنترلی فیدبک خروجی به هنگام مقایسه با مسائل کنترلی فیدبک حالت دشواری خود را بیشتر به نمایش میگذارد. تفاوت اساسی بین مسائل پایدار سازی فیدبک حالت و خروجی اینست که در حالیکه پایدار سازی بوسیله فیدبک حالت به یک مسأله محدب ختم میشود، فیدبک خروجی موجب تبدیل مسأله به یک مسأله غیرمحدب میگردد و موجب دشواری های محاسباتی میشود. چراکه پاسخ یک مسأله محدب را میتوان توسط جعبه ابزار برخی نرم افزار ها نظیر جعبه ابزار LMI در نرم افزار MATLAB، یافت که نیازمند یک زمان چند جمله ای27 میباشد و بسیاری از مسائل کنترلی مهم که از فیدبک حالت بهره میبرند را میتوان توسط تکنیک های نامعادله ماتریسی خطی حل نمود. از سوی دیگر یافتن پاسخ یک مسأله غیرمحدب بطور عمومی نیازمند یک زمان غیر چند جمله ای28 میباشد به این معنا که یک افزایش کوچک در ابعاد به دلیل افزایش بسیار زیاد زمان محاسبات موجب عدم کارآیی الگوریتم میگردد.
در این بخش به بحث در مورد مسئله پایدار سازی یک سیستم حلقه باز ناپایدار توسط فیدبک استاتیک خروجی میپردازیم. در ابتدا برخی شرایط لازم و سپس برخی شرایط کافی برای قابل حل بودن مسئله را ارائه خواهیم نمود. پس از آن برخی روش های مورد استفاده برای یافتن بهره پایدار ساز را مورد بحث قرار میدهیم.
3-2-1- شرایط لازم
در ابتدا به شناسایی مواردی خواهیم پرداخت که فیدبک استاتیک نمیتواند یک سیستم حقله باز ناپایدار را پایدار سازد. به منظور بیان این شرایط تئوری های زیر را مد نظر قرار میدهیم:
تئوری 3-1
یک سیستم خطی با تابع تبدیل توسط یک جبرانساز پایدار پایدار پذیر است، اگر و تنها اگر تعداد قطب های حقیقی بین هر جفت از صفر های حقیقی مسدود کننده29 در نیم صفحه راست زوج باشد. سیستمی که محدودیت های قطب- صفر را برآورده میکند، برآورده کننده PIP 30 گفته میشود.
تئوری 3-2
یک سیستم خطی با تابع تبدیل توسط یک جبرانساز پایدار که هیچ صفر حقیقی ناپایداری ندارد، پایدار پذیر است اگر و تنها اگر:
برآورده کننده PIP باشد.
تعداد صفر های حقیقی مسدود کننده بین هر دو قطب حقیقی زوج باشد.
در این مورد گفته میشود که ، PIP زوج را برآورده مینماید.
با استفاده از تئوری 3-2 شرط لازم ذیل بدست می آید.
شرط لازم: شرط لازم جهت پایداری پذیری توسط فیدبک استاتیک خروجی آنست که سیستم با تابع تبدیل ، PIP زوج را برآورده سازد.
مثال 3-1
سیستمی که دارای تابع تبدیل زیر است:
برای ، PIP را برآورده نمیکند و بنابراین توسط SOF پایدار نمیگردد. به ازای ، PIP زوج برآورده شده و برای مقادیر به اندازه کافی کوچک یک تحلیل ساده مکان هندسی ریشه ها نشان میدهد که سیستم توسط SOF پایداری پذیر میباشد.
3-2-2- شرایط کافی
با توجه به تحلیل های صورت گرفته در این زمینه مانند مکان هندسی ریشه، میتوان گفت که مینیمم فاز بودن و شرایط درجه نسبی31 شروط لازم و کافی جهت بطور اکید حقیقی مثبت32 (SPR) ساختن یک سیستم مربعی (تعداد ورودی ها و خروجی ها برابر باشند) با استفاده از فیدبک استاتیک خروجی میباشند.
3-2-3- روش های طراحی و محدودیت ها
در مورد سیستم های تک ورودی- تک خروجی (SISO)، روش های گرافیکی نظیر مکان هندسی ریشه ها و نایکوئیست جهت پاسخگویی به مسائل وجود و طراحی کنترل کننده های استاتیکی خروجی پایدار ساز استفاده میشوند. علاوه بر آن برخی تست های جبری لازم و کافی برای وجود فیدبک های خروجی پایدار ساز وجود دارند (Ielmke and Anderson,1992; Perez et al.,1993). به هر حال این تست ها نیازمند برخی اقدامات ابتدایی نظیر یافتن ریشه ها و مقادیر ویژه میباشند که موجب میشود دشواری آنها کمتر از روش های گرافیکی نباشد. علاوه بر آن این روش ها به راحتی قابل تعمیم به سیستم های چند ورودی- چند خروجی (MIMO) نمیباشند.
در این بخش به بیان اجمالی برخی نتایج که در حل مسائل مربوط به فیدبک استاتیک خروجی مفید میباشند خواهیم پرداخت و ویژگی های آنها را مورد بررسی قرار میدهیم. ایده کلی آنست که یک فیدبک استاتیک خروجی پایدار ساز بایستی یک عضو از خانواده تمامی جبرانساز های فیدبک خروجی پایدار ساز باشد.
روش مرتبه دوم خطی معکوس33
سیستم زیر را در نظر بگیرید:
(3-1)
و در نظر میگیریم. علامت خنجر بیانگر معکوس Moore-Penrose 34 میباشد. آنگاه سیستم توسط فیدبک استاتیک خروجی پایدار پذیر است اگر و تنها اگر ماتریس های ، و با ابعاد مناسب وجود داشته باشند بطوریکه معادله جبری زیر یک جواب یکتای داشته باشد.
(3-2)

این مطلب رو هم توصیه می کنم بخونین:   منابع پایان نامه با موضوعشخص ثالث، بازپرداخت
دسته‌ها: No category

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