Diagnosability of fault patterns with labeled stochastic Petri nets

Cites Work

Unnamed Item
Diagnosability analysis of patterns on bounded labeled prioritized Petri 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
On state reduction of incompletely specified finite state machines
On-line fault detection in discrete event systems by Petri nets and integer linear programming
Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
A theory of timed automata
A necessary and sufficient condition for diagnosability of stochastic discrete event systems
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
A tale of two diagnoses in probabilistic systems
Marking diagnosability verification in labeled Petri nets
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
Introduction to Discrete Event Systems
A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata
Markov Chains
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
Diagnosability of discrete-event systems
An Efficient Approach for Online Diagnosis of Discrete Event Systems
Estimation and Inference in Discrete Event Systems
Diagnosis of asynchronous discrete-event systems: a net unfolding approach
Polynomial-time verification of diagnosability of partially observed 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
Foundations of Software Science and Computational Structures

This page was built for publication: Diagnosability of fault patterns with labeled stochastic Petri nets