A survey on efficient diagnosability tests for automata and bounded Petri nets
Paper in proceedings, 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.

Author

Mona Noori-Hosseini

Chalmers, Signals and Systems, Systems and control, Automation

Bengt Lennartson

Chalmers, Signals and Systems, Systems and control, 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

1-6 6648085

Areas of Advance

Production

Subject Categories

Control Engineering

DOI

10.1109/ETFA.2013.6648085

ISBN

978-1-4799-0862-2

More information

Created

10/7/2017