A formal methods approach to pattern synthesis in reaction diffusion systems
A formal methods approach to pattern synthesis in reaction diffusion systems
复制标题
反应扩散系统中模式合成的形式化方法
DOI：
10.1109/cdc.2014.7039367
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
C. Belta
中科院分区：
文献类型：
--
作者：
Ebru Aydin Gol;E. Bartocci;C. 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 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.