{"id":"https://openalex.org/W7154050532","doi":"https://doi.org/10.48550/arxiv.2604.09267","title":"On the Existence of Quadratic Control Lyapunov Functions for Koopman-Operator based Bilinear Systems","display_name":"On the Existence of Quadratic Control Lyapunov Functions for Koopman-Operator based Bilinear Systems","publication_year":2026,"publication_date":"2026-04-10","ids":{"openalex":"https://openalex.org/W7154050532","doi":"https://doi.org/10.48550/arxiv.2604.09267"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.09267","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.09267","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":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.09267","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022515836","display_name":"Sami Leon Noel Aziz Hanna","orcid":"https://orcid.org/0000-0002-9455-528X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hanna, Sami Leon Noel Aziz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077019230","display_name":"Nicolas Hoischen","orcid":"https://orcid.org/0009-0003-2492-7855"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hoischen, Nicolas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133513378","display_name":"Sandra Hirche","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hirche, Sandra","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5023397248","display_name":"Armin Lederer","orcid":"https://orcid.org/0000-0001-6263-5608"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lederer, Armin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.9415000081062317,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.9415000081062317,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11236","display_name":"Control Systems and Identification","score":0.011599999852478504,"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/T12772","display_name":"Control and Stability of Dynamical Systems","score":0.007400000002235174,"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/quadratic-growth","display_name":"Quadratic growth","score":0.6794999837875366},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.6575999855995178},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.64410001039505},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.5866000056266785},{"id":"https://openalex.org/keywords/bilinear-interpolation","display_name":"Bilinear interpolation","score":0.5432999730110168},{"id":"https://openalex.org/keywords/quadratic-equation","display_name":"Quadratic equation","score":0.5372999906539917},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4366999864578247},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.43549999594688416},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.41760000586509705}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7218000292778015},{"id":"https://openalex.org/C195956108","wikidata":"https://www.wikidata.org/wiki/Q7268362","display_name":"Quadratic growth","level":2,"score":0.6794999837875366},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.6575999855995178},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.64410001039505},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.5866000056266785},{"id":"https://openalex.org/C205203396","wikidata":"https://www.wikidata.org/wiki/Q612143","display_name":"Bilinear interpolation","level":2,"score":0.5432999730110168},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.5372999906539917},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4366999864578247},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.43549999594688416},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4309000074863434},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.41760000586509705},{"id":"https://openalex.org/C2776029896","wikidata":"https://www.wikidata.org/wiki/Q3935810","display_name":"Relaxation (psychology)","level":2,"score":0.37209999561309814},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.352400004863739},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3452000021934509},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.34290000796318054},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.33820000290870667},{"id":"https://openalex.org/C25854792","wikidata":"https://www.wikidata.org/wiki/Q1028945","display_name":"Lyapunov equation","level":4,"score":0.33660000562667847},{"id":"https://openalex.org/C157972887","wikidata":"https://www.wikidata.org/wiki/Q463359","display_name":"Convex optimization","level":3,"score":0.3345000147819519},{"id":"https://openalex.org/C91581856","wikidata":"https://www.wikidata.org/wiki/Q2707001","display_name":"Nonlinear control","level":3,"score":0.3197999894618988},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.30869999527931213},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.2838999927043915},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.27889999747276306},{"id":"https://openalex.org/C191544260","wikidata":"https://www.wikidata.org/wiki/Q1238630","display_name":"Lyapunov exponent","level":3,"score":0.27649998664855957},{"id":"https://openalex.org/C201030206","wikidata":"https://www.wikidata.org/wiki/Q5165805","display_name":"Control-Lyapunov function","level":5,"score":0.2689000070095062},{"id":"https://openalex.org/C37935115","wikidata":"https://www.wikidata.org/wiki/Q6707085","display_name":"Lyapunov redesign","level":4,"score":0.25360000133514404}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.09267","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.09267","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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.09267","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.09267","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":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.5411608815193176,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Koopman":[0],"operator-based":[1],"methods":[2],"enable":[3],"data-driven":[4],"bilinear":[5,74],"representations":[6,13],"of":[7,72],"unknown":[8],"nonlinear":[9],"control":[10,24,84,133],"systems.":[11],"Accurate":[12],"often":[14],"demand":[15],"significantly":[16],"higher":[17],"dimensions":[18],"than":[19],"the":[20,42,60,73,83],"original":[21],"system,":[22],"making":[23],"design":[25],"challenging.":[26],"Control":[27],"Lyapunov":[28],"Functions":[29],"(CLFs)":[30],"are":[31,108],"widely":[32],"used":[33],"for":[34],"controller":[35],"synthesis,":[36],"with":[37],"quadratic":[38,98,129],"CLF":[39,130],"candidates":[40],"being":[41],"most":[43],"common":[44],"due":[45],"to":[46,141],"their":[47,68],"simplicity.":[48],"Yet,":[49],"we":[50,110,125],"show":[51],"that":[52,81,101,116,127,138],"this":[53,91,139],"class":[54],"is":[55,63],"highly":[56],"restrictive,":[57],"especially":[58],"when":[59],"state":[61],"dimension":[62],"large:":[64],"under":[65],"mild":[66],"conditions,":[67],"existence":[69],"implies":[70],"stabilizability":[71],"system":[75],"by":[76,93],"a":[77,95,112,118,128],"constant":[78,132],"input":[79],"--":[80],"is,":[82],"remains":[85],"fixed":[86],"over":[87],"time.":[88],"We":[89],"establish":[90],"result":[92],"formulating":[94],"quadratically":[96],"constrained":[97],"program":[99],"(QCQP)":[100],"exactly":[102],"characterizes":[103],"valid":[104],"CLFs.":[105],"Since":[106],"QCQPs":[107],"NP-hard,":[109],"propose":[111],"convex":[113],"semidefinite":[114],"relaxation":[115],"offers":[117],"sufficient":[119],"validity":[120],"condition.":[121],"For":[122],"single-input":[123],"systems,":[124],"prove":[126],"requires":[131],"stabilizability,":[134],"and":[135],"empirically":[136],"demonstrate":[137],"extends":[140],"high-dimensional":[142],"multi-input":[143],"systems":[144],"in":[145],"many":[146],"cases.":[147]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-14T00:00:00"}