In today's world of connectivity, various domains use different multi-sensor Internet of Things
(IoT) and Intelligent Systems (IS) applications. These applications involve extensive …

Intelligent applications are highly susceptible to uncertainty and inconsistency due to the
intense and intricate interactions among their autonomous components (or agents), making …

Bisimulations are established forms of behavioral equivalences for discrete event systems.
Recently, bisimulations have been introduced to fuzzy transition systems (FTSs) and …

Generalized possibility Kripke structure (GPKS) plays a key role in modeling fuzzy systems
for possibilistic model checking. However, it is unrealistic, in practice, to produce manually a …

Bisimulation techniques have been recently introduced to fuzzy transition systems to
compare their behavior. When studying bisimulation, one of the most popular methods is …

The rapid integration of the Internet of Things (IoT) with ad hoc networks offers significant
advantages for revolutionizing smart environments. However, ensuring trust and reliability …

In this article, we introduce fuzzy minimax nets as a novel tool to compute the greatest fuzzy
bisimulation/simulation between two finite fuzzy labeled graphs. Fuzzy labeled graphs are a …

For the purpose of reducing the number of states of fuzzy automata, we study approximate
bisimulations of fuzzy automata under fuzzy similarity measures, which are induced by …

Network control of autonomous robotic devices involves a vast number of secured data
coding, verification, and identification procedures to provide reliable work of distant agents …

Probabilistic model checking has received increasing attention in formal verification.
Meanwhile, in the fuzzy setting, the possibilistic model checking has been well studied by Li …