{"id":"https://openalex.org/W2794205846","doi":"https://doi.org/10.1109/tac.2019.2914968","title":"On Algebraic Proofs of Stability for Homogeneous Vector Fields","display_name":"On Algebraic Proofs of Stability for Homogeneous Vector Fields","publication_year":2019,"publication_date":"2019-05-24","ids":{"openalex":"https://openalex.org/W2794205846","doi":"https://doi.org/10.1109/tac.2019.2914968","mag":"2794205846"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2019.2914968","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2019.2914968","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":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1803.01877","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Amir Ali Ahmadi","orcid":"https://orcid.org/0000-0003-1590-7281"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Amir Ali Ahmadi","raw_affiliation_strings":["Department of Operations Research and Financial Engineering, Princeton University, Princeton, USA","Dept. of Operations Res. & Financial Eng., Princeton Univ. Princeton, NJ, USA"],"raw_orcid":"https://orcid.org/0000-0003-1590-7281","affiliations":[{"raw_affiliation_string":"Department of Operations Research and Financial Engineering, Princeton University, Princeton, USA","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":"Dept. of Operations Res. & Financial Eng., Princeton Univ. Princeton, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039961664","display_name":"Bachir El Khadir","orcid":"https://orcid.org/0000-0002-1132-6271"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bachir El Khadir","raw_affiliation_strings":["Department of Operations Research and Financial Engineering, Princeton University, Princeton, USA","Dept. of Operations Res. & Financial Eng., Princeton Univ. Princeton, NJ, USA"],"raw_orcid":"https://orcid.org/0000-0002-1132-6271","affiliations":[{"raw_affiliation_string":"Department of Operations Research and Financial Engineering, Princeton University, Princeton, USA","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":"Dept. of Operations Res. & Financial Eng., Princeton Univ. Princeton, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I20089843"],"apc_list":null,"apc_paid":null,"fwci":0.1685,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.44548823,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"65","issue":"1","first_page":"325","last_page":"332"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9951000213623047,"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.9951000213623047,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.994700014591217,"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.9898999929428101,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8078710436820984},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.7679390907287598},{"id":"https://openalex.org/keywords/homogeneous-polynomial","display_name":"Homogeneous polynomial","score":0.753912091255188},{"id":"https://openalex.org/keywords/lyapunov-equation","display_name":"Lyapunov equation","score":0.6308179497718811},{"id":"https://openalex.org/keywords/lyapunov-exponent","display_name":"Lyapunov exponent","score":0.6048375368118286},{"id":"https://openalex.org/keywords/rational-function","display_name":"Rational function","score":0.5519917011260986},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5214977860450745},{"id":"https://openalex.org/keywords/vector-field","display_name":"Vector field","score":0.5103023052215576},{"id":"https://openalex.org/keywords/exponential-stability","display_name":"Exponential stability","score":0.4724465012550354},{"id":"https://openalex.org/keywords/stability-theory","display_name":"Stability theory","score":0.46318694949150085},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3436359465122223},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.31810152530670166},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.30892235040664673},{"id":"https://openalex.org/keywords/matrix-polynomial","display_name":"Matrix polynomial","score":0.2168005406856537},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.08137211203575134}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8078710436820984},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.7679390907287598},{"id":"https://openalex.org/C17103678","wikidata":"https://www.wikidata.org/wiki/Q1474074","display_name":"Homogeneous polynomial","level":4,"score":0.753912091255188},{"id":"https://openalex.org/C25854792","wikidata":"https://www.wikidata.org/wiki/Q1028945","display_name":"Lyapunov equation","level":4,"score":0.6308179497718811},{"id":"https://openalex.org/C191544260","wikidata":"https://www.wikidata.org/wiki/Q1238630","display_name":"Lyapunov exponent","level":3,"score":0.6048375368118286},{"id":"https://openalex.org/C75190567","wikidata":"https://www.wikidata.org/wiki/Q41237","display_name":"Rational function","level":2,"score":0.5519917011260986},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5214977860450745},{"id":"https://openalex.org/C91188154","wikidata":"https://www.wikidata.org/wiki/Q186247","display_name":"Vector field","level":2,"score":0.5103023052215576},{"id":"https://openalex.org/C167964875","wikidata":"https://www.wikidata.org/wiki/Q17011487","display_name":"Exponential stability","level":3,"score":0.4724465012550354},{"id":"https://openalex.org/C41949839","wikidata":"https://www.wikidata.org/wiki/Q1756677","display_name":"Stability theory","level":3,"score":0.46318694949150085},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3436359465122223},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.31810152530670166},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.30892235040664673},{"id":"https://openalex.org/C101044782","wikidata":"https://www.wikidata.org/wiki/Q6787887","display_name":"Matrix polynomial","level":3,"score":0.2168005406856537},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.08137211203575134},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tac.2019.2914968","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2019.2914968","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:arXiv.org:1803.01877","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1803.01877","pdf_url":"https://arxiv.org/pdf/1803.01877","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"","raw_type":"text"},{"id":"mag:2794205846","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1803.01877.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1803.01877","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1803.01877","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1803.01877","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1803.01877","pdf_url":"https://arxiv.org/pdf/1803.01877","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320309292","display_name":"Princeton University","ror":"https://ror.org/00hx57361"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W68192900","https://openalex.org/W431400460","https://openalex.org/W1496537269","https://openalex.org/W1530960252","https://openalex.org/W1590002045","https://openalex.org/W1932416784","https://openalex.org/W1967480982","https://openalex.org/W1971837993","https://openalex.org/W1972580903","https://openalex.org/W1975322117","https://openalex.org/W1986956696","https://openalex.org/W1997200860","https://openalex.org/W2003652915","https://openalex.org/W2006116648","https://openalex.org/W2026018724","https://openalex.org/W2041656693","https://openalex.org/W2046811859","https://openalex.org/W2080688746","https://openalex.org/W2087208242","https://openalex.org/W2089183401","https://openalex.org/W2093066289","https://openalex.org/W2101681633","https://openalex.org/W2107104458","https://openalex.org/W2121680057","https://openalex.org/W2126658944","https://openalex.org/W2146586176","https://openalex.org/W2155724501","https://openalex.org/W2551112154","https://openalex.org/W2566959205","https://openalex.org/W2765673104","https://openalex.org/W2964330658","https://openalex.org/W4231971843","https://openalex.org/W4254127125","https://openalex.org/W4293738473","https://openalex.org/W6679392325","https://openalex.org/W6692437511"],"related_works":["https://openalex.org/W2105500253","https://openalex.org/W2003652915","https://openalex.org/W1828211482","https://openalex.org/W2607389201","https://openalex.org/W2951228608","https://openalex.org/W2489671312","https://openalex.org/W2028637098","https://openalex.org/W2996975825","https://openalex.org/W2790854174","https://openalex.org/W3101779121","https://openalex.org/W1059638856","https://openalex.org/W2528779116","https://openalex.org/W2016532013","https://openalex.org/W3021815360","https://openalex.org/W2291847730","https://openalex.org/W2021154761","https://openalex.org/W2472289914","https://openalex.org/W2952004452","https://openalex.org/W2183311772","https://openalex.org/W2159753179"],"abstract_inverted_index":{"We":[0,30,128],"prove":[1],"that":[2,33,74,130,194],"if":[3],"a":[4,16,27,59,81,87,145,161,187,196],"homogeneous,":[5],"continuously":[6],"differentiable":[7],"vector":[8,36,96,139,173,192],"field":[9,37],"is":[10,20,38],"asymptotically":[11,76,136],"stable,":[12],"then":[13],"it":[14],"admits":[15,80],"Lyapunov":[17,41,60,83,148,163,199,204,219],"function,":[18,84,149],"which":[19,85],"the":[21,35,40,45,71,98,155,158,181,212,223],"ratio":[22],"of":[23,53,108,115,133,153,157,160,175,189,206,215],"two":[24],"polynomials":[25],"(i.e.,":[26],"rational":[28,46,147,162,198,218],"function).":[29],"further":[31],"show":[32,129],"when":[34],"polynomial,":[39],"inequalities":[42],"on":[43],"both":[44],"function":[47,61,164,200],"and":[48,150,178,232],"its":[49],"derivative":[50],"have":[51,229],"sum":[52],"squares":[54],"certificates":[55],"and,":[56],"hence,":[57],"such":[58],"can":[62,100],"always":[63],"be":[64,101,168],"found":[65],"by":[66,111],"semidefinite":[67],"programming.":[68],"This":[69,121,210],"generalizes":[70],"classical":[72],"fact":[73],"an":[75],"stable":[77,137],"linear":[78,89],"system":[79],"quadratic":[82],"satisfies":[86],"certain":[88],"matrix":[90],"inequality.":[91],"In":[92],"addition":[93],"to":[94,143,167,237],"homogeneous":[95,119,190],"fields,":[97],"result":[99],"useful":[102],"for":[103,172,239],"showing":[104],"local":[105],"asymptotic":[106,113],"stability":[107,114],"nonhomogeneous":[109],"systems":[110],"proving":[112],"their":[116],"lowest":[117],"order":[118],"component.":[120],"paper":[122],"also":[123,185],"includes":[124],"some":[125],"negative":[126],"results:":[127],"in":[131,151],"absence":[132],"homogeneity,":[134,154],"globally":[135],"polynomial":[138,191,203,241],"fields":[140,174,193],"may":[141,165],"fail":[142],"admit":[144,195],"global":[146],"presence":[152],"degree":[156,177],"numerator":[159],"need":[166],"arbitrarily":[169,207],"high":[170,208],"(even":[171],"fixed":[176],"dimension).":[179],"On":[180],"other":[182],"hand,":[183],"we":[184,227],"give":[186],"family":[188],"low-degree":[197],"but":[201],"necessitate":[202],"functions":[205],"degree.":[209],"shows":[211],"potential":[213],"benefits":[214],"working":[216],"with":[217],"functions,":[220],"particularly":[221],"as":[222],"ones":[224],"whose":[225],"existence":[226],"guarantee":[228],"structured":[230],"denominators":[231],"are":[233],"not":[234],"more":[235],"expensive":[236],"search":[238],"than":[240],"ones.":[242]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-25T08:17:42.794288","created_date":"2025-10-10T00:00:00"}
