定时系统故障诊断

Communicating Embedded Systems Pub Date : 2009-10-25 DOI:10.1002/9781118558188.CH4

F. Cassez, S. Tripakis

{"title":"定时系统故障诊断","authors":"F. Cassez, S. Tripakis","doi":"10.1002/9781118558188.CH4","DOIUrl":null,"url":null,"abstract":"In this book Chapter, we review the main results pertaining to the problem of fault diagnosis of timed automata. Timed automata are introduced in Chapter 1 and Chapter 2 in this book, and the reader not familiar with this model is invited to read them first.","PeriodicalId":120780,"journal":{"name":"Communicating Embedded Systems","volume":"158 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Fault Diagnosis of Timed Systems\",\"authors\":\"F. Cassez, S. Tripakis\",\"doi\":\"10.1002/9781118558188.CH4\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this book Chapter, we review the main results pertaining to the problem of fault diagnosis of timed automata. Timed automata are introduced in Chapter 1 and Chapter 2 in this book, and the reader not familiar with this model is invited to read them first.\",\"PeriodicalId\":120780,\"journal\":{\"name\":\"Communicating Embedded Systems\",\"volume\":\"158 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-10-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Communicating Embedded Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1002/9781118558188.CH4\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Communicating Embedded Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1002/9781118558188.CH4","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

在这一章中，我们回顾了有关时间自动机故障诊断问题的主要研究成果。本书第一章和第二章介绍了时间自动机，不熟悉该模型的读者请先阅读。

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

查看原文

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

本刊更多论文

Fault Diagnosis of Timed Systems

In this book Chapter, we review the main results pertaining to the problem of fault diagnosis of timed automata. Timed automata are introduced in Chapter 1 and Chapter 2 in this book, and the reader not familiar with this model is invited to read them first.

求助全文

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

来源期刊

Communicating Embedded Systems

自引率

0.00%

发文量

期刊最新文献

Quantitative Verification of Markov Chains Tools for the Analysis of Hybrid Models Models for Real-Time Embedded Systems Tools for Model-Checking Timed Systems Fault Diagnosis of Timed Systems