Optimal constructions for active diagnosis

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