{"id":"https://openalex.org/W7123345413","doi":"https://doi.org/10.1109/cdc57313.2025.11312012","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","display_name":"Ordering and refining path-complete Lyapunov functions through composition lifts","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123345413","doi":"https://doi.org/10.1109/cdc57313.2025.11312012"},"language":"en","primary_location":{"id":"doi:10.1109/cdc57313.2025.11312012","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312012","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2503.18189","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020343130","display_name":"Wouter Jongeneel","orcid":"https://orcid.org/0000-0002-0078-9596"},"institutions":[{"id":"https://openalex.org/I4210112706","display_name":"Institut Catholique d'Arts et M\u00e9tiers","ror":"https://ror.org/01swx2932","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210112706"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Wouter Jongeneel","raw_affiliation_strings":["UCLouvain (ICTEAM)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UCLouvain (ICTEAM)","institution_ids":["https://openalex.org/I4210112706"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5122887289","display_name":"Rapha\u00ebl M. Jungers","orcid":null},"institutions":[{"id":"https://openalex.org/I4210112706","display_name":"Institut Catholique d'Arts et M\u00e9tiers","ror":"https://ror.org/01swx2932","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210112706"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Rapha\u00ebl M. Jungers","raw_affiliation_strings":["UCLouvain (ICTEAM)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UCLouvain (ICTEAM)","institution_ids":["https://openalex.org/I4210112706"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210112706"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"8304","last_page":"8309"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.35089999437332153,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.35089999437332153,"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/T10621","display_name":"Gene Regulatory Network Analysis","score":0.2143000066280365,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.11919999867677689,"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.7405999898910522},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.5055000185966492},{"id":"https://openalex.org/keywords/lyapunov-redesign","display_name":"Lyapunov redesign","score":0.4999000132083893},{"id":"https://openalex.org/keywords/lyapunov-exponent","display_name":"Lyapunov exponent","score":0.474700003862381},{"id":"https://openalex.org/keywords/lyapunov-equation","display_name":"Lyapunov equation","score":0.4666000008583069},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.4487999975681305},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.40059998631477356},{"id":"https://openalex.org/keywords/lyapunov-stability","display_name":"Lyapunov stability","score":0.39910000562667847}],"concepts":[{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.7405999898910522},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7387999892234802},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.5055000185966492},{"id":"https://openalex.org/C37935115","wikidata":"https://www.wikidata.org/wiki/Q6707085","display_name":"Lyapunov redesign","level":4,"score":0.4999000132083893},{"id":"https://openalex.org/C191544260","wikidata":"https://www.wikidata.org/wiki/Q1238630","display_name":"Lyapunov exponent","level":3,"score":0.474700003862381},{"id":"https://openalex.org/C25854792","wikidata":"https://www.wikidata.org/wiki/Q1028945","display_name":"Lyapunov equation","level":4,"score":0.4666000008583069},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.4487999975681305},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.40059998631477356},{"id":"https://openalex.org/C2776829284","wikidata":"https://www.wikidata.org/wiki/Q1341651","display_name":"Lyapunov stability","level":3,"score":0.39910000562667847},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.3894999921321869},{"id":"https://openalex.org/C139002025","wikidata":"https://www.wikidata.org/wiki/Q3001212","display_name":"Lift (data mining)","level":2,"score":0.3644999861717224},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3292999863624573},{"id":"https://openalex.org/C101403955","wikidata":"https://www.wikidata.org/wiki/Q6707083","display_name":"Lyapunov optimization","level":5,"score":0.328900009393692},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.29760000109672546},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.29600000381469727},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.2849999964237213},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.27970001101493835},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.2745000123977661},{"id":"https://openalex.org/C143170015","wikidata":"https://www.wikidata.org/wiki/Q17007850","display_name":"Stability conditions","level":3,"score":0.26089999079704285}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312012","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312012","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2503.18189","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2503.18189","pdf_url":"https://arxiv.org/pdf/2503.18189","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:dial.uclouvain.be:boreal:310674","is_oa":true,"landing_page_url":"http://hdl.handle.net/2078.1/310674","pdf_url":null,"source":{"id":"https://openalex.org/S4306401902","display_name":"Digital Access to Libraries (Universit\u00e9 catholique de Louvain (UCL), l'Universit\u00e9 de Namur (UNamur) and the Universit\u00e9 Saint-Louis (USL-B))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I95674353","host_organization_name":"UCLouvain","host_organization_lineage":["https://openalex.org/I95674353"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2503.18189","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2503.18189","pdf_url":"https://arxiv.org/pdf/2503.18189","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322852","display_name":"Innoviris","ror":"https://ror.org/04af9zr29"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7123345413.pdf","grobid_xml":"https://content.openalex.org/works/W7123345413.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"A":[0],"fruitful":[1],"approach":[2],"to":[3,10,41,58,69,81,93,122,132,144,153],"study":[4],"stability":[5,29],"of":[6,33,85,137,157],"switched":[7],"systems":[8],"is":[9,125],"look":[11],"for":[12],"multiple":[13,71],"Lyapunov":[14,35,51,72,86],"functions.":[15,73],"However,":[16],"in":[17,111],"general,":[18],"we":[19,47,106,142],"do":[20],"not":[21],"yet":[22],"understand":[23],"the":[24,27,31,34,82,115,138,158],"interplay":[25],"between":[26],"desired":[28],"certificate,":[30],"template":[32],"functions":[36],"and":[37,99],"their":[38],"mutual":[39],"relationships":[40],"accommodate":[42],"switching.":[43],"In":[44,62,103],"this":[45,60,104,112],"work":[46],"elaborate":[48],"on":[49],"path-complete":[50,147],"functions:":[52],"a":[53,109,133,154],"graphical":[54],"framework":[55],"that":[56,108,119,141],"aims":[57],"elucidate":[59],"interplay.":[61],"particular,":[63],"previously,":[64],"several":[65],"preorders":[66,75,96],"were":[67,91],"introduced":[68],"compare":[70],"These":[74],"are":[76],"initially":[77],"algorithmically":[78],"intractable":[79],"due":[80],"algebraic":[83],"nature":[84],"inequalities,":[87],"yet,":[88],"lifting":[89],"techniques":[90],"proposed":[92],"turn":[94],"some":[95],"purely":[97],"combinatorial":[98],"thereby":[100],"eventually":[101],"tractable.":[102],"note":[105],"show":[107],"conjecture":[110],"area":[113],"regarding":[114],"so-called":[116],"composition":[117,139,159],"lift,":[118],"was":[120],"believed":[121],"be":[123],"true,":[124],"false.":[126],"This":[127],"refutal,":[128],"however,":[129],"points":[130,151],"us":[131,152],"beneficial":[134],"structural":[135],"feature":[136],"lift":[140],"exploit":[143],"iteratively":[145],"refine":[146],"graphs,":[148],"plus,":[149],"it":[150],"favourable":[155],"adaptation":[156],"lift.":[160]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-01-14T00:00:00"}