{"id":"https://openalex.org/W4407951889","doi":"https://doi.org/10.1109/cdc56724.2024.10886708","title":"Sampling and Quantization-Aware Control Barrier Functions for Safety-Critical Control of Cyber-Physical Systems","display_name":"Sampling and Quantization-Aware Control Barrier Functions for Safety-Critical Control of Cyber-Physical Systems","publication_year":2024,"publication_date":"2024-12-16","ids":{"openalex":"https://openalex.org/W4407951889","doi":"https://doi.org/10.1109/cdc56724.2024.10886708"},"language":"en","primary_location":{"id":"doi:10.1109/cdc56724.2024.10886708","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10886708","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":"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/A5018806127","display_name":"Luyao Niu","orcid":"https://orcid.org/0000-0001-8591-5522"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Luyao Niu","raw_affiliation_strings":["University of Washington,Department of Electrical and Computer Engineering,Seattle,WA"],"affiliations":[{"raw_affiliation_string":"University of Washington,Department of Electrical and Computer Engineering,Seattle,WA","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052064870","display_name":"Bhaskar Ramasubramanian","orcid":"https://orcid.org/0000-0002-2166-7838"},"institutions":[{"id":"https://openalex.org/I52669646","display_name":"Western Washington University","ror":"https://ror.org/05wn7r715","country_code":"US","type":"education","lineage":["https://openalex.org/I52669646"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bhaskar Ramasubramanian","raw_affiliation_strings":["Western Washington University,Electrical and Computer Engineering,Bellingham,WA,USA"],"affiliations":[{"raw_affiliation_string":"Western Washington University,Electrical and Computer Engineering,Bellingham,WA,USA","institution_ids":["https://openalex.org/I52669646"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004774385","display_name":"Andrew Clark","orcid":"https://orcid.org/0000-0002-5868-6186"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Clark","raw_affiliation_strings":["Washington University in St. Louis,Department of Electrical and Systems Engineering,St. Louis,MO,USA"],"affiliations":[{"raw_affiliation_string":"Washington University in St. Louis,Department of Electrical and Systems Engineering,St. Louis,MO,USA","institution_ids":["https://openalex.org/I204465549"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079723268","display_name":"Radha Poovendran","orcid":"https://orcid.org/0000-0003-0269-8097"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Radha Poovendran","raw_affiliation_strings":["University of Washington,Department of Electrical and Computer Engineering,Seattle,WA"],"affiliations":[{"raw_affiliation_string":"University of Washington,Department of Electrical and Computer Engineering,Seattle,WA","institution_ids":["https://openalex.org/I201448701"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5018806127"],"corresponding_institution_ids":["https://openalex.org/I201448701"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.35439133,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1637","last_page":"1644"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9919000267982483,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9919000267982483,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9646999835968018,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9254999756813049,"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/cyber-physical-system","display_name":"Cyber-physical system","score":0.7880575060844421},{"id":"https://openalex.org/keywords/quantization","display_name":"Quantization (signal processing)","score":0.7011474370956421},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5733175277709961},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.49521365761756897},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.48402756452560425},{"id":"https://openalex.org/keywords/critical-infrastructure","display_name":"Critical infrastructure","score":0.43224310874938965},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3446635603904724},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.24174156785011292},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17191103100776672},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.1349649727344513},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.12129700183868408},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08732542395591736}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7880575060844421},{"id":"https://openalex.org/C28855332","wikidata":"https://www.wikidata.org/wiki/Q198099","display_name":"Quantization (signal processing)","level":2,"score":0.7011474370956421},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5733175277709961},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.49521365761756897},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.48402756452560425},{"id":"https://openalex.org/C29852176","wikidata":"https://www.wikidata.org/wiki/Q373338","display_name":"Critical infrastructure","level":2,"score":0.43224310874938965},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3446635603904724},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24174156785011292},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17191103100776672},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.1349649727344513},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12129700183868408},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08732542395591736}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc56724.2024.10886708","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10886708","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":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1589782521","https://openalex.org/W1985235885","https://openalex.org/W1997710713","https://openalex.org/W2011450427","https://openalex.org/W2013517018","https://openalex.org/W2114022736","https://openalex.org/W2115106602","https://openalex.org/W2122161467","https://openalex.org/W2130519480","https://openalex.org/W2136207702","https://openalex.org/W2155024125","https://openalex.org/W2500139799","https://openalex.org/W2560504659","https://openalex.org/W2588802774","https://openalex.org/W2972371309","https://openalex.org/W2982097845","https://openalex.org/W3013837445","https://openalex.org/W3119047266","https://openalex.org/W3119933750","https://openalex.org/W3120023780","https://openalex.org/W3135368396","https://openalex.org/W3163376802","https://openalex.org/W3203646055","https://openalex.org/W4242246215","https://openalex.org/W6772100842"],"related_works":["https://openalex.org/W3004173571","https://openalex.org/W3019776739","https://openalex.org/W2546638913","https://openalex.org/W2209816623","https://openalex.org/W2968885840","https://openalex.org/W2963077982","https://openalex.org/W3135700974","https://openalex.org/W2355865573","https://openalex.org/W2155981143","https://openalex.org/W2155245395"],"abstract_inverted_index":{"Safety":[0,11],"is":[1,29,49,155],"critical":[2],"to":[3,19,31,44,65,68,98,103,183,200,219,225,246],"a":[4,123,185,195,201,273,278],"wide":[5],"range":[6],"of":[7,34,89,113,169,176,193,209],"cyber-physical":[8],"systems":[9],"(CPS).":[10],"violations":[12],"may":[13,75,101],"damage":[14],"CPS":[15,36],"and":[16,39,60,115,133,148,163,179,214],"cause":[17],"harm":[18],"humans":[20],"that":[21,50,152,190,259],"co-exist":[22],"in":[23,84],"the":[24,45,51,66,73,81,90,94,99,111,130,139,144,158,170,181,191,207,210,216,227,230,235,239,244,251,260,264,269],"operating":[25],"environment.":[26],"However,":[27],"it":[28,136],"nontrivial":[30],"guarantee":[32,263],"safety":[33,104],"complex":[35],"whose":[37],"computation":[38,85],"control":[40,70,96,116,124,248],"workload":[41],"are":[42,57],"shifted":[43],"cloud.":[46],"The":[47],"reason":[48],"system":[52,100,146,252,265],"states":[53,147,232],"which":[54],"evolve":[55],"continuously":[56],"sampled":[58],"periodically":[59],"quantized":[61,231],"before":[62],"being":[63],"sent":[64],"controller":[67,74,132,245],"compute":[69],"inputs.":[71],"Moreover,":[72],"operate":[76],"with":[77],"finite":[78,167],"precision,":[79],"making":[80],"coefficients":[82],"involved":[83],"different":[86],"from":[87,138],"those":[88],"actual":[91,145],"system.":[92,281],"Consequently,":[93],"synthesized":[95,261],"inputs":[97,117,249,262],"lead":[102],"violations.":[105],"In":[106],"this":[107,153],"paper,":[108],"we":[109,237],"study":[110,276],"co-design":[112],"quantizer":[114,196,211],"for":[118,129,250],"such":[119],"CPS.":[120],"We":[121,150,172,188,205,257,267],"construct":[122,226],"barrier":[125],"function":[126],"(CBF)":[127],"constraint":[128,141,241],"digital":[131],"analyze":[134],"how":[135],"differs":[137],"CBF":[140,240],"formulated":[142],"using":[143,272],"dynamics.":[149],"observe":[151],"difference":[154],"dependent":[156],"on":[157,277],"sampling":[159,255],"error,":[160,162],"quantization":[161],"error":[164],"induced":[165],"by":[166,234,243],"precision":[168],"controller.":[171],"derive":[173],"upper":[174],"bounds":[175,182],"these":[177],"errors":[178],"use":[180],"design":[184,212],"state":[186],"quantizer.":[187,228],"show":[189,258],"problem":[192],"designing":[194],"can":[197],"be":[198],"converted":[199],"facility":[202],"location":[203],"problem.":[204],"prove":[206],"submodularity":[208,217],"problem,":[213],"leverage":[215],"property":[218],"develop":[220],"an":[221],"efficient":[222],"greedy":[223],"algorithm":[224],"Given":[229],"calculated":[233],"quantizer,":[236],"modify":[238],"used":[242],"synthesize":[247],"at":[253],"each":[254],"interval.":[256],"safety.":[266],"demonstrate":[268],"proposed":[270],"approach":[271],"numerical":[274],"case":[275],"batch":[279],"reactor":[280]},"counts_by_year":[],"updated_date":"2025-12-22T23:10:17.713674","created_date":"2025-10-10T00:00:00"}