Model measuring for discrete and hybrid systems

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