Matrix approach to detectability of discrete event systems

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

zbMATH Keywords

reachabilitydiscrete event systemsdetectabilitydetection matrix

Mathematics Subject Classification ID

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

• UMDES

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