{"id":"https://openalex.org/W4406208928","doi":"https://doi.org/10.1109/icarcv63323.2024.10821633","title":"Optimal Synthesis for Stochastic Systems with Information Security Preservation Under Temporal Logic Constraints","display_name":"Optimal Synthesis for Stochastic Systems with Information Security Preservation Under Temporal Logic Constraints","publication_year":2024,"publication_date":"2024-12-12","ids":{"openalex":"https://openalex.org/W4406208928","doi":"https://doi.org/10.1109/icarcv63323.2024.10821633"},"language":"en","primary_location":{"id":"doi:10.1109/icarcv63323.2024.10821633","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icarcv63323.2024.10821633","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 18th International Conference on Control, Automation, Robotics and Vision (ICARCV)","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/A5007473536","display_name":"Yiwei Zheng","orcid":null},"institutions":[{"id":"https://openalex.org/I75867142","display_name":"Xiamen University of Technology","ror":"https://ror.org/01285e189","country_code":"CN","type":"education","lineage":["https://openalex.org/I75867142"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yiwei Zheng","raw_affiliation_strings":["Department of Automation, Xiamen,Xiamen,China,361005"],"affiliations":[{"raw_affiliation_string":"Department of Automation, Xiamen,Xiamen,China,361005","institution_ids":["https://openalex.org/I75867142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017219315","display_name":"Weiyao Lan","orcid":"https://orcid.org/0000-0002-0614-2259"},"institutions":[{"id":"https://openalex.org/I75867142","display_name":"Xiamen University of Technology","ror":"https://ror.org/01285e189","country_code":"CN","type":"education","lineage":["https://openalex.org/I75867142"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weiyao Lan","raw_affiliation_strings":["Department of Automation, Xiamen,Xiamen,China,361005"],"affiliations":[{"raw_affiliation_string":"Department of Automation, Xiamen,Xiamen,China,361005","institution_ids":["https://openalex.org/I75867142"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069437467","display_name":"Yu Xiao","orcid":"https://orcid.org/0000-0002-4517-3779"},"institutions":[{"id":"https://openalex.org/I1327237609","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934","country_code":"CN","type":"funder","lineage":["https://openalex.org/I1327237609","https://openalex.org/I4210127390"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao Yu","raw_affiliation_strings":["Ministry of Education of China,Key Laboratory of Multimedia Trusted Perception and Efficient Computing,Xiamen,China,361005"],"affiliations":[{"raw_affiliation_string":"Ministry of Education of China,Key Laboratory of Multimedia Trusted Perception and Efficient Computing,Xiamen,China,361005","institution_ids":["https://openalex.org/I1327237609"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5007473536"],"corresponding_institution_ids":["https://openalex.org/I75867142"],"apc_list":null,"apc_paid":null,"fwci":0.3653,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.66006344,"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":"918","last_page":"923"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9187999963760376,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9187999963760376,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/temporal-logic","display_name":"Temporal logic","score":0.6892845630645752},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6731677651405334},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38574928045272827}],"concepts":[{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6892845630645752},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6731677651405334},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38574928045272827}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icarcv63323.2024.10821633","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icarcv63323.2024.10821633","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 18th International Conference on Control, Automation, Robotics and Vision (ICARCV)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","score":0.4000000059604645,"id":"https://metadata.un.org/sdg/11"}],"awards":[{"id":"https://openalex.org/G3728284609","display_name":null,"funder_award_id":"62173283,62273285","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W2037457229","https://openalex.org/W2059470663","https://openalex.org/W2497816991","https://openalex.org/W2594675090","https://openalex.org/W2624912704","https://openalex.org/W2796125030","https://openalex.org/W2847132741","https://openalex.org/W3194981700","https://openalex.org/W4221021751","https://openalex.org/W4285235494","https://openalex.org/W4296913591","https://openalex.org/W4382200339","https://openalex.org/W4389722242","https://openalex.org/W4392740845","https://openalex.org/W4396941338","https://openalex.org/W4400032784","https://openalex.org/W6810483286"],"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/W2107831658"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,125,148,164],"present":[4],"a":[5,138,166],"method":[6],"for":[7,11,132],"synthesizing":[8],"optimal":[9,88,177],"policies":[10],"stochastic":[12,23,133],"systems":[13,24],"under":[14],"high-level":[15,36,79],"mission":[16,37,80,105],"specifications":[17,38],"while":[18,96],"maintaining":[19],"information":[20,171],"security.":[21],"The":[22],"are":[25,39],"modeled":[26,58],"as":[27,59],"probabilistic":[28],"labeling":[29],"Markov":[30],"decision":[31],"processes":[32],"(PLMDPs),":[33],"and":[34,70,119,124,184],"the":[35,64,68,78,92,98,103,111,120,127,142,150,153,159],"represented":[40],"by":[41,109,114,136],"linear":[42,168],"temporal":[43],"logic":[44],"(LTL)":[45],"formulas,":[46],"which":[47],"must":[48],"be":[49],"satisfied":[50],"repeatedly,":[51],"infinitely":[52],"often.":[53],"Meanwhile,":[54],"an":[55,60,87,116,176],"intruder":[56,99],"is":[57,84],"observer":[61],"who":[62],"knows":[63],"exact":[65],"structure":[66,140],"of":[67,129,152],"system":[69],"passively":[71],"monitors":[72],"its":[73],"behavior,":[74],"aiming":[75],"to":[76,85,174],"infer":[77],"specifications.":[81,106],"Our":[82],"objective":[83],"synthesize":[86,175],"policy":[89,178],"that":[90,157,179],"minimizes":[91],"mean":[93],"payoff":[94],"cost":[95],"preventing":[97],"from":[100],"definitively":[101],"determining":[102],"given":[104],"We":[107],"begin":[108],"extending":[110],"PLMDP":[112],"model":[113],"incorporating":[115],"observation":[117],"function":[118],"corresponding":[121],"probability":[122],"function,":[123],"introduce":[126],"concept":[128],"LTL":[130,160,185],"opacity":[131,161],"systems.":[134],"Next,":[135],"proposing":[137],"new":[139],"called":[141],"synchronous":[143],"accepting":[144,154],"maximally":[145],"end":[146,155],"component,":[147],"identify":[149],"subset":[151],"components":[156],"satisfy":[158],"requirement.":[162],"Finally,":[163],"develop":[165],"modified":[167],"program":[169],"with":[170],"security":[172],"constraints":[173],"ensures":[180],"both":[181],"formal":[182],"correctness":[183],"opacity.":[186]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-12-23T23:11:35.936235","created_date":"2025-10-10T00:00:00"}