A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems

Ebru Aydin Gol, Ezio Bartocci, Calin Belta

We propose a technique to detect and generate patterns in a network of locally interacting dynamical systems. Central to our approach is a novel spatial superposition logic, whose…