{"id":"https://openalex.org/W7123347963","doi":"https://doi.org/10.1109/cdc57313.2025.11312742","title":"Strictifying storage functions for autonomous discrete-time systems using observers","display_name":"Strictifying storage functions for autonomous discrete-time systems using observers","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123347963","doi":"https://doi.org/10.1109/cdc57313.2025.11312742"},"language":null,"primary_location":{"id":"doi:10.1109/cdc57313.2025.11312742","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312742","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":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119983275","display_name":"Aymane Benchebba","orcid":null},"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/I4210110792","display_name":"Centre de Recherche en Automatique de Nancy","ror":"https://ror.org/022r5hc56","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210099203","https://openalex.org/I4210100260","https://openalex.org/I4210110792","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"A. Benchebba","raw_affiliation_strings":["Université de Lorraine,CNRS, CRAN,Nancy,France,54000"],"affiliations":[{"raw_affiliation_string":"Université de Lorraine,CNRS, CRAN,Nancy,France,54000","institution_ids":["https://openalex.org/I90183372","https://openalex.org/I1294671590","https://openalex.org/I4210110792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003519273","display_name":"Romain Postoyan","orcid":"https://orcid.org/0000-0002-2454-602X"},"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/I4210110792","display_name":"Centre de Recherche en Automatique de Nancy","ror":"https://ror.org/022r5hc56","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210099203","https://openalex.org/I4210100260","https://openalex.org/I4210110792","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"R. Postoyan","raw_affiliation_strings":["Université de Lorraine,CNRS, CRAN,Nancy,France,54000"],"affiliations":[{"raw_affiliation_string":"Université de Lorraine,CNRS, CRAN,Nancy,France,54000","institution_ids":["https://openalex.org/I90183372","https://openalex.org/I1294671590","https://openalex.org/I4210110792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122870307","display_name":"V. Andrieu","orcid":null},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"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/I4210143168","display_name":"Laboratoire d'Automatique, de G\u00e9nie des Proc\u00e9d\u00e9s et de G\u00e9nie Pharmaceutique","ror":"https://ror.org/03kfjwy31","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I4210095849","https://openalex.org/I4210143168","https://openalex.org/I59692284"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"V. Andrieu","raw_affiliation_strings":["Université Lyon 1,CNRS, LAGEPP,Villeurbanne,France,69100"],"affiliations":[{"raw_affiliation_string":"Université Lyon 1,CNRS, LAGEPP,Villeurbanne,France,69100","institution_ids":["https://openalex.org/I4210143168","https://openalex.org/I100532134","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5122898405","display_name":"D. Astolfi","orcid":null},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"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/I4210143168","display_name":"Laboratoire d'Automatique, de G\u00e9nie des Proc\u00e9d\u00e9s et de G\u00e9nie Pharmaceutique","ror":"https://ror.org/03kfjwy31","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I4210095849","https://openalex.org/I4210143168","https://openalex.org/I59692284"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"D. Astolfi","raw_affiliation_strings":["Université Lyon 1,CNRS, LAGEPP,Villeurbanne,France,69100"],"affiliations":[{"raw_affiliation_string":"Université Lyon 1,CNRS, LAGEPP,Villeurbanne,France,69100","institution_ids":["https://openalex.org/I4210143168","https://openalex.org/I100532134","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5119983275"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210110792","https://openalex.org/I90183372"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.64287755,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"7495","last_page":"7500"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11110","display_name":"Stability and Controllability of Differential Equations","score":0.35440000891685486,"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/T11110","display_name":"Stability and Controllability of Differential Equations","score":0.35440000891685486,"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.15469999611377716,"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/T10040","display_name":"Adaptive Control of Nonlinear Systems","score":0.14030000567436218,"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/lyapunov-function","display_name":"Lyapunov function","score":0.6973999738693237},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.6794999837875366},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.6535000205039978},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.6413999795913696},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5649999976158142},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.45159998536109924},{"id":"https://openalex.org/keywords/lyapunov-redesign","display_name":"Lyapunov redesign","score":0.444599986076355}],"concepts":[{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.6973999738693237},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.6794999837875366},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.6535000205039978},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.6413999795913696},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5688999891281128},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5649999976158142},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.45159998536109924},{"id":"https://openalex.org/C37935115","wikidata":"https://www.wikidata.org/wiki/Q6707085","display_name":"Lyapunov redesign","level":4,"score":0.444599986076355},{"id":"https://openalex.org/C201030206","wikidata":"https://www.wikidata.org/wiki/Q5165805","display_name":"Control-Lyapunov function","level":5,"score":0.41179999709129333},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3255000114440918},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.31150001287460327},{"id":"https://openalex.org/C25854792","wikidata":"https://www.wikidata.org/wiki/Q1028945","display_name":"Lyapunov equation","level":4,"score":0.305400013923645},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.29679998755455017},{"id":"https://openalex.org/C194739806","wikidata":"https://www.wikidata.org/wiki/Q66221","display_name":"Computer data storage","level":2,"score":0.28110000491142273},{"id":"https://openalex.org/C101403955","wikidata":"https://www.wikidata.org/wiki/Q6707083","display_name":"Lyapunov optimization","level":5,"score":0.2694999873638153},{"id":"https://openalex.org/C2982888158","wikidata":"https://www.wikidata.org/wiki/Q5165874","display_name":"Control function","level":3,"score":0.2687000036239624},{"id":"https://openalex.org/C191544260","wikidata":"https://www.wikidata.org/wiki/Q1238630","display_name":"Lyapunov exponent","level":3,"score":0.2632000148296356},{"id":"https://openalex.org/C9628104","wikidata":"https://www.wikidata.org/wiki/Q788009","display_name":"Autonomous system (mathematics)","level":2,"score":0.2614000141620636},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2603999972343445}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312742","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312742","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"addresses":[2],"the":[3,47,79,89,100],"strictification":[4],"of":[5,92,102,112],"storage":[6,15,33,81],"functions":[7],"for":[8,99,109,118],"autonomous":[9],"discrete-time":[10],"nonlinear":[11,122],"systems.":[12,123],"Given":[13],"a":[14,44,53,63,110],"function":[16,34,56,82,86,105],"that":[17,35],"does":[18],"not":[19],"increase":[20],"along":[21,38],"solutions,":[22],"we":[23,28],"present":[24],"conditions":[25,98],"under":[26],"which":[27],"can":[29],"construct":[30,107],"an":[31,84,93],"alternative":[32],"strictly":[36],"decreases":[37],"solutions.":[39],"The":[40,74],"results":[41],"include,":[42],"as":[43,115,117],"special":[45],"case,":[46],"situation":[48],"where":[49],"one":[50],"starts":[51],"with":[52,83],"weak":[54],"Lyapunov":[55,65],"and":[57,106],"seeks":[58],"to":[59],"modify":[60],"it":[61,108],"into":[62],"strict":[64],"function,":[66],"thereby":[67],"certifying":[68],"properties":[69],"stronger":[70],"than":[71],"mere":[72],"stability.":[73],"approach":[75],"relies":[76],"on":[77],"combining":[78],"original":[80],"auxiliary":[85,104],"derived":[87],"from":[88],"assumed":[90],"knowledge":[91],"observer.":[94],"We":[95],"provide":[96],"sufficient":[97],"existence":[101],"this":[103],"class":[111],"smooth":[113],"systems,":[114],"well":[116],"general":[119],"backward":[120],"distinguishable":[121]},"counts_by_year":[],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2026-01-14T00:00:00"}