{"id":"https://openalex.org/W3011748596","doi":"https://doi.org/10.1109/cdc40024.2019.9030250","title":"Opacity of Networked Discrete Event Systems","display_name":"Opacity of Networked Discrete Event Systems","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W3011748596","doi":"https://doi.org/10.1109/cdc40024.2019.9030250","mag":"3011748596"},"language":"en","primary_location":{"id":"doi:10.1109/cdc40024.2019.9030250","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc40024.2019.9030250","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 58th 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/A5013360896","display_name":"Jingkai Yang","orcid":"https://orcid.org/0000-0003-2684-0617"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jingkai Yang","raw_affiliation_strings":["Institute of Computer Science Theory, School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science Theory, School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068381685","display_name":"Weilin Deng","orcid":"https://orcid.org/0000-0002-7198-1999"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weilin Deng","raw_affiliation_strings":["Institute of Computer Science Theory, School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science Theory, School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101808652","display_name":"Cheng Jiang","orcid":"https://orcid.org/0009-0004-8943-475X"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Cheng Jiang","raw_affiliation_strings":["Institute of Computer Science Theory, School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science Theory, School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026963602","display_name":"Daowen Qiu","orcid":"https://orcid.org/0000-0003-1275-7599"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Daowen Qiu","raw_affiliation_strings":["Institute of Computer Science Theory, School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science Theory, School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0107,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.80074033,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"2019","issue":null,"first_page":"6736","last_page":"6741"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998000264167786,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9969000220298767,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9966999888420105,"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/opacity","display_name":"Opacity","score":0.9767825603485107},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7186475992202759},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7031881213188171},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6391700506210327},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6368557214736938},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5943445563316345},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5247307419776917},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.46511581540107727},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4369145929813385},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2982150912284851},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10413718223571777}],"concepts":[{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.9767825603485107},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7186475992202759},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7031881213188171},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6391700506210327},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6368557214736938},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5943445563316345},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5247307419776917},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.46511581540107727},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4369145929813385},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2982150912284851},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10413718223571777},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cdc40024.2019.9030250","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc40024.2019.9030250","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 58th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"mag:3041581391","is_oa":false,"landing_page_url":"https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202002230124795128","pdf_url":null,"source":{"id":"https://openalex.org/S4306512817","display_name":"IEEE Conference Proceedings","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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"IEEE Conference Proceedings","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1968302778","https://openalex.org/W1977805032","https://openalex.org/W1992424076","https://openalex.org/W2004398490","https://openalex.org/W2037457229","https://openalex.org/W2038217297","https://openalex.org/W2040603575","https://openalex.org/W2058876757","https://openalex.org/W2064886960","https://openalex.org/W2071367517","https://openalex.org/W2142367687","https://openalex.org/W2148114786","https://openalex.org/W2162000948","https://openalex.org/W2416559203","https://openalex.org/W2509841691","https://openalex.org/W2601738991","https://openalex.org/W2768035641","https://openalex.org/W2901162916"],"related_works":["https://openalex.org/W2161791806","https://openalex.org/W2073474947","https://openalex.org/W4366824690","https://openalex.org/W2613656770","https://openalex.org/W2482431380","https://openalex.org/W2082077321","https://openalex.org/W2053059436","https://openalex.org/W4313201885","https://openalex.org/W2401696997","https://openalex.org/W4238093966"],"abstract_inverted_index":{"Opacity":[0],"is":[1,7],"an":[2],"important":[3],"information-flow":[4],"property,":[5],"which":[6],"used":[8],"to":[9,21,115],"characterize":[10],"whether":[11],"or":[12],"not":[13],"the":[14,22,25,46,49,63,76,88,105,117],"secrets":[15],"of":[16,30,78,80,90],"system":[17],"have":[18,41],"been":[19,42],"leaked":[20],"intruders.":[23],"Over":[24],"past":[26],"ten":[27],"years,":[28],"opacity":[29,79,99],"discrete":[31,82],"event":[32,83],"systems":[33,53,84],"(DESs)":[34],"modeled":[35],"as":[36],"automata":[37],"and":[38,54,66,97],"Petri":[39],"nets":[40],"well":[43],"investigated":[44],"under":[45],"assumption":[47],"that":[48],"communication":[50,64],"channels":[51],"between":[52],"intruders":[55],"are":[56,68,113],"perfect.":[57],"However,":[58],"in":[59],"a":[60],"shared":[61],"network,":[62],"delays":[65],"losses":[67],"inevitable":[69],"usually.":[70],"In":[71],"this":[72],"paper,":[73],"we":[74],"investigate":[75],"problem":[77],"networked":[81],"(NDESs).":[85],"We":[86,102],"propose":[87],"notions":[89],"current-state":[91],"opacity,":[92,94,96],"initial-state":[93],"initial-final-state":[95],"infinite-step":[98],"for":[100,108],"NDESs.":[101],"also":[103],"present":[104],"verification":[106],"algorithms":[107],"these":[109],"notions.":[110],"Some":[111],"examples":[112],"provided":[114],"illustrate":[116],"results":[118],"obtained.":[119]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}