Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
From MaRDI portal
Publication:2109177
DOI10.1016/j.jfranklin.2022.06.034zbMath1504.93227OpenAlexW4283783570MaRDI QIDQ2109177
Bo-wen Li, Xiaoxu Liu, Jie Zhong, Jianquan Lu
Publication date: 20 December 2022
Published in: Journal of the Franklin Institute (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jfranklin.2022.06.034
Related Items
Distributed diagnosis of discrete-event systems under dynamic event observations, I-S detectability of partially-observed discrete event systems: a novel matrix-based method
Uses Software
Cites Work
- Unnamed Item
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- On-line fault detection in discrete event systems by Petri nets and integer linear programming
- Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
- Set stability and synchronization of logical networks with probabilistic time delays
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Robust diagnosis of discrete-event systems against permanent loss of observations
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach
- Matrix approach to detectability of discrete event systems
- Verification of robust diagnosability for partially observed discrete event systems
- Diagnosability of discrete event systems subject to permanent sensor failures
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements
- Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations
- Diagnosability of discrete-event systems
- Robustness for Stability and Stabilization of Boolean Networks With Stochastic Function Perturbations
- SensorsDesign for Large-Scale Boolean Networks via Pinning Observability
- Pinning Control for Stabilization of Boolean Networks Under Knock-Out Perturbation
- Minimum-Time and Minimum-Triggering Observability of Stochastic Boolean Networks
- Perturbation Analysis for Controllability of Logical Control Networks
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Global and local consistencies in distributed fault diagnosis for discrete-event systems
- On Decidability of Distributed Diagnosis Under Unbounded-Delay Communication
- Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
- Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications
