Results 111 to 120 of about 13,172 (205)
Generalized fuzzy variable precision rough sets based on bisimulations and the corresponding decision-making. [PDF]
Int J Mach Learn Cybern, 2022 Zhang L, Zhu P.
europepmc +1 more source
On the reduction of chocs bisimulation to π-calculus bisimulation
, 1993 Chocs and p-calculus are two extensions of CCS where, respectively processes and channels are transmissible values. In previous work we have proposed a formalization of the notion of bisimulation for Chocs. In this paper we suggest a more effective way to reason about this notion by means of a translation of Chocs into a variant of the p ...
openaire +2 more sources
Journal of Artificial Intelligence Research, 2018 Bisimulation provides structural conditions to characterize indistinguishability from an external observer between nodes on labeled graphs. It is a fundamental notion used in many areas, such as verification, graph-structured databases, and constraint satisfaction.
Abriola, Sergio +3 more
openaire +5 more sources
Branching Bisimulation Games [PDF]
, 2016 Branching bisimilarity and branching bisimilarity with explicit divergences are typically used in process algebras with silent steps when relating implementations to specifications. When an implementation fails to conform to its specification, i.e., when both are not related by branching bisimilarity [with explicit divergence], pinpointing the root ...
David de Frutos-Escrig +2 more
openaire +2 more sources
Universal axioms for bisimulations
Theoretical Computer Science, 1993 Observation structures as a basic model of concurrent distributed systems are introduced. They are graphs with nodes labelled by observations. In the special case of observation trees their nodes represent computations of systems and the label of a node is an encoding of the observation of the corresponding computation performed from the beginning of ...
DEGANO, PIERPAOLO +2 more
openaire +3 more sources
An enactivist-inspired mathematical model of cognition. [PDF]
Front Neurorobot, 2022 Weinstein V, Sakcak B, LaValle SM.
europepmc +1 more source
Formal methods: practical applications and foundations: Editorial. [PDF]
Form Methods Syst Des, 2022 Ter Beek MH, McIver A.
europepmc +1 more source
Equivalence of hybrid dynamical systems [PDF]
, 2004 A common theme in theoretical computer science (in particular, the theory of distributed processes and computer-aided verification) and in systems and control theory is to charac-terize systems which are ‘externally equivalent’.
Schaft, Arjan van der
core +4 more sources
Approximate Bisimulation for High-Level Datapaths in Intelligent Transportation Systems
Advances in Mechanical Engineering, 2013 A relation called approximate bisimulation is proposed to achieve behavior and structure optimization for a type of high-level datapath whose data exchange processes are expressed by nonlinear polynomial systems. The high-level datapaths are divided into
Hui Deng, Jinzhao Wu, Hongyan Tan
doaj +1 more source
Synthesizing optimal bias in randomized self-stabilization. [PDF]
Distrib Comput, 2022 Volk M +3 more
europepmc +1 more source