{"id":"https://openalex.org/W4407949368","doi":"https://doi.org/10.1109/cdc56724.2024.10886670","title":"Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks","display_name":"Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks","publication_year":2024,"publication_date":"2024-12-16","ids":{"openalex":"https://openalex.org/W4407949368","doi":"https://doi.org/10.1109/cdc56724.2024.10886670"},"language":"en","primary_location":{"id":"doi:10.1109/cdc56724.2024.10886670","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10886670","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 63rd Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5076465193","display_name":"Omid Akbarzadeh","orcid":"https://orcid.org/0000-0003-2161-7096"},"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":"Omid Akbarzadeh","raw_affiliation_strings":["Newcastle University,School of Computing,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Newcastle University,School of Computing,United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]},{"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/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,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems,Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011080021","display_name":"Abolfazl Lavaei","orcid":"https://orcid.org/0000-0003-4993-3170"},"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":"Abolfazl Lavaei","raw_affiliation_strings":["Newcastle University,School of Computing,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Newcastle University,School of Computing,United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]}],"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":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"5185","last_page":"5190"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13248","display_name":"Healthcare Technology and Patient Monitoring","score":0.9790999889373779,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T13248","display_name":"Healthcare Technology and Patient Monitoring","score":0.9790999889373779,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9656999707221985,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.930899977684021,"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/computer-science","display_name":"Computer science","score":0.6624084711074829},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.5797192454338074},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.5595039129257202},{"id":"https://openalex.org/keywords/wireless-network","display_name":"Wireless network","score":0.4579429030418396},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4369683265686035},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.25164860486984253},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08865788578987122}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6624084711074829},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.5797192454338074},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5595039129257202},{"id":"https://openalex.org/C108037233","wikidata":"https://www.wikidata.org/wiki/Q11375","display_name":"Wireless network","level":3,"score":0.4579429030418396},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4369683265686035},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.25164860486984253},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08865788578987122}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc56724.2024.10886670","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10886670","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 63rd Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5299999713897705,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1827189078","https://openalex.org/W2052334067","https://openalex.org/W2080813827","https://openalex.org/W2087486424","https://openalex.org/W2094599695","https://openalex.org/W2106174613","https://openalex.org/W2112407936","https://openalex.org/W2126147754","https://openalex.org/W2558765880","https://openalex.org/W2740090334","https://openalex.org/W2798814694","https://openalex.org/W2926412738","https://openalex.org/W2968945909","https://openalex.org/W3119047266","https://openalex.org/W3152880321","https://openalex.org/W3156863296","https://openalex.org/W4210279164","https://openalex.org/W4226165084","https://openalex.org/W4288366642","https://openalex.org/W4294692068","https://openalex.org/W4315489197","https://openalex.org/W4394627548","https://openalex.org/W4396571397","https://openalex.org/W4396571443","https://openalex.org/W6681833188","https://openalex.org/W6780343448","https://openalex.org/W6856413604"],"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/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"This":[0],"work":[1],"is":[2,35,78,91],"concerned":[3],"with":[4,16,97],"a":[5,94,98,103,115,121,151,157],"formal":[6],"approach":[7,123,149],"for":[8,49,133],"safety":[9,47,99,112,141],"controller":[10,100],"synthesis":[11,135],"of":[12,68,110,127,136,147],"stochastic":[13,51],"control":[14,38,52,60],"systems":[15],"both":[17],"process":[18],"and":[19,30,130,138],"measurement":[20],"noises":[21],"while":[22,101],"considering":[23],"wireless":[24,69,158],"communication":[25,70,159],"networks":[26,71],"between":[27],"sensors,":[28],"controllers,":[29],"actuators.":[31],"The":[32],"proposed":[33,86],"scheme":[34],"based":[36],"on":[37,58,106,150],"barrier":[39,61],"certificates":[40,48],"(CBC),":[41],"which":[42,77],"allows":[43],"us":[44],"to":[45,72,92],"provide":[46],"wirelessly-connected":[50],"systems.":[53],"Despite":[54],"the":[55,88,107,111,125,134,145],"existing":[56],"literature":[57],"designing":[59],"certificates,":[62],"there":[63],"has":[64],"been":[65],"no":[66],"consideration":[67],"capture":[73],"potential":[74],"packet":[75],"losses,":[76],"absolutely":[79],"crucial":[80],"in":[81,124],"real-world":[82],"applications.":[83],"In":[84],"our":[85,148],"setting,":[87],"key":[89],"objective":[90],"construct":[93],"CBC":[95,137],"together":[96],"providing":[102],"lower":[104],"bound":[105],"satisfaction":[108],"probability":[109],"property":[113],"over":[114],"finite":[116],"time":[117],"horizon.":[118],"We":[119,143],"propose":[120],"systematic":[122],"form":[126],"sum-of-squares":[128],"optimization":[129],"matrix":[131],"inequalities":[132],"its":[139],"associated":[140],"controller.":[142],"demonstrate":[144],"efficacy":[146],"permanent":[152],"magnet":[153],"synchronous":[154],"motor":[155],"under":[156],"network.":[160]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}