Hydrodynamics of stochastic cellular automata

We investigate a stochastic version of cellular automata used for simulating hydrodynamical flows, e.g. the HPP and FHP models. The extra stochasticity consists of "random exchanges" between neighboring cells which conserve momentum. We prove that, in suitable limits, these models satisfy the appropriate continuous Boltzmann and hydrodynamic equations, the same as those conjectured for the original models (except that there is no negative viscosity contribution). The results are obtained by proving a very strong form of propagation of chaos and by using Hilbert-Chapman-Enskog type expansions. Explicit proofs are presented for the stochastic HPP model.