A survey on efficient diagnosability tests for automata and bounded Petri nets
Paper i proceeding, 2013

This paper presents a survey and evaluation of the efficiency of polynomial diagnosability algorithms for systems modeled by Petri nets and automata. A modified verification algorithm that reduces the state space by exploiting symmetry and abstracting unobservable transitions is also proposed. We show the importance of minimal explanations on the performance of diagnosability verifiers. Different verifiers are compared in terms of state space and elapsed time. It is shown that the minimal explanation notion involved in the modified basis reachability graph, a graph presented by Cabasino et al. [3] for diagnosability analysis of Petri nets, has great impact also on automata-based diagnosability methods. The evaluation often shows improved computation times of a factor 1000 or more when the concept of minimal explanation is included in the computation.


Mona Noori-Hosseini

Signaler och system, System- och reglerteknik, Automation

Bengt Lennartson

Signaler och system, System- och reglerteknik, Automation

Maria Paola Cabasino

Universita degli Studi di Cagliari

Carla Seatzu

Universita degli Studi di Cagliari

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

19460740 (ISSN) 19460759 (eISSN)

1-6 6648085