{"id":"https://openalex.org/W2761682564","doi":"https://doi.org/10.1080/00207721.2017.1384964","title":"A novel matrix approach to observability analysis of finite automata","display_name":"A novel matrix approach to observability analysis of finite automata","publication_year":2017,"publication_date":"2017-10-10","ids":{"openalex":"https://openalex.org/W2761682564","doi":"https://doi.org/10.1080/00207721.2017.1384964","mag":"2761682564"},"language":"en","primary_location":{"id":"doi:10.1080/00207721.2017.1384964","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207721.2017.1384964","pdf_url":null,"source":{"id":"https://openalex.org/S129640837","display_name":"International Journal of Systems Science","issn_l":"0020-7721","issn":["0020-7721","1464-5319"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Systems Science","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/A5101697954","display_name":"Na Gao","orcid":"https://orcid.org/0000-0001-9319-3195"},"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":"Na Gao","raw_affiliation_strings":["Department of Automation, College of Computer and Control Engineering, Nankai University, Tianjin, China","Department of Automation, Tianjin Key Laboratory of Intelligent Robotics, Nankai University, Tianjin, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Automation, College of Computer and Control Engineering, Nankai University, Tianjin, China","institution_ids":["https://openalex.org/I205237279"]},{"raw_affiliation_string":"Department of Automation, Tianjin Key Laboratory of Intelligent Robotics, Nankai University, Tianjin, China","institution_ids":["https://openalex.org/I205237279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081098250","display_name":"Xiaoguang Han","orcid":"https://orcid.org/0000-0003-0810-259X"},"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":"Xiao-guang Han","raw_affiliation_strings":["Department of Automation, College of Computer and Control Engineering, Nankai University, Tianjin, China","Department of Automation, Tianjin Key Laboratory of Intelligent Robotics, Nankai University, Tianjin, China"],"raw_orcid":"https://orcid.org/0000-0003-0810-259X","affiliations":[{"raw_affiliation_string":"Department of Automation, College of Computer and Control Engineering, Nankai University, Tianjin, China","institution_ids":["https://openalex.org/I205237279"]},{"raw_affiliation_string":"Department of Automation, Tianjin Key Laboratory of Intelligent Robotics, Nankai University, Tianjin, China","institution_ids":["https://openalex.org/I205237279"]}]},{"author_position":"middle","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"]},{"id":"https://openalex.org/I28813325","display_name":"Civil Aviation University of China","ror":"https://ror.org/03je71k37","country_code":"CN","type":"education","lineage":["https://openalex.org/I28813325"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zeng-qiang Chen","raw_affiliation_strings":["Department of Automation, College of Computer and Control Engineering, Nankai University, Tianjin, China","Department of Automation, Tianjin Key Laboratory of Intelligent Robotics, Nankai University, Tianjin, China","Department of Mathematicas, College of Science, Civil Aviation University of China, Tianjin, China"],"raw_orcid":"https://orcid.org/0000-0002-1415-4073","affiliations":[{"raw_affiliation_string":"Department of Automation, College of Computer and Control Engineering, Nankai University, Tianjin, China","institution_ids":["https://openalex.org/I205237279"]},{"raw_affiliation_string":"Department of Automation, Tianjin Key Laboratory of Intelligent Robotics, Nankai University, Tianjin, China","institution_ids":["https://openalex.org/I205237279"]},{"raw_affiliation_string":"Department of Mathematicas, College of Science, Civil Aviation University of China, Tianjin, China","institution_ids":["https://openalex.org/I28813325"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100615838","display_name":"Qing Zhang","orcid":"https://orcid.org/0000-0003-3941-4764"},"institutions":[{"id":"https://openalex.org/I28813325","display_name":"Civil Aviation University of China","ror":"https://ror.org/03je71k37","country_code":"CN","type":"education","lineage":["https://openalex.org/I28813325"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qing Zhang","raw_affiliation_strings":["Department of Mathematicas, College of Science, Civil Aviation University of China, Tianjin, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematicas, College of Science, Civil Aviation University of China, Tianjin, China","institution_ids":["https://openalex.org/I28813325"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5073105796"],"corresponding_institution_ids":["https://openalex.org/I205237279","https://openalex.org/I28813325"],"apc_list":null,"apc_paid":null,"fwci":1.896,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.87606821,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"48","issue":"16","first_page":"3558","last_page":"3568"},"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.9995999932289124,"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.9995999932289124,"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.9994999766349792,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9912999868392944,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/observability","display_name":"Observability","score":0.964674711227417},{"id":"https://openalex.org/keywords/current","display_name":"Current (fluid)","score":0.623842716217041},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.6203209161758423},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5617436170578003},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5101821422576904},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.5011723041534424},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.4767633080482483},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.4539371430873871},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4122089445590973},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.380176305770874},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3240569829940796},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.24899274110794067},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2477826178073883},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07476720213890076}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.964674711227417},{"id":"https://openalex.org/C148043351","wikidata":"https://www.wikidata.org/wiki/Q4456944","display_name":"Current (fluid)","level":2,"score":0.623842716217041},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.6203209161758423},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5617436170578003},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5101821422576904},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.5011723041534424},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.4767633080482483},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.4539371430873871},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4122089445590973},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.380176305770874},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3240569829940796},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.24899274110794067},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2477826178073883},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07476720213890076},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1080/00207721.2017.1384964","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207721.2017.1384964","pdf_url":null,"source":{"id":"https://openalex.org/S129640837","display_name":"International Journal of Systems Science","issn_l":"0020-7721","issn":["0020-7721","1464-5319"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Systems Science","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:taf:tsysxx:v:48:y:2017:i:16:p:3558-3568","is_oa":false,"landing_page_url":"http://hdl.handle.net/10.1080/00207721.2017.1384964","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1635134894","display_name":null,"funder_award_id":"61573199","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":27,"referenced_works":["https://openalex.org/W567151721","https://openalex.org/W1485129834","https://openalex.org/W1559818378","https://openalex.org/W1587663028","https://openalex.org/W1950304859","https://openalex.org/W1966453684","https://openalex.org/W1966547590","https://openalex.org/W1969287407","https://openalex.org/W1988926301","https://openalex.org/W1991720013","https://openalex.org/W2016724466","https://openalex.org/W2020196141","https://openalex.org/W2030235975","https://openalex.org/W2048002553","https://openalex.org/W2068354234","https://openalex.org/W2072471271","https://openalex.org/W2077189259","https://openalex.org/W2083330693","https://openalex.org/W2094700336","https://openalex.org/W2136433622","https://openalex.org/W2146363816","https://openalex.org/W2147037042","https://openalex.org/W2153364687","https://openalex.org/W2170197341","https://openalex.org/W2171225490","https://openalex.org/W2289074996","https://openalex.org/W2344793144"],"related_works":["https://openalex.org/W2049315791","https://openalex.org/W2953483754","https://openalex.org/W2087949151","https://openalex.org/W2963823488","https://openalex.org/W2058117339","https://openalex.org/W1524267824","https://openalex.org/W2024421699","https://openalex.org/W201862490","https://openalex.org/W4210940113","https://openalex.org/W2133073401"],"abstract_inverted_index":{"In":[0,121],"this":[1],"paper,":[2],"the":[3,24,27,57,69,79,93,110,125,128,138,153,164],"observability":[4,42,58,94,111,142],"of":[5,26,30,60,63,72,96,112,141,143],"finite":[6,15,19],"automata":[7,16,20],"(acronym":[8],"is":[9,21,99,160],"FA)":[10],"that":[11,55,77],"contain":[12],"both":[13,33,144],"deterministic":[14],"and":[17,36,84,115,147],"non-deterministic":[18],"investigated":[22],"under":[23],"framework":[25],"semi-tensor":[28],"product":[29],"matrices.":[31],"For":[32],"initial":[34,61,74,82,113,145],"state":[35,38,62,83,98,114,117,146,149],"current":[37,88,97,116,148],"cases,":[39],"two":[40,102,139],"different":[41],"definitions":[43],"with":[44,124],"or":[45],"without":[46],"input":[47],"information":[48],"are":[49,104,118],"considered,":[50],"respectively.":[51,120],"First,":[52],"we":[53],"show":[54,163],"how":[56],"problem":[59,71,95],"FA":[64],"can":[65],"be":[66],"transformed":[67],"to":[68,91,108,162],"construction":[70],"an":[73],"state-outputs":[75,89],"matrix":[76,90],"presents":[78],"relationship":[80],"between":[81],"outputs.":[85],"Second,":[86],"a":[87,134],"verify":[92,109],"given.":[100],"When":[101],"matrices":[103],"obtained,":[105],"four":[106],"theorems":[107],"presented,":[119],"particular,":[122],"compared":[123],"existing":[126],"approach,":[127],"proposed":[129],"approach":[130],"not":[131],"only":[132],"provides":[133],"unified":[135],"verification":[136],"for":[137],"types":[140],"but":[150],"also":[151],"reduces":[152],"computational":[154],"complexity":[155],"considerably.":[156],"An":[157],"illustrative":[158],"example":[159],"presented":[161],"theoretical":[165],"results.":[166]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}