{"id":"https://openalex.org/W4400946344","doi":"https://doi.org/10.23919/ecc64448.2024.10590974","title":"Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification","display_name":"Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification","publication_year":2024,"publication_date":"2024-06-25","ids":{"openalex":"https://openalex.org/W4400946344","doi":"https://doi.org/10.23919/ecc64448.2024.10590974"},"language":"en","primary_location":{"id":"doi:10.23919/ecc64448.2024.10590974","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc64448.2024.10590974","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 European Control Conference (ECC)","raw_type":"proceedings-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/A5042752122","display_name":"Yoshio Ebihara","orcid":"https://orcid.org/0000-0002-9342-1650"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Yoshio Ebihara","raw_affiliation_strings":["Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395"],"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100728265","display_name":"Xin Dai","orcid":"https://orcid.org/0000-0002-2622-7575"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Xin Dai","raw_affiliation_strings":["Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395"],"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049794818","display_name":"Tsuyoshi Yuno","orcid":"https://orcid.org/0009-0007-9476-5635"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tsuyoshi Yuno","raw_affiliation_strings":["Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395"],"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066095974","display_name":"Victor Magron","orcid":"https://orcid.org/0000-0003-1147-3738"},"institutions":[{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I134560555","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["FR","JP"],"is_corresponding":false,"raw_author_name":"Victor Magron","raw_affiliation_strings":["Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395","LAAS-POP - Equipe Polynomial OPtimization (France)"],"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395","institution_ids":["https://openalex.org/I135598925"]},{"raw_affiliation_string":"LAAS-POP - Equipe Polynomial OPtimization (France)","institution_ids":["https://openalex.org/I190497903"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043595448","display_name":"Dimitri Peaucelle","orcid":"https://orcid.org/0000-0002-2640-2003"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Dimitri Peaucelle","raw_affiliation_strings":["Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395"],"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112586264","display_name":"Sophie Tarbouriech","orcid":null},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Sophie Tarbouriech","raw_affiliation_strings":["Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395"],"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Electrical Engineering, Kyushu University,Fukuoka,Japan,819-0395","institution_ids":["https://openalex.org/I135598925"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5042752122"],"corresponding_institution_ids":["https://openalex.org/I135598925"],"apc_list":null,"apc_paid":null,"fwci":2.4077,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.90137195,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"2506","last_page":"2511"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11612","display_name":"Stochastic Gradient Optimization Techniques","score":0.8162999749183655,"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/T11612","display_name":"Stochastic Gradient Optimization Techniques","score":0.8162999749183655,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.7990999817848206,"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/T11210","display_name":"Mathematical Analysis and Transform Methods","score":0.7800999879837036,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.836972177028656},{"id":"https://openalex.org/keywords/lipschitz-continuity","display_name":"Lipschitz continuity","score":0.7826257944107056},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.7102818489074707},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5480908155441284},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4844129681587219},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3856154680252075},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3482610583305359},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.340471088886261},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.23296478390693665}],"concepts":[{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.836972177028656},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.7826257944107056},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.7102818489074707},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5480908155441284},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4844129681587219},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3856154680252075},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3482610583305359},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.340471088886261},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.23296478390693665},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.23919/ecc64448.2024.10590974","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc64448.2024.10590974","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 European Control Conference (ECC)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-04247204v1","is_oa":false,"landing_page_url":"https://laas.hal.science/hal-04247204","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"European Control Conference (ECC 2024), Jun 2024, Stockholm, Sweden. ⟨10.23919/ECC64448.2024.10590974⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.47999998927116394,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W2019016008","https://openalex.org/W2057000602","https://openalex.org/W2063493327","https://openalex.org/W2087297735","https://openalex.org/W2097944741","https://openalex.org/W2124487034","https://openalex.org/W2160855041","https://openalex.org/W2187099408","https://openalex.org/W2506277857","https://openalex.org/W2536620281","https://openalex.org/W2759471388","https://openalex.org/W2765233491","https://openalex.org/W3000691628","https://openalex.org/W3035270717","https://openalex.org/W3112185765","https://openalex.org/W3117881175","https://openalex.org/W3127974661","https://openalex.org/W3142744390","https://openalex.org/W3163733080","https://openalex.org/W4210462514","https://openalex.org/W4244799121","https://openalex.org/W4289306490","https://openalex.org/W4313143847","https://openalex.org/W4317466250","https://openalex.org/W6748277150","https://openalex.org/W6754646375","https://openalex.org/W6763711611","https://openalex.org/W6779856317"],"related_works":["https://openalex.org/W3185235544","https://openalex.org/W4297791327","https://openalex.org/W2897842840","https://openalex.org/W2911623553","https://openalex.org/W2397777611","https://openalex.org/W2052725501","https://openalex.org/W3084156746","https://openalex.org/W4287670495","https://openalex.org/W2158905189","https://openalex.org/W4319874546"],"abstract_inverted_index":{"This":[0],"paper":[1],"is":[2,36,150],"concerned":[3],"with":[4,17,128,176],"the":[5,8,45,56,64,70,88,95,98,101,113,116,153,160,166,169],"computation":[6,67],"of":[7,12,29,44,58,69,97,115,130,159,168,179],"local":[9,26,71],"Lipschitz":[10,27,72],"constant":[11,28,73],"feedforward":[13],"neural":[14],"networks":[15],"(FNNs)":[16],"activation":[18],"functions":[19],"being":[20],"rectified":[21],"linear":[22],"units":[23],"(ReLUs).":[24],"The":[25],"an":[30],"FNN":[31,155],"for":[32,40,100,125],"a":[33,37,49,75,108,139,143,157],"target":[34,161],"input":[35],"reasonable":[38],"measure":[39],"its":[41],"quantitative":[42],"evaluation":[43],"reliability.":[46],"By":[47],"following":[48],"standard":[50],"procedure":[51],"using":[52],"multipliers":[53,85],"that":[54],"capture":[55,87],"behavior":[57,90],"ReLU":[59,89],"s,":[60],"we":[61,81,105,136],"first":[62],"reduce":[63],"upper":[65,102,118],"bound":[66,103],"problem":[68,78],"into":[74],"semidefinite":[76],"programming":[77],"(SDP).":[79],"Here":[80],"newly":[82],"introduce":[83],"copositive":[84],"to":[86,111,141,152],"accurately.":[91],"Then,":[92],"by":[93],"considering":[94],"dual":[96],"SDP":[99],"computation,":[104],"second":[106],"derive":[107],"viable":[109],"test":[110],"conclude":[112],"exactness":[114,173],"computed":[117],"bound.":[119],"However,":[120],"these":[121],"SDPs":[122],"are":[123],"intractable":[124],"practical":[126,180],"FNNs":[127],"hundreds":[129],"ReLUs.":[131],"To":[132],"address":[133],"this":[134],"issue,":[135],"further":[137],"propose":[138],"method":[140],"construct":[142],"reduced":[144],"order":[145],"model":[146,170],"whose":[147],"input-output":[148],"property":[149],"identical":[151],"original":[154],"over":[156],"neighborhood":[158],"input.":[162],"We":[163],"finally":[164],"illustrate":[165],"effectiveness":[167],"reduction":[171],"and":[172],"verification":[174],"methods":[175],"numerical":[177],"examples":[178],"FNNs.":[181]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}