A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks


Bartocci E., AYDIN GÖL E., Haghighi I., Belta C.

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, cilt.5, sa.1, ss.308-320, 2018 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 5 Sayı: 1
  • Basım Tarihi: 2018
  • Doi Numarası: 10.1109/tcns.2016.2609138
  • Dergi Adı: IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.308-320
  • Anahtar Kelimeler: Formal verification and synthesis, pattern recognition and formation, reaction diffusion networks
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

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 show that it achieves very good results on test data sets which are different from the training sets. We provide a quantitative semantics for our logic and we develop computational framework where our quantitative model-checking algorithm works in synergy with a particle swarm optimization technique to synthesize the parameters leading to the formation of desired patterns in reaction diffusion networks.