Synchronization Through Uncorrelated Noise in Excitatory-Inhibitory Networks

© 2022 Rebscher, Obermayer and Metzner. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY)Gamma rhythms play a major role in many different processes in the brain, such as attention, working memory, and sensory processing. While typically considered detrimental, counterintuitively noise can sometimes have beneficial effects on communication and information transfer. Recently, Meng and Riecke showed that synchronization of interacting networks of inhibitory neurons in the gamma band (i.e., gamma generated through an ING mechanism) increases while synchronization within these networks decreases when neurons are subject to uncorrelated noise. However, experimental and modeling studies point towardz an important role of the pyramidal-interneuronal network gamma (PING) mechanism in the cortex. Therefore, we investigated the effect of uncorrelated noise on the communication between excitatory-inhibitory networks producing gamma oscillations via a PING mechanism. Our results suggest that, at least in a certain range of noise strengths and natural frequency differences between the regions, synaptic noise can have a supporting role in facilitating inter-regional communication, similar to the ING case for a slightly larger parameter range. Furthermore, the noise-induced synchronization between networks is generated via a different mechanism than when synchronization is mediated by strong synaptic coupling. Noise-induced synchronization is achieved by lowering synchronization within networks which allows the respective other network to impose its own gamma rhythm resulting in synchronization between networks.Peer reviewedFinal Published versio

Emergence of coherent motion in aggregates of motile coupled maps

In this paper we study the emergence of coherence in collective motion described by a system of interacting motiles endowed with an inner, adaptative, steering mechanism. By means of a nonlinear parametric coupling, the system elements are able to swing along the route to chaos. Thereby, each motile can display different types of behavior, i.e. from ordered to fully erratic motion, accordingly with its surrounding conditions. The appearance of patterns of collective motion is shown to be related to the emergence of interparticle synchronization and the degree of coherence of motion is quantified by means of a graph representation. The effects related to the density of particles and to interparticle distances are explored. It is shown that the higher degrees of coherence and group cohesion are attained when the system elements display a combination of ordered and chaotic behaviors, which emerges from a collective self-organization process.Comment: 33 pages, 12 figures, accepted for publication at Chaos, Solitons and Fractal

A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems

Trust and reputation models for distributed, collaborative systems have been studied and applied in several domains, in order to stimulate cooperation while preventing selfish and malicious behaviors. Nonetheless, such models have received less attention in the process of specifying and analyzing formally the functionalities of the systems mentioned above. The objective of this paper is to define a process algebraic framework for the modeling of systems that use (i) trust and reputation to govern the interactions among nodes, and (ii) communication models characterized by a high level of adaptiveness and flexibility. Hence, we propose a formalism for verifying, through model checking techniques, the robustness of these systems with respect to the typical attacks conducted against webs of trust.Comment: In Proceedings FORECAST 2016, arXiv:1607.0200

Interacting Components

SystemCSP is a graphical modeling language based on both CSP and concepts of component-based software development. The component framework of SystemCSP enables specification of both interaction scenarios and relative execution ordering among components. Specification and implementation of interaction among participating components is formalized via the notion of interaction contract. The used approach enables incremental design of execution diagrams by adding restrictions in different interaction diagrams throughout the process of system design. In this way all different diagrams are related into a single formally verifiable system. The concept of reusable formally verifiable interaction contracts is illustrated by designing set of design patterns for typical fault tolerance interaction scenarios

The Simulation Model Partitioning Problem: an Adaptive Solution Based on Self-Clustering (Extended Version)

This paper is about partitioning in parallel and distributed simulation. That means decomposing the simulation model into a numberof components and to properly allocate them on the execution units. An adaptive solution based on self-clustering, that considers both communication reduction and computational load-balancing, is proposed. The implementation of the proposed mechanism is tested using a simulation model that is challenging both in terms of structure and dynamicity. Various configurations of the simulation model and the execution environment have been considered. The obtained performance results are analyzed using a reference cost model. The results demonstrate that the proposed approach is promising and that it can reduce the simulation execution time in both parallel and distributed architectures

Modeling Cell-to-Cell Communication Networks Using Response-Time Distributions.

Cell-to-cell communication networks have critical roles in coordinating diverse organismal processes, such as tissue development or immune cell response. However, compared with intracellular signal transduction networks, the function and engineering principles of cell-to-cell communication networks are far less understood. Major complications include: cells are themselves regulated by complex intracellular signaling networks; individual cells are heterogeneous; and output of any one cell can recursively become an additional input signal to other cells. Here, we make use of a framework that treats intracellular signal transduction networks as "black boxes" with characterized input-to-output response relationships. We study simple cell-to-cell communication circuit motifs and find conditions that generate bimodal responses in time, as well as mechanisms for independently controlling synchronization and delay of cell-population responses. We apply our modeling approach to explain otherwise puzzling data on cytokine secretion onset times in T cells. Our approach can be used to predict communication network structure using experimentally accessible input-to-output measurements and without detailed knowledge of intermediate steps