In this paper we consider the brake system of a vehicle whose wheels are equipped with Anti-lock Braking Systems (ABS). We assume that the sensors that are responsible of the activation of the ABS are subject to faults. We first show how such a system can be modeled using labeled Petri nets and the notion of concurrent composition. Then, we show how fault diagnosis and diagnosability analysis can be performed on such a system using appropriate techniques based on Petri nets.
Fault diagnosis of an ABS system using Petri nets
CABASINO, MARIA PAOLA;GIUA, ALESSANDRO;SEATZU, CARLA;
2011-01-01
Abstract
In this paper we consider the brake system of a vehicle whose wheels are equipped with Anti-lock Braking Systems (ABS). We assume that the sensors that are responsible of the activation of the ABS are subject to faults. We first show how such a system can be modeled using labeled Petri nets and the notion of concurrent composition. Then, we show how fault diagnosis and diagnosability analysis can be performed on such a system using appropriate techniques based on Petri nets.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
