Diagnosability of fault patterns with labeled stochastic Petri nets
From MaRDI portal
Publication:6190046
DOI10.1016/J.INS.2022.01.061MaRDI QIDQ6190046FDOQ6190046
Authors: Dimitri Lefebvre, Christoforos N. Hadjicostis 
Publication date: 5 February 2024
Published in: Information Sciences (Search for Journal in Brave)
Recommendations
- Probabilistic verification of diagnosability for a certain class of timed stochastic systems
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
- Marking diagnosability verification in labeled Petri nets
- Stochastic DES fault diagnosis with coloured interpreted Petri nets
- Distributed diagnosis of discrete-event systems using Petri nets
Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)
Cites Work
- Markov Chains
- A theory of timed automata
- Introduction to Discrete Event Systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- On state reduction of incompletely specified finite state machines
- On-line fault detection in discrete event systems by Petri nets and integer linear programming
- Diagnosability of discrete-event systems
- An Efficient Approach for Online Diagnosis of Discrete Event Systems
- Diagnosability of stochastic discrete-event systems
- Algebraic approaches for fault identification in discrete-event systems
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Fault diagnosis in discrete event systems modeled by partially observed Petri nets
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata
- Foundations of Software Science and Computational Structures
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
- A necessary and sufficient condition for diagnosability of stochastic discrete event systems
- Estimation and inference in discrete event systems. A model-based approach with finite automata
- Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
- A tale of two diagnoses in probabilistic systems
- On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
- Marking diagnosability verification in labeled Petri nets
- State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
- A chronicle-based diagnosability approach for discrete timed-event systems: application to web-services
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
Cited In (4)
- Probabilistic verification of diagnosability for a certain class of timed stochastic systems
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets
- Identification of labeled Petri nets from finite automata
This page was built for publication: Diagnosability of fault patterns with labeled stochastic Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6190046)
