State-based fault diagnosis of discrete-event systems with partially observable outputs
From MaRDI portal
Publication:2023248
DOI10.1016/j.ins.2020.04.027zbMath1461.93319OpenAlexW3016446838MaRDI QIDQ2023248
Publication date: 3 May 2021
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2020.04.027
Related Items
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection, Networked opacity for finite state machine with bounded communication delays, An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions, Non-interference assessment in colored net systems via integer linear programming
Uses Software
Cites Work
- Unnamed Item
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound
- Control of discrete-event systems. Automata and Petri net perspectives
- A framework for state attraction of discrete event systems under partial observation
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Diagnosability analysis of a class of hierarchical state machines
- Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement
- Fault diagnosis in discrete event systems modeled by partially observed Petri nets
- Diagnosis of discrete event systems using decentralized architectures
- Abstraction-based failure diagnosis for discrete event systems
- On-line fault detection in discrete event systems by Petri nets and integer linear programming
- On observability of discrete-event systems
- Diagnosability of discrete event systems and its applications
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
- Robust diagnosis of discrete event systems against intermittent loss of observations
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
- Supervisory control of state-tree structures with partial observation
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets
- A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
- Nonblocking supervisory control of state tree structures.
- On-Line Fault Diagnosis With Partially Observed Petri Nets
- Introduction to Discrete Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Diagnosability of discrete-event systems
- An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
- Diagnosability of stochastic discrete-event systems
- Fault diagnosis in discrete-event systems: incorporating timing information
- Global and local consistencies in distributed fault diagnosis for discrete-event systems
