The paper provides some results of a systematic investigation into the global and space-time behaviour of certain excitable systems. The systems include both static subjects of excitation (the cellular automata model of excitable media), and also excitable mobile agents moving on a lattice (lattice swarm systems). The duration of excitation of a cell of the automaton was the main parameter for ...

Existence of a phase separation is proved for a classical lattice gas with finite-range pair potential under the action of a weak gravitational field.

The lattice Boltzmann method (LBM) is used in computational fluid mechanics (CFD) to simulate flows. Introduced by McNamara [3] the LBM historically is based on lattice gas automata. Instead simulating each particle a statistical average for a sufficient small control volume is applied. The LBM can also be considered as the solution to a velocity-discrete Boltzmann equation with an appropriate ...

Fredkin’s Billiard Ball Model (BBM) is a continuous classical mechanical model of computation based on the elastic collisions of identical finite-diameter hard spheres. When the BBM is initialized appropriately, the sequence of states that appear at successive integer time-steps is equivalent to a discrete digital dynamics. Here we discuss some models of computation that are based on the elasti...

Vacuity checking is traditionally performed after model checking has terminated successfully. It ensures that all the elements of the specification have played a role in its satisfaction by the system. The need to check the quality of specifications is even more acute in property-based design, where the specification is the only input, serving as a basis to the development of the system. Inhere...

Fredkin’s Billiard Ball Model (BBM) is a continuous classical mechanical model of computation based on the elastic collisions of identical finite-diameter hard spheres. When the BBM is initialized appropriately, the sequence of states that appear at successive integer time-steps is equivalent to a discrete digital dynamics. Here we discuss some models of computation that are based on the elasti...

In-stent restenosis, the maladaptive response of a blood vessel to injury caused by the deployment of a stent, is a multiscale system involving a large number of biological and physical processes. We describe a Complex Automata Model for in-stent restenosis, coupling blood flow, drug diffusion, and smooth muscle cell models, all operating on different time scales. The Haemodynamics is handled u...

Cellular automata (CA) are discrete dynamical systems consisting in an infinite number of finite automata arranged on a regular lattice. Each node of the lattice contains a variable which can only take a finite number of different values. At any time, the state of the CA, also called its current configuration, is specified by the values of those variables. A CA make evolve its configuration in ...