{"id":"https://openalex.org/W4312717466","doi":"https://doi.org/10.1109/lcsys.2022.3231970","title":"Persistently Feasible Robust Safe Control by Safety Index Synthesis and Convex Semi-Infinite Programming","display_name":"Persistently Feasible Robust Safe Control by Safety Index Synthesis and Convex Semi-Infinite Programming","publication_year":2022,"publication_date":"2022-12-26","ids":{"openalex":"https://openalex.org/W4312717466","doi":"https://doi.org/10.1109/lcsys.2022.3231970"},"language":"en","primary_location":{"id":"doi:10.1109/lcsys.2022.3231970","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2022.3231970","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/A5081793768","display_name":"Tianhao Wei","orcid":"https://orcid.org/0000-0003-2505-4585"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tianhao Wei","raw_affiliation_strings":["Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":"https://orcid.org/0000-0003-2505-4585","affiliations":[{"raw_affiliation_string":"Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016645045","display_name":"Shucheng Kang","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Shucheng Kang","raw_affiliation_strings":["Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA","Department of Electrical Engineering, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Department of Electrical Engineering, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061774277","display_name":"Weiye Zhao","orcid":"https://orcid.org/0000-0002-8426-5238"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Weiye Zhao","raw_affiliation_strings":["Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":"https://orcid.org/0000-0002-8426-5238","affiliations":[{"raw_affiliation_string":"Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040156274","display_name":"Changliu Liu","orcid":"https://orcid.org/0000-0002-3767-5517"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Changliu Liu","raw_affiliation_strings":["Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":"https://orcid.org/0000-0002-3767-5517","affiliations":[{"raw_affiliation_string":"Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3351,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.79975486,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":"7","issue":null,"first_page":"1213","last_page":"1218"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.998199999332428,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.998199999332428,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9926999807357788,"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/T11357","display_name":"Risk and Safety Analysis","score":0.9839000105857849,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.7830120325088501},{"id":"https://openalex.org/keywords/robust-control","display_name":"Robust control","score":0.729527473449707},{"id":"https://openalex.org/keywords/convex-optimization","display_name":"Convex optimization","score":0.6265313029289246},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.5624734163284302},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5499205589294434},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5363752841949463},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.5334532260894775},{"id":"https://openalex.org/keywords/semidefinite-programming","display_name":"Semidefinite programming","score":0.5111425518989563},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5007238388061523},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.46707892417907715},{"id":"https://openalex.org/keywords/dynamic-programming","display_name":"Dynamic programming","score":0.4296441376209259},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.31172919273376465},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.27724456787109375},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21396860480308533},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.061487287282943726}],"concepts":[{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7830120325088501},{"id":"https://openalex.org/C31531917","wikidata":"https://www.wikidata.org/wiki/Q915157","display_name":"Robust control","level":3,"score":0.729527473449707},{"id":"https://openalex.org/C157972887","wikidata":"https://www.wikidata.org/wiki/Q463359","display_name":"Convex optimization","level":3,"score":0.6265313029289246},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.5624734163284302},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5499205589294434},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5363752841949463},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.5334532260894775},{"id":"https://openalex.org/C101901036","wikidata":"https://www.wikidata.org/wiki/Q2269096","display_name":"Semidefinite programming","level":2,"score":0.5111425518989563},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5007238388061523},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.46707892417907715},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.4296441376209259},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.31172919273376465},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.27724456787109375},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21396860480308533},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.061487287282943726},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lcsys.2022.3231970","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2022.3231970","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":[],"awards":[{"id":"https://openalex.org/G4501799862","display_name":"CAREER: Toward Lifelong Safety of Autonomous Systems in Uncertain and Interactive Environments","funder_award_id":"2144489","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1543022942","https://openalex.org/W1995769522","https://openalex.org/W2415165331","https://openalex.org/W2887154784","https://openalex.org/W3011964880","https://openalex.org/W3109723275","https://openalex.org/W3132696407","https://openalex.org/W3157184134","https://openalex.org/W3184816927","https://openalex.org/W3197085773","https://openalex.org/W3198546120","https://openalex.org/W4225515500","https://openalex.org/W6701090783","https://openalex.org/W6802244827","https://openalex.org/W6810354499"],"related_works":["https://openalex.org/W4312206320","https://openalex.org/W4384575246","https://openalex.org/W2160052563","https://openalex.org/W2115832833","https://openalex.org/W2803118069","https://openalex.org/W2126408684","https://openalex.org/W3153752017","https://openalex.org/W2069356790","https://openalex.org/W4312717466","https://openalex.org/W4296154543"],"abstract_inverted_index":{"Model":[0],"mismatches":[1],"prevail":[2],"in":[3],"real-world":[4],"applications.":[5],"Ensuring":[6],"safety":[7,61,111],"for":[8,55,80,93],"systems":[9],"with":[10],"uncertain":[11],"dynamic":[12],"models":[13],"is":[14,89,126,133],"critical.":[15],"However,":[16],"existing":[17,30],"robust":[18,51,67,81,123],"safe":[19,40,52,68,82,124],"controllers":[20],"may":[21],"not":[22],"be":[23,72,113],"realizable":[24,73,128],"when":[25,108],"control":[26,53,75,83,130],"limits":[27,131],"exist.":[28],"And":[29,77],"methods":[31],"use":[32],"loose":[33],"over-approximation":[34],"of":[35],"uncertainties,":[36],"leading":[37],"to":[38,64,71,99],"conservative":[39,102,136],"controls.":[41],"To":[42],"address":[43],"these":[44],"challenges,":[45],"we":[46,78,106],"propose":[47,60],"a":[48,66],"control-limits":[49],"aware":[50],"framework":[54],"bounded":[56,95],"state-dependent":[57],"uncertainties.":[58,117],"We":[59],"index":[62],"synthesis":[63],"find":[65],"controller":[69,125],"guaranteed":[70],"under":[74,115,129],"limits.":[76],"solve":[79],"via":[84],"Convex":[85],"Semi-Infinite":[86],"Programming,":[87],"which":[88],"the":[90,100],"tightest":[91],"formulation":[92],"convex":[94],"uncertainties":[96],"and":[97,109,132],"leads":[98],"least":[101],"control.":[103],"In":[104],"addition,":[105],"analyze":[107],"how":[110],"can":[112],"preserved":[114],"unmodeled":[116],"Experiment":[118],"results":[119],"show":[120],"that":[121],"our":[122],"always":[127],"much":[134],"less":[135],"than":[137],"strong":[138],"baselines.":[139]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3}],"updated_date":"2026-06-22T08:00:12.763002","created_date":"2025-10-10T00:00:00"}
