{"id":"https://openalex.org/W7108206112","doi":"https://doi.org/10.1109/tac.2025.3639400","title":"Arbitrarily Small Execution-Time Certificate: What Was Missed in Analog Optimization","display_name":"Arbitrarily Small Execution-Time Certificate: What Was Missed in Analog Optimization","publication_year":2025,"publication_date":"2025-12-02","ids":{"openalex":"https://openalex.org/W7108206112","doi":"https://doi.org/10.1109/tac.2025.3639400"},"language":null,"primary_location":{"id":"doi:10.1109/tac.2025.3639400","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3639400","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Liang Wu","orcid":"https://orcid.org/0000-0002-5452-3080"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Liang Wu","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, MA, USA"],"raw_orcid":"https://orcid.org/0000-0002-5452-3080","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Ambrose Adegbege","orcid":"https://orcid.org/0000-0002-2506-644X"},"institutions":[{"id":"https://openalex.org/I64281891","display_name":"College of New Jersey","ror":"https://ror.org/02nx5r318","country_code":"US","type":"education","lineage":["https://openalex.org/I64281891"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ambrose Adegbege","raw_affiliation_strings":["The College of New Jersey, Ewing, NJ, USA"],"raw_orcid":"https://orcid.org/0000-0002-2506-644X","affiliations":[{"raw_affiliation_string":"The College of New Jersey, Ewing, NJ, USA","institution_ids":["https://openalex.org/I64281891"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yongduan Song","orcid":"https://orcid.org/0000-0002-2167-1861"},"institutions":[{"id":"https://openalex.org/I158842170","display_name":"Chongqing University","ror":"https://ror.org/023rhb549","country_code":"CN","type":"education","lineage":["https://openalex.org/I158842170"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongduan Song","raw_affiliation_strings":["Chongqing University, Chongqing, China"],"raw_orcid":"https://orcid.org/0000-0002-2167-1861","affiliations":[{"raw_affiliation_string":"Chongqing University, Chongqing, China","institution_ids":["https://openalex.org/I158842170"]}]},{"author_position":"last","author":{"id":null,"display_name":"Richard D. Braatz","orcid":"https://orcid.org/0000-0003-4304-3484"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard D. Braatz","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, MA, USA"],"raw_orcid":"https://orcid.org/0000-0003-4304-3484","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"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.62063456,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"71","issue":"5","first_page":"3487","last_page":"3494"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.37630000710487366,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.37630000710487366,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.14409999549388885,"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/T14083","display_name":"Extremum Seeking Control Systems","score":0.04500000178813934,"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/convex-optimization","display_name":"Convex optimization","score":0.6079000234603882},{"id":"https://openalex.org/keywords/optimization-problem","display_name":"Optimization problem","score":0.588100016117096},{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.5415999889373779},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.44999998807907104},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.4327999949455261},{"id":"https://openalex.org/keywords/analog-computer","display_name":"Analog computer","score":0.4228000044822693},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.4228000044822693},{"id":"https://openalex.org/keywords/ode","display_name":"Ode","score":0.42149999737739563},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.40209999680519104}],"concepts":[{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.6261000037193298},{"id":"https://openalex.org/C157972887","wikidata":"https://www.wikidata.org/wiki/Q463359","display_name":"Convex optimization","level":3,"score":0.6079000234603882},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.588100016117096},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.5415999889373779},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5121999979019165},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.44999998807907104},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.4327999949455261},{"id":"https://openalex.org/C90915687","wikidata":"https://www.wikidata.org/wiki/Q63759","display_name":"Analog computer","level":2,"score":0.4228000044822693},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.4228000044822693},{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.42149999737739563},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.40209999680519104},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.39719998836517334},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.38420000672340393},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.3614000082015991},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33000001311302185},{"id":"https://openalex.org/C34320192","wikidata":"https://www.wikidata.org/wiki/Q783105","display_name":"Linear complementarity problem","level":3,"score":0.32420000433921814},{"id":"https://openalex.org/C115527620","wikidata":"https://www.wikidata.org/wiki/Q769909","display_name":"Nonlinear programming","level":3,"score":0.3181999921798706},{"id":"https://openalex.org/C145446738","wikidata":"https://www.wikidata.org/wiki/Q319913","display_name":"Convex function","level":3,"score":0.30300000309944153},{"id":"https://openalex.org/C93779851","wikidata":"https://www.wikidata.org/wiki/Q271977","display_name":"Partial differential equation","level":2,"score":0.2953000068664551},{"id":"https://openalex.org/C2776029896","wikidata":"https://www.wikidata.org/wiki/Q3935810","display_name":"Relaxation (psychology)","level":2,"score":0.2937000095844269},{"id":"https://openalex.org/C92995354","wikidata":"https://www.wikidata.org/wiki/Q5165499","display_name":"Continuous optimization","level":4,"score":0.2919999957084656},{"id":"https://openalex.org/C55660270","wikidata":"https://www.wikidata.org/wiki/Q5164377","display_name":"Constrained optimization","level":2,"score":0.2881999909877777},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.28600001335144043},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.2711000144481659},{"id":"https://openalex.org/C14781684","wikidata":"https://www.wikidata.org/wiki/Q3983320","display_name":"Settling time","level":3,"score":0.2621999979019165},{"id":"https://openalex.org/C11210021","wikidata":"https://www.wikidata.org/wiki/Q1520713","display_name":"Linearization","level":3,"score":0.260699987411499},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.2522999942302704}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2025.3639400","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3639400","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"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.9015423059463501,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[{"id":"https://openalex.org/G2221990718","display_name":null,"funder_award_id":"75F40122C00200","funder_id":"https://openalex.org/F4320332163","funder_display_name":"U.S. Food and Drug Administration"}],"funders":[{"id":"https://openalex.org/F4320332163","display_name":"U.S. Food and Drug Administration","ror":"https://ror.org/034xvzb47"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"<italic":[0,49],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[1,50,161,175],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Numerical":[2],"optimization</i>":[3,52],"(solving":[4,53],"optimization":[5,54,67,101,195],"problems":[6,55,68,196],"using":[7],"digital":[8],"computers)":[9],"currently":[10],"dominates":[11],"but":[12],"has":[13,115],"three":[14],"drawbacks:":[15],"high":[16],"energy":[17,62],"consumption,":[18,63],"poor":[19],"scalability,":[20],"and":[21,74,123,141,197],"lack":[22],"of":[23,38,45,78,190,193],"an":[24,142],"execution":[25,143],"time":[26,88,144,159,171,185],"certificate.":[27],"To":[28,59,119,138],"address":[29],"these":[30],"challenges,":[31],"this":[32,64,95,113,146],"article":[33,147],"explores":[34],"the":[35,76,100,105,129,149,154,169,183,191,194,203],"recent":[36],"resurgence":[37],"analog":[39,57,79,204],"computers,":[40],"proposing":[41],"a":[42],"novel":[43],"paradigm":[44,65],"arbitrarily":[46,200],"small":[47,201],"execution-time-certified":[48],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">analog":[51],"via":[56],"computers).":[58],"achieve":[60,139],"ultra-low":[61],"transforms":[66],"into":[69],"ordinary":[70],"differential":[71],"equations":[72],"(ODEs)":[73],"leverages":[75],"ability":[77],"computers":[80],"to":[81],"naturally":[82],"solve":[83],"ODEs":[84],"(no":[85],"need":[86],"for":[87,135,153],"discretization)":[89],"in":[90,112],"physically":[91],"real":[92],"time.":[93],"However,":[94],"transformation":[96,121],"can":[97,164,198],"fail":[98],"if":[99,202],"problem,":[102],"such":[103],"as":[104,173],"general":[106],"convex":[107,136],"nonlinear":[108],"programs":[109],"(NLPs)":[110],"considered":[111],"article,":[114],"no":[116],"feasible":[117],"solution.":[118],"avoid":[120],"failure":[122],"enable":[124],"infeasibility":[125],"detection,":[126],"we":[127],"introduce":[128],"homogeneous":[130],"monotone":[131],"complementarity":[132],"problem":[133],"formulation":[134],"NLPs.":[137],"scalability":[140],"certificate,":[145],"introduces":[148],"Newton-based":[150],"fixed-time-stable":[151],"scheme":[152],"transformed":[155],"ODE,":[156],"whose":[157],"settling":[158,184],"<inline-formula":[160,174],"xmlns:xlink=\"http://www.w3.org/1999/xlink\"><tex-math":[162,176],"notation=\"LaTeX\">$T_{p}$</tex-math></inline-formula>":[163],"be":[165,199],"prescribed":[166],"by":[167],"choosing":[168],"ODE's":[170],"coefficient":[172],"notation=\"LaTeX\">$k=\\frac{\\pi":[177],"}{2T_{p}}$</tex-math></inline-formula>.":[178],"This":[179],"equation":[180],"certifies":[181],"that":[182],"(execution":[186],"time)":[187],"is":[188],"independent":[189],"dimension":[192],"computer":[205],"allows.":[206]},"counts_by_year":[],"updated_date":"2026-04-28T06:04:28.489925","created_date":"2025-12-03T00:00:00"}
