Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
A formal methods approach to pattern synthesis in reaction diffusion systems
Download
index.pdf
Date
2015-02-12
Author
Aydın Göl, Ebru
Belta, Calin
Metadata
Show full item record
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
.
Item Usage Stats
87
views
28
downloads
Cite This
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.
Subject Keywords
Semantics
,
Steady-state
,
Cost accounting
,
Pattern recognition
,
Model checking
,
Syntactics
,
Silicon
URI
https://hdl.handle.net/11511/33259
DOI
https://doi.org/10.1109/cdc.2014.7039367
Collections
Department of Computer Engineering, Conference / Seminar
Suggestions
OpenMETU
Core
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
Bartocci, Ezio; Aydın Göl, Ebru; Haghighi, Iman; Belta, Calin (2018-03-01)
We introduce a formal framework for specifying, detecting, and generating spatial patterns in reaction diffusion networks. Our approach is based on a novel spatial superposition logic, whose semantics is defined over the quad-tree representation of a partitioned image. We demonstrate how to use rule-based classifiers to efficiently learn spatial superposition logic formulas for several types of patterns from positive and negative examples. We implement pattern detection as a model-checking algorithm and we ...
A neural network approach for approximate force response analyses of a bridge population
Hasançebi, Oğuzhan (2013-03-01)
In this paper, artificial neural networks (ANNs) are used to develop an efficient method for rapid and approximate force response analyses of a bridge population. The single-span reinforced concrete T-beam bridge population in Pennsylvania State is taken as a particular case study. First, a statistical analysis is conducted to examine implicit and explicit dependencies between various geometrical and structural parameters of the bridges, and the governing bridge parameters are identified along with their ra...
Blind Deinterleaving of Signals in Time Series with Self-Attention Based Soft Min-Cost Flow Learning
Can, Oğul; Gürbüz, Yeti Ziya; Yildirim, Berkin; Alatan, Abdullah Aydın (2021-01-01)
We propose an end-to-end learning approach to address deinterleaving of patterns in time series, in particular, radar signals. We link signal clustering problem to min-cost flow as an equivalent problem once the proper costs exist. We formulate a bi-level optimization problem involving min-cost flow as a sub-problem to learn such costs from the supervised training data. We then approximate the lower level optimization problem by self-attention based neural networks and provide a trainable framework that clu...
Functional Mesh Model with Temporal Measurements for Brain Decoding
Onal, Itir; Ozay, Mete; Yarman Vural, Fatoş Tunay (2015-08-29)
We propose a method called Functional Mesh Model with Temporal Measurements (FMM-TM) to estimate a functional relationship among voxels using temporal data, and employ these relationships for brain decoding. For each sample, we measure Blood Oxygenation Level Dependent (BOLD) responses from each voxel, and construct a functional mesh around each voxel (called seed voxel) with its nearest neighbors selected using distance metrics namely Pearson correlation, cosine similarity and Euclidean distance. Then, we ...
A temporal neural network model for constructing connectionist expert system knowledge bases
Alpaslan, Ferda Nur (Elsevier BV, 1996-04-01)
This paper introduces a temporal feedforward neural network model that can be applied to a number of neural network application areas, including connectionist expert systems. The neural network model has a multi-layer structure, i.e. the number of layers is not limited. Also, the model has the flexibility of defining output nodes in any layer. This is especially important for connectionist expert system applications.
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
E. Aydın Göl and C. Belta, “A formal methods approach to pattern synthesis in reaction diffusion systems,” 2015, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/33259.