A novel matrix approach to observability analysis of finite automata

DOI10.1080/00207721.2017.1384964zbMath1386.93056OpenAlexW2761682564MaRDI QIDQ4600101

Qing Zhang, Na Gao, Zeng-Qiang Chen, Xiao-Guang Han

Publication date: 5 January 2018

Published in: International Journal of Systems Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207721.2017.1384964

zbMATH Keywords

observabilityfinite automatasemi-tensor product (STP) of matricesdiscrete event dynamic systems (DEDSs)mealy automata

Mathematics Subject Classification ID

Observability (93B07) Cellular automata (computational aspects) (68Q80)

Related Items (2)

A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata ⋮ On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices

This page was built for publication: A novel matrix approach to observability analysis of finite automata