{"id":"https://openalex.org/W4379382608","doi":"https://doi.org/10.1109/tac.2023.3283213","title":"Stability Verification of Neural Network Controllers Using Mixed-Integer Programming","display_name":"Stability Verification of Neural Network Controllers Using Mixed-Integer Programming","publication_year":2023,"publication_date":"2023-06-05","ids":{"openalex":"https://openalex.org/W4379382608","doi":"https://doi.org/10.1109/tac.2023.3283213"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2023.3283213","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2023.3283213","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/295998","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007610499","display_name":"Roland Schwan","orcid":"https://orcid.org/0000-0002-2807-4891"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Roland Schwan","raw_affiliation_strings":["Automatic Control Lab, EPFL, Lausanne, Switzerland","Risk Analytics and Optimization Chair, EPFL, Lausanne, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-2807-4891","affiliations":[{"raw_affiliation_string":"Automatic Control Lab, EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Risk Analytics and Optimization Chair, EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085117832","display_name":"Colin N. Jones","orcid":"https://orcid.org/0000-0001-7239-4799"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Colin N. Jones","raw_affiliation_strings":["Automatic Control Lab, EPFL, Lausanne, Switzerland"],"raw_orcid":"https://orcid.org/0000-0001-7239-4799","affiliations":[{"raw_affiliation_string":"Automatic Control Lab, EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065780980","display_name":"Daniel K\u00fchn","orcid":"https://orcid.org/0000-0003-2697-8886"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Daniel Kuhn","raw_affiliation_strings":["Risk Analytics and Optimization Chair, EPFL, Lausanne, Switzerland"],"raw_orcid":"https://orcid.org/0000-0003-2697-8886","affiliations":[{"raw_affiliation_string":"Risk Analytics and Optimization Chair, EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5007610499"],"corresponding_institution_ids":["https://openalex.org/I5124864"],"apc_list":null,"apc_paid":null,"fwci":3.1939,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.92351093,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"68","issue":"12","first_page":"7514","last_page":"7529"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10409","display_name":"Fuel Cells and Related Materials","score":0.9929999709129333,"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"}},"topics":[{"id":"https://openalex.org/T10409","display_name":"Fuel Cells and Related Materials","score":0.9929999709129333,"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"}},{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9926999807357788,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9854000210762024,"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/computer-science","display_name":"Computer science","score":0.595137357711792},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.5944852828979492},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5837366580963135},{"id":"https://openalex.org/keywords/model-predictive-control","display_name":"Model predictive control","score":0.5729696750640869},{"id":"https://openalex.org/keywords/quadratic-programming","display_name":"Quadratic programming","score":0.5417969226837158},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.5272406935691833},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5079525113105774},{"id":"https://openalex.org/keywords/toolbox","display_name":"Toolbox","score":0.49278882145881653},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.4921085238456726},{"id":"https://openalex.org/keywords/quadratic-equation","display_name":"Quadratic equation","score":0.4700317084789276},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.44354841113090515},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.43624651432037354},{"id":"https://openalex.org/keywords/linear-programming","display_name":"Linear programming","score":0.4316878318786621},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.35945945978164673},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2755889296531677},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14038029313087463},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.1390499472618103},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.10401958227157593}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.595137357711792},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.5944852828979492},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5837366580963135},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.5729696750640869},{"id":"https://openalex.org/C81845259","wikidata":"https://www.wikidata.org/wiki/Q290117","display_name":"Quadratic programming","level":2,"score":0.5417969226837158},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.5272406935691833},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5079525113105774},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.49278882145881653},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.4921085238456726},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.4700317084789276},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.44354841113090515},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.43624651432037354},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.4316878318786621},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.35945945978164673},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2755889296531677},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14038029313087463},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.1390499472618103},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.10401958227157593},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tac.2023.3283213","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2023.3283213","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-article"},{"id":"pmh:oai:infoscience.epfl.ch:295998","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/295998","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"research article"}],"best_oa_location":{"id":"pmh:oai:infoscience.epfl.ch:295998","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/295998","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"research article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G967790516","display_name":null,"funder_award_id":"51NF40_180545","funder_id":"https://openalex.org/F8269005443","funder_display_name":"NCCR Catalysis"}],"funders":[{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F8269005443","display_name":"NCCR Catalysis","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W124292005","https://openalex.org/W1524886571","https://openalex.org/W1551020779","https://openalex.org/W1603008429","https://openalex.org/W1704276703","https://openalex.org/W1977985274","https://openalex.org/W1978956894","https://openalex.org/W1981723834","https://openalex.org/W1984740071","https://openalex.org/W1999780595","https://openalex.org/W2030469774","https://openalex.org/W2061757541","https://openalex.org/W2118132161","https://openalex.org/W2134673975","https://openalex.org/W2135227058","https://openalex.org/W2137983211","https://openalex.org/W2144935407","https://openalex.org/W2166313543","https://openalex.org/W2749680651","https://openalex.org/W2771691050","https://openalex.org/W2794609696","https://openalex.org/W2807706315","https://openalex.org/W2810195925","https://openalex.org/W2887532679","https://openalex.org/W2901816197","https://openalex.org/W2940189798","https://openalex.org/W2992833799","https://openalex.org/W3007985585","https://openalex.org/W3012550246","https://openalex.org/W3081593229","https://openalex.org/W3095839831","https://openalex.org/W3101479673","https://openalex.org/W3101925693","https://openalex.org/W3104730803","https://openalex.org/W3117881175","https://openalex.org/W3120012985","https://openalex.org/W3121024268","https://openalex.org/W3132353419","https://openalex.org/W3136607002","https://openalex.org/W3148417208","https://openalex.org/W3153251967","https://openalex.org/W3158850837","https://openalex.org/W4244633107","https://openalex.org/W4297825594","https://openalex.org/W4308750860","https://openalex.org/W6631190155","https://openalex.org/W6696497002","https://openalex.org/W6734122017","https://openalex.org/W6751044371","https://openalex.org/W6751834733","https://openalex.org/W6765694979","https://openalex.org/W6766978945","https://openalex.org/W6767563556","https://openalex.org/W6767977373","https://openalex.org/W6774192314"],"related_works":["https://openalex.org/W2068663075","https://openalex.org/W2978678743","https://openalex.org/W2797837731","https://openalex.org/W2549786917","https://openalex.org/W1580294268","https://openalex.org/W2080896647","https://openalex.org/W2025587901","https://openalex.org/W2028217664","https://openalex.org/W2158000646","https://openalex.org/W2886734572"],"abstract_inverted_index":{"In":[0,95],"this":[1],"article,":[2],"we":[3,81,97],"propose":[4],"a":[5,22,36,41,91,128,191],"framework":[6,20,122,186],"for":[7,59,167],"the":[8,60,64,70,77,106,110,162,168,180,188],"stability":[9,62,107],"verification":[10,170],"of":[11,63,69,105,109,131,142,171,184,190],"mixed-integer":[12,92],"linear":[13],"programming":[14],"(MILP)":[15],"representable":[16],"control":[17,149],"policies.":[18,151],"This":[19],"compares":[21],"fixed":[23,42],"candidate":[24,65,111,132],"policy,":[25,44,79],"which":[26,45,165],"admits":[27],"an":[28,100,118,155],"efficient":[29],"parameterization":[30],"and":[31,80,102,146,175,182,197],"can":[32,86,113],"be":[33,49,87,114],"evaluated":[34],"at":[35],"low":[37],"computational":[38,200],"cost,":[39],"against":[40],"baseline":[43,78],"is":[46,123],"known":[47],"to":[48,53,76,126],"stable":[50],"but":[51],"expensive":[52],"evaluate.":[54],"We":[55,152,178],"provide":[56],"sufficient":[57],"conditions":[58,85],"closed-loop":[61],"policy":[66,112],"in":[67,158,187],"terms":[68],"worst-case":[71],"approximation":[72,104],"error":[73],"with":[74],"respect":[75],"show":[82],"that":[83,99],"these":[84],"checked":[88],"by":[89,116],"solving":[90,117],"quadratic":[93,144],"program.":[94],"addition,":[96],"demonstrate":[98],"outer":[101],"inner":[103],"region":[108],"computed":[115],"MILP.":[119],"The":[120],"proposed":[121,163],"sufficiently":[124],"general":[125],"accommodate":[127],"broad":[129],"range":[130],"policies":[133],"including":[134],"ReLU":[135],"neural":[136],"networks":[137],"(NNs),":[138],"optimal":[139],"solution":[140],"maps":[141],"parametric":[143],"programs,":[145],"model":[147],"predictive":[148],"(MPC)":[150],"also":[153],"present":[154],"open-source":[156],"toolbox":[157],"Python":[159],"based":[160],"on":[161],"framework,":[164],"allows":[166],"easy":[169],"custom":[172],"NN":[173],"architectures":[174],"MPC":[176],"formulations.":[177],"showcase":[179],"flexibility":[181],"reliability":[183],"our":[185],"context":[189],"dc\u2013dc":[192],"power":[193],"converter":[194],"case":[195],"study":[196],"investigate":[198],"its":[199],"complexity.":[201]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":10},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}