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