{"id":"https://openalex.org/W2904289458","doi":"https://doi.org/10.1109/memcod.2018.8556931","title":"Synchronous neural networks for cyber-physical systems","display_name":"Synchronous neural networks for cyber-physical systems","publication_year":2018,"publication_date":"2018-10-01","ids":{"openalex":"https://openalex.org/W2904289458","doi":"https://doi.org/10.1109/memcod.2018.8556931","mag":"2904289458"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2018.8556931","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2018.8556931","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Partha S Roop","raw_affiliation_strings":["University of Auckland, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053148078","display_name":"Hammond Pearce","orcid":"https://orcid.org/0000-0002-3488-7004"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Hammond Pearce","raw_affiliation_strings":["University of Auckland, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025850747","display_name":"Keyan Monadjem","orcid":null},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Keyan Monadjem","raw_affiliation_strings":["University of Auckland, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I154130895"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.982699990272522,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7133678197860718},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6962074637413025},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.549704372882843},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2515720725059509}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7133678197860718},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6962074637413025},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.549704372882843},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2515720725059509},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/memcod.2018.8556931","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2018.8556931","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6700000166893005,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W101771737","https://openalex.org/W1507495123","https://openalex.org/W1586502670","https://openalex.org/W1715210439","https://openalex.org/W1892339738","https://openalex.org/W1977192242","https://openalex.org/W2003454866","https://openalex.org/W2006370340","https://openalex.org/W2039133703","https://openalex.org/W2051690980","https://openalex.org/W2073384958","https://openalex.org/W2076063813","https://openalex.org/W2076285066","https://openalex.org/W2093513190","https://openalex.org/W2103272161","https://openalex.org/W2121428644","https://openalex.org/W2127335869","https://openalex.org/W2132226913","https://openalex.org/W2143442623","https://openalex.org/W2164653071","https://openalex.org/W2187041056","https://openalex.org/W2240086230","https://openalex.org/W2342840547","https://openalex.org/W2467659428","https://openalex.org/W2624310090","https://openalex.org/W2754828231","https://openalex.org/W4211221179","https://openalex.org/W4231602332","https://openalex.org/W4298126575","https://openalex.org/W4382566892","https://openalex.org/W6637518700","https://openalex.org/W6704559304","https://openalex.org/W6719506968"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W3004173571","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2546638913","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2209816623","https://openalex.org/W1987127708","https://openalex.org/W2382290278"],"abstract_inverted_index":{"Cyber-physical":[0],"systems":[1],"(CPS),":[2],"such":[3,58],"as":[4],"autonomous":[5],"vehicles":[6],"or":[7],"smart":[8],"power":[9],"grids,":[10],"use":[11,22],"interactive":[12],"machine":[13,24],"learning":[14,25],"modules":[15],"for":[16,56,136,188],"decision":[17],"making.":[18],"Current":[19],"design":[20,138],"approaches":[21],"multiple":[23],"modules,":[26],"often":[27],"using":[28,40,164,186],"neural":[29,102,131,208],"networks,":[30],"to":[31,83,104],"achieve":[32],"the":[33,63,84,88,98,116,137,145,165,194,203],"desired":[34],"functionality.":[35],"Timing":[36],"validation":[37],"is":[38],"performed":[39],"measurement-based":[41],"approaches,":[42],"which":[43,96],"may":[44],"produce":[45],"unsound":[46],"results.":[47],"To":[48],"this":[49,69,127],"end,":[50],"we":[51,71,79,113],"propose":[52],"a":[53,152,171,189],"new":[54,198],"approach":[55,91,149],"designing":[57],"systems,":[59],"by":[60,150],"relying":[61],"on":[62,119],"well":[64],"known":[65],"synchronous":[66,130],"paradigm.":[67],"Using":[68],"approach,":[70],"introduce":[72],"Synchronous":[73],"Artificial":[74],"Neural":[75,174],"Networks":[76],"(SANNs),":[77],"where":[78],"associate":[80],"logical":[81],"time":[82,120,140,153,206],"different":[85,184],"operations":[86],"of":[87,100,139,147,156,179,200,205],"network.":[89],"This":[90],"provides":[92],"sound":[93],"compositional":[94],"primitives,":[95],"enable":[97],"composition":[99],"interacting":[101],"networks":[103,132],"ensure":[105],"causality":[106],"and":[107,182],"determinism.":[108],"We":[109,143,168],"then":[110],"show":[111],"that":[112],"can":[114],"embed":[115],"generated":[117],"code":[118],"predictable":[121,141,154,207],"platforms":[122],"enabling":[123],"static":[124],"analysis.":[125],"Overall,":[126,193],"paper":[128],"develops":[129],"implemented":[133,170],"in":[134,202],"Esterel":[135,187],"systems.":[142],"demonstrate":[144],"efficacy":[146],"our":[148],"developing":[151],"implementation":[155],"several":[157],"applications,":[158],"ranging":[159],"from":[160],"5-100+":[161],"neurons,":[162],"realised":[163],"T-CREST":[166],"platform.":[167],"also":[169],"complex":[172],"Convolutional":[173],"Network":[175],"(CNN)":[176],"application":[177],"comprising":[178],"1000+":[180],"neurons":[181],"16":[183],"layers":[185],"soft":[190],"real-time":[191],"application.":[192],"developed":[195],"methodology":[196],"opens":[197],"avenues":[199],"research":[201],"direction":[204],"networks.":[209]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}