A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems

09/12/2014
by   Ebru Aydin Gol, et al.
0

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 semantics is defined over the quad-tree of a partitioned image. We show that formulas in this logic can be efficiently learned from positive and negative examples of several types of patterns. We also demonstrate that pattern detection, which is implemented as a model checking algorithm, performs very well for test data sets different from the learning sets. We define a quantitative semantics for the logic and integrate the model checking algorithm with particle swarm optimization in a computational framework for synthesis of parameters leading to desired patterns in reaction-diffusion systems.

READ FULL TEXT

page 3

page 6

page 7

research
09/21/2022

Model-Checking Branching-Time Properties of Stateless Probabilistic Pushdown Systems and Its Quantum Extension

In this work, we first resolve a question in the probabilistic verificat...
research
10/06/2020

QCTL model-checking with QBF solvers

Quantified CTL (QCTL) extends the temporal logic CTL with quantification...
research
12/20/2021

Learning Spatio-Temporal Specifications for Dynamical Systems

Learning dynamical systems properties from data provides important insig...
research
01/03/2023

Exploring Complex Dynamical Systems via Nonconvex Optimization

Cataloging the complex behaviors of dynamical systems can be challenging...
research
08/17/2020

A modified Allen-Cahn model for pattern synthesis on surfaces

We propose an extension of the Allen-Cahn model for pattern synthesis on...
research
04/09/2018

Cognition in Dynamical Systems, Second Edition

Cognition is the process of knowing. As carried out by a dynamical syste...
research
06/22/2021

Differentiable Programming of Reaction-Diffusion Patterns

Reaction-Diffusion (RD) systems provide a computational framework that g...

Please sign up or login with your details

Forgot password? Click here to reset