{"id":"https://openalex.org/W3129578604","doi":"https://doi.org/10.1109/tac.2021.3061557","title":"Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation","display_name":"Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation","publication_year":2021,"publication_date":"2021-02-23","ids":{"openalex":"https://openalex.org/W3129578604","doi":"https://doi.org/10.1109/tac.2021.3061557","mag":"3129578604"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2021.3061557","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2021.3061557","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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2104.06360","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Marianne Souaiby","orcid":"https://orcid.org/0000-0002-7119-0310"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marianne Souaiby","raw_affiliation_strings":["LAAS-CNRS, Université de Toulouse, Toulouse, France"],"raw_orcid":"https://orcid.org/0000-0002-7119-0310","affiliations":[{"raw_affiliation_string":"LAAS-CNRS, Université de Toulouse, Toulouse, France","institution_ids":["https://openalex.org/I17866349","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Aneel Tanwani","orcid":"https://orcid.org/0000-0003-1387-2855"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Aneel Tanwani","raw_affiliation_strings":["LAAS-CNRS, Université de Toulouse, Toulouse, France"],"raw_orcid":"https://orcid.org/0000-0003-1387-2855","affiliations":[{"raw_affiliation_string":"LAAS-CNRS, Université de Toulouse, Toulouse, France","institution_ids":["https://openalex.org/I17866349","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"last","author":{"id":null,"display_name":"Didier Henrion","orcid":"https://orcid.org/0000-0001-6735-7715"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"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/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ","FR"],"is_corresponding":false,"raw_author_name":"Didier Henrion","raw_affiliation_strings":["Faculty of Electrical Engineering, Czech Technical University, Prague, Czechia","LAAS-CNRS, Université de Toulouse, Toulouse, France"],"raw_orcid":"https://orcid.org/0000-0001-6735-7715","affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Czech Technical University, Prague, Czechia","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"LAAS-CNRS, Université de Toulouse, Toulouse, France","institution_ids":["https://openalex.org/I17866349","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9217,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.69684499,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"67","issue":"3","first_page":"1253","last_page":"1268"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.6769999861717224,"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.6769999861717224,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.07880000025033951,"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/T10545","display_name":"Optimization and Variational Analysis","score":0.06129999831318855,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"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.7228000164031982},{"id":"https://openalex.org/keywords/lyapunov-equation","display_name":"Lyapunov equation","score":0.6200000047683716},{"id":"https://openalex.org/keywords/lyapunov-redesign","display_name":"Lyapunov redesign","score":0.47920000553131104},{"id":"https://openalex.org/keywords/lyapunov-optimization","display_name":"Lyapunov optimization","score":0.4697999954223633},{"id":"https://openalex.org/keywords/homogeneous-polynomial","display_name":"Homogeneous polynomial","score":0.4666000008583069},{"id":"https://openalex.org/keywords/vector-field","display_name":"Vector field","score":0.4025999903678894},{"id":"https://openalex.org/keywords/convex-optimization","display_name":"Convex optimization","score":0.4023999869823456},{"id":"https://openalex.org/keywords/lyapunov-exponent","display_name":"Lyapunov exponent","score":0.3896999955177307},{"id":"https://openalex.org/keywords/numerical-stability","display_name":"Numerical stability","score":0.3555000126361847},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.3431999981403351}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8051000237464905},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.7228000164031982},{"id":"https://openalex.org/C25854792","wikidata":"https://www.wikidata.org/wiki/Q1028945","display_name":"Lyapunov equation","level":4,"score":0.6200000047683716},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.541100025177002},{"id":"https://openalex.org/C37935115","wikidata":"https://www.wikidata.org/wiki/Q6707085","display_name":"Lyapunov redesign","level":4,"score":0.47920000553131104},{"id":"https://openalex.org/C101403955","wikidata":"https://www.wikidata.org/wiki/Q6707083","display_name":"Lyapunov optimization","level":5,"score":0.4697999954223633},{"id":"https://openalex.org/C17103678","wikidata":"https://www.wikidata.org/wiki/Q1474074","display_name":"Homogeneous polynomial","level":4,"score":0.4666000008583069},{"id":"https://openalex.org/C91188154","wikidata":"https://www.wikidata.org/wiki/Q186247","display_name":"Vector field","level":2,"score":0.4025999903678894},{"id":"https://openalex.org/C157972887","wikidata":"https://www.wikidata.org/wiki/Q463359","display_name":"Convex optimization","level":3,"score":0.4023999869823456},{"id":"https://openalex.org/C191544260","wikidata":"https://www.wikidata.org/wiki/Q1238630","display_name":"Lyapunov exponent","level":3,"score":0.3896999955177307},{"id":"https://openalex.org/C176321772","wikidata":"https://www.wikidata.org/wiki/Q1430640","display_name":"Numerical stability","level":3,"score":0.3555000126361847},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.3431999981403351},{"id":"https://openalex.org/C202615002","wikidata":"https://www.wikidata.org/wiki/Q783507","display_name":"Differentiable function","level":2,"score":0.3319000005722046},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.32919999957084656},{"id":"https://openalex.org/C15627037","wikidata":"https://www.wikidata.org/wiki/Q541961","display_name":"Classification of discontinuities","level":2,"score":0.3255000114440918},{"id":"https://openalex.org/C167964875","wikidata":"https://www.wikidata.org/wiki/Q17011487","display_name":"Exponential stability","level":3,"score":0.3237999975681305},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3052000105381012},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.3010999858379364},{"id":"https://openalex.org/C201030206","wikidata":"https://www.wikidata.org/wiki/Q5165805","display_name":"Control-Lyapunov function","level":5,"score":0.3009999990463257},{"id":"https://openalex.org/C70834904","wikidata":"https://www.wikidata.org/wiki/Q1054638","display_name":"Differential inclusion","level":2,"score":0.2800000011920929},{"id":"https://openalex.org/C85404239","wikidata":"https://www.wikidata.org/wiki/Q5156417","display_name":"Complementarity theory","level":3,"score":0.27869999408721924},{"id":"https://openalex.org/C145446738","wikidata":"https://www.wikidata.org/wiki/Q319913","display_name":"Convex function","level":3,"score":0.2770000100135803},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.27649998664855957},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.2750999927520752},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.27309998869895935},{"id":"https://openalex.org/C48753275","wikidata":"https://www.wikidata.org/wiki/Q11216","display_name":"Numerical analysis","level":2,"score":0.2667999863624573},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.2662999927997589},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.26260000467300415},{"id":"https://openalex.org/C41949839","wikidata":"https://www.wikidata.org/wiki/Q1756677","display_name":"Stability theory","level":3,"score":0.26249998807907104},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.26089999079704285},{"id":"https://openalex.org/C2776829284","wikidata":"https://www.wikidata.org/wiki/Q1341651","display_name":"Lyapunov stability","level":3,"score":0.25049999356269836}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tac.2021.3061557","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2021.3061557","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:2104.06360","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2104.06360","pdf_url":"https://arxiv.org/pdf/2104.06360","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":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-02565283v2","is_oa":false,"landing_page_url":"https://hal.science/hal-02565283","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":"IEEE Transactions on Automatic Control, 2022, 67 (3), pp.1253 - 1268. ⟨10.1109/TAC.2021.3061557⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2104.06360","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2104.06360","pdf_url":"https://arxiv.org/pdf/2104.06360","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":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7088555137","display_name":"Control of Constrained Interconnected Systems using Variational Analysis","funder_award_id":"ANR-17-CE40-0019","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W404764422","https://openalex.org/W431400460","https://openalex.org/W1545761024","https://openalex.org/W1549791526","https://openalex.org/W1552094772","https://openalex.org/W1600295805","https://openalex.org/W1969073096","https://openalex.org/W1975881242","https://openalex.org/W1992769584","https://openalex.org/W1997370679","https://openalex.org/W2003232014","https://openalex.org/W2025776604","https://openalex.org/W2026856626","https://openalex.org/W2036851340","https://openalex.org/W2047577886","https://openalex.org/W2057820893","https://openalex.org/W2079135578","https://openalex.org/W2080688746","https://openalex.org/W2094263082","https://openalex.org/W2098982596","https://openalex.org/W2114927426","https://openalex.org/W2119020247","https://openalex.org/W2121680057","https://openalex.org/W2124487034","https://openalex.org/W2129966419","https://openalex.org/W2144560699","https://openalex.org/W2153620969","https://openalex.org/W2154510168","https://openalex.org/W2162807113","https://openalex.org/W2165281529","https://openalex.org/W2482615404","https://openalex.org/W2513471485","https://openalex.org/W2515301610","https://openalex.org/W2566959205","https://openalex.org/W2944897931","https://openalex.org/W2962712936","https://openalex.org/W2962724662","https://openalex.org/W2963999833","https://openalex.org/W2990251667","https://openalex.org/W3156621441","https://openalex.org/W4254742099","https://openalex.org/W4255043376","https://openalex.org/W4255442211","https://openalex.org/W6679392325","https://openalex.org/W6748571056"],"related_works":[],"abstract_inverted_index":{"This":[0,144],"article":[1],"establishes":[2],"the":[3,10,43,47,50,55,61,64,82,119,130,184],"existence":[4],"of":[5,12,15,30,49,63,67,80,84,140,147,163,172,175],"Lyapunov":[6,92,112,187],"functions":[7,132,148],"for":[8,22,155,165,182],"analyzing":[9,81],"stability":[11,83],"a":[13,31,36,68,75,95,108,137,173],"class":[14,146],"state-constrained":[16],"systems,":[17],"and":[18],"it":[19],"describes":[20],"algorithms":[21,164,170],"their":[23],"numerical":[24,156],"computation.":[25],"The":[26,78],"system":[27,120],"model":[28],"consists":[29],"differential":[32],"equation":[33],"coupled":[34],"with":[35],"set-valued":[37,56],"relation":[38,57],"that":[39,101,129,167],"introduces":[40],"discontinuities":[41],"in":[42,74],"vector":[44,121],"field":[45],"at":[46],"boundaries":[48],"constraint":[51],"set.":[52],"In":[53],"particular,":[54],"is":[58,87,149],"described":[59],"by":[60,89,136],"subdifferential":[62],"indicator":[65],"function":[66,139],"closed":[69],"convex":[70],"cone,":[71],"which":[72],"results":[73],"cone-complementarity":[76],"system.":[77],"question":[79],"such":[85,123],"systems":[86,105],"addressed":[88],"constructing":[90],"cone-copositive":[91,111,141,186],"functions.":[93],"As":[94],"first":[96],"analytical":[97],"result,":[98],"we":[99,126,159],"show":[100,128],"exponentially":[102],"stable":[103],"complementarity":[104],"always":[106],"admit":[107],"continuously":[109],"differentiable":[110],"function.":[113,188],"Putting":[114],"some":[115],"more":[116],"structure":[117],"on":[118],"field,":[122],"as":[124,158],"homogeneity,":[125],"can":[127,133],"aforementioned":[131],"be":[134,152],"approximated":[135],"rational":[138],"homogeneous":[142],"polynomials.":[143],"latter":[145],"seen":[150],"to":[151,193],"particularly":[153],"amenable":[154],"computation":[157],"provide":[160],"two":[161],"types":[162],"precisely":[166],"purpose.":[168],"These":[169],"consist":[171],"hierarchy":[174],"either":[176],"linear":[177],"or":[178],"semidefinite":[179],"optimization":[180],"problems":[181],"computing":[183],"desired":[185],"Some":[189],"examples":[190],"are":[191],"given":[192],"illustrate":[194],"our":[195],"approach.":[196]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2021-03-01T00:00:00"}