A great amount of work has been devoted to the understanding of the long-time behavior of cellular automata (CA). As for any other kind of dynamical system, the long-time behavior of a CA is described by its attractors. In this context, it has been proved that it is undecidable to know whether every circular configuration of a given CA evolves to some fixed point (not unique). In this paper we prove that it remains undecidable to know whether every circular configuration of a given CA evolves to the {\em same} fixed point. Our proof is based on properties concerning NW-deterministic periodic tilings of the plane. As a corollary it is concluded the (already proved) undecidability of the periodic tiling problem (nevertheless, our approach cou...
For the 1998 conference on Mathematical Foundations of Computer Science (MFCS\u2798) four pape...
The pinning model describes the behavior of a Markov chain in interaction with a distinguished state...
International audienceThis talk will be about local controllability of a control affine system along...
A grouped instance of a cellular automaton (CA) is another one obtained by grouping several states i...
AbstractA great amount of work has been deveted to the understanding of the long-time behavior of ce...
In the Cellular Automata (CA) literature, discrete lines inside (discrete) space-time diagrams are o...
In order to identify complex systems capable of modeling artificial life, we study the notion of com...
The first part of this manuscript falls within the framework of probability theory, and is devoted t...
AbstractIn the present paper, a Lotka–Volterra type mutualism system with several delays is studied....
Cellular automata are a formal model of locally interacting systems which is very simple but suitabl...
Variants of cellular automata consisting of alternating instead of deterministic finite automa...
AbstractBy employing the continuation theorem of coincidence degree theory, the existence of a posit...
A cellular automaton (CA) is an infinite array of cells, each containing the same automaton. The dyn...
We prove that the topological space szd, proposed in is path-connected and has infinite dimension. T...
The main aim of this thesis is the study of cellular automata and discrete dynamical systems on a la...
For the 1998 conference on Mathematical Foundations of Computer Science (MFCS\u2798) four pape...
The pinning model describes the behavior of a Markov chain in interaction with a distinguished state...
International audienceThis talk will be about local controllability of a control affine system along...
A grouped instance of a cellular automaton (CA) is another one obtained by grouping several states i...
AbstractA great amount of work has been deveted to the understanding of the long-time behavior of ce...
In the Cellular Automata (CA) literature, discrete lines inside (discrete) space-time diagrams are o...
In order to identify complex systems capable of modeling artificial life, we study the notion of com...
The first part of this manuscript falls within the framework of probability theory, and is devoted t...
AbstractIn the present paper, a Lotka–Volterra type mutualism system with several delays is studied....
Cellular automata are a formal model of locally interacting systems which is very simple but suitabl...
Variants of cellular automata consisting of alternating instead of deterministic finite automa...
AbstractBy employing the continuation theorem of coincidence degree theory, the existence of a posit...
A cellular automaton (CA) is an infinite array of cells, each containing the same automaton. The dyn...
We prove that the topological space szd, proposed in is path-connected and has infinite dimension. T...
The main aim of this thesis is the study of cellular automata and discrete dynamical systems on a la...
For the 1998 conference on Mathematical Foundations of Computer Science (MFCS\u2798) four pape...
The pinning model describes the behavior of a Markov chain in interaction with a distinguished state...
International audienceThis talk will be about local controllability of a control affine system along...