Sökning: onr:"swepub:oai:research.chalmers.se:8be5d261-c8fe-45fe-be29-fe8fd1f0e661" >
A survey on efficie...
A survey on efficient diagnosability tests for automata and bounded Petri nets
-
- Noori-Hosseini, Mona, 1982 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lennartson, Bengt, 1956 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Cabasino, Maria Paola (författare)
- Universita degli Studi di Cagliari,University of Cagliari
-
visa fler...
-
- Seatzu, Carla (författare)
- Universita degli Studi di Cagliari,University of Cagliari
-
visa färre...
-
(creator_code:org_t)
- ISBN 9781479908622
- 2013
- 2013
- Engelska.
-
Ingår i: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. - 1946-0759 .- 1946-0740. - 9781479908622 ; , s. 1-6
- Relaterad länk:
-
http://publications.... (primary) (free)
-
visa fler...
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas