相关论文: Using transition systems to describe and predict t…

The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for…

Flow through passive porous media is typically described in terms of a linear theory relating current fluxes and driving forces, in the presence of a prescribed heterogeneous permeability. However, many porous systems such as glacial…

In principle, all the natural systems such as biological, ecological and economical systems are structure-variable systems (in which some environment parameters are not fixed). In this Letter we show that data sequences from many…

In computer science, there is a distinction between closed systems, whose behavior is totally determined in advance, and open systems, that are systems maintaining a constant interaction with an unspecified environment. Closed systems are…

Many systems occurring in real-world applications, such as controlling the motions of robots or modeling the spread of diseases, are switched impulsive systems. To ensure that the system state stays in a safe region (e.g., to avoid…

Many classic questions of structural theory concern discrete changes, such as the formation or dissolution of groups, role turnover, or faction realignment. Here, we consider a basic framework combining prior work on change paths and recent…

We explore the critical behaviors in the dynamics of information transfer of a biologically-inspired system by an individual-based model. "Quorum response", a type of social interaction which has been recognized taxonomically in animal…

We revisit the behavioral approach to systems theory and make explicit the abstract pattern that governs it. Our end goal is to use that pattern to understand interaction-related phenomena that emerge when systems interact. Rather than…

Coherent oscillatory activity can arise spontaneously as a result of increased coupling in a system of excitable and passive cells, each being quiescent in isolation. This can potentially explain the appearance of spontaneous rhythmic…

Motivated by recent observations that long-range connections (LRC) play a role in various brain phenomena, we have observed two distinct dynamical transitions in the activity of excitable media where waves propagate both between neighboring…

Here we numerically study a model of excitable media, namely, a network with occasionally quiet nodes and connection weights that vary with activity on a short-time scale. Even in the absence of stimuli, this exhibits unstable dynamics,…

Transition State Theory is a central cornerstone in reaction dynamics. Its key step is the identification of a dividing surface that is crossed only once by all reactive trajectories. This assumption is often badly violated, especially when…

This note aims to bring attention to a simple class of discrete dynamical systems exhibiting some complex behaviour. Each of these systems is defined as a self-mapping of the unit square and is obtained by coupling two families of…

We investigate the response of an excitable medium to a localized perturbation in the presence of a two-dimensional smooth chaotic flow. Two distinct types of flows are numerically considered: open and closed. For both of them three…

Systems biology models are useful models of complex biological systems that may require a large amount of experimental data to fit each model's parameters or to approximate a likelihood function. These models range from a few to thousands…

Local periodic perturbations induce frequency-dependent propagation waves in an excitable spatio-temporally chaotic system. We show how segments of noise-contaminated and chaotic perturbations induce characteristic sequences of excitations…

In this paper, we introduce a compositional method for the construction of finite abstractions of interconnected discrete-time switched systems. Particularly, we use a notion of so-called alternating simulation function as a relation…

We construct a model of an excitable medium with elastic rather than the usual diffusive coupling. We explore the dynamics of elastic excitable media, which we find to be dominated by low dimensional structures, including global…

We propose a formal model of concurrent systems in which the history of a computation is explicitly represented as a collection of events that provide a view of a sequence of configurations. In our model events generated by transitions…

A biological regulatory network can be modeled as a discrete function that contains all available information on network component interactions. From this function we can derive a graph representation of the network structure as well as of…