A new look at the critical observability of finite state machines from an algebraic viewpoint
From MaRDI portal
Publication:6579017
Recommendations
- Design of decentralized critical observers for networks of finite state machines: a formal method approach
- A novel matrix approach to observability analysis of finite automata
- Observability and diagnosability of finite state systems: a unifying framework
- scientific article; zbMATH DE number 7324596
- Discrete state observability of hybrid systems
Cites work
- A survey on semi-tensor product of matrices
- Algebraic state space approach to model and control combined automata
- An introduction to semi-tensor product of matrices and its applications
- Automata, Boolean matrices, and ultimate periodicity.
- Bayesian selection probability estimation for probabilistic Boolean networks
- Cascading state-space decomposition of Boolean control networks by nested method
- Critical observability of a class of hybrid systems and application to air traffic management
- Design of decentralized critical observers for networks of finite state machines: a formal method approach
- Discrete state observability of hybrid systems
- Language acceptability of finite automata based on theory of semi-tensor product of matrices
- Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices
- Observability of Boolean networks via matrix equations
- On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
- Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition
- Set stability of switched delayed logical networks with application to finite-field consensus
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)
