Matrix approach to I-detectability of partially observed discrete event systems
From MaRDI portal
Recommendations
- I-S detectability of partially-observed discrete event systems: a novel matrix-based method
- Matrix approach to detectability of discrete event systems
- Detectability in stochastic discrete event systems
- Detectability of discrete event systems with dynamic event observation
- Generalized detectability for discrete event systems
Cites work
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Analysis and control of Boolean networks. A semi-tensor product approach.
- Analysis and control of finite-value systems
- Control design for output tracking of delayed Boolean control networks
- Decompositions of finite games: from weighted inner product to standard inner product
- Detectability of Discrete Event Systems
- Detectability of networked discrete event systems
- Diagnosis of partially observed Petri net based on analytical redundancy relationships
- Function perturbations on singular Boolean networks
- scientific article; zbMATH DE number 1383199 (Why is no real title available?)
- scientific article; zbMATH DE number 781092 (Why is no real title available?)
- Infinite-step opacity and K-step opacity of stochastic discrete-event systems
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
- Kalman decomposition for Boolean control networks
- Language acceptability of finite automata based on theory of semi-tensor product of matrices
- Lyapunov-based stability and construction of Lyapunov functions for Boolean networks
- Model-based fault identification of discrete event systems using partially observed Petri nets
- On stabilization and set stabilization of multivalued logical systems
- Partial-information-based synchronization analysis for complex dynamical networks
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Reachability and controllability analysis of probabilistic finite automata via a novel matrix method
- Recent advances in optimization and game theoretic control for networked systems
- Regulation of game result for \(n\)-person random evolutionary Boolean games
- Set stability and set stabilization of Boolean control networks based on invariant subsets
- Stability analysis of activation-inhibition Boolean networks with stochastic function structures
- Stability and Stabilization of Boolean Networks with Stochastic Delays
- State estimation and detectability of probabilistic discrete event systems
- STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
- Structural stability analysis of gene regulatory networks modeled by Boolean networks
- Survey on applications of semi-tensor product method in networked evolutionary games
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Trajectory detectability of discrete-event systems
Cited in
(4)- Further results for synchronization of two coupled Boolean networks
- Sufficiency for diagnosability of stochastic discrete-event systems and a polynomial-time verification
- Semi-tensor product-based algebra-logic mixed representation and fault diagnosis for a class of gate networks
- Timed initial-state detectability of discrete-event systems by algebraic method
This page was built for publication: Matrix approach to I-detectability of partially observed discrete event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6578823)
