کنترل کننده فازی (Fuzzy Logic Controller)، در ریاضیات (Mathematics)
انواع کنترل کننده ها (Controller) را در آموزش زیر شرح دادیم :
کنترل کننده فازی (Fuzzy Logic Controller) :
کنترل بر اساس منطق فازی و دانش انسانی
کنترل کننده فازی یا Fuzzy Logic Controller یک روش کنترل هوشمند است که بر اساس منطق فازی کار می کند. برخلاف منطق کلاسیک که مقادیر فقط صفر یا یک دارند، در منطق فازی هر مقدار می تواند درجه ای از عضویت بین صفر و یک داشته باشد. این کنترل کننده از دانش و تجربه انسان برای کنترل سیستم های پیچیده استفاده می کند.
ساختار کنترل کننده فازی شامل چهار بخش اصلی است: فازی ساز (fuzzifier) که ورودی های عددی را به مقادیر فازی تبدیل می کند، پایگاه قوانین (rule base) که شامل قوانین اگر-آنگاه است، موتور استنتاج (inference engine) که قوانین را اعمال می کند، و غیرفازی ساز (defuzzifier) که خروجی فازی را به عدد تبدیل می کند.
مثال ساده از یک قانون فازی برای کنترل دما: "اگر دما خیلی پایین است، پس بخاری را خیلی زیاد روشن کن". کلمات "خیلی پایین" و "خیلی زیاد" مقادیر فازی هستند.
\[ \mu_A(x) \in [0,1] \quad \text{(تابع عضویت فازی)} \]کاربردها: کنترل ماشین لباسشویی (تشخیص حجم لباس و میزان کثیفی)، کنترل ترمز ABS، کنترل دوربین های اتوماتیک، کنترل قطارهای زیرزمینی، و بسیاری سیستم های صنعتی پیچیده.
✅ مزایا: نیازی به مدل ریاضی دقیق سیستم ندارد، می تواند با دانش انسانی کار کند، با سیستم های غیرخطی به خوبی کار می کند، مقاوم در برابر تغییرات پارامترها.
⚠️ معایب: طراحی قوانین نیاز به تجربه دارد، اثبات پایداری ریاضی دشوار است، ممکن است بهینه نباشد، برای سیستم های ساده بیش از حد پیچیده است.
در کنترل کننده فازی، توابع عضویت می توانند اشکال مختلفی داشته باشند: مثلثی، ذوزنقه ای، گوسی و غیره. انتخاب نوع تابع عضویت و تعداد مجموعه های فازی تأثیر زیادی بر عملکرد دارد.
قوانین فازی معمولا به صورت جدول تصمیم گیری نمایش داده می شوند. برای مثال، برای یک سیستم دو ورودی و یک خروجی، یک جدول دوبعدی از قوانین داریم.
روش های مختلفی برای غیرفازی سازی وجود دارد: روش مرکز سطح (centroid)، روش میانگین حداکثرها، روش بزرگترین حداکثر و غیره.
کنترل کننده فازی می تواند با سایر روش ها مانند PID ترکیب شود (مثلا PID فازی) که در آن ضرایب PID توسط منطق فازی تنظیم می شوند.
از نظر ریاضی، اثبات پایداری سیستم های فازی معمولا با استفاده از روش های تابع لیاپانوف انجام می شود، اما به دلیل غیرخطی بودن، این اثبات ها پیچیده هستند.
