一类时间离散事件系统的诊断

2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI:10.1109/WODES.2006.1678439

Haithem Derbel, M. Yeddes, N. Hadj-Alouane, H. Alla

{"title":"一类时间离散事件系统的诊断","authors":"Haithem Derbel, M. Yeddes, N. Hadj-Alouane, H. Alla","doi":"10.1109/WODES.2006.1678439","DOIUrl":null,"url":null,"abstract":"A timed extension of the discrete-event systems failure diagnosis approach of Sampath et al. (1995) is proposed. The diagnoser is a timed automaton, constructed off-line, from a timed automaton system model. The construction procedure is illustrated through a practical example. A notion of Delta-diagnosability for timed languages, is defined. Necessary and sufficient conditions linking Delta-diagnosability, to the structure of a constructed diagnoser are given","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"40 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":"{\"title\":\"Diagnosis of a Class of Timed Discrete Event Systems\",\"authors\":\"Haithem Derbel, M. Yeddes, N. Hadj-Alouane, H. Alla\",\"doi\":\"10.1109/WODES.2006.1678439\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A timed extension of the discrete-event systems failure diagnosis approach of Sampath et al. (1995) is proposed. The diagnoser is a timed automaton, constructed off-line, from a timed automaton system model. The construction procedure is illustrated through a practical example. A notion of Delta-diagnosability for timed languages, is defined. Necessary and sufficient conditions linking Delta-diagnosability, to the structure of a constructed diagnoser are given\",\"PeriodicalId\":285315,\"journal\":{\"name\":\"2006 8th International Workshop on Discrete Event Systems\",\"volume\":\"40 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-07-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"13\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 8th International Workshop on Discrete Event Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WODES.2006.1678439\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 8th International Workshop on Discrete Event Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WODES.2006.1678439","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 13

摘要

提出了Sampath等人(1995)的离散事件系统故障诊断方法的时间扩展。诊断器是一个时间自动机，从一个时间自动机系统模型离线构建。通过实例说明了施工过程。定义了时间语言的增量可诊断性概念。给出了可诊断性与构造诊断器结构相联系的充分必要条件

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

查看原文本刊更多论文

Diagnosis of a Class of Timed Discrete Event Systems

A timed extension of the discrete-event systems failure diagnosis approach of Sampath et al. (1995) is proposed. The diagnoser is a timed automaton, constructed off-line, from a timed automaton system model. The construction procedure is illustrated through a practical example. A notion of Delta-diagnosability for timed languages, is defined. Necessary and sufficient conditions linking Delta-diagnosability, to the structure of a constructed diagnoser are given

求助全文

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

来源期刊

2006 8th International Workshop on Discrete Event Systems

自引率

0.00%

发文量