Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study

ما یک رویکرد برای سنتز کنترل رسمی سیستم فاضلاب بارسلونا را ارائه می دهیم. هدف کنترل کننده این است که به حداقل رساندن سرریز در سیستم و کاهش آلودگی محیط زیست (آلودگی). با توجه به تاثیرات ناگهانی و غیر قابل پیش بینی تغییرات آب و هوایی در آب و هوای مدیترانه، ما پیشنهاد می کنیم استراتژی کنترل پیش بینی کننده مدل قوی باشد. این رویکرد، ورودی های کنترل (به عنوان مثال، جریان ها از طریق محرک های شبکه) را ایجاد می کند که سیستم را در پیش بینی آب و هوای نامطمئن ایجاد می کند. ورودی های کنترل به صورت آنلاین به روز می شوند تا اندازه گیری های جدید در دسترس از سیستم و اختلالات را شامل شود. ما منطق زمانی را به عنوان مکانیسم رسمی برای بیان رفتار مطلوب سیستم استفاده می کنیم. معانی کمی از منطق سپس برای رمزگذاری رفتار مطلوب در هر دو مجموعه محدودیت ها و تابع هدف از مشکل بهینه سازی استفاده می شود. ما یک رویکرد راه حل برای بدست آوردن بهینه سازی بدست آمده را پیشنهاد می دهیم که بر مبنای تبدیل دینامیک غیرخطی سیستم به یک مدل دینامیکی منطقی مخلوط است. سپس، نمونه برداری از مونت کارلو و اصلاح دوگانه را برای دریافت یک مسئله برنامه ریزی خطی یا درجه دوم مختلط مختلط استخراج می کنیم. رویکرد پیشنهادی برای تصفیه پساب سیستم بارسلون برای نشان دادن اثربخشی آن اعمال می شود.