Related papers: The mobile Boolean model: an overview and further …
"Bubble Ball" is a game built on a 2D physics engine, where a finite set of objects can modify the motion of a bubble-like ball. The objective is to choose the set and the initial configuration of the objects, in order to get the ball to…
We prove the existence and uniqueness of a strong solution of a stochastic differential equation with normal reflection representing the random motion of finitely many globules. Each globule is a sphere with time-dependent random radius and…
We unify and extend the semigroup and the PDE approaches to stochastic maximal regularity of time-dependent semilinear parabolic problems with noise given by a cylindrical Brownian motion. We treat random coefficients that are only…
We study the target control problem of asynchronous Boolean networks, to identify a set of nodes, the perturbation of which can drive the dynamics of the network from any initial state to the desired steady state (or attractor). We are…
We present a theory for the steady-state dynamics of a two-dimensional system of spherically symmetric active Brownian particles. The derivation of the theory consists of two steps. First, we integrate out the self-propulsions and obtain a…
We study a simple model of a bouncing ball that takes explicitely into account the elastic deformability of the body and the energy dissipation due to internal friction. We show that this model is not subject to the problem of inelastic…
Our Recent advancements in stochastic processes have illuminated a paradox associated with the Einstein model of Brownian motion. The model predicts an infinite propagation speed, conflicting with the second law of thermodynamics. The…
We study the dynamics defined by the Boltzmann equation set in the Euclidean space $\mathbb{R}^D$ in the vicinity of global Maxwellians with finite mass. A global Maxwellian is a special solution of the Boltzmann equation for which the…
This paper presents a method to detect and recognize symmetries in Boolean functions. The idea is to use information theoretic measures of Boolean functions to detect sub-space of possible symmetric variables. Coupled with the new…
Let $B=(B_t)_{t\geq 0}$ be a standard Brownian motion. The main objective is to find a uniform (in time) control of the modulus of continuity of $B$ in the spirit of what appears in (Kurtz, 1978). More precisely, it involves the control of…
A stochastic field theory approach is applied to a coarse-grained polymer model that will enable studies of polymer behavior under non-equilibrium conditions. This article is focused on the validation of the new model in comparison to…
We consider a collection of weighted Euclidian random balls in R^d distributed according a determinantal point process. We perform a zoom-out procedure by shrinking the radii while increasing the number of balls. We observe that the…
We consider the stochastic target problem of finding the collection of initial laws of a mean-field stochastic differential equation such that we can control its evolution to ensure that it reaches a prescribed set of terminal probability…
To model biological systems using networks, it is desirable to allow more than two levels of expression for the nodes and to allow the introduction of parameters. Various modeling and simulation methods addressing these needs using Boolean…
We propose a geometric approach for bounding average stopping times for stopped random walks in discrete and continuous time. We consider stopping times in the hyperspace of time indexes and stochastic processes. Our techniques relies on…
Inference for mechanistic models is challenging because of nonlinear interactions between model parameters and a lack of identifiability. Here we focus on a specific class of mechanistic models, which we term stable differential equations.…
Encounter-based models of diffusion provide a probabilistic framework for analyzing the effects of a partially absorbing reactive surface, in which the probability of absorption depends upon the amount of surface-particle contact time.…
A Boolean network is a mapping $f :\{0,1\}^n \to \{0,1\}^n$, which can be used to model networks of $n$ interacting entities, each having a local Boolean state that evolves over time according to a deterministic function of the current…
We study Boolean models on Riemannian symmetric spaces driven by homogeneous insertion- or deletion-tolerant point processes. We prove that in both the set covered by the balls (the occupied set) and its complement (the vacant set), one…
This work develops a measurement-driven and model-based formal verification approach, applicable to systems with partly unknown dynamics. We provide a principled method, grounded on reachability analysis and on Bayesian inference, to…