{"id":"https://openalex.org/W7123350935","doi":"https://doi.org/10.1109/cdc57313.2025.11312100","title":"Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation","display_name":"Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123350935","doi":"https://doi.org/10.1109/cdc57313.2025.11312100"},"language":null,"primary_location":{"id":"doi:10.1109/cdc57313.2025.11312100","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312100","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/A5081475228","display_name":"Mohamed A. Serry","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mohamed Serry","raw_affiliation_strings":["University of Waterloo,Department of Applied Mathematics,Waterloo,Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo,Department of Applied Mathematics,Waterloo,Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101961579","display_name":"Haoyu Li","orcid":"https://orcid.org/0000-0001-6593-2165"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Haoyu Li","raw_affiliation_strings":["University of Illinois Urbana-Champaign,Department of Computer Science,Urbana,IL,USA,61801"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois Urbana-Champaign,Department of Computer Science,Urbana,IL,USA,61801","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018323174","display_name":"Ruikun Zhou","orcid":"https://orcid.org/0000-0001-7265-0617"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ruikun Zhou","raw_affiliation_strings":["University of Waterloo,Department of Applied Mathematics,Waterloo,Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo,Department of Applied Mathematics,Waterloo,Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Huan Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Huan Zhang","raw_affiliation_strings":["University of Illinois Urbana-Champaign,Department of Electrical and Computer Engineering,Urbana,IL,USA,61801"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois Urbana-Champaign,Department of Electrical and Computer Engineering,Urbana,IL,USA,61801","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5122873364","display_name":"Jun Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jun Liu","raw_affiliation_strings":["University of Waterloo,Department of Applied Mathematics,Waterloo,Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo,Department of Applied Mathematics,Waterloo,Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"5774","last_page":"5781"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.8342000246047974,"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"}},"topics":[{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.8342000246047974,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.04529999941587448,"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/T10142","display_name":"Formal Methods in Verification","score":0.027799999341368675,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.7815999984741211},{"id":"https://openalex.org/keywords/attraction","display_name":"Attraction","score":0.7172999978065491},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6262999773025513},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.6115999817848206},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5752999782562256},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.45590001344680786},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.34150001406669617}],"concepts":[{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.7815999984741211},{"id":"https://openalex.org/C2778364177","wikidata":"https://www.wikidata.org/wiki/Q2247133","display_name":"Attraction","level":2,"score":0.7172999978065491},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6262999773025513},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.6115999817848206},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5752999782562256},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5097000002861023},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.45590001344680786},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37610000371932983},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.34150001406669617},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3310999870300293},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3001999855041504},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.2971999943256378},{"id":"https://openalex.org/C167928553","wikidata":"https://www.wikidata.org/wiki/Q1376021","display_name":"Estimation theory","level":2,"score":0.29420000314712524},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28619998693466187},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2827000021934509},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.27379998564720154},{"id":"https://openalex.org/C96250715","wikidata":"https://www.wikidata.org/wiki/Q965330","display_name":"Estimation","level":2,"score":0.2621999979019165},{"id":"https://openalex.org/C103824480","wikidata":"https://www.wikidata.org/wiki/Q185889","display_name":"Time domain","level":2,"score":0.2558000087738037},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.25200000405311584},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.25119999051094055}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312100","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312100","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":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320994","display_name":"Canada Research Chairs","ror":"https://ror.org/0517h6h17"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Analysis":[0],"of":[1,9,16,27,70,96,127,138,141],"nonlinear":[2,30,75,178],"autonomous":[3,74],"systems":[4,31,179],"typically":[5],"involves":[6],"estimating":[7,25],"domains":[8,26,69],"attraction,":[10],"which":[11],"has":[12],"been":[13],"a":[14,33,62,84,120,151],"topic":[15],"extensive":[17],"research":[18],"interest":[19],"for":[20,29,54,72],"decades.":[21],"Despite":[22],"this,":[23],"accurately":[24,65],"attraction":[28,71,142],"remains":[32],"challenging":[34,51],"task,":[35],"where":[36],"existing":[37],"methods":[38],"are":[39],"conservative":[40],"or":[41],"limited":[42],"to":[43,64,91,100,107,123],"low-dimensional":[44],"systems.":[45,76],"The":[46,98],"estimation":[47],"becomes":[48],"even":[49],"more":[50],"when":[52],"accounting":[53],"state":[55,115,181],"constraints.":[56,182],"In":[57,77],"this":[58,79],"work,":[59],"we":[60,81,149,170],"propose":[61,150],"framework":[63,153],"estimate":[66],"safe":[67,94],"(state-constrained)":[68],"discrete-time":[73],"establishing":[78],"framework,":[80],"first":[82],"derive":[83],"new":[85],"Zubov":[86,103,129],"equation,":[87],"whose":[88],"solution":[89,99,126],"corresponds":[90],"the":[92,101,113,125,128,139],"exact":[93],"domain":[95,140],"attraction.":[97],"aforementioned":[102],"equation":[104,130],"is":[105],"shown":[106],"be":[108,156],"unique":[109],"and":[110,164],"continuous":[111],"over":[112],"whole":[114],"space.":[116],"We":[117],"then":[118],"present":[119],"physics-informed":[121],"approach":[122,173],"approximating":[124],"using":[131,158],"neural":[132,145],"networks.":[133],"To":[134,166],"obtain":[135],"certifiable":[136],"estimates":[137],"from":[143],"these":[144],"network":[146],"approximate":[147],"solutions,":[148],"verification":[152,160],"that":[154],"can":[155],"implemented":[157],"standard":[159],"tools":[161],"(e.g.,":[162],"\u03b1,\u03b2-CROWN":[163],"dReal).":[165],"illustrate":[167],"its":[168],"effectiveness,":[169],"demonstrate":[171],"our":[172],"through":[174],"numerical":[175],"examples":[176],"concerning":[177],"with":[180]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-01-14T00:00:00"}