Decentralized Diagnosability Analysis of Discrete Event Systems using Petri Nets

@inproceedings{Cabasino2011DecentralizedDA,
  title={Decentralized Diagnosability Analysis of Discrete Event Systems using Petri Nets},
  author={Maria Paola Cabasino and Alessandro Giua and Andrea Paoli and Carla Seatzu},
  year={2011}
}
In this paper we present a procedure to analyze the diagnosability of a Petri net system in a decentralized framework. We recall the definition of failure ambiguous strings, i.e., strings that can be both faulty or not in the decentralized case, while can be distinguished in a centralized framework. We first prove that the absence of such kind of strings guarantees that the system is diagnosable in a decentralized framework. Then, we give an efficient procedure to verify the absence of such… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 23 REFERENCES

Similar Papers

Loading similar papers…