{"id":"https://openalex.org/W4416965629","doi":"https://doi.org/10.1109/tac.2025.3639520","title":"Distributed Sensing and Information Transmission of Discrete-Event Systems With Edge Sensors","display_name":"Distributed Sensing and Information Transmission of Discrete-Event Systems With Edge Sensors","publication_year":2025,"publication_date":"2025-12-03","ids":{"openalex":"https://openalex.org/W4416965629","doi":"https://doi.org/10.1109/tac.2025.3639520"},"language":null,"primary_location":{"id":"doi:10.1109/tac.2025.3639520","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3639520","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/A5022506383","display_name":"Yingying Liu","orcid":"https://orcid.org/0000-0001-7692-7513"},"institutions":[{"id":"https://openalex.org/I4387152983","display_name":"Osaka Metropolitan University","ror":"https://ror.org/01hvx5h04","country_code":"JP","type":"education","lineage":["https://openalex.org/I4387152983"]},{"id":"https://openalex.org/I69740276","display_name":"Tokyo Metropolitan University","ror":"https://ror.org/00ws30h19","country_code":"JP","type":"education","lineage":["https://openalex.org/I69740276"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yingying Liu","raw_affiliation_strings":["Department of Core Informatics, Osaka Metropolitan University, Osaka, Japan"],"raw_orcid":"https://orcid.org/0000-0001-7692-7513","affiliations":[{"raw_affiliation_string":"Department of Core Informatics, Osaka Metropolitan University, Osaka, Japan","institution_ids":["https://openalex.org/I69740276","https://openalex.org/I4387152983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041126305","display_name":"Shaoyuan Li","orcid":"https://orcid.org/0000-0003-3427-2912"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shaoyuan Li","raw_affiliation_strings":["School of Automation and Intelligent Sensing, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-3427-2912","affiliations":[{"raw_affiliation_string":"School of Automation and Intelligent Sensing, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104636586","display_name":"Jin Hu","orcid":"https://orcid.org/0000-0001-5532-6890"},"institutions":[{"id":"https://openalex.org/I4210132539","display_name":"Northwest Institute of Mechanical and Electrical Engineering","ror":"https://ror.org/03pz37k82","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210132539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jin Hu","raw_affiliation_strings":["College of Information Engineering, Northwest A&amp;F University, Xianyang, China"],"raw_orcid":"https://orcid.org/0000-0001-5532-6890","affiliations":[{"raw_affiliation_string":"College of Information Engineering, Northwest A&amp;F University, Xianyang, China","institution_ids":["https://openalex.org/I4210132539"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034304769","display_name":"Xiang Yin","orcid":"https://orcid.org/0000-0003-1944-1570"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Yin","raw_affiliation_strings":["School of Automation and Intelligent Sensing, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-1944-1570","affiliations":[{"raw_affiliation_string":"School of Automation and Intelligent Sensing, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.34597644,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"71","issue":"5","first_page":"3432","last_page":"3439"},"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.7020000219345093,"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.7020000219345093,"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/T12879","display_name":"Distributed Sensor Networks and Detection Algorithms","score":0.03269999846816063,"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"}},{"id":"https://openalex.org/T10964","display_name":"Wireless Communication Security Techniques","score":0.02449999935925007,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/transmission","display_name":"Transmission (telecommunications)","score":0.7294999957084656},{"id":"https://openalex.org/keywords/observer","display_name":"Observer (physics)","score":0.7142999768257141},{"id":"https://openalex.org/keywords/enhanced-data-rates-for-gsm-evolution","display_name":"Enhanced Data Rates for GSM Evolution","score":0.6715999841690063},{"id":"https://openalex.org/keywords/information-transmission","display_name":"Information transmission","score":0.5748000144958496},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5570999979972839},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.43230000138282776}],"concepts":[{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.7294999957084656},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.7142999768257141},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6897000074386597},{"id":"https://openalex.org/C162307627","wikidata":"https://www.wikidata.org/wiki/Q204833","display_name":"Enhanced Data Rates for GSM Evolution","level":2,"score":0.6715999841690063},{"id":"https://openalex.org/C2983568541","wikidata":"https://www.wikidata.org/wiki/Q389772","display_name":"Information transmission","level":2,"score":0.5748000144958496},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5570999979972839},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.43230000138282776},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.353300005197525},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3249000012874603},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.3239000141620636},{"id":"https://openalex.org/C113608303","wikidata":"https://www.wikidata.org/wiki/Q1056835","display_name":"Transmission system","level":3,"score":0.3043000102043152},{"id":"https://openalex.org/C2779954242","wikidata":"https://www.wikidata.org/wiki/Q6031227","display_name":"Information structure","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C557945733","wikidata":"https://www.wikidata.org/wiki/Q389772","display_name":"Data transmission","level":2,"score":0.2793999910354614},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.26809999346733093},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.2669999897480011}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2025.3639520","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3639520","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":[{"id":"https://openalex.org/G1903741479","display_name":null,"funder_award_id":"62573291","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5751649387","display_name":null,"funder_award_id":"62173226","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":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"studies":[2],"distributed":[3],"sensing":[4],"and":[5,68,87],"information":[6,127,140],"transmission":[7,34,106,128,141],"in":[8,72],"partially":[9],"observed":[10],"discrete-event":[11],"systems":[12],"with":[13,143],"edge":[14,20,132],"sensors.":[15],"We":[16,62],"assume":[17],"that":[18,137],"each":[19,131],"sensor":[21,105],"<italic":[22,31,57],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[23,32,58],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">selectively":[24],"transmits</i>":[25],"its":[26],"observable":[27],"events,":[28],"according":[29],"to":[30,36,96,122],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">information":[33],"policies</i>,":[35],"a":[37,101],"central":[38,54],"site":[39,55],"for":[40,130],"the":[41,53,65,69,76,85,88,92,109,113],"purpose":[42],"of":[43,49,104,146],"decision":[44],"making.":[45],"A":[46],"general":[47],"class":[48],"decision-making":[50],"requirement":[51],"at":[52],"called":[56],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">distinguishability</i>":[59],"is":[60,149],"considered.":[61],"consider":[63],"both":[64],"verification":[66,77],"problem":[67,71],"synthesis":[70,114],"this":[73],"seeting.":[74],"For":[75,112],"problem,":[78,115],"two":[79],"different":[80],"approaches,":[81],"one":[82],"based":[83,90],"on":[84,91],"observer":[86],"other":[89],"verifier,":[93],"are":[94],"proposed":[95],"check":[97],"whether":[98],"or":[99],"not":[100],"given":[102],"set":[103],"policies":[107],"fulfills":[108],"distinguishability":[110],"requirement.":[111],"we":[116,135],"also":[117],"develop":[118],"an":[119,124,139],"effective":[120],"algorithm":[121],"design":[123],"observer-based":[125],"optimal":[126],"policy":[129,142],"sensor.":[133],"Moreover,":[134],"show":[136],"finding":[138],"minimal":[144],"number":[145],"transmitted":[147],"events":[148],"NP-hard.":[150]},"counts_by_year":[],"updated_date":"2026-04-28T06:04:28.489925","created_date":"2025-12-03T00:00:00"}