Matrix approach to detectability of discrete event systems
From MaRDI portal
Publication:2316509
DOI10.1016/j.jfranklin.2019.05.028zbMath1451.93245OpenAlexW2951334477WikidataQ127644845 ScholiaQ127644845MaRDI QIDQ2316509
Biao Wang, Min Meng, Jun-E. Feng
Publication date: 6 August 2019
Published in: Journal of the Franklin Institute (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jfranklin.2019.05.028
Discrete event control/observation systems (93C65) Observability (93B07) Algebraic methods (93B25) Attainable sets, reachability (93B03)
Related Items (7)
Distributed diagnosis of discrete-event systems under dynamic event observations ⋮ Lebesgue sampling approach to robust stabilization of Boolean control networks with external disturbances ⋮ I-S detectability of partially-observed discrete event systems: a novel matrix-based method ⋮ Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences ⋮ \(L(p,q)\)-label coloring problem with application to channel allocation ⋮ Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults ⋮ Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
Uses Software
Cites Work
- Unnamed Item
- Generalized detectability for discrete event systems
- Analysis and control of Boolean networks. A semi-tensor product approach.
- Diagnosability of discrete event systems and its applications
- Why event observation: Observability revisited
- On stabilizability and exact observability of stochastic systems with their applications.
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- Synchronization of switched logical control networks via event-triggered control
- Sampled-data controllability and stabilizability of Boolean control networks: nonuniform sampling
- Function perturbations on singular Boolean networks
- Optimal control of Boolean control networks with average cost: a policy iteration approach
- Complexity of deciding detectability in discrete event systems
- Set stability and synchronization of logical networks with probabilistic time delays
- The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
- The equivalence issue of two kinds of controllers in Boolean control networks
- Robust invariant set analysis of Boolean networks
- A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks
- Detectability, observability and Lyapunov-type theorems of linear discrete time-varying stochastic systems with multiplicative noise
- Introduction to Discrete Event Systems
- Detectability and Stabilizability of Time-Varying Discrete-Time Linear Systems
- A Linear Representation of Dynamics of Boolean Networks
- Modelling and strategy consensus for a class of networked evolutionary games
- Monostability and Bistability of Boolean Networks Using Semitensor Products
- Block Decoupling of Boolean Control Networks
- Detectability of Discrete Event Systems
- Observability, Reconstructibility and State Observers of Boolean Control Networks
- Matrix Approach to Model Matching of Asynchronous Sequential Machines
This page was built for publication: Matrix approach to detectability of discrete event systems
