{"id":"https://openalex.org/W4400648456","doi":"https://doi.org/10.1145/3666000.3669709","title":"Initial Application of SONC to Lyapunov Stability of Dynamical Systems","display_name":"Initial Application of SONC to Lyapunov Stability of Dynamical Systems","publication_year":2024,"publication_date":"2024-07-15","ids":{"openalex":"https://openalex.org/W4400648456","doi":"https://doi.org/10.1145/3666000.3669709"},"language":"en","primary_location":{"id":"doi:10.1145/3666000.3669709","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3666000.3669709","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3666000.3669709","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059450802","display_name":"Timo de Wolff","orcid":"https://orcid.org/0000-0003-0883-1389"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Timo de Wolff","raw_affiliation_strings":["Mathematics, TU Braunschweig, Germany"],"raw_orcid":"https://orcid.org/0000-0003-0883-1389","affiliations":[{"raw_affiliation_string":"Mathematics, TU Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028007903","display_name":"Janin Heuer","orcid":"https://orcid.org/0000-0003-2386-8294"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Janin Heuer","raw_affiliation_strings":["Mathematics, TU Braunschweig, Germany"],"raw_orcid":"https://orcid.org/0000-0003-2386-8294","affiliations":[{"raw_affiliation_string":"Mathematics, TU Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5059450802"],"corresponding_institution_ids":["https://openalex.org/I94509681"],"apc_list":null,"apc_paid":null,"fwci":0.3155,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.54437188,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"361","last_page":"370"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9987000226974487,"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"}},"topics":[{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9987000226974487,"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/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.9979000091552734,"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/T11236","display_name":"Control Systems and Identification","score":0.9962000250816345,"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/lyapunov-function","display_name":"Lyapunov function","score":0.6138558983802795},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.562566339969635},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.5493967533111572},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5177723169326782},{"id":"https://openalex.org/keywords/lyapunov-equation","display_name":"Lyapunov equation","score":0.4774337708950043},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.4726226329803467},{"id":"https://openalex.org/keywords/nonlinear-dynamical-systems","display_name":"Nonlinear dynamical systems","score":0.4430190920829773},{"id":"https://openalex.org/keywords/lyapunov-optimization","display_name":"Lyapunov optimization","score":0.4401329457759857},{"id":"https://openalex.org/keywords/lyapunov-redesign","display_name":"Lyapunov redesign","score":0.4276340901851654},{"id":"https://openalex.org/keywords/lyapunov-exponent","display_name":"Lyapunov exponent","score":0.41440096497535706},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3344089984893799},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2910572290420532},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1549181044101715},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1354430913925171},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.10546660423278809},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.10134333372116089}],"concepts":[{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.6138558983802795},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.562566339969635},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.5493967533111572},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5177723169326782},{"id":"https://openalex.org/C25854792","wikidata":"https://www.wikidata.org/wiki/Q1028945","display_name":"Lyapunov equation","level":4,"score":0.4774337708950043},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4726226329803467},{"id":"https://openalex.org/C2983030100","wikidata":"https://www.wikidata.org/wiki/Q638328","display_name":"Nonlinear dynamical systems","level":3,"score":0.4430190920829773},{"id":"https://openalex.org/C101403955","wikidata":"https://www.wikidata.org/wiki/Q6707083","display_name":"Lyapunov optimization","level":5,"score":0.4401329457759857},{"id":"https://openalex.org/C37935115","wikidata":"https://www.wikidata.org/wiki/Q6707085","display_name":"Lyapunov redesign","level":4,"score":0.4276340901851654},{"id":"https://openalex.org/C191544260","wikidata":"https://www.wikidata.org/wiki/Q1238630","display_name":"Lyapunov exponent","level":3,"score":0.41440096497535706},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3344089984893799},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2910572290420532},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1549181044101715},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1354430913925171},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.10546660423278809},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.10134333372116089},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C2777052490","wikidata":"https://www.wikidata.org/wiki/Q5072826","display_name":"Chaotic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3666000.3669709","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3666000.3669709","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3666000.3669709","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3666000.3669709","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.5600000023841858,"id":"https://metadata.un.org/sdg/7"}],"awards":[{"id":"https://openalex.org/G880829000","display_name":null,"funder_award_id":"WO 2206/1-1","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"}],"funders":[{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W653291882","https://openalex.org/W1496537269","https://openalex.org/W1561445488","https://openalex.org/W1966397236","https://openalex.org/W1967344706","https://openalex.org/W1982292900","https://openalex.org/W2006116648","https://openalex.org/W2023757387","https://openalex.org/W2066116184","https://openalex.org/W2070735679","https://openalex.org/W2071026238","https://openalex.org/W2137801186","https://openalex.org/W2239251014","https://openalex.org/W2524522145","https://openalex.org/W2756857851","https://openalex.org/W2799036797","https://openalex.org/W2895618514","https://openalex.org/W2944483747","https://openalex.org/W2955472196","https://openalex.org/W2962902171","https://openalex.org/W2962954083","https://openalex.org/W2963917343","https://openalex.org/W2997540580","https://openalex.org/W3092934452","https://openalex.org/W3100197943","https://openalex.org/W3113334666","https://openalex.org/W3153513154","https://openalex.org/W3175731276","https://openalex.org/W4246108584","https://openalex.org/W4249480525","https://openalex.org/W4302585512","https://openalex.org/W6893953696"],"related_works":["https://openalex.org/W2383986032","https://openalex.org/W2534107666","https://openalex.org/W2349796700","https://openalex.org/W3217133416","https://openalex.org/W1983507234","https://openalex.org/W2118944249","https://openalex.org/W3194517843","https://openalex.org/W2164487476","https://openalex.org/W2210722882","https://openalex.org/W1979419366"],"abstract_inverted_index":{"Certifying":[0],"the":[1,53,60],"stability":[2],"of":[3,37,44,46,55,64,92],"dynamical":[4],"systems":[5,16],"is":[6,82],"a":[7,42],"central":[8],"and":[9,15,96,106],"challenging":[10],"task":[11,63],"in":[12],"control":[13],"theory":[14],"analysis.":[17],"To":[18],"tackle":[19],"these":[20],"problems":[21],"we":[22],"present":[23],"an":[24,101],"algorithmic":[25],"approach":[26,81],"to":[27,86],"finding":[28,65,87],"polynomial":[29],"Lyapunov":[30,66,88],"functions.":[31],"Our":[32],"method":[33],"relies":[34],"on":[35,109],"sums":[36,91],"nonnegative":[38],"circuit":[39],"functions":[40,67,89],"(SONC),":[41],"certificate":[43],"nonnegativity":[45],"real":[47],"polynomials.":[48],"We":[49,99],"show":[50],"that":[51],"both":[52],"problem":[54],"verifying":[56],"as":[57,59],"well":[58],"more":[61],"difficult":[62],"can":[68],"be":[69],"carried":[70],"out":[71],"via":[72,90],"relative":[73],"entropy":[74],"programming":[75],"when":[76],"using":[77],"SONC":[78],"certificates.":[79],"This":[80],"analogue":[83],"yet":[84],"independent":[85],"squares":[93],"(SOS)":[94],"certificates":[95],"semidefinite":[97],"programming.":[98],"construct":[100],"algorithm":[102],"for":[103],"our":[104],"results,":[105],"examples":[107],"computed":[108],"its":[110,113],"implementation":[111],"showing":[112],"applicability.":[114]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}