{"id":"https://openalex.org/W4406727843","doi":"https://doi.org/10.1109/tac.2025.3532541","title":"Secure-by-Construction Synthesis for Control Systems","display_name":"Secure-by-Construction Synthesis for Control Systems","publication_year":2025,"publication_date":"2025-01-22","ids":{"openalex":"https://openalex.org/W4406727843","doi":"https://doi.org/10.1109/tac.2025.3532541"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2025.3532541","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3532541","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/A5001005006","display_name":"Bingzhuo Zhong","orcid":"https://orcid.org/0000-0001-6557-2374"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]},{"id":"https://openalex.org/I4210164862","display_name":"Artificial Intelligence in Medicine (Canada)","ror":"https://ror.org/05p590m36","country_code":"CA","type":"company","lineage":["https://openalex.org/I4210164862"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["CA","HK"],"is_corresponding":true,"raw_author_name":"Bingzhuo Zhong","raw_affiliation_strings":["Thrust of Artificial Intelligence, Information Hub, and the Thrust of Intelligent Transportation, System Hub, Hong Kong University of Science and Technology, Guangzhou, China","Thrust of Artificial Intelligence, Information Hub, and the Thrust of Intelligent Transportation, System Hub, the Hong Kong University of Science and Technology (Guangzhou), China"],"affiliations":[{"raw_affiliation_string":"Thrust of Artificial Intelligence, Information Hub, and the Thrust of Intelligent Transportation, System Hub, Hong Kong University of Science and Technology, Guangzhou, China","institution_ids":["https://openalex.org/I4210164862","https://openalex.org/I889458895"]},{"raw_affiliation_string":"Thrust of Artificial Intelligence, Information Hub, and the Thrust of Intelligent Transportation, System Hub, the Hong Kong University of Science and Technology (Guangzhou), China","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016365946","display_name":"Siyuan Liu","orcid":"https://orcid.org/0000-0002-3199-4015"},"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":"Siyuan Liu","raw_affiliation_strings":["Division of Decision and Control Systems, KTH Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"Division of Decision and Control Systems, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060442004","display_name":"Marco Caccamo","orcid":"https://orcid.org/0000-0003-2328-044X"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marco Caccamo","raw_affiliation_strings":["TUM School of Engineering and Design, Technical University of Munich, Munich, Germany","TUM School of Engineering and Design, Technical University of Munich, Germany"],"affiliations":[{"raw_affiliation_string":"TUM School of Engineering and Design, Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"TUM School of Engineering and Design, Technical University of Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030109984","display_name":"Majid Zamani","orcid":"https://orcid.org/0000-0001-6608-3708"},"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":"Majid Zamani","raw_affiliation_strings":["Department of Computer Science, University of Colorado Boulder, Boulder, CO, USA","Department of Computer Science, University of Colorado Boulder, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Colorado Boulder, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]},{"raw_affiliation_string":"Department of Computer Science, University of Colorado Boulder, USA","institution_ids":["https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5001005006"],"corresponding_institution_ids":["https://openalex.org/I200769079","https://openalex.org/I4210164862","https://openalex.org/I889458895"],"apc_list":null,"apc_paid":null,"fwci":6.8108,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.95502922,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"70","issue":"6","first_page":"4170","last_page":"4177"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.8938999772071838,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.8938999772071838,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.8866000175476074,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10142","display_name":"Formal Methods in Verification","score":0.8546000123023987,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.559147834777832},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.5004374980926514},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.45436081290245056},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3685232996940613},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2704939842224121},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12967175245285034},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.09420701861381531}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.559147834777832},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.5004374980926514},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.45436081290245056},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3685232996940613},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2704939842224121},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12967175245285034},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.09420701861381531}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2025.3532541","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3532541","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/W1607353007","https://openalex.org/W2023808162","https://openalex.org/W2032732517","https://openalex.org/W2148114786","https://openalex.org/W2155724501","https://openalex.org/W2229008027","https://openalex.org/W2487779201","https://openalex.org/W2491336180","https://openalex.org/W2560504659","https://openalex.org/W2594675090","https://openalex.org/W2601738991","https://openalex.org/W2804520243","https://openalex.org/W2921750014","https://openalex.org/W2954005548","https://openalex.org/W2968945909","https://openalex.org/W2972492260","https://openalex.org/W3012167693","https://openalex.org/W3033138220","https://openalex.org/W3113215678","https://openalex.org/W3125855560","https://openalex.org/W3128899300","https://openalex.org/W3172768635","https://openalex.org/W3177858206","https://openalex.org/W4206261337","https://openalex.org/W4220734997","https://openalex.org/W4221161625","https://openalex.org/W4233908264","https://openalex.org/W4234844164","https://openalex.org/W4308984347","https://openalex.org/W4312940331","https://openalex.org/W4313071410","https://openalex.org/W4365800968","https://openalex.org/W4388919042","https://openalex.org/W4406727843"],"related_works":["https://openalex.org/W2615607975","https://openalex.org/W2355865573","https://openalex.org/W2155981143","https://openalex.org/W2155245395","https://openalex.org/W2192101006","https://openalex.org/W2116800748","https://openalex.org/W2638730922","https://openalex.org/W2190465783","https://openalex.org/W2027827693","https://openalex.org/W2381267592"],"abstract_inverted_index":{"In":[0],"this":[1],"note,":[2],"we":[3,88,112],"present":[4],"the":[5,35,47,72,75,114],"synthesis":[6],"of":[7,42,49,60,74,104,116,123],"secure-by-construction":[8,82],"controllers":[9,53],"that":[10,70,93],"address":[11],"safety":[12],"and":[13,79],"security":[14,27],"properties":[15],"simultaneously":[16],"in":[17,46],"cyber-physical":[18],"systems.":[19,110],"Our":[20],"focus":[21],"is":[22],"on":[23,57],"studying":[24],"a":[25,58,120,124],"specific":[26],"property":[28],"called":[29],"<italic":[30],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[31],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">opacity</i>,":[32],"which":[33],"characterizes":[34],"system's":[36],"ability":[37],"to":[38],"maintain":[39],"plausible":[40],"deniability":[41],"its":[43],"secret":[44],"behavior":[45],"presence":[48],"an":[50,90],"intruder.":[51],"These":[52],"are":[54],"synthesized":[55],"based":[56],"concept":[59],"so-called":[61],"(augmented)":[62,77],"control":[63],"barrier":[64],"functions":[65],"(CBFs).":[66],"We":[67],"propose":[68,89],"conditions":[69],"facilitate":[71],"construction":[73],"desired":[76],"CBFs":[78],"their":[80],"corresponding":[81],"controllers.":[83],"To":[84],"compute":[85],"these":[86,105],"functions,":[87,106],"iterative":[91,95],"scheme":[92],"leverages":[94],"sum-of-square":[96],"programming":[97],"techniques.":[98],"This":[99],"approach":[100],"enables":[101],"efficient":[102],"computation":[103],"particularly":[107],"for":[108],"polynomial":[109],"Finally,":[111],"validate":[113],"effectiveness":[115],"our":[117],"results":[118],"through":[119],"case":[121],"study":[122],"vehicle.":[125]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}