{"id":"https://openalex.org/W4400946943","doi":"https://doi.org/10.23919/ecc64448.2024.10590909","title":"Synthesis and Verification of Robust-Adaptive Safe Controllers","display_name":"Synthesis and Verification of Robust-Adaptive Safe Controllers","publication_year":2024,"publication_date":"2024-06-25","ids":{"openalex":"https://openalex.org/W4400946943","doi":"https://doi.org/10.23919/ecc64448.2024.10590909"},"language":"en","primary_location":{"id":"doi:10.23919/ecc64448.2024.10590909","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc64448.2024.10590909","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 European Control Conference (ECC)","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/A5114833245","display_name":"Simin Liu","orcid":"https://orcid.org/0009-0000-1712-4470"},"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":true,"raw_author_name":"Simin Liu","raw_affiliation_strings":["Robotics Institute, Carnegie Mellon University,Pittsburgh,PA,USA,15213"],"affiliations":[{"raw_affiliation_string":"Robotics Institute, Carnegie Mellon University,Pittsburgh,PA,USA,15213","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111068867","display_name":"Kai S. Yun","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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kai S. Yun","raw_affiliation_strings":["Carnegie Mellon University,Mechanical Engineering Department,Pittsburgh,PA,USA,15213"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University,Mechanical Engineering Department,Pittsburgh,PA,USA,15213","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015076162","display_name":"John M. Dolan","orcid":"https://orcid.org/0000-0003-2062-100X"},"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":"John M. Dolan","raw_affiliation_strings":["Robotics Institute, Carnegie Mellon University,Pittsburgh,PA,USA,15213"],"affiliations":[{"raw_affiliation_string":"Robotics Institute, Carnegie Mellon University,Pittsburgh,PA,USA,15213","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,15213"],"affiliations":[{"raw_affiliation_string":"Robotics Institute, Carnegie Mellon University,Pittsburgh,PA,USA,15213","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5114833245"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":1.0484,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.7649186,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"2265","last_page":"2272"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9760000109672546,"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.9760000109672546,"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.963100016117096,"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/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.9203000068664551,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/computer-science","display_name":"Computer science","score":0.6628576517105103},{"id":"https://openalex.org/keywords/adaptive-control","display_name":"Adaptive control","score":0.4617941379547119},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.46141159534454346},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.43236061930656433},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3780800700187683},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.21511894464492798},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16647031903266907},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15942907333374023}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6628576517105103},{"id":"https://openalex.org/C107464732","wikidata":"https://www.wikidata.org/wiki/Q235781","display_name":"Adaptive control","level":3,"score":0.4617941379547119},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.46141159534454346},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.43236061930656433},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3780800700187683},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.21511894464492798},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16647031903266907},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15942907333374023},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/ecc64448.2024.10590909","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc64448.2024.10590909","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 European Control Conference (ECC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W234738007","https://openalex.org/W293810774","https://openalex.org/W1530960252","https://openalex.org/W2015863039","https://openalex.org/W2018496321","https://openalex.org/W2071775092","https://openalex.org/W2085352155","https://openalex.org/W2091565802","https://openalex.org/W2133404041","https://openalex.org/W2149845256","https://openalex.org/W2170665905","https://openalex.org/W2401840706","https://openalex.org/W2887154784","https://openalex.org/W2964040381","https://openalex.org/W2968945909","https://openalex.org/W2977676795","https://openalex.org/W3011964880","https://openalex.org/W3155061166","https://openalex.org/W3170760772","https://openalex.org/W3181948800","https://openalex.org/W3185413281","https://openalex.org/W3186304270","https://openalex.org/W3200466548","https://openalex.org/W3207570104","https://openalex.org/W4221161265","https://openalex.org/W4239366869","https://openalex.org/W4292249799","https://openalex.org/W4294429791","https://openalex.org/W4312717466","https://openalex.org/W4380887703","https://openalex.org/W4382935993","https://openalex.org/W4382936329","https://openalex.org/W4382936341","https://openalex.org/W4391020380","https://openalex.org/W6610638074","https://openalex.org/W6668490423","https://openalex.org/W6802244827","https://openalex.org/W6847069214"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2969358681","https://openalex.org/W2112559358","https://openalex.org/W2107122120","https://openalex.org/W194970950","https://openalex.org/W2342009288"],"abstract_inverted_index":{"Safe":[0],"control":[1,49],"with":[2,20,40],"guarantees":[3],"generally":[4],"requires":[5],"the":[6,108],"system":[7],"model":[8],"to":[9,17,53,67,93,100,112,123],"be":[10],"known.":[11],"It":[12],"is":[13],"far":[14],"more":[15],"challenging":[16],"handle":[18],"systems":[19,39,97],"uncertain":[21,116],"parameters.":[22,43],"In":[23,44,79],"this":[24],"paper,":[25],"we":[26,46,82],"propose":[27],"a":[28,73,128],"generic":[29],"algorithm":[30],"that":[31,64,84],"can":[32],"synthesize":[33],"and":[34,60,70,89,121],"verify":[35],"safe":[36],"controllers":[37],"for":[38,115],"constant,":[41],"unknown":[42],"particular,":[45],"use":[47],"robust-adaptive":[48],"barrier":[50],"functions":[51],"(raCBFs)":[52],"achieve":[54],"safety.":[55],"We":[56],"develop":[57],"new":[58],"theories":[59],"techniques":[61],"using":[62],"sum-of-squares":[63],"enable":[65],"us":[66],"pose":[68],"synthesis":[69],"verification":[71],"as":[72],"series":[74],"of":[75,98],"convex":[76],"optimization":[77],"problems.":[78],"our":[80,85],"experiments,":[81],"show":[83],"algorithms":[86],"are":[87,106],"general":[88],"scalable,":[90],"applying":[91],"them":[92],"three":[94],"different":[95],"polynomial":[96],"up":[99,122],"moderate":[101],"size":[102],"(7D).":[103],"Our":[104],"raCBFs":[105],"currently":[107],"most":[109],"effective":[110],"way":[111],"guarantee":[113],"safety":[114,120],"systems,":[117],"achieving":[118],"100%":[119],"55%":[124],"performance":[125],"improvement":[126],"over":[127],"robust":[129],"baseline.":[130]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}