A survey on efficient diagnosability tests for automata and bounded Petri nets

• 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 spaceand elapsed time. It is shown that the minimal explanationnotion involved in the modified basis reachabilitygraph, a graph presented by Cabasino et al. [3] for diagnosability analysis of Petri nets, has great impact alsoon automata-based diagnosability methods. The evaluationoften shows improved computation times of a factor1000 or more when the concept of minimal explanation isincluded in the computation.

Subject headings

TEKNIK OCH TEKNOLOGIER  -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)

ENGINEERING AND TECHNOLOGY  -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)

Publication and Content Type

kon (subject category)

ref (subject category)