Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach
From MaRDI portal
Publication:2060855
DOI10.1016/j.nahs.2021.101073zbMath1478.93434OpenAlexW3175323952MaRDI QIDQ2060855
Zhipeng Zhang, Yingrui Zhou, Zhongxin Liu, Zeng-Qiang Chen
Publication date: 13 December 2021
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.nahs.2021.101073
semi-tensor productcyber-physical systemscoprognosabilitydecentralized fault prognosispartially-observed discrete event systemssecurity and safety
Control/observation systems involving computers (process control, etc.) (93C83) Decentralized systems (93A14) Discrete event control/observation systems (93C65) Observability (93B07) Networked control (93B70)
Related Items
Verification and enforcement of current-state opacity based on a state space approach ⋮ Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
Cites Work
- Unnamed Item
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound
- Output tracking of switched Boolean networks under open-loop/closed-loop switching signals
- Control of cyberphysical systems using passivity and dissipativity based methods
- Active fault tolerant control of discrete event systems using online diagnostics
- Predictability of event occurrences in partially-observed discrete-event systems
- Diagnosability of discrete event systems and its applications
- From Boolean game to potential game
- Detection and mitigation of classes of attacks in supervisory control systems
- Stabilizability analysis and switching signals design of switched Boolean networks
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- On detectability of Boolean control networks
- On Controllability of Delayed Boolean Control Networks
- Stochastic Failure Prognosability of Discrete Event Systems
- Introduction to Discrete Event Systems
- Supervisor localisation for large-scale discrete-event systems under partial observation
- Decentralized Prognosis of Failures in Discrete Event Systems
- A Linear Representation of Dynamics of Boolean Networks
- Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Inference-Based Decentralized Prognosis in Discrete Event Systems
- Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications
- Matrix Approach to Model Matching of Asynchronous Sequential Machines
- On Fault Predictability in Stochastic Discrete Event Systems
