{"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":false,"raw_author_name":"Luca Laurenti","raw_affiliation_strings":["Delft University of Technology, Delft, CD, The Netherlands","Delft University of Technology, USA"],"raw_orcid":"https://orcid.org/0000-0003-1190-6097","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"],"raw_orcid":"https://orcid.org/0000-0001-7549-4365","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":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1519855,"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":{"grobid_xml":false,"pdf":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,60,126],"guarantees":[2],"for":[3],"stochastic":[4,52],"dynamical":[5],"systems":[6],"is":[7],"a":[8,55],"central":[9],"problem":[10],"in":[11],"various":[12],"fields,":[13],"including":[14],"control":[15],"theory,":[16],"machine":[17],"learning,":[18],"and":[19,102,105,111],"robotics.":[20],"Existing":[21],"methods":[22,77],"either":[23],"employStochastic":[24],"Barrier":[25],"Functions(SBFs)":[26],"or":[27],"rely":[28],"on":[29],"numerical":[30],"approaches":[31,49,121],"based":[32],"onfinite":[33],"abstractions.":[34],"SBFs,":[35],"analogous":[36],"to":[37,42,58,91],"Lyapunov":[38],"functions,":[39],"are":[40],"used":[41],"establish":[43,93],"(probabilistic)":[44],"set":[45],"invariance,":[46],"whereas":[47],"abstraction-based":[48,120],"approximate":[50],"the":[51,94,130],"system":[53],"with":[54],"finite":[56],"model":[57],"compute":[59],"probability":[61],"bounds.":[62],"This":[63,87],"paper":[64],"presents":[65],"aunifying":[66],"perspectiveon":[67],"these":[68],"seemingly":[69],"different":[70],"approaches.":[71],"Specifically,":[72],"we":[73],"show":[74],"that":[75],"both":[76,97],"can":[78,122],"be":[79],"interpreted":[80],"as":[81],"approximations":[82],"of":[83,96,132],"astochastic":[84],"dynamic":[85],"programmingproblem.":[86],"perspective":[88],"allows":[89],"us":[90],"formally":[92],"correctness":[95],"techniques,":[98],"characterize":[99],"their":[100,107],"convergence":[101],"optimality":[103],"properties,":[104],"analyze":[106],"respective":[108],"assumptions,":[109],"advantages,":[110],"limitations.":[112],"Our":[113],"analysis":[114],"reveals":[115],"that,":[116],"unlike":[117],"SBFs-based":[118],"methods,":[119],"provide":[123],"asymptotically":[124],"optimal":[125],"certificates,":[127],"albeit":[128],"at":[129],"cost":[131],"increased":[133],"computational":[134],"effort.":[135]},"counts_by_year":[],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}