{"id":"https://openalex.org/W4399727598","doi":"https://doi.org/10.1109/lcsys.2024.3415471","title":"Reachability Analysis of Neural Network Control Systems With Tunable Accuracy and Efficiency","display_name":"Reachability Analysis of Neural Network Control Systems With Tunable Accuracy and Efficiency","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4399727598","doi":"https://doi.org/10.1109/lcsys.2024.3415471"},"language":"en","primary_location":{"id":"doi:10.1109/lcsys.2024.3415471","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2024.3415471","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","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/A5100349346","display_name":"Yuhao Zhang","orcid":"https://orcid.org/0000-0002-2814-7317"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuhao Zhang","raw_affiliation_strings":["Department of Mechanical Engineering, University of Wisconsin-Madison, Madison, WI, USA"],"raw_orcid":"https://orcid.org/0000-0002-2814-7317","affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of Wisconsin-Madison, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100438486","display_name":"Hang Zhang","orcid":"https://orcid.org/0009-0007-0880-7756"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hang Zhang","raw_affiliation_strings":["Department of Mechanical Engineering, University of Wisconsin-Madison, Madison, WI, USA"],"raw_orcid":"https://orcid.org/0009-0007-0880-7756","affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of Wisconsin-Madison, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033195779","display_name":"Xiangru Xu","orcid":"https://orcid.org/0000-0003-1367-6790"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiangru Xu","raw_affiliation_strings":["Department of Mechanical Engineering, University of Wisconsin-Madison, Madison, WI, USA"],"raw_orcid":"https://orcid.org/0000-0003-1367-6790","affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of Wisconsin-Madison, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I135310074"],"apc_list":null,"apc_paid":null,"fwci":1.9449,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.87656512,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"8","issue":null,"first_page":"1697","last_page":"1702"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9472000002861023,"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/T10320","display_name":"Neural Networks and Applications","score":0.9472000002861023,"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.9387000203132629,"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/T14474","display_name":"Industrial Technology and Control Systems","score":0.9243999719619751,"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/reachability","display_name":"Reachability","score":0.9055908918380737},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6865923404693604},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6327569484710693},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.44127726554870605},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.32596004009246826},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3256005644798279},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19103333353996277}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9055908918380737},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6865923404693604},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6327569484710693},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.44127726554870605},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.32596004009246826},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3256005644798279},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19103333353996277}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lcsys.2024.3415471","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2024.3415471","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1772357838","display_name":null,"funder_award_id":"CNS-2222541","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4489398085","display_name":null,"funder_award_id":"CMMI-2237850","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W2957311447","https://openalex.org/W2980176926","https://openalex.org/W2982540258","https://openalex.org/W3102139284","https://openalex.org/W3175238547","https://openalex.org/W4205769897","https://openalex.org/W4206101760","https://openalex.org/W4315488706","https://openalex.org/W4315488781","https://openalex.org/W4366197198","https://openalex.org/W4368755045","https://openalex.org/W4382119389","https://openalex.org/W4382323183","https://openalex.org/W4382935779","https://openalex.org/W4382935858","https://openalex.org/W4384573554","https://openalex.org/W4387595835","https://openalex.org/W4387735088","https://openalex.org/W4390437556","https://openalex.org/W6754619240","https://openalex.org/W6763744544","https://openalex.org/W6804343242","https://openalex.org/W6851649566","https://openalex.org/W6852871064","https://openalex.org/W6854138644","https://openalex.org/W6857324079","https://openalex.org/W6860607891"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W4321471459","https://openalex.org/W2889071233","https://openalex.org/W2380814829","https://openalex.org/W2387511021"],"abstract_inverted_index":{"The":[0,64],"surging":[1],"popularity":[2],"of":[3,21,59,110],"neural":[4,32,60,84],"networks":[5],"in":[6,31,38],"controlled":[7],"systems":[8,35],"underscores":[9],"the":[10,17,106,111],"imperative":[11],"for":[12,28,51,81],"formal":[13],"verification":[14],"to":[15,92,104],"ensure":[16],"reliability":[18],"and":[19,40,55,73,96,108],"safety":[20],"such":[22],"systems.":[23,63],"Existing":[24],"set":[25],"propagation-based":[26],"approaches":[27],"reachability":[29],"analysis":[30],"network":[33,61,70],"control":[34,62],"encounter":[36],"challenges":[37],"scalability":[39],"flexibility.":[41],"This":[42],"letter":[43],"introduces":[44],"a":[45],"novel":[46],"tunable":[47,90],"hybrid":[48,77],"zonotope-based":[49],"method":[50,66],"computing":[52],"both":[53],"forward":[54],"backward":[56],"reachable":[57],"sets":[58],"proposed":[65,112],"incorporates":[67],"an":[68,74],"optimization-based":[69],"reduction":[71],"technique":[72],"activation":[75],"pattern-based":[76],"zonotope":[78],"propagation":[79],"approach":[80],"ReLU-activated":[82],"feedforward":[83],"networks.":[85],"Furthermore,":[86],"it":[87],"enables":[88],"two":[89],"parameters":[91],"balance":[93],"computational":[94],"complexity":[95],"approximation":[97],"accuracy.":[98],"A":[99],"numerical":[100],"example":[101],"is":[102],"provided":[103],"illustrate":[105],"performance":[107],"tunability":[109],"approach.":[113]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6}],"updated_date":"2025-12-21T23:12:01.093139","created_date":"2025-10-10T00:00:00"}