基于Petri网的ABS系统故障诊断

2011 IEEE International Conference on Automation Science and Engineering Pub Date : 2011-10-13 DOI:10.1109/CASE.2011.6042508

M. P. Cabasino, A. Giua, C. Seatzu, Antonio Solinas, Katiuscia Zedda

{"title":"基于Petri网的ABS系统故障诊断","authors":"M. P. Cabasino, A. Giua, C. Seatzu, Antonio Solinas, Katiuscia Zedda","doi":"10.1109/CASE.2011.6042508","DOIUrl":null,"url":null,"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.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"126 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"Fault diagnosis of an ABS system using Petri nets\",\"authors\":\"M. P. Cabasino, A. Giua, C. Seatzu, Antonio Solinas, Katiuscia Zedda\",\"doi\":\"10.1109/CASE.2011.6042508\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":236208,\"journal\":{\"name\":\"2011 IEEE International Conference on Automation Science and Engineering\",\"volume\":\"126 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-10-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 IEEE International Conference on Automation Science and Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CASE.2011.6042508\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 IEEE International Conference on Automation Science and Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CASE.2011.6042508","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 9

摘要

本文研究了一种车轮装有防抱死制动系统(ABS)的汽车的制动系统。我们假设负责激活ABS的传感器会出现故障。我们首先展示了如何使用标记Petri网和并发组合的概念对这样的系统进行建模。然后，我们展示了如何使用基于Petri网的适当技术在这样的系统上进行故障诊断和可诊断性分析。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2011 IEEE International Conference on Automation Science and Engineering

自引率

0.00%

发文量