Control synthesis for stochastic systems given automata specifications defined by stochastic sets

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