{"id":"https://openalex.org/W4295854926","doi":"https://doi.org/10.23919/acc53348.2022.9867754","title":"Safety Barrier Certificates for Stochastic Hybrid Systems","display_name":"Safety Barrier Certificates for Stochastic Hybrid Systems","publication_year":2022,"publication_date":"2022-06-08","ids":{"openalex":"https://openalex.org/W4295854926","doi":"https://doi.org/10.23919/acc53348.2022.9867754"},"language":"en","primary_location":{"id":"doi:10.23919/acc53348.2022.9867754","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc53348.2022.9867754","pdf_url":null,"source":{"id":"https://openalex.org/S4363607732","display_name":"2022 American Control Conference (ACC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 American Control Conference (ACC)","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/A5011080021","display_name":"Abolfazl Lavaei","orcid":"https://orcid.org/0000-0003-4993-3170"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Abolfazl Lavaei","raw_affiliation_strings":["ETH Zurich,Institute for Dynamic Systems and Control,Switzerland","Institute for Dynamic Systems and Control, ETH Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich,Institute for Dynamic Systems and Control,Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"Institute for Dynamic Systems and Control, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017334634","display_name":"Sadegh Soudjani","orcid":"https://orcid.org/0000-0003-1922-6678"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sadegh Soudjani","raw_affiliation_strings":["Newcastle University,School of Computing,United Kingdom","School of Computing, Newcastle University, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Newcastle University,School of Computing,United Kingdom","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"School of Computing, Newcastle University, United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029069358","display_name":"Emilio Frazzoli","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Emilio Frazzoli","raw_affiliation_strings":["ETH Zurich,Institute for Dynamic Systems and Control,Switzerland","Institute for Dynamic Systems and Control, ETH Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich,Institute for Dynamic Systems and Control,Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"Institute for Dynamic Systems and Control, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5011080021"],"corresponding_institution_ids":["https://openalex.org/I35440088"],"apc_list":null,"apc_paid":null,"fwci":2.1234,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.88827098,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"880","last_page":"885"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9962000250816345,"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.9962000250816345,"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/T10142","display_name":"Formal Methods in Verification","score":0.9926000237464905,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"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.9919000267982483,"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/hybrid-system","display_name":"Hybrid system","score":0.6793361902236938},{"id":"https://openalex.org/keywords/discretization","display_name":"Discretization","score":0.6497247219085693},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5484415888786316},{"id":"https://openalex.org/keywords/stochastic-differential-equation","display_name":"Stochastic differential equation","score":0.546986997127533},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5356148481369019},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.4646565020084381},{"id":"https://openalex.org/keywords/stochastic-control","display_name":"Stochastic control","score":0.45584553480148315},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.43452244997024536},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.4158020317554474},{"id":"https://openalex.org/keywords/brownian-motion","display_name":"Brownian motion","score":0.4101089835166931},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.38131046295166016},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33689945936203003},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18097269535064697},{"id":"https://openalex.org/keywords/optimal-control","display_name":"Optimal control","score":0.16258391737937927},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1183939278125763}],"concepts":[{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.6793361902236938},{"id":"https://openalex.org/C73000952","wikidata":"https://www.wikidata.org/wiki/Q17007827","display_name":"Discretization","level":2,"score":0.6497247219085693},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5484415888786316},{"id":"https://openalex.org/C51955184","wikidata":"https://www.wikidata.org/wiki/Q1545585","display_name":"Stochastic differential equation","level":2,"score":0.546986997127533},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5356148481369019},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4646565020084381},{"id":"https://openalex.org/C170131372","wikidata":"https://www.wikidata.org/wiki/Q7617811","display_name":"Stochastic control","level":3,"score":0.45584553480148315},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.43452244997024536},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.4158020317554474},{"id":"https://openalex.org/C112401455","wikidata":"https://www.wikidata.org/wiki/Q178036","display_name":"Brownian motion","level":2,"score":0.4101089835166931},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.38131046295166016},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33689945936203003},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18097269535064697},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.16258391737937927},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1183939278125763},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc53348.2022.9867754","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc53348.2022.9867754","pdf_url":null,"source":{"id":"https://openalex.org/S4363607732","display_name":"2022 American Control Conference (ACC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3413121104","display_name":null,"funder_award_id":"EP/V043676/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W144566684","https://openalex.org/W1489872560","https://openalex.org/W1491203899","https://openalex.org/W1607353007","https://openalex.org/W1827189078","https://openalex.org/W1967073510","https://openalex.org/W1967184028","https://openalex.org/W1972149633","https://openalex.org/W2018087463","https://openalex.org/W2033118636","https://openalex.org/W2047671935","https://openalex.org/W2080813827","https://openalex.org/W2087486424","https://openalex.org/W2094599695","https://openalex.org/W2126147754","https://openalex.org/W2234962923","https://openalex.org/W2317926736","https://openalex.org/W2546505240","https://openalex.org/W2558765880","https://openalex.org/W2588802774","https://openalex.org/W2963644532","https://openalex.org/W2963686733","https://openalex.org/W2968945909","https://openalex.org/W2972429904","https://openalex.org/W2990296706","https://openalex.org/W2993061841","https://openalex.org/W3001057880","https://openalex.org/W3007404411","https://openalex.org/W3012097656","https://openalex.org/W3023718358","https://openalex.org/W3025302876","https://openalex.org/W3035562190","https://openalex.org/W3125855560","https://openalex.org/W3154884574","https://openalex.org/W4226165084","https://openalex.org/W4250419630","https://openalex.org/W4250743307","https://openalex.org/W4300680548","https://openalex.org/W6639429317"],"related_works":["https://openalex.org/W1947912173","https://openalex.org/W1992244398","https://openalex.org/W2084847783","https://openalex.org/W2911367846","https://openalex.org/W2497694760","https://openalex.org/W2012540922","https://openalex.org/W1530639623","https://openalex.org/W1508592466","https://openalex.org/W4226238329","https://openalex.org/W4361230184"],"abstract_inverted_index":{"This":[0],"work":[1],"is":[2,158],"concerned":[3],"with":[4,23,39,95],"the":[5,46,131,139,142],"safety":[6,59,67],"controller":[7],"synthesis":[8],"of":[9,48,125],"stochastic":[10,20,36,62,86,143],"hybrid":[11,63,87,127,144],"systems,":[12],"in":[13,69,150],"which":[14],"continuous":[15,90],"evolutions":[16,91],"are":[17,33],"described":[18],"by":[19,35],"differential":[21],"equations":[22,38],"both":[24,100],"Brownian":[25],"motions":[26],"and":[27,30,92,114],"Poisson":[28],"processes,":[29],"instantaneous":[31,93],"jumps":[32,94],"governed":[34],"difference":[37],"additive":[40],"noises.":[41],"Our":[42],"proposed":[43,75,156],"framework":[44,82],"leverages":[45],"notion":[47],"control":[49,107],"barrier":[50,108],"certificates":[51],"(CBC),":[52],"as":[53],"a":[54,96,151,161],"discretization-free":[55],"approach,":[56],"to":[57,83,118],"synthesize":[58],"controllers":[60],"for":[61,111],"systems":[64,113],"while":[65],"providing":[66],"guarantees":[68],"finite":[70,152],"time":[71,153],"horizons.":[72],"In":[73],"our":[74],"scheme,":[76],"we":[77,134],"first":[78],"provide":[79],"an":[80,105,120],"augmented":[81,106,112],"characterize":[84],"each":[85],"system":[88,98,145],"containing":[89],"unified":[97],"covering":[99],"scenarios.":[101],"We":[102],"then":[103],"introduce":[104],"certificate":[109],"(ACBC)":[110],"propose":[115],"sufficient":[116],"conditions":[117],"construct":[119],"ACBC":[121],"based":[122],"on":[123,138],"CBC":[124],"original":[126],"systems.":[128],"By":[129],"utilizing":[130],"constructed":[132],"ACBC,":[133],"quantify":[135],"upper":[136],"bounds":[137],"probability":[140],"that":[141],"reaches":[146],"certain":[147],"unsafe":[148],"regions":[149],"horizon.":[154],"The":[155],"approach":[157],"verified":[159],"over":[160],"nonlinear":[162],"case":[163],"study.":[164]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}