离散事件控制和诊断分析工具

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

G. Stamp, Y. Ong, R. Kumar, C. Zhou

{"title":"离散事件控制和诊断分析工具","authors":"G. Stamp, Y. Ong, R. Kumar, C. Zhou","doi":"10.1109/WODES.2006.382404","DOIUrl":null,"url":null,"abstract":"We introduce a tool for analyzing the control and diagnosis issues in discrete-event systems. The tool consists of a program written in C that accepts command line arguments and a GUI front end written in Java that can be used to execute the command line driven program. The tool accepts models of underlying systems and specifications in form of finite automata and supports various automata-level computations as well as control and diagnosis related verification and synthesis. We describe the way the tool is structured and the way it can be used","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"DECADA: Tool for Discrete-Event Control and Diagnosis Analysis\",\"authors\":\"G. Stamp, Y. Ong, R. Kumar, C. Zhou\",\"doi\":\"10.1109/WODES.2006.382404\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We introduce a tool for analyzing the control and diagnosis issues in discrete-event systems. The tool consists of a program written in C that accepts command line arguments and a GUI front end written in Java that can be used to execute the command line driven program. The tool accepts models of underlying systems and specifications in form of finite automata and supports various automata-level computations as well as control and diagnosis related verification and synthesis. We describe the way the tool is structured and the way it can be used\",\"PeriodicalId\":285315,\"journal\":{\"name\":\"2006 8th International Workshop on Discrete Event Systems\",\"volume\":\"25 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-07-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"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.382404\",\"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.382404","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

我们介绍了一个分析离散事件系统控制和诊断问题的工具。该工具包括用C编写的接受命令行参数的程序和用Java编写的可用于执行命令行驱动程序的GUI前端。该工具以有限自动机的形式接受底层系统和规范的模型，并支持各种自动机级计算以及控制和诊断相关的验证和综合。我们描述了工具的结构和使用方式

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

查看原文本刊更多论文

DECADA: Tool for Discrete-Event Control and Diagnosis Analysis

We introduce a tool for analyzing the control and diagnosis issues in discrete-event systems. The tool consists of a program written in C that accepts command line arguments and a GUI front end written in Java that can be used to execute the command line driven program. The tool accepts models of underlying systems and specifications in form of finite automata and supports various automata-level computations as well as control and diagnosis related verification and synthesis. We describe the way the tool is structured and the way it can be used

求助全文

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

来源期刊

2006 8th International Workshop on Discrete Event Systems

自引率

0.00%

发文量