Certified policy synthesis for general Markov decision processes: An application in building automation systems

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