Abstract-The tillsynskontroll teori av fuzzy diskret händelse system (FDES) för fuzzy språk ekvivalens har utvecklats. På sätt och vis har emellertid språklikvärdigheten begränsad uttrycksförmåga. Så om den givna specifikationen inte kan uttryckas genom språklikvärdighet, då fungerar kontrollen för språklikvärdighet inte. I detta dokument etablerar vi vidare tillsynskontrollteorin för FDES för fuzzy simulation ekvivalens, vars uttryckskraft är starkare än den för fuzzy language ekvivalens. För det första formaliserar vi begreppen fuzzy simulation och fuzzy simulation ekvivalens mellan två FDES. Sedan presenterar vi en metod för att avgöra om det finns en suddig simulering eller inte. Dessutom visar vi också flera grundläggande egenskaper hos fuzzy simuleringsrelationer. Därefter lade vi fram begreppet luddig simuleringsbaserad kontrollbarhet, och framför allt visar vi att den fungerar som ett nödvändigt och tillräckligt villkor för att FDES:s luddiga övervakare ska kunna existera. Dessutom studerar vi FDES:s "range"-kontrollproblem. Några exempel ges för att illustrera de viktigaste resultaten. Index Terms-fuzzy diskreta händelsesystem (FDES), övervakningskontroll, fuzzy simulering ekvivalens, simuleringsbaserad kontrollbarhet, fuzzy finita automata.
Som en tillämpning av fuzzy bisimulation teori, Deng och Qiu REF utvecklat övervakning kontroll av fuzzy diskret-event system baserat på simulering ekvivalens.
Supervisory Control of Fuzzy Discrete Event Systems for Simulation Equivalence
{'venue': 'IEEE Transactions on Fuzzy Systems, Vol. 23, No. 1, pp. 178-192, February 2015', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}