{"id":"https://openalex.org/W4226104874","doi":"https://doi.org/10.1109/tase.2022.3165382","title":"Revisiting State Estimation and Weak Detectability of Discrete-Event Systems","display_name":"Revisiting State Estimation and Weak Detectability of Discrete-Event Systems","publication_year":2022,"publication_date":"2022-04-15","ids":{"openalex":"https://openalex.org/W4226104874","doi":"https://doi.org/10.1109/tase.2022.3165382"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2022.3165382","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2022.3165382","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"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 Automation Science and Engineering","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/A5081098250","display_name":"Xiaoguang Han","orcid":"https://orcid.org/0000-0003-0810-259X"},"institutions":[{"id":"https://openalex.org/I132369690","display_name":"Tianjin University of Science and Technology","ror":"https://ror.org/018rbtf37","country_code":"CN","type":"education","lineage":["https://openalex.org/I132369690"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xiaoguang Han","raw_affiliation_strings":["College of Electronic Information and Automation, Tianjin University of Science and Technology, Tianjin, China"],"affiliations":[{"raw_affiliation_string":"College of Electronic Information and Automation, Tianjin University of Science and Technology, Tianjin, China","institution_ids":["https://openalex.org/I132369690"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100632265","display_name":"Jin-Liang Wang","orcid":"https://orcid.org/0000-0003-1574-1875"},"institutions":[{"id":"https://openalex.org/I132369690","display_name":"Tianjin University of Science and Technology","ror":"https://ror.org/018rbtf37","country_code":"CN","type":"education","lineage":["https://openalex.org/I132369690"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinliang Wang","raw_affiliation_strings":["College of Electronic Information and Automation, Tianjin University of Science and Technology, Tianjin, China"],"affiliations":[{"raw_affiliation_string":"College of Electronic Information and Automation, Tianjin University of Science and Technology, Tianjin, China","institution_ids":["https://openalex.org/I132369690"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045305170","display_name":"Zhiwu Li","orcid":"https://orcid.org/0000-0003-1547-5503"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]},{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN","MO"],"is_corresponding":false,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Taipa, China","School of Mechanical and Electrical Engineering, Xidian University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Taipa, China","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"School of Mechanical and Electrical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100319381","display_name":"Xiaoyan Chen","orcid":"https://orcid.org/0000-0002-4456-660X"},"institutions":[{"id":"https://openalex.org/I132369690","display_name":"Tianjin University of Science and Technology","ror":"https://ror.org/018rbtf37","country_code":"CN","type":"education","lineage":["https://openalex.org/I132369690"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoyan Chen","raw_affiliation_strings":["College of Electronic Information and Automation, Tianjin University of Science and Technology, Tianjin, China"],"affiliations":[{"raw_affiliation_string":"College of Electronic Information and Automation, Tianjin University of Science and Technology, Tianjin, China","institution_ids":["https://openalex.org/I132369690"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073105796","display_name":"Zengqiang Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I205237279","display_name":"Nankai University","ror":"https://ror.org/01y1kjr75","country_code":"CN","type":"education","lineage":["https://openalex.org/I205237279"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zengqiang Chen","raw_affiliation_strings":["College of Artificial Intelligence, Nankai University, Tianjin, China"],"affiliations":[{"raw_affiliation_string":"College of Artificial Intelligence, Nankai University, Tianjin, China","institution_ids":["https://openalex.org/I205237279"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5081098250"],"corresponding_institution_ids":["https://openalex.org/I132369690"],"apc_list":null,"apc_paid":null,"fwci":1.2016,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.80925574,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"20","issue":"1","first_page":"662","last_page":"674"},"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.9994000196456909,"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.9994000196456909,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9983000159263611,"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/estimator","display_name":"Estimator","score":0.7916890382766724},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.6932699680328369},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5953747034072876},{"id":"https://openalex.org/keywords/moment","display_name":"Moment (physics)","score":0.5224515199661255},{"id":"https://openalex.org/keywords/current","display_name":"Current (fluid)","score":0.4956108331680298},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.46228456497192383},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.46075209975242615},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.41906973719596863},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.38088107109069824},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.37620410323143005},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.2611536979675293}],"concepts":[{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.7916890382766724},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.6932699680328369},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5953747034072876},{"id":"https://openalex.org/C179254644","wikidata":"https://www.wikidata.org/wiki/Q13222844","display_name":"Moment (physics)","level":2,"score":0.5224515199661255},{"id":"https://openalex.org/C148043351","wikidata":"https://www.wikidata.org/wiki/Q4456944","display_name":"Current (fluid)","level":2,"score":0.4956108331680298},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.46228456497192383},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46075209975242615},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.41906973719596863},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.38088107109069824},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37620410323143005},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.2611536979675293},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2022.3165382","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2022.3165382","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"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 Automation Science and Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3363774619","display_name":null,"funder_award_id":"61873342","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3477884547","display_name":null,"funder_award_id":"61903274","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6033413095","display_name":null,"funder_award_id":"61973175","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7781042554","display_name":null,"funder_award_id":"18JCQNJC74000","funder_id":"https://openalex.org/F4320323993","funder_display_name":"Natural Science Foundation of Tianjin City"},{"id":"https://openalex.org/G8332822253","display_name":null,"funder_award_id":"18YFZCGX00360","funder_id":"https://openalex.org/F4320328964","funder_display_name":"Tianjin Municipal Science and Technology Bureau"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320323993","display_name":"Natural Science Foundation of Tianjin City","ror":null},{"id":"https://openalex.org/F4320328964","display_name":"Tianjin Municipal Science and Technology Bureau","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W567151721","https://openalex.org/W1141352453","https://openalex.org/W1966651017","https://openalex.org/W1986373236","https://openalex.org/W1994234600","https://openalex.org/W2003530067","https://openalex.org/W2004398490","https://openalex.org/W2028587915","https://openalex.org/W2037457229","https://openalex.org/W2057595388","https://openalex.org/W2073417396","https://openalex.org/W2117011945","https://openalex.org/W2344793144","https://openalex.org/W2509841691","https://openalex.org/W2538443008","https://openalex.org/W2568512437","https://openalex.org/W2598332701","https://openalex.org/W2601738991","https://openalex.org/W2606674369","https://openalex.org/W2756653445","https://openalex.org/W2768211668","https://openalex.org/W2783451968","https://openalex.org/W2800404248","https://openalex.org/W2805246536","https://openalex.org/W2887394342","https://openalex.org/W2902957813","https://openalex.org/W2910541645","https://openalex.org/W2921227100","https://openalex.org/W2953150142","https://openalex.org/W2962780884","https://openalex.org/W2962834616","https://openalex.org/W3001078780","https://openalex.org/W3012405281","https://openalex.org/W3021960365","https://openalex.org/W3089339259","https://openalex.org/W6766008770"],"related_works":["https://openalex.org/W2504004674","https://openalex.org/W2498744856","https://openalex.org/W1595229445","https://openalex.org/W4390482104","https://openalex.org/W322408318","https://openalex.org/W149041114","https://openalex.org/W2963177394","https://openalex.org/W2966643660","https://openalex.org/W2112927832","https://openalex.org/W2143302510"],"abstract_inverted_index":{"In":[0],"this":[1,117,282,325],"paper,":[2],"we":[3,27,141,242,284],"revisit":[4],"state":[5,50,112,228,264,296],"estimation":[6,208,297],"and":[7,39,59,68,139,163,170,188,258],"weak":[8,84,155,159,164],"detectability":[9,86,147,157,161],"verification":[10,148],"for":[11,44,131,175,252,275,298,355],"discrete":[12],"event":[13],"systems":[14,301],"(DES)":[15],"from":[16,316],"a":[17,35,79,94,114,230,234,238,266,286],"span-new":[18],"perspective.":[19],"Specifically,":[20],"using":[21,135],"the":[22,76,111,136,143,177,202,212,227,263,317,340,348,358],"semi-tensor":[23],"product":[24],"(STP)":[25],"technique,":[26],"construct":[28],"two":[29],"new":[30],"matrix-based":[31,330],"information":[32,247],"structures":[33],"called":[34],"current-state":[36,53,156],"estimator":[37,42],"(C-estimator)":[38],"an":[40,256,352],"initial-state":[41,56,160],"(I-estimator)":[43],"computing":[45],"three":[46,292],"fundamental":[47,214,293],"types":[48,145,180],"of":[49,65,78,83,113,129,146,181,211,229,265,295,329,339,360],"estimates,":[51],"namely,":[52],"estimate":[54,57,61],"(CSE),":[55],"(ISE),":[58],"delayed-state":[60],"(DSE).":[62],"The":[63,320],"complexity":[64],"building":[66],"C-estimator":[67,138],"I-estimator":[69],"is":[70,87,209,272],"polynomial":[71],"time":[72],"with":[73],"respect":[74],"to":[75,200,206,225,250,261,289],"size":[77],"plant.":[80],"A":[81],"notion":[82],"delayed":[85,165],"introduced,":[88],"which":[89,332],"captures":[90],"that,":[91],"after":[92,119],"observing":[93],"<inline-formula":[95,122],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[96,123],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[97,124],"<tex-math":[98,125],"notation=\"LaTeX\">$k_{1}$":[99],"</tex-math></inline-formula>":[100,127],"-length":[101],"sequence/string,":[102],"whether":[103,245],"or":[104],"not":[105,152],"one":[106,210,223],"can":[107,241,333],"always":[108],"accurately":[109],"determine":[110],"plant":[115,267],"at":[116,120],"moment":[118],"most":[121,213],"notation=\"LaTeX\">$k_{2}$":[126],"steps":[128],"delays":[130],"some":[132,191,196],"trajectories.":[133],"Further,":[134],"proposed":[137],"I-estimator,":[140],"discuss":[142],"different":[144,179,315],"problems,":[149,280],"including,":[150],"but":[151],"restricted":[153],"to,":[154],"(C-detectability),":[158],"(I-detectability),":[162],"detectability.":[166,182],"Accordingly,":[167],"several":[168],"necessary":[169],"sufficient":[171],"criteria":[172],"are":[173,185,198,303,312,327],"derived":[174],"verifying":[176],"aforementioned":[178],"Our":[183,310],"approaches":[184,311],"numerically":[186],"tractable":[187],"only":[189],"involve":[190],"basic":[192],"matrix":[193],"manipulations.":[194],"Finally,":[195],"examples":[197],"given":[199],"illustrate":[201],"obtained":[203,323],"results.":[204],"Note":[205],"Practitioners\u2014State":[207],"problems":[215],"in":[216,281,324,357],"many":[217],"practical":[218,299],"engineering":[219,300],"systems.":[220,309],"For":[221,237],"instance,":[222],"needs":[224],"infer":[226],"manufacturing":[231],"system":[232],"before":[233],"failure":[235],"occurs.":[236],"communication":[239],"system,":[240],"guarantee":[243],"that":[244,302,347],"important":[246],"remains":[248],"secret":[249],"outsiders":[251],"security":[253],"requirements?":[254],"Finding":[255],"alternative":[257,349],"efficient":[259],"approach":[260],"capture":[262],"based":[268],"on":[269],"imperfect":[270],"observations":[271],"still":[273],"crucial":[274],"engineers.":[276],"To":[277],"solve":[278],"these":[279],"paper":[283,326],"develop":[285],"novel":[287,321],"methodology":[288,350],"tackle":[290],"simultaneously":[291],"categories":[294],"inherently":[304],"abstracted":[305],"as":[306],"partially-observed":[307],"discrete-event":[308],"technically":[313],"quite":[314],"existing":[318],"ones.":[319],"results":[322],"all":[328],"characterization,":[331],"be":[334],"implemented":[335],"algorithmically":[336],"by":[337],"means":[338],"user-friendly":[341],"STP":[342],"software":[343],"package.":[344],"We":[345],"believe":[346],"provides":[351],"innovative":[353],"insight":[354],"engineers":[356],"field":[359],"automatic":[361],"control.":[362]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}