کنترل کننده ایمن (Safe Controller)، در ریاضیات (Mathematics)
انواع کنترل کننده ها (Controller) را در آموزش زیر شرح دادیم :
کنترل کننده ایمن (Safe Controller) :
کنترل با تضمین ایمنی و عدم ورود به مناطق خطرناک
کنترل کننده ایمن یا Safe Controller یک کنترل کننده است که به طور صریح ملاحظات ایمنی را در طراحی خود در نظر می گیرد. هدف اصلی آن تضمین این است که سیستم هرگز وارد مناطق خطرناک (مجموعه حالت های ناایمن) نشود، حتی در حضور عدم قطعیت یا اغتشاشات. این مفهوم در سیستم های حیاتی مانند خودروهای خودران، ربات های همکار، و تجهیزات پزشکی بسیار مهم است.
روش های مختلفی برای تضمین ایمنی وجود دارد: تابع مانع کنترلی (Control Barrier Function - CBF)، مجموعه های مانا (invariant sets)، کنترل پیش بین با قیود ایمنی، و معماری های نظارتی که در صورت تشخیص خطر، کنترل را از کنترل کننده عملکردی به یک کنترل کننده اضطراری ایمن سوئیچ می کنند.
\[ \dot{h}(x) + \alpha h(x) \ge 0 \quad \text{(شرط تابع مانع)} \]کاربردها: خودروهای خودران (جلوگیری از برخورد)، ربات های همکار (جلوگیری از آسیب به انسان)، پهپادها (جلوگیری از ورود به مناطق ممنوعه)، تجهیزات پزشکی (تزریق دوز ایمن)، سیستم های قدرت (جلوگیری از ناپایداری).
✅ مزایا: تضمین ایمنی به صورت ریاضی، قابل ترکیب با کنترل کننده های عملکردی، افزایش پذیرش در کاربردهای حساس.
⚠️ معایب: ممکن است عملکرد را محدود کند (ایمنی در مقابل کارایی)، طراحی پیچیده تر، نیاز به مدل نسبتا دقیق.
تابع مانع کنترلی (CBF) یک روش محبوب برای تضمین ایمنی است. یک تابع مانع، مجموعه ایمن را تعریف می کند و یک شرط بر روی مشتق آن اعمال می شود که اگر ورودی کنترلی آن شرط را ارضا کند، سیستم هرگز از مجموعه ایمن خارج نخواهد شد. این شرط می تواند به عنوان یک قید به یک کنترل کننده عملکردی (مانند PID یا MPC) اضافه شود.
مثال: یک خودروی خودران باید در فاصله ایمن از خودروی جلویی باقی بماند. یک کنترل کننده عملکردی می خواهد سرعت مطلوب را دنبال کند. یک تابع مانع کنترلی با تعریف یک فاصله ایمن، هرگاه فاصله به حد بحرانی نزدیک شود، یک قید به مسئله بهینه سازی اضافه می کند که خودرو را مجبور به ترمز کردن می کند، حتی اگر با هدف ردیابی سرعت در تضاد باشد.
