{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T09:15:04Z","timestamp":1762506904964,"version":"3.37.3"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T00:00:00Z","timestamp":1519862400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T00:00:00Z","timestamp":1519862400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T00:00:00Z","timestamp":1519862400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T00:00:00Z","timestamp":1519862400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"ONR","award":["N00014-14-1-0554"],"award-info":[{"award-number":["N00014-14-1-0554"]}]},{"name":"National Science Foundation","award":["CBET-0939511"],"award-info":[{"award-number":["CBET-0939511"]}]},{"name":"Austrian FFG","award":["845631"],"award-info":[{"award-number":["845631"]}]},{"name":"Austrian FWF","award":["S 11405-N23"],"award-info":[{"award-number":["S 11405-N23"]}]},{"name":"ARVI"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Control Netw. Syst."],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1109\/tcns.2016.2609138","type":"journal-article","created":{"date-parts":[[2016,9,13]],"date-time":"2016-09-13T18:14:27Z","timestamp":1473790467000},"page":"308-320","source":"Crossref","is-referenced-by-count":32,"title":["A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks"],"prefix":"10.1109","volume":"5","author":[{"given":"Ezio","family":"Bartocci","sequence":"first","affiliation":[]},{"given":"Ebru","family":"Aydin Gol","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1037-1046","authenticated-orcid":false,"given":"Iman","family":"Haghighi","sequence":"additional","affiliation":[]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1656274.1656278"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-55860-377-6.50023-2"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICNN.1995.488968"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1038\/290091a0"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2005.177"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/34.993558"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.1999.790410"},{"journal-title":"Artificial Intelligence A Modern Approach","year":"2002","author":"russell","key":"ref14"},{"key":"ref15","first-page":"319","article-title":"From model-checking to temporal logic constraint solving","volume":"5732","author":"rizk","year":"0","journal-title":"Proc CP 15th Int Conf Principles Practice Constraint Program Lisbon Portugal 20–24 September ser Lecture Notes in Computer Science"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0024246"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75454-1_12"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF00288933"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/34.824819"},{"article-title":"Algorithm alley. Dr. Dobb's journal","year":"1996","author":"collantes","key":"ref27"},{"journal-title":"Pattern Recognition and Machine Learning","year":"2006","author":"bishop","key":"ref3"},{"key":"ref6","article-title":"State-of-the-art in shape matching","author":"veltkamp","year":"1999","journal-title":"Principles of Visual Information Retrieval"},{"key":"ref29","first-page":"49","article-title":"Scalable modeling and performance evaluation of wireless sensor networks","author":"kwon","year":"0","journal-title":"Proc IEEE Real-Time and Embedded Technol and Appl Symp"},{"journal-title":"Structural Pattern Recognition","year":"1980","author":"pavlidis","key":"ref5"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1139\/m86-113"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1098\/rstb.1952.0012"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S1369-5274(98)80106-9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1467247.1467271"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-3217-8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.106"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1515\/9781400835355"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84800-015-5","author":"ren","year":"2008","journal-title":"Distributed Consensus in Multi-Vehicle Cooperative Control Theory and Applications"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039367"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1515\/9781400831470","author":"bullo","year":"2009","journal-title":"Distributed Control of Robotic Networks A Mathematical Approach to Motion Coordination Algorithms"}],"container-title":["IEEE Transactions on Control of Network Systems"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/ielaam\/6509490\/8318955\/7565496-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6509490\/8318955\/07565496.pdf?arnumber=7565496","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:54:11Z","timestamp":1649444051000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7565496\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":34,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tcns.2016.2609138","relation":{},"ISSN":["2325-5870"],"issn-type":[{"type":"electronic","value":"2325-5870"}],"subject":[],"published":{"date-parts":[[2018,3]]}}}