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

DOI10.1109/TCNS.2016.2609138OpenAlexW2519834483WikidataQ58233156 ScholiaQ58233156MaRDI QIDQ4562351

Ebru Aydin Gol, Ezio Bartocci, Calin Belta, Iman Haghighi

Publication date: 19 December 2018

Published in: IEEE Transactions on Control of Network Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tcns.2016.2609138

Mathematics Subject Classification ID

Reaction-diffusion equations (35K57) Biochemistry, molecular biology (92C40) Systems biology, networks (92C42)

Related Items (4)

Unnamed Item ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Unnamed Item ⋮ Adaptive testing for specification coverage and refinement in CPS models

This page was built for publication: A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks