定时离散事件系统和定时自动机的可表达性

Q3 Engineering

IFAC-PapersOnLine Pub Date : 2024-01-01 DOI:10.1016/j.ifacol.2024.07.037

{"title":"定时离散事件系统和定时自动机的可表达性","authors":"","doi":"10.1016/j.ifacol.2024.07.037","DOIUrl":null,"url":null,"abstract":"<div><p>In control engineering and computer science, different formalisms are used for the specification and subsequent analysis of timed extensions of discrete event systems. In this paper, the expressivity of timed discrete event systems and that of timed automata are compared for the purpose of modeling of discrete event systems involving time aspects. A behavior-preserving transformation from timed discrete event systems to timed automata is provided, and it is shown that a similar transformation from timed automata to timed discrete event systems is not possible under the assumption that the event sets of the system modeled remains the same.</p></div>","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S2405896324001150/pdf?md5=8029455709f2655fd11c17832b09c496&pid=1-s2.0-S2405896324001150-main.pdf","citationCount":"0","resultStr":"{\"title\":\"Expressivity of Timed Discrete Event Systems and Timed Automata\",\"authors\":\"\",\"doi\":\"10.1016/j.ifacol.2024.07.037\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>In control engineering and computer science, different formalisms are used for the specification and subsequent analysis of timed extensions of discrete event systems. In this paper, the expressivity of timed discrete event systems and that of timed automata are compared for the purpose of modeling of discrete event systems involving time aspects. A behavior-preserving transformation from timed discrete event systems to timed automata is provided, and it is shown that a similar transformation from timed automata to timed discrete event systems is not possible under the assumption that the event sets of the system modeled remains the same.</p></div>\",\"PeriodicalId\":37894,\"journal\":{\"name\":\"IFAC-PapersOnLine\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://www.sciencedirect.com/science/article/pii/S2405896324001150/pdf?md5=8029455709f2655fd11c17832b09c496&pid=1-s2.0-S2405896324001150-main.pdf\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IFAC-PapersOnLine\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S2405896324001150\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"Engineering\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IFAC-PapersOnLine","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S2405896324001150","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"Engineering","Score":null,"Total":0}

引用次数: 0

摘要

在控制工程和计算机科学领域，不同的形式主义被用于离散事件系统定时扩展的规范和后续分析。本文比较了定时离散事件系统和定时自动机的表达能力，以便为涉及时间方面的离散事件系统建模。本文提供了从定时离散事件系统到定时自动机的行为保留转换，并证明了在所建模系统的事件集保持不变的假设下，从定时自动机到定时离散事件系统的类似转换是不可能的。

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

查看原文本刊更多论文

Expressivity of Timed Discrete Event Systems and Timed Automata

In control engineering and computer science, different formalisms are used for the specification and subsequent analysis of timed extensions of discrete event systems. In this paper, the expressivity of timed discrete event systems and that of timed automata are compared for the purpose of modeling of discrete event systems involving time aspects. A behavior-preserving transformation from timed discrete event systems to timed automata is provided, and it is shown that a similar transformation from timed automata to timed discrete event systems is not possible under the assumption that the event sets of the system modeled remains the same.

求助全文

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

来源期刊

IFAC-PapersOnLine Engineering-Control and Systems Engineering

CiteScore

1.70

自引率

0.00%

发文量

1122

期刊介绍： All papers from IFAC meetings are published, in partnership with Elsevier, the IFAC Publisher, in theIFAC-PapersOnLine proceedings series hosted at the ScienceDirect web service. This series includes papers previously published in the IFAC website.The main features of the IFAC-PapersOnLine series are: -Online archive including papers from IFAC Symposia, Congresses, Conferences, and most Workshops. -All papers accepted at the meeting are published in PDF format - searchable and citable. -All papers published on the web site can be cited using the IFAC PapersOnLine ISSN and the individual paper DOI (Digital Object Identifier). The site is Open Access in nature - no charge is made to individuals for reading or downloading. Copyright of all papers belongs to IFAC and must be referenced if derivative journal papers are produced from the conference papers. All papers published in IFAC-PapersOnLine have undergone a peer review selection process according to the IFAC rules.