A new look at the critical observability of finite state machines from an algebraic viewpoint
From MaRDI portal
Publication:6579017
DOI10.1002/ASJC.2705MaRDI QIDQ6579017FDOQ6579017
Authors: Y. Y. Yan, He Deng, Zengqiang Chen 
Publication date: 25 July 2024
Published in: Asian Journal of Control (Search for Journal in Brave)
semi-tensor product of matricesfinite state machineslogical systemsmatrix approachlogical networksfinite-valued systems
Cites Work
- An introduction to semi-tensor product of matrices and its applications
- A survey on semi-tensor product of matrices
- Discrete state observability of hybrid systems
- Automata, Boolean matrices, and ultimate periodicity.
- Critical observability of a class of hybrid systems and application to air traffic management
- Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition
- Bayesian selection probability estimation for probabilistic Boolean networks
- Language acceptability of finite automata based on theory of semi-tensor product of matrices
- Design of decentralized critical observers for networks of finite state machines: a formal method approach
- Algebraic state space approach to model and control combined automata
- Observability of Boolean networks via matrix equations
- Cascading state-space decomposition of Boolean control networks by nested method
- Set stability of switched delayed logical networks with application to finite-field consensus
- On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
- Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices
This page was built for publication: A new look at the critical observability of finite state machines from an algebraic viewpoint
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6579017)
