{"id":"https://openalex.org/W4380303702","doi":"https://doi.org/10.1109/lcsys.2023.3285102","title":"Counter-Example Guided Inductive Synthesis of Control Lyapunov Functions for Uncertain Systems","display_name":"Counter-Example Guided Inductive Synthesis of Control Lyapunov Functions for Uncertain Systems","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4380303702","doi":"https://doi.org/10.1109/lcsys.2023.3285102"},"language":"en","primary_location":{"id":"doi:10.1109/lcsys.2023.3285102","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2023.3285102","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","raw_type":"journal-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/A5063494900","display_name":"Daniele Masti","orcid":"https://orcid.org/0000-0002-2889-2309"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Daniele Masti","raw_affiliation_strings":["IMT School for Advanced Studies Lucca, Lucca, Italy","IMT School for Advanced Studies Lucca, Piazza San Francesco 19, Lucca, Italy"],"raw_orcid":"https://orcid.org/0000-0002-2889-2309","affiliations":[{"raw_affiliation_string":"IMT School for Advanced Studies Lucca, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]},{"raw_affiliation_string":"IMT School for Advanced Studies Lucca, Piazza San Francesco 19, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056468963","display_name":"Filippo Fabiani","orcid":"https://orcid.org/0000-0002-9911-4758"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Filippo Fabiani","raw_affiliation_strings":["IMT School for Advanced Studies Lucca, Lucca, Italy","IMT School for Advanced Studies Lucca, Piazza San Francesco 19, Lucca, Italy"],"raw_orcid":"https://orcid.org/0000-0002-9911-4758","affiliations":[{"raw_affiliation_string":"IMT School for Advanced Studies Lucca, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]},{"raw_affiliation_string":"IMT School for Advanced Studies Lucca, Piazza San Francesco 19, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064295920","display_name":"Giorgio Gnecco","orcid":"https://orcid.org/0000-0002-5427-4328"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giorgio Gnecco","raw_affiliation_strings":["IMT School for Advanced Studies Lucca, Lucca, Italy","IMT School for Advanced Studies Lucca, Piazza San Francesco 19, Lucca, Italy"],"raw_orcid":"https://orcid.org/0000-0002-5427-4328","affiliations":[{"raw_affiliation_string":"IMT School for Advanced Studies Lucca, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]},{"raw_affiliation_string":"IMT School for Advanced Studies Lucca, Piazza San Francesco 19, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053340099","display_name":"Alberto Bemporad","orcid":"https://orcid.org/0000-0001-6761-0856"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alberto Bemporad","raw_affiliation_strings":["IMT School for Advanced Studies Lucca, Lucca, Italy","IMT School for Advanced Studies Lucca, Piazza San Francesco 19, Lucca, Italy"],"raw_orcid":"https://orcid.org/0000-0001-6761-0856","affiliations":[{"raw_affiliation_string":"IMT School for Advanced Studies Lucca, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]},{"raw_affiliation_string":"IMT School for Advanced Studies Lucca, Piazza San Francesco 19, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5063494900"],"corresponding_institution_ids":["https://openalex.org/I127077003"],"apc_list":null,"apc_paid":null,"fwci":1.076,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.7665227,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"7","issue":null,"first_page":"2047","last_page":"2052"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9995999932289124,"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.9995999932289124,"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/T11236","display_name":"Control Systems and Identification","score":0.9979000091552734,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9975000023841858,"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/lipschitz-continuity","display_name":"Lipschitz continuity","score":0.7384873032569885},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.715811550617218},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.5712544322013855},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.5616137385368347},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5553725957870483},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.5506545305252075},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5431562662124634},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.48311567306518555},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.46812334656715393},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4444369077682495},{"id":"https://openalex.org/keywords/lyapunov-redesign","display_name":"Lyapunov redesign","score":0.4273761808872223},{"id":"https://openalex.org/keywords/linear-matrix-inequality","display_name":"Linear matrix inequality","score":0.41788381338119507},{"id":"https://openalex.org/keywords/control-lyapunov-function","display_name":"Control-Lyapunov function","score":0.41576728224754333},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4038960933685303},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.37264275550842285},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.18206295371055603},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.06291937828063965}],"concepts":[{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.7384873032569885},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.715811550617218},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.5712544322013855},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.5616137385368347},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5553725957870483},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.5506545305252075},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5431562662124634},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.48311567306518555},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.46812334656715393},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4444369077682495},{"id":"https://openalex.org/C37935115","wikidata":"https://www.wikidata.org/wiki/Q6707085","display_name":"Lyapunov redesign","level":4,"score":0.4273761808872223},{"id":"https://openalex.org/C201829737","wikidata":"https://www.wikidata.org/wiki/Q2022760","display_name":"Linear matrix inequality","level":2,"score":0.41788381338119507},{"id":"https://openalex.org/C201030206","wikidata":"https://www.wikidata.org/wiki/Q5165805","display_name":"Control-Lyapunov function","level":5,"score":0.41576728224754333},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4038960933685303},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.37264275550842285},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.18206295371055603},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.06291937828063965},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lcsys.2023.3285102","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2023.3285102","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1488435683","https://openalex.org/W1524886571","https://openalex.org/W1976410223","https://openalex.org/W2057209393","https://openalex.org/W2072064204","https://openalex.org/W2133404041","https://openalex.org/W2169141493","https://openalex.org/W2284232578","https://openalex.org/W2295431040","https://openalex.org/W2328476272","https://openalex.org/W2536620281","https://openalex.org/W2611450296","https://openalex.org/W2796726869","https://openalex.org/W2997049506","https://openalex.org/W3016425199","https://openalex.org/W3100014918","https://openalex.org/W3121024268","https://openalex.org/W4200635829","https://openalex.org/W4231039456","https://openalex.org/W4253811327","https://openalex.org/W4293182205","https://openalex.org/W4300657400","https://openalex.org/W4315488738","https://openalex.org/W4315489198","https://openalex.org/W6679392325","https://openalex.org/W6734945091","https://openalex.org/W6767277667","https://openalex.org/W6805260106","https://openalex.org/W6849640139"],"related_works":["https://openalex.org/W3217133416","https://openalex.org/W2349796700","https://openalex.org/W2475132469","https://openalex.org/W1970635650","https://openalex.org/W2383986032","https://openalex.org/W2126112326","https://openalex.org/W2358066536","https://openalex.org/W1976574339","https://openalex.org/W2496188264","https://openalex.org/W2147929414"],"abstract_inverted_index":{"We":[0,88],"propose":[1],"a":[2,34,38,44,49,57,66,117],"counter-example":[3,67],"guided":[4],"inductive":[5],"synthesis":[6],"(CEGIS)":[7],"scheme":[8],"for":[9,20],"the":[10,31,61,72,79,90,94,98,104,111,125,128],"design":[11],"of":[12,93,97,113,120,127],"control":[13,40,81],"Lyapunov":[14,41,82],"functions":[15],"and":[16,43],"associated":[17],"state-feedback":[18],"controllers":[19],"linear":[21,50],"systems":[22],"affected":[23],"by":[24,47,64,103],"parametric":[25],"uncertainty":[26],"with":[27],"arbitrary":[28],"shape.":[29],"In":[30],"CEGIS":[32],"framework,":[33],"learner":[35],"iteratively":[36],"proposes":[37],"candidate":[39,63],"function":[42,83,96],"tailored":[45],"controller":[46],"solving":[48],"matrix":[51],"inequality":[52],"(LMI)":[53],"feasibility":[54],"problem,":[55],"while":[56],"verifier":[58],"either":[59],"falsifies":[60],"current":[62],"producing":[65],"to":[68,109],"be":[69],"considered":[70],"at":[71],"next":[73],"iteration,":[74],"or":[75],"it":[76],"certifies":[77],"that":[78],"tentative":[80],"actually":[84],"enjoys":[85],"such":[86],"feature.":[87],"investigate":[89],"Lipschitz":[91],"continuity":[92],"objective":[95],"global":[99],"optimization":[100],"problem":[101],"solved":[102],"verifier,":[105],"which":[106],"is":[107],"key":[108],"establish":[110],"convergence":[112],"our":[114],"method":[115],"in":[116],"finite":[118],"number":[119],"iterations.":[121],"Numerical":[122],"simulations":[123],"confirm":[124],"effectiveness":[126],"proposed":[129],"approach.":[130]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2023-06-13T00:00:00"}