{"id":"https://openalex.org/W4407949731","doi":"https://doi.org/10.1109/cdc56724.2024.10885943","title":"Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions","display_name":"Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions","publication_year":2024,"publication_date":"2024-12-16","ids":{"openalex":"https://openalex.org/W4407949731","doi":"https://doi.org/10.1109/cdc56724.2024.10885943"},"language":"en","primary_location":{"id":"doi:10.1109/cdc56724.2024.10885943","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10885943","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 63rd 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/A5039615570","display_name":"Hongkai Dai","orcid":"https://orcid.org/0000-0002-6131-3620"},"institutions":[{"id":"https://openalex.org/I4391768151","display_name":"Toyota Research Institute","ror":"https://ror.org/04fpkc108","country_code":null,"type":"facility","lineage":["https://openalex.org/I4210125472","https://openalex.org/I4391768151"]},{"id":"https://openalex.org/I917207718","display_name":"Toyota Industries (United States)","ror":"https://ror.org/0132ebr60","country_code":"US","type":"company","lineage":["https://openalex.org/I4210125472","https://openalex.org/I4210145315","https://openalex.org/I917207718"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Hongkai Dai","raw_affiliation_strings":["Toyota Research Institute,Los Altos,CA,USA"],"affiliations":[{"raw_affiliation_string":"Toyota Research Institute,Los Altos,CA,USA","institution_ids":["https://openalex.org/I917207718","https://openalex.org/I4391768151"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111242999","display_name":"Chuanrui Jiang","orcid":"https://orcid.org/0009-0002-6359-5091"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chuanrui Jiang","raw_affiliation_strings":["Washington University in St. Louis,McKelvey School of Engineering,Electrical and Systems Engineering Department,St. Louis,MO,63130"],"affiliations":[{"raw_affiliation_string":"Washington University in St. Louis,McKelvey School of Engineering,Electrical and Systems Engineering Department,St. Louis,MO,63130","institution_ids":["https://openalex.org/I204465549"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101893795","display_name":"Hongchao Zhang","orcid":"https://orcid.org/0000-0003-2518-6975"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hongchao Zhang","raw_affiliation_strings":["Washington University in St. Louis,McKelvey School of Engineering,Electrical and Systems Engineering Department,St. Louis,MO,63130"],"affiliations":[{"raw_affiliation_string":"Washington University in St. Louis,McKelvey School of Engineering,Electrical and Systems Engineering Department,St. Louis,MO,63130","institution_ids":["https://openalex.org/I204465549"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004774385","display_name":"Andrew Clark","orcid":"https://orcid.org/0000-0002-5868-6186"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Clark","raw_affiliation_strings":["Washington University in St. Louis,McKelvey School of Engineering,Electrical and Systems Engineering Department,St. Louis,MO,63130"],"affiliations":[{"raw_affiliation_string":"Washington University in St. Louis,McKelvey School of Engineering,Electrical and Systems Engineering Department,St. Louis,MO,63130","institution_ids":["https://openalex.org/I204465549"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5039615570"],"corresponding_institution_ids":["https://openalex.org/I4391768151","https://openalex.org/I917207718"],"apc_list":null,"apc_paid":null,"fwci":1.0484,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.79113957,"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":"8178","last_page":"8185"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9682000279426575,"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.9682000279426575,"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.9638000130653381,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.9542999863624573,"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.5705570578575134},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5516228079795837},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5280150771141052},{"id":"https://openalex.org/keywords/lyapunov-redesign","display_name":"Lyapunov redesign","score":0.5072133541107178},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.4487721025943756},{"id":"https://openalex.org/keywords/lyapunov-exponent","display_name":"Lyapunov exponent","score":0.1652718484401703},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10207393765449524},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07090872526168823},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.06119796633720398}],"concepts":[{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.5705570578575134},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5516228079795837},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5280150771141052},{"id":"https://openalex.org/C37935115","wikidata":"https://www.wikidata.org/wiki/Q6707085","display_name":"Lyapunov redesign","level":4,"score":0.5072133541107178},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.4487721025943756},{"id":"https://openalex.org/C191544260","wikidata":"https://www.wikidata.org/wiki/Q1238630","display_name":"Lyapunov exponent","level":3,"score":0.1652718484401703},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10207393765449524},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07090872526168823},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.06119796633720398},{"id":"https://openalex.org/C2777052490","wikidata":"https://www.wikidata.org/wiki/Q5072826","display_name":"Chaotic","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc56724.2024.10885943","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10885943","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 63rd Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W653291882","https://openalex.org/W1496537269","https://openalex.org/W1575685434","https://openalex.org/W1966397236","https://openalex.org/W1980569135","https://openalex.org/W2023126268","https://openalex.org/W2033118636","https://openalex.org/W2041076275","https://openalex.org/W2083449425","https://openalex.org/W2100538121","https://openalex.org/W2401840706","https://openalex.org/W2964239200","https://openalex.org/W2968945909","https://openalex.org/W3011888914","https://openalex.org/W3019349330","https://openalex.org/W3038180127","https://openalex.org/W3046160353","https://openalex.org/W3047155704","https://openalex.org/W3186317065","https://openalex.org/W3189223768","https://openalex.org/W4285261441","https://openalex.org/W4293868468","https://openalex.org/W4294690625","https://openalex.org/W4315489117","https://openalex.org/W4315606134","https://openalex.org/W4322731219","https://openalex.org/W4382935713","https://openalex.org/W4382935993","https://openalex.org/W4382936341","https://openalex.org/W4383503924","https://openalex.org/W4388903135","https://openalex.org/W4388918424","https://openalex.org/W4391020117","https://openalex.org/W4391020380","https://openalex.org/W4392887407","https://openalex.org/W4393305345","https://openalex.org/W4398198418","https://openalex.org/W6639429317","https://openalex.org/W6779657896","https://openalex.org/W6842903998","https://openalex.org/W6847069214","https://openalex.org/W6860670909","https://openalex.org/W6860812379","https://openalex.org/W6861388733"],"related_works":["https://openalex.org/W2349796700","https://openalex.org/W1964805920","https://openalex.org/W3194517843","https://openalex.org/W3217133416","https://openalex.org/W2234502090","https://openalex.org/W4388874082","https://openalex.org/W2147929414","https://openalex.org/W2496188264","https://openalex.org/W2383986032","https://openalex.org/W2101859637"],"abstract_inverted_index":{"Safety":[0],"and":[1,13,24,32,36,48,72,98,125,130,141,146,184,195],"stability":[2,25],"are":[3,18,50],"essential":[4],"properties":[5],"of":[6,127],"control":[7,61],"systems.":[8],"Control":[9,14],"Barrier":[10],"Functions":[11,16],"(CBFs)":[12],"Lyapunov":[15],"(CLFs)":[17],"powerful":[19],"tools":[20],"to":[21,85,180,200],"ensure":[22],"safety":[23],"respectively.":[26],"However,":[27],"previous":[28],"approaches":[29],"typically":[30],"verify":[31],"synthesize":[33],"the":[34,46,64,70,77,82,152,171,176],"CBFs":[35,47],"CLFs":[37,49],"separately,":[38],"satisfying":[39],"their":[40],"respective":[41],"constraints,":[42],"without":[43],"proving":[44],"that":[45,67,94],"compatible":[51,96,128,172],"with":[52],"each":[53],"other,":[54],"namely":[55],"at":[56,87,208],"every":[57],"state,":[58],"there":[59],"exists":[60,90],"actions":[62],"within":[63],"input":[65],"limits":[66],"satisfy":[68],"both":[69,182],"CBF":[71,129],"CLF":[73,97,131],"constraints":[74],"simultaneously.":[75],"Ignoring":[76],"compatibility":[78,153],"criteria":[79],"might":[80],"cause":[81],"CLF-CBFQP":[83],"controller":[84],"fail":[86],"runtime.":[88],"There":[89],"some":[91],"recent":[92],"works":[93],"synthesized":[95],"CBF,":[99],"but":[100,113],"relying":[101],"on":[102,156,190],"nominal":[103,135],"polynomial":[104],"or":[105],"rational":[106],"controllers,":[107],"which":[108,167,175],"is":[109,178,206],"just":[110],"a":[111,163,191,197],"sufficient":[112,142],"not":[114],"necessary":[115,140],"condition":[116],"for":[117,144,151],"compatibility.":[118],"In":[119],"this":[120],"work,":[121],"we":[122,160],"investigate":[123],"verification":[124,158],"synthesis":[126,165],"independent":[132],"from":[133],"any":[134],"controllers.":[136],"We":[137,186],"derive":[138],"exact":[139],"conditions":[143],"compatibility,":[145],"further":[147],"formulate":[148],"Sum-Of-Squares":[149],"programs":[150],"verification.":[154],"Based":[155],"our":[157,188],"framework,":[159],"also":[161,196],"design":[162],"nominal-controller-free":[164],"method,":[166],"can":[168],"effectively":[169],"expands":[170],"region,":[173],"in":[174],"system":[177],"guaranteed":[179],"be":[181],"safe":[183],"stable.":[185],"evaluate":[187],"method":[189],"non-linear":[192],"toy":[193],"problem,":[194],"3D":[198],"quadrotor":[199],"demonstrate":[201],"its":[202],"scalability.":[203],"The":[204],"code":[205],"open-sourced":[207],"https://github.com/hongkai-dai/compatible_clf_cbf.":[209]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2025-10-10T00:00:00"}