{"id":"https://openalex.org/W4319303304","doi":"https://doi.org/10.1109/tdsc.2023.3242653","title":"Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems","display_name":"Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems","publication_year":2023,"publication_date":"2023-02-06","ids":{"openalex":"https://openalex.org/W4319303304","doi":"https://doi.org/10.1109/tdsc.2023.3242653"},"language":"en","primary_location":{"id":"doi:10.1109/tdsc.2023.3242653","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tdsc.2023.3242653","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-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/A5084919916","display_name":"Xugui Zhou","orcid":"https://orcid.org/0000-0002-3663-7447"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Xugui Zhou","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069517677","display_name":"Bulbul Ahmed","orcid":"https://orcid.org/0000-0002-9143-4538"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bulbul Ahmed","raw_affiliation_strings":["University of Florida, Gainesville, FL, USA"],"affiliations":[{"raw_affiliation_string":"University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044171543","display_name":"J.H. Aylor","orcid":null},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James H. Aylor","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020918931","display_name":"Philip Asare","orcid":"https://orcid.org/0000-0003-1848-4157"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Philip Asare","raw_affiliation_strings":["University of Toronto, Toronto, ON, Canada"],"affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, ON, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055237181","display_name":"Homa Alemzadeh","orcid":"https://orcid.org/0000-0001-5279-842X"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Homa Alemzadeh","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5084919916"],"corresponding_institution_ids":["https://openalex.org/I51556381"],"apc_list":null,"apc_paid":null,"fwci":10.0463,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.98082013,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"21","issue":"1","first_page":"12","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9839000105857849,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9839000105857849,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9839000105857849,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9760000109672546,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7768539786338806},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6943331956863403},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4121726453304291},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3893306851387024},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.36019691824913025},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.20294761657714844}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7768539786338806},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6943331956863403},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4121726453304291},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3893306851387024},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36019691824913025},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.20294761657714844}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tdsc.2023.3242653","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tdsc.2023.3242653","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1210041676","display_name":null,"funder_award_id":"2146295","funder_id":"https://openalex.org/F4320335353","funder_display_name":"National Science Foundation of Sri Lanka"},{"id":"https://openalex.org/G2075887214","display_name":null,"funder_award_id":"CoVA CCI: C-Q122-WM-02","funder_id":"https://openalex.org/F4320309355","funder_display_name":"Commonwealth of Virginia"},{"id":"https://openalex.org/G4664652840","display_name":null,"funder_award_id":"1748737","funder_id":"https://openalex.org/F4320335353","funder_display_name":"National Science Foundation of Sri Lanka"}],"funders":[{"id":"https://openalex.org/F4320309355","display_name":"Commonwealth of Virginia","ror":null},{"id":"https://openalex.org/F4320335353","display_name":"National Science Foundation of Sri Lanka","ror":"https://ror.org/010xaa060"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":84,"referenced_works":["https://openalex.org/W258469679","https://openalex.org/W1602378215","https://openalex.org/W1956927923","https://openalex.org/W1966809779","https://openalex.org/W1969549583","https://openalex.org/W1972871522","https://openalex.org/W1973271186","https://openalex.org/W1975567457","https://openalex.org/W1975720701","https://openalex.org/W1994901326","https://openalex.org/W1996039196","https://openalex.org/W2005302181","https://openalex.org/W2056451850","https://openalex.org/W2062082544","https://openalex.org/W2073177254","https://openalex.org/W2086359741","https://openalex.org/W2092884371","https://openalex.org/W2101079350","https://openalex.org/W2119531440","https://openalex.org/W2129995532","https://openalex.org/W2145548455","https://openalex.org/W2167160009","https://openalex.org/W2168814550","https://openalex.org/W2318900782","https://openalex.org/W2322662949","https://openalex.org/W2342018874","https://openalex.org/W2507736170","https://openalex.org/W2527816191","https://openalex.org/W2572504188","https://openalex.org/W2596063051","https://openalex.org/W2621615486","https://openalex.org/W2625110401","https://openalex.org/W2740336735","https://openalex.org/W2750839980","https://openalex.org/W2752563773","https://openalex.org/W2779021133","https://openalex.org/W2798531103","https://openalex.org/W2806963431","https://openalex.org/W2883961585","https://openalex.org/W2891240227","https://openalex.org/W2898727747","https://openalex.org/W2899976099","https://openalex.org/W2909750705","https://openalex.org/W2912432686","https://openalex.org/W2921584596","https://openalex.org/W2962689739","https://openalex.org/W2962844830","https://openalex.org/W2965561013","https://openalex.org/W2969749685","https://openalex.org/W2969874973","https://openalex.org/W2969919026","https://openalex.org/W2970963308","https://openalex.org/W2972301400","https://openalex.org/W2981310284","https://openalex.org/W2987585208","https://openalex.org/W2996079545","https://openalex.org/W3011877963","https://openalex.org/W3046777924","https://openalex.org/W3091440769","https://openalex.org/W3102804344","https://openalex.org/W3116568908","https://openalex.org/W3119621753","https://openalex.org/W3125869297","https://openalex.org/W3164160032","https://openalex.org/W3182567724","https://openalex.org/W3187461039","https://openalex.org/W3188457563","https://openalex.org/W3207753336","https://openalex.org/W4224017274","https://openalex.org/W4224298651","https://openalex.org/W4241170630","https://openalex.org/W4245587674","https://openalex.org/W6620183896","https://openalex.org/W6631190155","https://openalex.org/W6634280198","https://openalex.org/W6688591054","https://openalex.org/W6732837357","https://openalex.org/W6747063171","https://openalex.org/W6780439892","https://openalex.org/W6781790250","https://openalex.org/W6784553926","https://openalex.org/W6788605489","https://openalex.org/W6789840708","https://openalex.org/W6841470458"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W3004173571","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2546638913","https://openalex.org/W2376932109"],"abstract_inverted_index":{"Recent":[0],"advances":[1],"in":[2,16,34,37,71,116,157,175],"sensing":[3],"and":[4,27,42,52,68,97,124,172],"computing":[5],"technology":[6,25],"have":[7,32],"led":[8],"to":[9,30,153],"the":[10,20,39,111,148],"proliferation":[11],"of":[12,44,66,80,99,113],"Cyber-Physical":[13],"Systems":[14],"(CPS)":[15],"safety-critical":[17],"domains.":[18],"However,":[19],"increasing":[21],"device":[22],"complexity,":[23],"shrinking":[24],"sizes,":[26],"shorter":[28],"time":[29],"market":[31],"resulted":[33],"significant":[35],"challenges":[36],"ensuring":[38],"reliability,":[40],"safety,":[41],"security":[43],"CPS.":[45,72],"This":[46],"article":[47],"presents":[48],"a":[49,75,134,143],"hybrid":[50],"knowledge":[51],"data-driven":[53],"approach":[54,115],"for":[55,77,94],"designing":[56],"run-time":[57],"context-aware":[58],"safety":[59,144],"monitors":[60,167],"that":[61,142],"can":[62],"detect":[63],"early":[64],"signs":[65],"hazards":[67],"mitigate":[69],"them":[70],"We":[73,109],"propose":[74],"framework":[76],"formal":[78],"specification":[79],"unsafe":[81],"system":[82,122],"context":[83],"using":[84,102,118],"Signal":[85],"Temporal":[86],"Logic":[87],"(STL)":[88],"combined":[89],"with":[90,147],"two":[91,125],"optimization":[92],"approaches":[93,150],"scenario-specific":[95],"refinement":[96],"integration":[98],"STL":[100],"specifications":[101],"data":[103],"collected":[104],"from":[105],"closed-loop":[106,126],"CPS":[107],"simulations.":[108],"demonstrate":[110],"effectiveness":[112],"our":[114],"simulation":[117],"an":[119],"autonomous":[120],"driving":[121],"(ADS)":[123],"artificial":[127],"pancreas":[128],"systems":[129],"(APS)":[130],"as":[131,133],"well":[132],"publicly-available":[135],"clinical":[136],"trial":[137],"dataset.":[138],"The":[139],"results":[140],"show":[141],"monitor":[145],"developed":[146],"proposed":[149],"demonstrates":[151],"up":[152],"4.7":[154],"times":[155],"increase":[156],"average":[158],"prediction":[159],"accuracy":[160],"(F1":[161],"score)":[162],"over":[163],"several":[164],"well-designed":[165],"baseline":[166],"while":[168],"reducing":[169],"both":[170],"false-positive":[171],"false-negative":[173],"rates":[174],"most":[176],"scenarios.":[177]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":10},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}