{"id":"https://openalex.org/W7123350043","doi":"https://doi.org/10.1109/cdc57313.2025.11312068","title":"A Guided Retraining Strategy For Safe ReLU Neural Network Controllers Of Linear Systems","display_name":"A Guided Retraining Strategy For Safe ReLU Neural Network Controllers Of Linear Systems","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123350043","doi":"https://doi.org/10.1109/cdc57313.2025.11312068"},"language":null,"primary_location":{"id":"doi:10.1109/cdc57313.2025.11312068","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312068","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","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/A5015346355","display_name":"Jo\u00e3o G. Zago","orcid":null},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jo\u00e3o Gabriel Zago","raw_affiliation_strings":["Federal University of Santa Catarina,Department of Automation and Systems Engineering,Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Federal University of Santa Catarina,Department of Automation and Systems Engineering,Brazil","institution_ids":["https://openalex.org/I4104125"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017893179","display_name":"Giuseppe Notarstefano","orcid":"https://orcid.org/0000-0002-0906-7848"},"institutions":[{"id":"https://openalex.org/I4210098188","display_name":"Laboratori Guglielmo Marconi (Italy)","ror":"https://ror.org/01r3vad87","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210098188"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Notarstefano","raw_affiliation_strings":["University of Bologna,Electronic, and Information Engineering \"Guglielmo Marconi\",Department of Electrical,Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bologna,Electronic, and Information Engineering \"Guglielmo Marconi\",Department of Electrical,Italy","institution_ids":["https://openalex.org/I4210098188"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065625026","display_name":"Eduardo Camponogara","orcid":"https://orcid.org/0000-0002-0236-0689"},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Eduardo Camponogara","raw_affiliation_strings":["Federal University of Santa Catarina,Department of Automation and Systems Engineering,Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Federal University of Santa Catarina,Department of Automation and Systems Engineering,Brazil","institution_ids":["https://openalex.org/I4104125"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.62244254,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"4851","last_page":"4856"},"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.6100000143051147,"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.6100000143051147,"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.10840000212192535,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.050200000405311584,"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/artificial-neural-network","display_name":"Artificial neural network","score":0.6924999952316284},{"id":"https://openalex.org/keywords/resampling","display_name":"Resampling","score":0.6330999732017517},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6256999969482422},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5647000074386597},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.503600001335144},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4799000024795532},{"id":"https://openalex.org/keywords/retraining","display_name":"Retraining","score":0.4101000130176544},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.39480000734329224}],"concepts":[{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6924999952316284},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6362000107765198},{"id":"https://openalex.org/C150921843","wikidata":"https://www.wikidata.org/wiki/Q1170431","display_name":"Resampling","level":2,"score":0.6330999732017517},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6256999969482422},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5647000074386597},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.503600001335144},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4799000024795532},{"id":"https://openalex.org/C2778712577","wikidata":"https://www.wikidata.org/wiki/Q3505966","display_name":"Retraining","level":2,"score":0.4101000130176544},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.39480000734329224},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3901999890804291},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3418000042438507},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.3391999900341034},{"id":"https://openalex.org/C163175372","wikidata":"https://www.wikidata.org/wiki/Q3339222","display_name":"Linear model","level":2,"score":0.33469998836517334},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.29840001463890076},{"id":"https://openalex.org/C17095337","wikidata":"https://www.wikidata.org/wiki/Q2375229","display_name":"Piecewise linear function","level":2,"score":0.2962999939918518},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.2919999957084656},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.2906000018119812},{"id":"https://openalex.org/C175202392","wikidata":"https://www.wikidata.org/wiki/Q2434543","display_name":"Time delay neural network","level":3,"score":0.2904999852180481},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.28690001368522644},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2773999869823456},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2721000015735626},{"id":"https://openalex.org/C87698059","wikidata":"https://www.wikidata.org/wiki/Q1808960","display_name":"LTI system theory","level":3,"score":0.26440000534057617},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.26350000500679016},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.2572999894618988}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312068","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312068","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.653443455696106,"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":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"considers":[2],"a":[3,13,23,26,47,53,87,93,100,108],"ReLU":[4,58],"neural":[5,31,68,88],"network":[6,69,89],"approximation":[7],"for":[8,57],"an":[9,63,116],"optimization-based":[10],"controller":[11,28],"of":[12,66,78,112,122],"discrete":[14],"Linear":[15],"Time":[16],"Invariant":[17],"(LTI)":[18],"system.":[19],"If":[20],"trained":[21,90],"in":[22,62,119],"standard":[24],"way,":[25],"data-driven":[27],"based":[29,51],"on":[30,52,86],"networks":[32],"may":[33],"violate":[34],"safety":[35,106],"constraints":[36],"or":[37],"require":[38],"many":[39],"training":[40],"samples":[41,113],"to":[42,91,99,115],"avoid":[43],"violation.":[44],"We":[45,74],"propose":[46],"novel":[48],"sampling":[49],"approach,":[50],"proper":[54],"reachability":[55],"analysis":[56],"networks,":[59],"that":[60],"results":[61,85],"efficient":[64],"retraining":[65],"the":[67,76,79,123],"and":[70],"guarantees":[71],"constraint":[72],"satisfaction.":[73],"show":[75],"effectiveness":[77],"proposed":[80],"strategy":[81],"by":[82],"providing":[83],"numerical":[84],"approximate":[92],"Model":[94],"Predictive":[95],"Controller":[96],"(MPC).":[97],"Compared":[98],"random":[101],"sampling,":[102],"our":[103],"approach":[104],"achieves":[105],"with":[107],"relatively":[109],"small":[110],"number":[111],"thanks":[114],"ad-hoc":[117],"resampling":[118],"suitable":[120],"regions":[121],"state":[124],"space.":[125]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-01-14T00:00:00"}