{"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}
引用次数: 0
Abstract
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.
期刊介绍:
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.