Fault diagnosis of an ABS system using Petri nets


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.

DOI: 10.1109/CASE.2011.6042508

Extracted Key Phrases

7 Figures and Tables

Cite this paper

@article{Cabasino2011FaultDO, title={Fault diagnosis of an ABS system using Petri nets}, author={Maria Paola Cabasino and Alessandro Giua and Carla Seatzu and A. Solinas and K. Zedda}, journal={2011 IEEE International Conference on Automation Science and Engineering}, year={2011}, pages={594-599} }