Matrix approach to detectability of discrete event systems
From MaRDI portal
Publication:2316509
DOI10.1016/j.jfranklin.2019.05.028zbMath1451.93245WikidataQ127644845 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
93C65: Discrete event control/observation systems
93B07: Observability
93B25: Algebraic methods
93B03: Attainable sets, reachability
Related Items
Distributed diagnosis of discrete-event systems under dynamic event observations, \(L(p,q)\)-label coloring problem with application to channel allocation, Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences, 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, 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
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