Fault detection for discrete event syste
β
Maria Paola Cabasino; Alessandro Giua; Carla Seatzu
π
Article
π
2010
π
Elsevier Science
π
English
β 579 KB
In this paper we present a fault detection approach for discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservable, including all those transitions that model faulty behaviors. Our diagnosis approach is based on the notions of basis marking and justif