Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387142693> ?p ?o ?g. }
- W4387142693 endingPage "108729" @default.
- W4387142693 startingPage "108729" @default.
- W4387142693 abstract "Simulations and bisimulations are well-established notions in crisp/fuzzy automata theory and are widely used to compare the behaviors of automata. Their main drawback is that they compare the behaviors of fuzzy automata in a crisp manner. Recently, fuzzy simulations and fuzzy bisimulations have been defined for fuzzy automata as a kind of approximate simulations and approximate bisimulations that compare the behaviors of fuzzy automata in a fuzzy manner. However, they still suffer from serious shortcomings. First, they still cannot correlate all fuzzy automata that are intuitively “more or less” (bi)similar. Second, the currently known algorithms for computing the greatest fuzzy simulation or bisimulation between two finite fuzzy automata have an exponential time complexity when the Łukasiewicz or the product structure of fuzzy values is used. This work deals with these problems, providing approximations of fuzzy simulations and fuzzy bisimulations. We define such approximations via a novel notion of decreasing sequences of fuzzy relations whose infima are, under some conditions, fuzzy simulations (respectively, bisimulations). We call such a sequence a depth-bounded fuzzy simulation (respectively, bisimulation), as the nth element from the sequence compares the behaviors of fuzzy automata, but only for words with a length bounded by n. We further provide a logical characterization of the greatest depth-bounded fuzzy simulation or bisimulation between two fuzzy automata by proving that it satisfies the corresponding Hennessy-Milner property. Finally, we provide polynomial-time algorithms for computing the nth component of the greatest depth-bounded fuzzy simulation (respectively, bisimulation) between two finite fuzzy automata." @default.
- W4387142693 created "2023-09-29" @default.
- W4387142693 creator A5055424683 @default.
- W4387142693 creator A5060100526 @default.
- W4387142693 creator A5062281483 @default.
- W4387142693 date "2023-12-01" @default.
- W4387142693 modified "2023-10-09" @default.
- W4387142693 title "Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata" @default.
- W4387142693 cites W1645024112 @default.
- W4387142693 cites W1979707769 @default.
- W4387142693 cites W1979882148 @default.
- W4387142693 cites W1989709510 @default.
- W4387142693 cites W2021035966 @default.
- W4387142693 cites W2038170597 @default.
- W4387142693 cites W2039645904 @default.
- W4387142693 cites W2041407107 @default.
- W4387142693 cites W2043791541 @default.
- W4387142693 cites W2083896909 @default.
- W4387142693 cites W2086275630 @default.
- W4387142693 cites W2088189255 @default.
- W4387142693 cites W2090349619 @default.
- W4387142693 cites W2097074325 @default.
- W4387142693 cites W2119199978 @default.
- W4387142693 cites W2167043222 @default.
- W4387142693 cites W2186273310 @default.
- W4387142693 cites W2588117657 @default.
- W4387142693 cites W2594800718 @default.
- W4387142693 cites W2733196847 @default.
- W4387142693 cites W2756038926 @default.
- W4387142693 cites W2766383177 @default.
- W4387142693 cites W2767905287 @default.
- W4387142693 cites W2795659699 @default.
- W4387142693 cites W2801388205 @default.
- W4387142693 cites W2890407091 @default.
- W4387142693 cites W2964854675 @default.
- W4387142693 cites W2968098646 @default.
- W4387142693 cites W3008545762 @default.
- W4387142693 cites W3014779361 @default.
- W4387142693 cites W3014880524 @default.
- W4387142693 cites W3106985546 @default.
- W4387142693 cites W3110756423 @default.
- W4387142693 cites W3160065014 @default.
- W4387142693 cites W3195270167 @default.
- W4387142693 cites W3209426321 @default.
- W4387142693 cites W4229459183 @default.
- W4387142693 cites W4291653509 @default.
- W4387142693 cites W4312397424 @default.
- W4387142693 cites W4319334966 @default.
- W4387142693 cites W4319997128 @default.
- W4387142693 cites W4320913976 @default.
- W4387142693 doi "https://doi.org/10.1016/j.fss.2023.108729" @default.
- W4387142693 hasPublicationYear "2023" @default.
- W4387142693 type Work @default.
- W4387142693 citedByCount "0" @default.
- W4387142693 crossrefType "journal-article" @default.
- W4387142693 hasAuthorship W4387142693A5055424683 @default.
- W4387142693 hasAuthorship W4387142693A5060100526 @default.
- W4387142693 hasAuthorship W4387142693A5062281483 @default.
- W4387142693 hasConcept C11413529 @default.
- W4387142693 hasConcept C115740575 @default.
- W4387142693 hasConcept C118615104 @default.
- W4387142693 hasConcept C127385683 @default.
- W4387142693 hasConcept C134306372 @default.
- W4387142693 hasConcept C135315306 @default.
- W4387142693 hasConcept C136119220 @default.
- W4387142693 hasConcept C144170203 @default.
- W4387142693 hasConcept C148671577 @default.
- W4387142693 hasConcept C154945302 @default.
- W4387142693 hasConcept C17350324 @default.
- W4387142693 hasConcept C1883856 @default.
- W4387142693 hasConcept C202444582 @default.
- W4387142693 hasConcept C33923547 @default.
- W4387142693 hasConcept C34388435 @default.
- W4387142693 hasConcept C41008148 @default.
- W4387142693 hasConcept C42011625 @default.
- W4387142693 hasConcept C58166 @default.
- W4387142693 hasConcept C80444323 @default.
- W4387142693 hasConceptScore W4387142693C11413529 @default.
- W4387142693 hasConceptScore W4387142693C115740575 @default.
- W4387142693 hasConceptScore W4387142693C118615104 @default.
- W4387142693 hasConceptScore W4387142693C127385683 @default.
- W4387142693 hasConceptScore W4387142693C134306372 @default.
- W4387142693 hasConceptScore W4387142693C135315306 @default.
- W4387142693 hasConceptScore W4387142693C136119220 @default.
- W4387142693 hasConceptScore W4387142693C144170203 @default.
- W4387142693 hasConceptScore W4387142693C148671577 @default.
- W4387142693 hasConceptScore W4387142693C154945302 @default.
- W4387142693 hasConceptScore W4387142693C17350324 @default.
- W4387142693 hasConceptScore W4387142693C1883856 @default.
- W4387142693 hasConceptScore W4387142693C202444582 @default.
- W4387142693 hasConceptScore W4387142693C33923547 @default.
- W4387142693 hasConceptScore W4387142693C34388435 @default.
- W4387142693 hasConceptScore W4387142693C41008148 @default.
- W4387142693 hasConceptScore W4387142693C42011625 @default.
- W4387142693 hasConceptScore W4387142693C58166 @default.
- W4387142693 hasConceptScore W4387142693C80444323 @default.
- W4387142693 hasFunder F4320322729 @default.
- W4387142693 hasFunder F4320329307 @default.