{"id":"https://openalex.org/W3139113494","doi":"https://doi.org/10.1109/tcyb.2021.3053575","title":"Runtime Safety Monitoring of Neural-Network-Enabled Dynamical Systems","display_name":"Runtime Safety Monitoring of Neural-Network-Enabled Dynamical Systems","publication_year":2021,"publication_date":"2021-03-17","ids":{"openalex":"https://openalex.org/W3139113494","doi":"https://doi.org/10.1109/tcyb.2021.3053575","mag":"3139113494","pmid":"https://pubmed.ncbi.nlm.nih.gov/33729966"},"language":"en","primary_location":{"id":"doi:10.1109/tcyb.2021.3053575","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcyb.2021.3053575","pdf_url":null,"source":{"id":"https://openalex.org/S4210191041","display_name":"IEEE Transactions on Cybernetics","issn_l":"2168-2267","issn":["2168-2267","2168-2275"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Cybernetics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"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/A5090573416","display_name":"Weiming Xiang","orcid":"https://orcid.org/0000-0001-9065-8428"},"institutions":[{"id":"https://openalex.org/I25041050","display_name":"Augusta University","ror":"https://ror.org/012mef835","country_code":"US","type":"education","lineage":["https://openalex.org/I25041050"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Weiming Xiang","raw_affiliation_strings":["School of Computer and Cyber Sciences, Augusta University, Augusta, GA, USA"],"affiliations":[{"raw_affiliation_string":"School of Computer and Cyber Sciences, Augusta University, Augusta, GA, USA","institution_ids":["https://openalex.org/I25041050"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5090573416"],"corresponding_institution_ids":["https://openalex.org/I25041050"],"apc_list":null,"apc_paid":null,"fwci":0.9613,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.74060414,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"52","issue":"9","first_page":"9587","last_page":"9596"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9988999962806702,"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"}},"topics":[{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9988999962806702,"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"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9984999895095825,"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/T10409","display_name":"Fuel Cells and Related Materials","score":0.9882000088691711,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/cruise-control","display_name":"Cruise control","score":0.7204358577728271},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6781196594238281},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6412448883056641},{"id":"https://openalex.org/keywords/estimator","display_name":"Estimator","score":0.6355288624763489},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.5526378154754639},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5175301432609558},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.5100193619728088},{"id":"https://openalex.org/keywords/observer","display_name":"Observer (physics)","score":0.4980349540710449},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.48163169622421265},{"id":"https://openalex.org/keywords/linear-dynamical-system","display_name":"Linear dynamical system","score":0.4499156177043915},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.43529123067855835},{"id":"https://openalex.org/keywords/dynamical-system","display_name":"Dynamical system (definition)","score":0.4330924153327942},{"id":"https://openalex.org/keywords/state-estimator","display_name":"State estimator","score":0.4189508855342865},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3297267556190491},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3269208073616028},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2382534146308899},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2269524335861206},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.22335541248321533},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12504523992538452},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11910763382911682}],"concepts":[{"id":"https://openalex.org/C113168747","wikidata":"https://www.wikidata.org/wiki/Q507295","display_name":"Cruise control","level":3,"score":0.7204358577728271},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6781196594238281},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6412448883056641},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.6355288624763489},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.5526378154754639},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5175301432609558},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.5100193619728088},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.4980349540710449},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48163169622421265},{"id":"https://openalex.org/C114275822","wikidata":"https://www.wikidata.org/wiki/Q621512","display_name":"Linear dynamical system","level":3,"score":0.4499156177043915},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.43529123067855835},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.4330924153327942},{"id":"https://openalex.org/C2984536560","wikidata":"https://www.wikidata.org/wiki/Q818544","display_name":"State estimator","level":3,"score":0.4189508855342865},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3297267556190491},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3269208073616028},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2382534146308899},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2269524335861206},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.22335541248321533},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12504523992538452},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11910763382911682},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[{"descriptor_ui":"D016571","descriptor_name":"Neural Networks, Computer","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D016571","descriptor_name":"Neural Networks, Computer","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D016571","descriptor_name":"Neural Networks, Computer","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D017711","descriptor_name":"Nonlinear Dynamics","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D017711","descriptor_name":"Nonlinear Dynamics","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D017711","descriptor_name":"Nonlinear Dynamics","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true}],"locations_count":2,"locations":[{"id":"doi:10.1109/tcyb.2021.3053575","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcyb.2021.3053575","pdf_url":null,"source":{"id":"https://openalex.org/S4210191041","display_name":"IEEE Transactions on Cybernetics","issn_l":"2168-2267","issn":["2168-2267","2168-2275"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Cybernetics","raw_type":"journal-article"},{"id":"pmid:33729966","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/33729966","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE transactions on cybernetics","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320313241","display_name":"Augusta University","ror":"https://ror.org/012mef835"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1522228969","https://openalex.org/W1673923490","https://openalex.org/W1969705022","https://openalex.org/W2028574717","https://openalex.org/W2084628204","https://openalex.org/W2088656430","https://openalex.org/W2093484645","https://openalex.org/W2107808739","https://openalex.org/W2132934431","https://openalex.org/W2192070087","https://openalex.org/W2194352253","https://openalex.org/W2280250534","https://openalex.org/W2329473580","https://openalex.org/W2344309565","https://openalex.org/W2579282996","https://openalex.org/W2594877703","https://openalex.org/W2605373881","https://openalex.org/W2616440179","https://openalex.org/W2721006554","https://openalex.org/W2748862026","https://openalex.org/W2755752850","https://openalex.org/W2777417342","https://openalex.org/W2791251367","https://openalex.org/W2902062209","https://openalex.org/W2909538221","https://openalex.org/W2926821366","https://openalex.org/W2941988705","https://openalex.org/W2955364893","https://openalex.org/W2962692913","https://openalex.org/W2962865436","https://openalex.org/W2963054787","https://openalex.org/W2963334980","https://openalex.org/W2963716017","https://openalex.org/W2968624384","https://openalex.org/W2974147052","https://openalex.org/W2976619168","https://openalex.org/W3024917158","https://openalex.org/W4289117555","https://openalex.org/W6637162671","https://openalex.org/W6734921443","https://openalex.org/W6776866704"],"related_works":["https://openalex.org/W2230606337","https://openalex.org/W4250831671","https://openalex.org/W2592826714","https://openalex.org/W4238935091","https://openalex.org/W2050811761","https://openalex.org/W2119813522","https://openalex.org/W2738494313","https://openalex.org/W2044696633","https://openalex.org/W2051295858","https://openalex.org/W1587625526"],"abstract_inverted_index":{"Complex":[0],"dynamical":[1,43,96],"systems":[2,44],"rely":[3],"on":[4,17,155],"the":[5,37,55,65,91,103,106,109,113,119,122],"correct":[6],"deployment":[7],"and":[8,26,31,68,98,118,150],"operation":[9],"of":[10,23,42,57,71,84,108,121,133,136],"numerous":[11],"components,":[12],"with":[13,46,153],"state-of-the-art":[14],"methods":[15],"relying":[16],"learning-enabled":[18],"components":[19],"in":[20,54,75,95,116,131],"various":[21],"stages":[22],"modeling,":[24],"sensing,":[25],"control":[27,159],"at":[28],"both":[29],"offline":[30],"online":[32],"levels.":[33],"This":[34],"article":[35],"addresses":[36],"runtime":[38,50,79],"safety":[39,51,80],"monitoring":[40],"problem":[41],"embedded":[45,94],"neural-network":[47],"components.":[48],"A":[49],"state":[52,73,81,115],"estimator":[53,82,110],"form":[56],"an":[58,156],"interval":[59],"observer":[60,99],"is":[61,129,144,151],"developed":[62,78,142],"to":[63,101,111],"construct":[64],"lower":[66],"bound":[67,70,112],"upper":[69],"system":[72,114],"trajectories":[74],"runtime.":[76],"The":[77,126,141],"consists":[83],"two":[85],"auxiliary":[86],"neural":[87,92],"networks":[88],"derived":[89],"from":[90],"network":[93],"systems,":[97],"gains":[100],"ensure":[102],"positivity,":[104],"namely,":[105],"ability":[107],"runtime,":[117],"convergence":[120],"corresponding":[123],"error":[124],"dynamics.":[125],"design":[127],"procedure":[128],"formulated":[130],"terms":[132],"a":[134,147],"family":[135],"linear":[137],"programming":[138],"feasibility":[139],"problems.":[140],"method":[143],"illustrated":[145],"by":[146],"numerical":[148],"example":[149],"validated":[152],"evaluations":[154],"adaptive":[157],"cruise":[158],"system.":[160]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}