{"id":"https://openalex.org/W3035908921","doi":"https://doi.org/10.1007/s10817-024-09717-2","title":"Computer-Assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis","display_name":"Computer-Assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis","publication_year":2025,"publication_date":"2025-01-25","ids":{"openalex":"https://openalex.org/W3035908921","doi":"https://doi.org/10.1007/s10817-024-09717-2","mag":"3035908921"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-024-09717-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-024-09717-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-024-09717-2.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10817-024-09717-2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079468064","display_name":"Grigory Devadze","orcid":null},"institutions":[{"id":"https://openalex.org/I2610724","display_name":"Chemnitz University of Technology","ror":"https://ror.org/00a208s56","country_code":"DE","type":"education","lineage":["https://openalex.org/I2610724"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Grigory Devadze","raw_affiliation_strings":["Automatic Control and System Dynamics Lab, Technische Universit\u00e4t Chemnitz, Chemnitz, Germany","Chemnitz University of Technology / Technische Universit\u00e4t Chemnitz (Chemnitz - Germany)"],"raw_orcid":"https://orcid.org/0000-0003-2787-128X","affiliations":[{"raw_affiliation_string":"Automatic Control and System Dynamics Lab, Technische Universit\u00e4t Chemnitz, Chemnitz, Germany","institution_ids":["https://openalex.org/I2610724"]},{"raw_affiliation_string":"Chemnitz University of Technology / Technische Universit\u00e4t Chemnitz (Chemnitz - Germany)","institution_ids":["https://openalex.org/I2610724"]}]},{"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/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"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/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]},{"id":"https://openalex.org/I196454796","display_name":"Institut National des Sciences Appliqu\u00e9es de Toulouse","ror":"https://ror.org/01h8pf755","country_code":"FR","type":"education","lineage":["https://openalex.org/I196454796"]},{"id":"https://openalex.org/I4210098964","display_name":"Toulouse Mathematics Institute","ror":null,"country_code":"FR","type":null,"lineage":["https://openalex.org/I4210098964"]},{"id":"https://openalex.org/I84500057","display_name":"Institut de Math\u00e9matiques de Toulouse","ror":"https://ror.org/014vp6c30","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I196454796","https://openalex.org/I4210092408","https://openalex.org/I4210126056","https://openalex.org/I4210141950","https://openalex.org/I4210152422","https://openalex.org/I4405258862","https://openalex.org/I84500057"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Victor Magron","raw_affiliation_strings":["LAAS, Toulouse C\u00e9dex 4, France","IMT - Institut de Math\u00e9matiques de Toulouse UMR5219 (UPS IMT, F-31062 Toulouse Cedex 9, \r\nINSA Toulouse, F-31077 Toulouse,\r\nFrance UT1, F-31042 Toulouse, \r\nFrance UT2, F-31058 Toulouse,\r\n\r\nT\u00e9l\u00e9phone : 05.61.55.67.90 - France)","LAAS-MAC - \u00c9quipe M\u00e9thodes et Algorithmes en Commande (France)"],"raw_orcid":"https://orcid.org/0000-0003-1147-3738","affiliations":[{"raw_affiliation_string":"LAAS, Toulouse C\u00e9dex 4, France","institution_ids":["https://openalex.org/I17866349","https://openalex.org/I190497903","https://openalex.org/I4210098964"]},{"raw_affiliation_string":"IMT - Institut de Math\u00e9matiques de Toulouse UMR5219 (UPS IMT, F-31062 Toulouse Cedex 9, \r\nINSA Toulouse, F-31077 Toulouse,\r\nFrance UT1, F-31042 Toulouse, \r\nFrance UT2, F-31058 Toulouse,\r\n\r\nT\u00e9l\u00e9phone : 05.61.55.67.90 - France)","institution_ids":["https://openalex.org/I134560555","https://openalex.org/I196454796","https://openalex.org/I84500057"]},{"raw_affiliation_string":"LAAS-MAC - \u00c9quipe M\u00e9thodes et Algorithmes en Commande (France)","institution_ids":["https://openalex.org/I190497903"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050202669","display_name":"Stefan Streif","orcid":"https://orcid.org/0000-0002-3398-1226"},"institutions":[{"id":"https://openalex.org/I2610724","display_name":"Chemnitz University of Technology","ror":"https://ror.org/00a208s56","country_code":"DE","type":"education","lineage":["https://openalex.org/I2610724"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Stefan Streif","raw_affiliation_strings":["Automatic Control and System Dynamics Lab, Technische Universit\u00e4t Chemnitz, Chemnitz, Germany","Chemnitz University of Technology / Technische Universit\u00e4t Chemnitz (Chemnitz - Germany)"],"raw_orcid":"https://orcid.org/0000-0002-3398-1226","affiliations":[{"raw_affiliation_string":"Automatic Control and System Dynamics Lab, Technische Universit\u00e4t Chemnitz, Chemnitz, Germany","institution_ids":["https://openalex.org/I2610724"]},{"raw_affiliation_string":"Chemnitz University of Technology / Technische Universit\u00e4t Chemnitz (Chemnitz - Germany)","institution_ids":["https://openalex.org/I2610724"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5050202669","https://openalex.org/A5066095974","https://openalex.org/A5079468064"],"corresponding_institution_ids":["https://openalex.org/I134560555","https://openalex.org/I17866349","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I2610724","https://openalex.org/I4210098964","https://openalex.org/I84500057"],"apc_list":{"value":3190,"currency":"USD","value_usd":3190},"apc_paid":{"value":3190,"currency":"USD","value_usd":3190},"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.00030831,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"69","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12772","display_name":"Control and Stability of Dynamical Systems","score":0.9973000288009644,"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/T12772","display_name":"Control and Stability of Dynamical Systems","score":0.9973000288009644,"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.996399998664856,"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/T11236","display_name":"Control Systems and Identification","score":0.9922000169754028,"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/mathematical-proof","display_name":"Mathematical proof","score":0.8871949911117554},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.7836813926696777},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.6086907982826233},{"id":"https://openalex.org/keywords/least-squares-function-approximation","display_name":"Least-squares function approximation","score":0.5686083436012268},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5362903475761414},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.46199536323547363},{"id":"https://openalex.org/keywords/explained-sum-of-squares","display_name":"Explained sum of squares","score":0.45199185609817505},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.44962698221206665},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3507038950920105},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.33673712611198425},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.18474724888801575},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.06377780437469482},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06081792712211609},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.046310633420944214}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.8871949911117554},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.7836813926696777},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.6086907982826233},{"id":"https://openalex.org/C9936470","wikidata":"https://www.wikidata.org/wiki/Q6510405","display_name":"Least-squares function approximation","level":3,"score":0.5686083436012268},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5362903475761414},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.46199536323547363},{"id":"https://openalex.org/C49847556","wikidata":"https://www.wikidata.org/wiki/Q3964631","display_name":"Explained sum of squares","level":2,"score":0.45199185609817505},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.44962698221206665},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3507038950920105},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33673712611198425},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.18474724888801575},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.06377780437469482},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06081792712211609},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.046310633420944214},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10817-024-09717-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-024-09717-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-024-09717-2.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2006.09884","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2006.09884","pdf_url":"https://arxiv.org/pdf/2006.09884","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-02873040v1","is_oa":false,"landing_page_url":"https://laas.hal.science/hal-02873040","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":"2020","raw_type":"info:eu-repo/semantics/preprint"}],"best_oa_location":{"id":"doi:10.1007/s10817-024-09717-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-024-09717-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-024-09717-2.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3010527862","display_name":null,"funder_award_id":"ANR\u201019","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3612407387","display_name":null,"funder_award_id":"813211","funder_id":"https://openalex.org/F4320338438","funder_display_name":"HORIZON EUROPE Marie Sklodowska-Curie Actions"},{"id":"https://openalex.org/G3778207229","display_name":null,"funder_award_id":"PI3A-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3879958799","display_name":null,"funder_award_id":"19-PI3A-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G434337789","display_name":null,"funder_award_id":"HORIZON2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4656594441","display_name":null,"funder_award_id":"ANR18","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G602161992","display_name":null,"funder_award_id":"ANR-19-PI3A-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7001502250","display_name":"Polynomial Optimization, Efficiency through Moments and Algebra","funder_award_id":"813211","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7338534804","display_name":null,"funder_award_id":"813211","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8818155169","display_name":"Certified OPtimization for cyber-physical Systems verification","funder_award_id":"ANR-18-ERC2-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320311034","display_name":"Technische Universit\u00e4t Chemnitz","ror":"https://ror.org/00a208s56"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320324478","display_name":"Fondation Math\u00e9matique Jacques Hadamard","ror":"https://ror.org/0153me927"},{"id":"https://openalex.org/F4320338438","display_name":"HORIZON EUROPE Marie Sklodowska-Curie Actions","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3035908921.pdf","grobid_xml":"https://content.openalex.org/works/W3035908921.grobid-xml"},"referenced_works_count":109,"referenced_works":["https://openalex.org/W5793364","https://openalex.org/W69146909","https://openalex.org/W72585902","https://openalex.org/W74548528","https://openalex.org/W99746906","https://openalex.org/W107352449","https://openalex.org/W122982323","https://openalex.org/W126279018","https://openalex.org/W165943180","https://openalex.org/W238693918","https://openalex.org/W608459725","https://openalex.org/W610320434","https://openalex.org/W657432067","https://openalex.org/W831210015","https://openalex.org/W1464569014","https://openalex.org/W1497011154","https://openalex.org/W1498091397","https://openalex.org/W1501825542","https://openalex.org/W1508864478","https://openalex.org/W1509579779","https://openalex.org/W1518290936","https://openalex.org/W1534704094","https://openalex.org/W1542193405","https://openalex.org/W1544564247","https://openalex.org/W1559197676","https://openalex.org/W1591577758","https://openalex.org/W1591868040","https://openalex.org/W1601195943","https://openalex.org/W1718127821","https://openalex.org/W1719974439","https://openalex.org/W1768814311","https://openalex.org/W1825294361","https://openalex.org/W1877244068","https://openalex.org/W1905474909","https://openalex.org/W1963942310","https://openalex.org/W1966478469","https://openalex.org/W1966942994","https://openalex.org/W1967073510","https://openalex.org/W1967344706","https://openalex.org/W1982216340","https://openalex.org/W1986342613","https://openalex.org/W1987081771","https://openalex.org/W1995320256","https://openalex.org/W2000714860","https://openalex.org/W2010404330","https://openalex.org/W2030292569","https://openalex.org/W2038137192","https://openalex.org/W2063402394","https://openalex.org/W2067459192","https://openalex.org/W2067765015","https://openalex.org/W2068318525","https://openalex.org/W2076405698","https://openalex.org/W2080884201","https://openalex.org/W2086088918","https://openalex.org/W2091275975","https://openalex.org/W2092622802","https://openalex.org/W2106192381","https://openalex.org/W2115520718","https://openalex.org/W2117933783","https://openalex.org/W2121112004","https://openalex.org/W2130273395","https://openalex.org/W2133404041","https://openalex.org/W2133943301","https://openalex.org/W2143235494","https://openalex.org/W2143917322","https://openalex.org/W2144335283","https://openalex.org/W2147177731","https://openalex.org/W2147877794","https://openalex.org/W2153281872","https://openalex.org/W2166700968","https://openalex.org/W2182449132","https://openalex.org/W2565924041","https://openalex.org/W2577444373","https://openalex.org/W2586197373","https://openalex.org/W2745776412","https://openalex.org/W2775956080","https://openalex.org/W2792892743","https://openalex.org/W2793741686","https://openalex.org/W2912522929","https://openalex.org/W2960750222","https://openalex.org/W2963106619","https://openalex.org/W2963297919","https://openalex.org/W2963661913","https://openalex.org/W2964165817","https://openalex.org/W2967206311","https://openalex.org/W2991593260","https://openalex.org/W2995134346","https://openalex.org/W3002490963","https://openalex.org/W3004102353","https://openalex.org/W3009244053","https://openalex.org/W3016425199","https://openalex.org/W3023939313","https://openalex.org/W3045946120","https://openalex.org/W3099251155","https://openalex.org/W3113334666","https://openalex.org/W3119965387","https://openalex.org/W3120760274","https://openalex.org/W3153513154","https://openalex.org/W3200130299","https://openalex.org/W3210839039","https://openalex.org/W4232418676","https://openalex.org/W4239316923","https://openalex.org/W4242185650","https://openalex.org/W4250846042","https://openalex.org/W4255442211","https://openalex.org/W6600137863","https://openalex.org/W6601389412","https://openalex.org/W6620440515","https://openalex.org/W6827257515"],"related_works":["https://openalex.org/W2959217929","https://openalex.org/W4242866892","https://openalex.org/W84644661","https://openalex.org/W42551271","https://openalex.org/W2524522145","https://openalex.org/W3010831251","https://openalex.org/W2058869626","https://openalex.org/W2106850246","https://openalex.org/W4388252235","https://openalex.org/W2378144170"],"abstract_inverted_index":{"Abstract":[0],"We":[1,45],"provide":[2],"a":[3,9],"computer-assisted":[4],"approach":[5,48],"to":[6],"ensure":[7],"that":[8],"given":[10],"discrete-time":[11],"polynomial":[12],"system":[13,56],"is":[14],"(asymptotically)":[15],"stable.":[16],"Our":[17],"framework":[18],"relies":[19],"on":[20],"constructive":[21],"analysis":[22],"together":[23],"with":[24,49],"formally":[25],"certified":[26],"sums":[27],"of":[28],"squares":[29],"Lyapunov":[30],"functions.":[31],"The":[32],"crucial":[33],"steps":[34],"are":[35],"formalized":[36],"within":[37],"the":[38,54],"proof":[39],"assistant":[40],"$$\\texttt":[41],"{Minlog}$$":[42],"Minlog":[43],".":[44],"illustrate":[46],"our":[47],"an":[50],"example":[51],"issued":[52],"from":[53],"control":[55],"literature.":[57]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}