Diagnosis of Active Systems: Principles and Techniques

این کتاب درباره تشخیص مبتنی بر مدل دسته‌ای از سیستم‌های رویداد گسسته به نام سیستم‌های فعال است. تقریباً تشخیص مبتنی بر مدل، وظیفه یافتن اجزای معیوب یک سیستم فیزیکی بر اساس رفتار مشاهده شده و مدل سیستم است. یک سیستم فعال، انتزاع یک مصنوع فیزیکی است که به عنوان شبکه‌ای از اتوماتای ​​ارتباطی مدل‌سازی می‌شود. به عنوان مثال، دستگاه حفاظتی یک شبکه انتقال نیرو را می توان به راحتی به عنوان یک سیستم فعال مدل کرد، جایی که بریکرها، دستگاه های حفاظتی و خطوط به طور طبیعی توسط ماشین های حالت محدود توصیف می شوند. وقوع ناهمزمان یک اتصال کوتاه در یک خط یا یک باس بار باعث واکنش دستگاه های حفاظتی می شود که هدف آن جداسازی خط کوتاه است. این واکنش ممکن است معیوب باشد و ممکن است در نهایت چندین خط به جای خط کوتاه شده جدا شوند. مشکل تشخیصی که باید حل شود، کشف دستگاه های معیوب بر اساس بخش قابل مشاهده واکنش است. هنگامی که کار تشخیص انجام شد، از نتایج تولید شده برای تعمیر دستگاه (و همچنین برای بومی سازی اتصال کوتاه، در این مورد نمونه) استفاده می شود. جالب اینجاست که تحقیقات ارائه شده در این کتاب یک دهه پیش توسط پروژه محلی سازی اتصال کوتاه 011 که توسط ENEL، برد برق ایتالیایی، همراه با سایر شرکای صنعتی و دانشگاهی اروپایی انجام شد، آغاز شد.

This book is about model-based diagnosis of a class of discrete-event systems called active systems. Roughly, model-based diagnosis is the task of finding out the faulty components of a physical system based on the observed behavior and the system model. An active system is the abstraction of a physical artefact that is modeled as a network of com­ municating automata. For example, the protection apparatus of a power transmission network can be conveniently modeled as an active system, where breakers, protection devices, and lines are naturally described by finite state machines. The asynchronous occurrence of a short circuit on a line or a bus-bar causes the reaction of the protection devices, which aims to isolate the shorted line. This reaction can be faulty and several lines might be eventually isolated, rather than the shorted line only. The diagnostic problem to be solved is uncovering the faulty devices based the visible part of the reaction. Once the diagnosis task has been on accomplished, the produced results are exploited to fix the apparatus (and also to localize the short circuit, in this sample case). Interestingly, the research presented in this book was triggered a decade ago by a project 011 short circuit localization, conducted by ENEL, the Italian electricity board, along with other industrial and academic European partners.