{"id":"https://openalex.org/W4400946701","doi":"https://doi.org/10.23919/ecc64448.2024.10591078","title":"Control Barrier Functions for Stochastic Systems under Signal Temporal Logic Tasks","display_name":"Control Barrier Functions for Stochastic Systems under Signal Temporal Logic Tasks","publication_year":2024,"publication_date":"2024-06-25","ids":{"openalex":"https://openalex.org/W4400946701","doi":"https://doi.org/10.23919/ecc64448.2024.10591078"},"language":"en","primary_location":{"id":"doi:10.23919/ecc64448.2024.10591078","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc64448.2024.10591078","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 European Control Conference (ECC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://kth.diva-portal.org/smash/get/diva2:1890149/FULLTEXT01","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033874726","display_name":"Arash Bahari Kordabad","orcid":"https://orcid.org/0000-0001-8931-5372"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Arash Bahari Kordabad","raw_affiliation_strings":["Max Planck Institute for Software Systems,Kaiserslautern,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073295176","display_name":"Maria Charitidou","orcid":"https://orcid.org/0000-0002-2356-1543"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Maria Charitidou","raw_affiliation_strings":["KTH Royal Institute of Technology,Division of Decision and Control Systems,Stockholm,Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology,Division of Decision and Control Systems,Stockholm,Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055348953","display_name":"Dimos V. Dimarogonas","orcid":"https://orcid.org/0000-0001-7309-8086"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Dimos V. Dimarogonas","raw_affiliation_strings":["KTH Royal Institute of Technology,Division of Decision and Control Systems,Stockholm,Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology,Division of Decision and Control Systems,Stockholm,Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017334634","display_name":"Sadegh Soudjani","orcid":"https://orcid.org/0000-0003-1922-6678"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sadegh Soudjani","raw_affiliation_strings":["Max Planck Institute for Software Systems,Kaiserslautern,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I4210121786"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3213","last_page":"3219"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9724000096321106,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9724000096321106,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9261999726295471,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"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.6593760251998901},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.5288879871368408},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.43661054968833923},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4183439016342163},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.27754393219947815},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.268056184053421},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09181639552116394}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6593760251998901},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.5288879871368408},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.43661054968833923},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4183439016342163},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27754393219947815},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.268056184053421},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09181639552116394}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.23919/ecc64448.2024.10591078","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc64448.2024.10591078","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 European Control Conference (ECC)","raw_type":"proceedings-article"},{"id":"pmh:oai:DiVA.org:kth-351933","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-351933","pdf_url":"https://kth.diva-portal.org/smash/get/diva2:1890149/FULLTEXT01","source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:DiVA.org:kth-351933","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-351933","pdf_url":"https://kth.diva-portal.org/smash/get/diva2:1890149/FULLTEXT01","source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5227039771","display_name":"CodeCPS: Correct-by-Design Estimation and Control of Cyber-Physical Systems","funder_award_id":"EP/V043676/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6579828243","display_name":null,"funder_award_id":"101089047","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6928715611","display_name":null,"funder_award_id":"EIC 101070802","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4400946701.pdf"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W2077987282","https://openalex.org/W2092884371","https://openalex.org/W2095901198","https://openalex.org/W2254640530","https://openalex.org/W2560504659","https://openalex.org/W2841721725","https://openalex.org/W2944522148","https://openalex.org/W2963931816","https://openalex.org/W2968945909","https://openalex.org/W2972429904","https://openalex.org/W3045535642","https://openalex.org/W3048348667","https://openalex.org/W3119047266","https://openalex.org/W3136876223","https://openalex.org/W3141118763","https://openalex.org/W3176015044","https://openalex.org/W4206827621","https://openalex.org/W4210600503","https://openalex.org/W4211192810","https://openalex.org/W4250589301","https://openalex.org/W4289856811","https://openalex.org/W4312445281","https://openalex.org/W4385430527","https://openalex.org/W4388479641"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Signal":[0],"Temporal":[1],"Logic":[2],"(STL)":[3],"offers":[4],"an":[5,64],"expressive":[6],"formalism":[7],"for":[8,25,90,119],"describing":[9],"complex":[10],"high-level":[11],"tasks":[12],"in":[13,38],"dynamical":[14],"systems.":[15],"This":[16],"paper":[17],"introduces":[18],"a":[19,39,45,53,58,71,83,109,120],"time-varying":[20],"Control":[21],"Barrier":[22],"Function":[23],"(CBF)":[24],"control-affine":[26],"nonlinear":[27,121],"stochastic":[28],"systems":[29],"to":[30,43,69,86,108,115],"fulfill":[31],"STL":[32,55,91],"specifications.":[33],"The":[34],"CBFs":[35],"are":[36],"used":[37],"robust":[40,88],"optimization":[41,89],"problem":[42,118],"provide":[44,82],"lower":[46],"bound":[47],"on":[48],"the":[49,76,87,100,103,116],"satisfaction":[50,78],"probability":[51],"of":[52,102],"given":[54],"specification":[56],"with":[57,92],"predetermined":[59],"robustness":[60],"level.":[61],"We":[62,80],"present":[63],"online":[65],"control":[66],"synthesis":[67],"approach":[68],"minimize":[70],"performance":[72],"function":[73],"while":[74],"having":[75],"required":[77],"guarantee.":[79],"finally":[81],"tractable":[84],"solution":[85],"linear":[93,111],"and":[94,114],"quadratic":[95],"predicate":[96],"functions.":[97],"To":[98],"illustrate":[99],"effectiveness":[101],"method,":[104],"we":[105],"apply":[106],"it":[107],"simple":[110],"case":[112],"study":[113],"path-planning":[117],"wheeled":[122],"mobile":[123],"robot.":[124]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}