{"id":"https://openalex.org/W4402526807","doi":"https://doi.org/10.1145/3679008.3685547","title":"Runtime Verified Neural Networks for Cyber-Physical Systems","display_name":"Runtime Verified Neural Networks for Cyber-Physical Systems","publication_year":2024,"publication_date":"2024-09-13","ids":{"openalex":"https://openalex.org/W4402526807","doi":"https://doi.org/10.1145/3679008.3685547"},"language":"en","primary_location":{"id":"doi:10.1145/3679008.3685547","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3679008.3685547","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution","raw_type":"proceedings-article"},"type":"article","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/A5093734301","display_name":"Dhiren Tripuramallu","orcid":null},"institutions":[{"id":"https://openalex.org/I99729588","display_name":"Indian Institute of Technology Bhubaneswar","ror":"https://ror.org/04gx72j20","country_code":"IN","type":"education","lineage":["https://openalex.org/I99729588"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Dhiren Tripuramallu","raw_affiliation_strings":["IIT Bhubaneswar, Bhubaneswar, India"],"raw_orcid":"https://orcid.org/0009-0004-2333-8212","affiliations":[{"raw_affiliation_string":"IIT Bhubaneswar, Bhubaneswar, India","institution_ids":["https://openalex.org/I99729588"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113382341","display_name":"Ayush Anand","orcid":null},"institutions":[{"id":"https://openalex.org/I99729588","display_name":"Indian Institute of Technology Bhubaneswar","ror":"https://ror.org/04gx72j20","country_code":"IN","type":"education","lineage":["https://openalex.org/I99729588"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Ayush Anand","raw_affiliation_strings":["IIT Bhubaneswar, Bhubaneswar, India"],"raw_orcid":"https://orcid.org/0009-0009-3754-630X","affiliations":[{"raw_affiliation_string":"IIT Bhubaneswar, Bhubaneswar, India","institution_ids":["https://openalex.org/I99729588"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035408678","display_name":"Srinivas Pinisetty","orcid":"https://orcid.org/0000-0001-7779-8231"},"institutions":[{"id":"https://openalex.org/I99729588","display_name":"Indian Institute of Technology Bhubaneswar","ror":"https://ror.org/04gx72j20","country_code":"IN","type":"education","lineage":["https://openalex.org/I99729588"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Srinivas Pinisetty","raw_affiliation_strings":["IIT Bhubaneswar, Bhubaneswar, India"],"raw_orcid":"https://orcid.org/0000-0001-7779-8231","affiliations":[{"raw_affiliation_string":"IIT Bhubaneswar, Bhubaneswar, India","institution_ids":["https://openalex.org/I99729588"]}]},{"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/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Hammond Pearce","raw_affiliation_strings":["UNSW, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0002-3488-7004","affiliations":[{"raw_affiliation_string":"UNSW, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"last","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 Roop","raw_affiliation_strings":["University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0001-9654-5678","affiliations":[{"raw_affiliation_string":"University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5093734301"],"corresponding_institution_ids":["https://openalex.org/I99729588"],"apc_list":null,"apc_paid":null,"fwci":0.3311,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.65698458,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"44","last_page":"51"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9988999962806702,"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"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9988999962806702,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.989799976348877,"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.809673547744751},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7781126499176025},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6337624788284302},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35596245527267456},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.29222947359085083},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.15235379338264465}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.809673547744751},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7781126499176025},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6337624788284302},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35596245527267456},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29222947359085083},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.15235379338264465}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3679008.3685547","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3679008.3685547","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1511137409","https://openalex.org/W1734269280","https://openalex.org/W2027769154","https://openalex.org/W2154834714","https://openalex.org/W2594877703","https://openalex.org/W2757214569","https://openalex.org/W2794609696","https://openalex.org/W2904442697","https://openalex.org/W2964288451","https://openalex.org/W2979010465","https://openalex.org/W3169904707","https://openalex.org/W4240338048","https://openalex.org/W4283212640","https://openalex.org/W4390246394"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W3004173571","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2546638913","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2209816623"],"abstract_inverted_index":{"There":[0],"is":[1,119],"increasing":[2],"use":[3],"of":[4,28,34,39,78,93,108,129,143,155,164],"artificial":[5],"neural":[6,19],"networks":[7,20],"in":[8,95,152],"Cyber-Physical":[9],"Systems":[10],"(CPS)":[11],"such":[12],"as":[13,70,101],"autonomous":[14],"vehicles":[15],"(AVs).":[16],"Here,":[17],"convolutional":[18],"(CNNs)":[21],"are":[22,132],"widely":[23],"used":[24],"for":[25,74],"different":[26,126],"types":[27],"computer-vision":[29],"tasks.":[30],"The":[31,125],"complex":[32],"nature":[33],"the":[35,76,79,91,106,130,153,161,165],"CNN":[36],"makes":[37],"verification":[38,52,111],"CNN-based":[40,116],"CPS":[41],"extremely":[42],"difficult.":[43],"Through":[44],"this":[45,109],"work,":[46],"we":[47,113],"propose":[48],"a":[49,71,86,115,122],"formal":[50],"runtime":[51,110,123],"(RV)":[53],"approach":[54,68],"that":[55,118],"employs":[56],"user-specified":[57],"policies":[58],"constructed":[59],"through":[60],"Valued":[61],"Discrete":[62],"Timed":[63],"Automata":[64],"(VDTA).":[65],"This":[66],"innovative":[67],"serves":[69],"powerful":[72],"tool":[73],"ensuring":[75],"adherence":[77],"system":[80],"to":[81,89,157],"predefined":[82],"safety-critical":[83,96],"policies,":[84],"providing":[85],"formalized":[87],"method":[88],"handle":[90],"complexities":[92],"CNNs":[94],"contexts":[97],"by":[98],"treating":[99],"them":[100,140],"black":[102],"boxes.":[103],"To":[104],"demonstrate":[105],"effectiveness":[107],"approach,":[112],"model":[114],"AV":[117,131],"embedded":[120],"with":[121],"monitor.":[124],"control":[127],"units":[128],"trained":[133],"using":[134],"RL-based":[135],"Q-Learning":[136],"technique":[137],"and":[138],"integrate":[139],"into":[141],"some":[142],"its":[144],"key":[145],"components.":[146],"We":[147],"also":[148],"analyse":[149],"how":[150],"increase":[151],"number":[154],"properties":[156],"be":[158],"monitored":[159],"affects":[160],"execution":[162],"time":[163],"overall":[166],"system.":[167]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}