Bisimulations for fuzzy transition systems revisited

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