{"id":"https://openalex.org/W3108600299","doi":"https://doi.org/10.1007/s10626-022-00362-8","title":"Detectability of labeled weighted automata over monoids","display_name":"Detectability of labeled weighted automata over monoids","publication_year":2022,"publication_date":"2022-05-23","ids":{"openalex":"https://openalex.org/W3108600299","doi":"https://doi.org/10.1007/s10626-022-00362-8","mag":"3108600299"},"language":"en","primary_location":{"id":"doi:10.1007/s10626-022-00362-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-022-00362-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-022-00362-8.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10626-022-00362-8.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002524489","display_name":"Kuize Zhang","orcid":"https://orcid.org/0000-0001-9547-103X"},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Kuize Zhang","raw_affiliation_strings":["Control Systems Group, Technical University of Berlin, 10587, Berlin, Germany"],"raw_orcid":"https://orcid.org/0000-0001-9547-103X","affiliations":[{"raw_affiliation_string":"Control Systems Group, Technical University of Berlin, 10587, Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5002524489"],"corresponding_institution_ids":["https://openalex.org/I4577782"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":{"value":2890,"currency":"USD","value_usd":2890},"fwci":1.615,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.84503964,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"32","issue":"3","first_page":"435","last_page":"494"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9987000226974487,"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/T11567","display_name":"semigroups and automata theory","score":0.9987000226974487,"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.998199999332428,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9854000210762024,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/algorithm","display_name":"Algorithm","score":0.6841152310371399},{"id":"https://openalex.org/keywords/observer","display_name":"Observer (physics)","score":0.4220428168773651},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4216899871826172},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.36286449432373047},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.22067946195602417}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6841152310371399},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.4220428168773651},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4216899871826172},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36286449432373047},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.22067946195602417},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10626-022-00362-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-022-00362-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-022-00362-8.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},{"id":"pmh:oai:alma.44SUR_INST:11171510190002346","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"Open Research (University of Surrey)","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1007/s10626-022-00362-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-022-00362-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-022-00362-8.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4300000071525574,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320308269","display_name":"Alexander von Humboldt-Stiftung","ror":"https://ror.org/012kf4317"},{"id":"https://openalex.org/F4320324094","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3108600299.pdf","grobid_xml":"https://content.openalex.org/works/W3108600299.grobid-xml"},"referenced_works_count":52,"referenced_works":["https://openalex.org/W109966224","https://openalex.org/W162658008","https://openalex.org/W322937049","https://openalex.org/W1482481284","https://openalex.org/W1496022251","https://openalex.org/W1526031273","https://openalex.org/W1550462819","https://openalex.org/W1562284768","https://openalex.org/W1587663028","https://openalex.org/W1609747062","https://openalex.org/W1985787415","https://openalex.org/W1991629273","https://openalex.org/W1994368767","https://openalex.org/W1994584977","https://openalex.org/W2011039300","https://openalex.org/W2028587915","https://openalex.org/W2039511338","https://openalex.org/W2044858512","https://openalex.org/W2057595388","https://openalex.org/W2080540417","https://openalex.org/W2082494602","https://openalex.org/W2101508170","https://openalex.org/W2103658959","https://openalex.org/W2116411132","https://openalex.org/W2116509046","https://openalex.org/W2119581074","https://openalex.org/W2126160338","https://openalex.org/W2146363816","https://openalex.org/W2149854232","https://openalex.org/W2155447404","https://openalex.org/W2177830523","https://openalex.org/W2578858964","https://openalex.org/W2598332701","https://openalex.org/W2606674369","https://openalex.org/W2756653445","https://openalex.org/W2883205634","https://openalex.org/W2921227100","https://openalex.org/W2928646231","https://openalex.org/W2962780884","https://openalex.org/W2962834616","https://openalex.org/W2963546858","https://openalex.org/W2964623545","https://openalex.org/W3011667828","https://openalex.org/W3012405281","https://openalex.org/W3027342766","https://openalex.org/W3134204576","https://openalex.org/W3140304683","https://openalex.org/W3173616921","https://openalex.org/W3197118152","https://openalex.org/W4288853474","https://openalex.org/W4297744580","https://openalex.org/W4301808069"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2386767533","https://openalex.org/W4235786597","https://openalex.org/W1995875282","https://openalex.org/W2107288589"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"this":[2],"paper,":[3],"by":[4,29,154,195,216],"developing":[5,196],"appropriate":[6],"methods,":[7],"we":[8,65,83,135,230],"for":[9,21,35,75,95,107,119,124,138,233,270],"the":[10,38,58,67,85,98,111,207],"first":[11],"time":[12],"obtain":[13],"characterization":[14],"of":[15,19,57,69,224],"four":[16,39],"fundamental":[17],"notions":[18,40,68],"detectability":[20,44,51],"general":[22,125],"labeled":[23,140],"weighted":[24,141],"automata":[25],"over":[26,143],"monoids":[27],"(denoted":[28,153],"$\\mathcal":[30,76,126,155,200,234,271],"{A}^{\\mathfrak":[31,77,127],"{M}}$":[32,78,128],"A":[33,79,129,158,203,237,274],"M":[34,80,130,181,191,266],"short),":[36],"where":[37],"are":[41,61],"strong":[42],"(periodic)":[43,50],"(SD":[45],"and":[46,48,53,73,92,104,109,116,121,166,184,206,218,221,254],"SPD)":[47],"weak":[49],"(WD":[52],"WPD).":[54],"The":[55],"contributions":[56],"current":[59],"paper":[60],"as":[62],"follows.":[63],"Firstly,":[64],"formulate":[66],"concurrent":[70,86,163],"composition,":[71,164],"observer,":[72,165],"detector":[74,99,167],".":[81,268],"Secondly,":[82],"use":[84,97,110],"composition":[87],"to":[88,100,113],"give":[89,101,114],"a":[90,102,139,222,228],"necessary":[91,103,115],"sufficient":[93,105,117],"condition":[94,106],"SD,":[96],"SPD,":[108,252],"observer":[112],"conditions":[118],"WD":[120],"WPD,":[122],"all":[123],"without":[131],"any":[132],"assumption.":[133],"Thirdly,":[134],"prove":[136,231],"that":[137,232],"automaton":[142],"monoid":[144],"$(\\mathbb":[145],"{Q}^{k},+)$":[146],"(":[147],"\u211a":[148,159,204,238,275],"k":[149,160,205,239,276],",":[150,174,183,193,240,250],"+":[151],")":[152],"{A}^{\\mathbb":[156,201,235,272],"{Q}^{k}}$":[157,202,236,273],"),":[161],"its":[162],"can":[168,242,256],"be":[169,243,257],"computed":[170],"in":[171,245,259],"N":[172,208,248],"P":[173,178,188,209,249,263],"2-":[175,185,260],"E":[176,182,186,192,261,267],"X":[177,187,262],"T":[179,189,264],"I":[180,190,265],"respectively,":[194],"novel":[197],"connections":[198],"between":[199],"-complete":[210],"exact":[211],"path":[212],"length":[213],"problem":[214],"(proven":[215],"[Nyk\u00e4nen":[217],"Ukkonen,":[219],"2002])":[220],"subclass":[223],"Presburger":[225],"arithmetic.":[226],"As":[227],"result,":[229],"SD":[241],"verified":[244,258],"c":[246],"o":[247],"while":[251],"WD,":[253],"WPD":[255],"Particularly,":[269]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2025-10-10T00:00:00"}