SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Carla Seatzu) "

Sökning: WFRF:(Carla Seatzu)

  • Resultat 1-2 av 2
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Noori-Hosseini, Mona, 1982, et al. (författare)
  • A survey on efficient diagnosability tests for automata and bounded Petri nets
  • 2013
  • Ingår i: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. - 1946-0759 .- 1946-0740. - 9781479908622 ; , s. 1-6
  • Konferensbidrag (refereegranskat)abstract
    • 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.
  •  
2.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-2 av 2

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy