Related papers: A Type System for a Stochastic CLS
Organisms are equipped with regulatory systems that display a variety of dynamical behaviours ranging from simple stable steady states, to switching and multistability, to oscillations. Earlier work has shown that oscillations in protein…
A powerful time series analysis modeling technique is presented to describe cycle-to-cycle variability in memristors. These devices show variability linked to the inherent stochasticity of device operation and it needs to be accurately…
Chemical reactions can be described as the stepwise redistribution of electrons in molecules. As such, reactions are often depicted using `arrow-pushing' diagrams which show this movement as a sequence of arrows. We propose an electron path…
Positive linear systems on arbitrary time scales are studied. The theory developed in the paper unifies and extends concepts and results known for continuous-time and discrete-time systems. A necessary and sufficient condition for a linear…
Complex systems performing spiking dynamics are widespread in Nature. They cover from earthquakes, to neurons, variable stars, social networks, or stock markets. Understanding and characterizing their dynamics is relevant in order to detect…
We present a simple analytical tool which gives an approximate insight into the stationary behavior of nonlinear systems undergoing the influence of a weak and rapid noise from one dominating source, e.g. the kinetic equations describing a…
Deadlocks occur in concurrent programs as a consequence of cyclic resource acquisition between threads. In this paper we present a novel type system that guarantees deadlock freedom for a language with references, unstructured locking…
Biological living systems in general exhibit complex and diverse dynamics. The latter, in particular, is essential, since diversification increases the odds of survival of an organism while reducing the risk of extinction of the population.…
We introduce the calculus of Classical Transitions (CT), which extends the research line on the relationship between linear logic and processes to labelled transitions. The key twist from previous work is registering parallelism in typing…
A general stochastic traffic cellular automaton (CA) model, which includes slow-to-start effect and driver's perspective, is proposed in this paper. It is shown that this model includes well known traffic CA models such as…
The traffic-like collective movement of ants on a trail can be described by a stochastic cellular automaton model. We have earlier investigated its unusual flow-density relation by using various mean field approximations and computer…
In this paper, the author aims to establish a mathematical model for a mimic computer. To this end, a novel automaton is proposed. First, a one-dimensional cellular automaton is used for expressing some dynamic changes in the structure of a…
Controlling complex dynamical systems has been a topic of considerable interest in academic circles in recent decades. While existing works have primarily focused on closed-loop control schemes with infinite-time durations, this paper…
Modelling stochastic systems has many important applications. Normal form coordinate transforms are a powerful way to untangle interesting long term macroscale dynamics from detailed microscale dynamics. We explore such coordinate…
Generating logical form equivalents of human language is a fresh way to employ neural architectures where long short-term memory effectively captures dependencies in both encoder and decoder units. The logical form of the sequence usually…
Molecular machines are stochastic systems that catalyze the energetic processes keeping living cells alive and structured. Inspired by the examples of F1-ATP synthase and the bacterial flagellum, we present a minimal model of an externally…
We introduce a prototype model in an attempt to capture some aspects of market dynamics simulating a trading mechanism. The model description starts with a discrete-space, continuous-time Markov process describing arrival and movement of…
This paper presents an algorithm for approximating certain types of dynamical systems given by a system of ordinary delay differential equations by a Boolean network model. Often Boolean models are much simpler to understand than complex…
A model of phase transitions with coupling between the order parameter and its gradient is proposed. It is shown, that this nonlinear model is suitable for the description of phase transitions accompanied by the formation of spatially…
We introduce a system where an elastic lattice of particles is moved slowly at a constant velocity under the influence of a local external potential, construct a rigid-body model through simplification processes, and show that the two…