{"id":"https://openalex.org/W4413212025","doi":"https://doi.org/10.1109/tac.2025.3597569","title":"A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions","display_name":"A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions","publication_year":2025,"publication_date":"2025-08-11","ids":{"openalex":"https://openalex.org/W4413212025","doi":"https://doi.org/10.1109/tac.2025.3597569"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2025.3597569","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3597569","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Transactions on Automatic Control","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/A5009660282","display_name":"Luca Laurenti","orcid":"https://orcid.org/0000-0003-1190-6097"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Luca Laurenti","raw_affiliation_strings":["Delft University of Technology, Delft, CD, The Netherlands","Delft University of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Delft University of Technology, Delft, CD, The Netherlands","institution_ids":["https://openalex.org/I98358874"]},{"raw_affiliation_string":"Delft University of Technology, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069564559","display_name":"Morteza Lahijanian","orcid":"https://orcid.org/0000-0001-7549-4365"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Morteza Lahijanian","raw_affiliation_strings":["University of Colorado Boulder, Boulder, CO, USA","University of Colorado Boulder, CO, USA"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]},{"raw_affiliation_string":"University of Colorado Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5009660282"],"corresponding_institution_ids":["https://openalex.org/I98358874"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.23283819,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"71","issue":"2","first_page":"769","last_page":"779"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.8898000121116638,"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"}},"topics":[{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.8898000121116638,"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/perspective","display_name":"Perspective (graphical)","score":0.7187725305557251},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5919172167778015},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3289318084716797},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13673970103263855}],"concepts":[{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.7187725305557251},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5919172167778015},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3289318084716797},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13673970103263855}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2025.3597569","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3597569","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1489872560","https://openalex.org/W1965878388","https://openalex.org/W1975219867","https://openalex.org/W1988217924","https://openalex.org/W1993112505","https://openalex.org/W2033118636","https://openalex.org/W2033966800","https://openalex.org/W2046637502","https://openalex.org/W2077987282","https://openalex.org/W2080813827","https://openalex.org/W2103931555","https://openalex.org/W2235056388","https://openalex.org/W2560504659","https://openalex.org/W2735010720","https://openalex.org/W2783963507","https://openalex.org/W2798862166","https://openalex.org/W2906997088","https://openalex.org/W2944522148","https://openalex.org/W3002811560","https://openalex.org/W3119047266","https://openalex.org/W3125855560","https://openalex.org/W3163376802","https://openalex.org/W3186149862","https://openalex.org/W3211763588","https://openalex.org/W4285162553","https://openalex.org/W4285274505","https://openalex.org/W4302367620","https://openalex.org/W4312744983","https://openalex.org/W4363671540","https://openalex.org/W4375852054","https://openalex.org/W4382318213","https://openalex.org/W4382318883","https://openalex.org/W4391020856","https://openalex.org/W4410556140"],"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/W2018871932","https://openalex.org/W2001405890"],"abstract_inverted_index":{"Providing":[0],"safety":[1,67,141],"guarantees":[2],"for":[3],"stochastic":[4,59],"dynamical":[5],"systems":[6],"is":[7],"a":[8,62,73,95],"central":[9],"problem":[10],"in":[11],"various":[12],"fields,":[13],"including":[14],"control":[15],"theory,":[16],"machine":[17],"learning,":[18],"and":[19,117,120,126],"robotics.":[20],"Existing":[21],"methods":[22,88],"either":[23],"employ":[24],"<italic":[25,38,74,96],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[26,39,75,97],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Stochastic":[27],"Barrier":[28],"Functions</i>":[29],"(SBFs)":[30],"or":[31],"rely":[32],"on":[33,37,78],"numerical":[34],"approaches":[35,56,136],"based":[36],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">finite":[40],"abstractions</i>.":[41],"SBFs,":[42],"analogous":[43],"to":[44,49,65,106],"Lyapunov":[45],"functions,":[46],"are":[47],"used":[48],"establish":[50,108],"(probabilistic)":[51],"set":[52],"invariance,":[53],"whereas":[54],"abstraction-based":[55,135],"approximate":[57],"the":[58,109,145],"system":[60],"with":[61],"finite":[63],"model":[64],"compute":[66],"probability":[68],"bounds.":[69],"This":[70,102],"paper":[71],"presents":[72],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">unifying":[76],"perspective</i>":[77],"these":[79],"seemingly":[80],"different":[81],"approaches.":[82],"Specifically,":[83],"we":[84],"show":[85],"that":[86],"both":[87,112],"can":[89,137],"be":[90],"interpreted":[91],"as":[92],"approximations":[93],"of":[94,111,147],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">stochastic":[98],"dynamic":[99],"programming</i>":[100],"problem.":[101],"perspective":[103],"allows":[104],"us":[105],"formally":[107],"correctness":[110],"techniques,":[113],"characterize":[114],"their":[115,122],"convergence":[116],"optimality":[118],"properties,":[119],"analyze":[121],"respective":[123],"assumptions,":[124],"advantages,":[125],"limitations.":[127],"Our":[128],"analysis":[129],"reveals":[130],"that,":[131],"unlike":[132],"SBFs-based":[133],"methods,":[134],"provide":[138],"asymptotically":[139],"optimal":[140],"certificates,":[142],"albeit":[143],"at":[144],"cost":[146],"increased":[148],"computational":[149],"effort.":[150]},"counts_by_year":[],"updated_date":"2026-02-01T03:34:12.195049","created_date":"2025-10-10T00:00:00"}