{"id":"https://openalex.org/W4407950294","doi":"https://doi.org/10.1109/cdc56724.2024.10886052","title":"Learning a Formally Verified Control Barrier Function in Stochastic Environment","display_name":"Learning a Formally Verified Control Barrier Function in Stochastic Environment","publication_year":2024,"publication_date":"2024-12-16","ids":{"openalex":"https://openalex.org/W4407950294","doi":"https://doi.org/10.1109/cdc56724.2024.10886052"},"language":"en","primary_location":{"id":"doi:10.1109/cdc56724.2024.10886052","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10886052","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/A5059362138","display_name":"Manan Tayal","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Manan Tayal","raw_affiliation_strings":["Indian Institute of Science (IISc),Center for Cyber-Physical Systems,Bengaluru"],"affiliations":[{"raw_affiliation_string":"Indian Institute of Science (IISc),Center for Cyber-Physical Systems,Bengaluru","institution_ids":[]}]},{"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,Electrical & Systems Engineering"],"affiliations":[{"raw_affiliation_string":"Washington University in St. Louis,Electrical & Systems Engineering","institution_ids":["https://openalex.org/I204465549"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073867567","display_name":"Pushpak Jagtap","orcid":"https://orcid.org/0000-0002-5452-8850"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pushpak Jagtap","raw_affiliation_strings":["Indian Institute of Science (IISc),Center for Cyber-Physical Systems,Bengaluru"],"affiliations":[{"raw_affiliation_string":"Indian Institute of Science (IISc),Center for Cyber-Physical Systems,Bengaluru","institution_ids":[]}]},{"author_position":"middle","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,Electrical & Systems Engineering"],"affiliations":[{"raw_affiliation_string":"Washington University in St. Louis,Electrical & Systems Engineering","institution_ids":["https://openalex.org/I204465549"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084523677","display_name":"Shishir Kolathaya","orcid":"https://orcid.org/0000-0001-8689-2318"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shishir Kolathaya","raw_affiliation_strings":["Indian Institute of Science (IISc),Center for Cyber-Physical Systems,Bengaluru"],"affiliations":[{"raw_affiliation_string":"Indian Institute of Science (IISc),Center for Cyber-Physical Systems,Bengaluru","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5059362138"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.1458,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.8824841,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"4098","last_page":"4104"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.7597000002861023,"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.7597000002861023,"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/computer-science","display_name":"Computer science","score":0.6288477778434753},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5140653848648071},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.478579044342041},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22360315918922424}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6288477778434753},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5140653848648071},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.478579044342041},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22360315918922424},{"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/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/cdc56724.2024.10886052","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10886052","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":[{"display_name":"Climate action","id":"https://metadata.un.org/sdg/13","score":0.49000000953674316}],"awards":[],"funders":[{"id":"https://openalex.org/F4320316514","display_name":"Arm","ror":"https://ror.org/04mmhzs81"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1980569135","https://openalex.org/W2116586985","https://openalex.org/W2149845256","https://openalex.org/W2156155874","https://openalex.org/W2313274380","https://openalex.org/W2477112723","https://openalex.org/W2489820110","https://openalex.org/W2560504659","https://openalex.org/W2944522148","https://openalex.org/W2968945909","https://openalex.org/W3021850381","https://openalex.org/W3022782115","https://openalex.org/W3037593164","https://openalex.org/W3119862069","https://openalex.org/W3148337675","https://openalex.org/W3158895321","https://openalex.org/W4210279164","https://openalex.org/W4225401163","https://openalex.org/W4315489117","https://openalex.org/W4315606134","https://openalex.org/W4388903940","https://openalex.org/W4401415669","https://openalex.org/W4401416757","https://openalex.org/W4402262118","https://openalex.org/W6758539823","https://openalex.org/W6801468180","https://openalex.org/W6847069214","https://openalex.org/W6857462865","https://openalex.org/W6862257788"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Safety":[0],"is":[1],"a":[2,79,95,103],"fundamental":[3],"requirement":[4],"of":[5,18,36,43,98,138],"control":[6,20,28],"systems.":[7],"Control":[8,72],"Barrier":[9,73],"Functions":[10,74],"(CBFs)":[11],"are":[12,51],"proposed":[13,83],"to":[14,160],"ensure":[15],"the":[16,19,31,41,89,115,126,136,145],"safety":[17,24,32],"system":[21,148],"by":[22,47,53,101,121],"constructing":[23,102],"filters":[25],"or":[26],"synthesizing":[27,67],"inputs.":[29],"However,":[30],"guarantee":[33],"and":[34,131,149],"performance":[35],"safe":[37,157],"controllers":[38],"rely":[39],"on":[40,125,144],"construction":[42],"valid":[44],"CBFs.":[45],"Inspired":[46],"universal":[48],"approximatability,":[49],"CBFs":[50,59,110],"represented":[52],"neural":[54,58,71,127],"networks,":[55],"known":[56],"as":[57],"(NCBFs).":[60],"This":[61],"paper":[62],"presents":[63],"an":[64],"algorithm":[65],"for":[66,107,117],"formally":[68],"verified":[69],"continuous-time":[70],"in":[75,78,152],"stochastic":[76],"environments":[77],"single":[80],"step.":[81],"The":[82],"training":[84],"process":[85],"ensures":[86],"efficacy":[87],"across":[88],"entire":[90],"state":[91],"space":[92],"with":[93],"only":[94],"finite":[96],"number":[97],"data":[99],"points":[100],"sample-based":[104],"learning":[105],"framework":[106],"Stochastic":[108],"Neural":[109],"(SNCBFs).":[111],"Our":[112],"methodology":[113],"eliminates":[114],"need":[116],"post":[118],"hoc":[119],"verification":[120],"enforcing":[122],"Lipschitz":[123],"bounds":[124],"network,":[128],"its":[129],"Jacobian,":[130],"Hessian":[132],"terms.":[133],"We":[134],"demonstrate":[135],"effectiveness":[137],"our":[139],"approach":[140],"through":[141],"case":[142],"studies":[143],"inverted":[146],"pendulum":[147],"obstacle":[150],"avoidance":[151],"autonomous":[153],"driving,":[154],"showcasing":[155],"larger":[156],"regions":[158],"compared":[159],"baseline":[161],"methods.":[162]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":4}],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2025-10-10T00:00:00"}