{"id":"https://openalex.org/W7123355112","doi":"https://doi.org/10.1109/cdc57313.2025.11312583","title":"Piecewise Control Barrier Functions for Stochastic Systems","display_name":"Piecewise Control Barrier Functions for Stochastic Systems","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123355112","doi":"https://doi.org/10.1109/cdc57313.2025.11312583"},"language":null,"primary_location":{"id":"doi:10.1109/cdc57313.2025.11312583","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312583","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th 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/A5058201964","display_name":"Rayan Mazouz","orcid":null},"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":true,"raw_author_name":"Rayan Mazouz","raw_affiliation_strings":["University of Colorado,Boulder,USA"],"affiliations":[{"raw_affiliation_string":"University of Colorado,Boulder,USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030806032","display_name":"Luca Laurenti","orcid":"https://orcid.org/0000-0002-8327-1396"},"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,Netherlands"],"affiliations":[{"raw_affiliation_string":"Delft University of Technology,Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"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,USA"],"affiliations":[{"raw_affiliation_string":"University of Colorado,Boulder,USA","institution_ids":["https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5058201964"],"corresponding_institution_ids":["https://openalex.org/I188538660"],"apc_list":null,"apc_paid":null,"fwci":1.1617,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.85322635,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"3571","last_page":"3576"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.27869999408721924,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.27869999408721924,"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.13660000264644623,"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/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.11749999970197678,"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/nonlinear-system","display_name":"Nonlinear system","score":0.5115000009536743},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5063999891281128},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.47690001130104065},{"id":"https://openalex.org/keywords/stochastic-control","display_name":"Stochastic control","score":0.4553999900817871},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4496000111103058},{"id":"https://openalex.org/keywords/piecewise-linear-function","display_name":"Piecewise linear function","score":0.4392000138759613},{"id":"https://openalex.org/keywords/piecewise","display_name":"Piecewise","score":0.4374000132083893},{"id":"https://openalex.org/keywords/minimax","display_name":"Minimax","score":0.4357999861240387}],"concepts":[{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5115000009536743},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5063999891281128},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.47690001130104065},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4609000086784363},{"id":"https://openalex.org/C170131372","wikidata":"https://www.wikidata.org/wiki/Q7617811","display_name":"Stochastic control","level":3,"score":0.4553999900817871},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4496000111103058},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4489000141620636},{"id":"https://openalex.org/C17095337","wikidata":"https://www.wikidata.org/wiki/Q2375229","display_name":"Piecewise linear function","level":2,"score":0.4392000138759613},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.4374000132083893},{"id":"https://openalex.org/C149728462","wikidata":"https://www.wikidata.org/wiki/Q751319","display_name":"Minimax","level":2,"score":0.4357999861240387},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.42179998755455017},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.41100001335144043},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.3917999863624573},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.3736000061035156},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35519999265670776},{"id":"https://openalex.org/C194387892","wikidata":"https://www.wikidata.org/wiki/Q1747770","display_name":"Stochastic optimization","level":2,"score":0.3391999900341034},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.266400009393692},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.26600000262260437},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.2653000056743622},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.259799987077713},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.25920000672340393},{"id":"https://openalex.org/C31531917","wikidata":"https://www.wikidata.org/wiki/Q915157","display_name":"Robust control","level":3,"score":0.2572000026702881},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.25290000438690186}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312583","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312583","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1975219867","https://openalex.org/W2143277772","https://openalex.org/W2396495043","https://openalex.org/W2487779201","https://openalex.org/W2560504659","https://openalex.org/W2606126819","https://openalex.org/W2617410115","https://openalex.org/W2784743256","https://openalex.org/W2906997088","https://openalex.org/W2944522148","https://openalex.org/W2968945909","https://openalex.org/W3119047266","https://openalex.org/W3166898053","https://openalex.org/W4363671540","https://openalex.org/W4382318883","https://openalex.org/W4385430527","https://openalex.org/W4400946898","https://openalex.org/W4402265931","https://openalex.org/W4407950630","https://openalex.org/W4413392828","https://openalex.org/W7123355112"],"related_works":[],"abstract_inverted_index":{"This":[0,51],"paper":[1],"presents":[2],"a":[3,10,14,36,44,64,76,88],"method":[4,68],"for":[5,17],"the":[6,32,53,57,105],"simultaneous":[7],"synthesis":[8,33],"of":[9,56,107],"barrier":[11,29,58,85],"certificate":[12,59],"and":[13,60,75,84,100],"safe":[15,61],"controller":[16,62],"discrete-time":[18],"nonlinear":[19,101],"stochastic":[20,27,70,102],"systems.":[21],"Our":[22],"approach,":[23],"based":[24],"on":[25,93,98],"piecewise":[26],"control":[28,79],"functions,":[30],"reduces":[31],"problem":[34],"to":[35],"minimax":[37],"optimization,":[38],"which":[39],"we":[40],"solve":[41],"exactly":[42],"using":[43],"dual":[45],"linear":[46,99],"program":[47],"with":[48,72],"zero":[49],"gap.":[50],"enables":[52],"joint":[54],"optimization":[55],"within":[63],"single":[65],"formulation.":[66],"The":[67,81],"accommodates":[69],"dynamics":[71],"additive":[73],"noise":[74],"bounded":[77],"continuous":[78],"set.":[80],"synthesized":[82],"controllers":[83],"certificates":[86],"provide":[87],"formally":[89],"guaranteed":[90],"lower":[91],"bound":[92],"probabilistic":[94],"safety.":[95],"Case":[96],"studies":[97],"systems":[103],"validate":[104],"effectiveness":[106],"our":[108],"approach.":[109]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2026-01-14T00:00:00"}