Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/39362
DC FieldValue
dc.titleTimed vs. Time-triggered automata
dc.contributor.authorKrčál, P.
dc.contributor.authorMokrushin, L.
dc.contributor.authorThiagarajan, P.S.
dc.contributor.authorYi, W.
dc.date.accessioned2013-07-04T07:39:56Z
dc.date.available2013-07-04T07:39:56Z
dc.date.issued2004
dc.identifier.citationKrčál, P.,Mokrushin, L.,Thiagarajan, P.S.,Yi, W. (2004). Timed vs. Time-triggered automata. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3170 : 340-354. ScholarBank@NUS Repository.
dc.identifier.issn03029743
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/39362
dc.description.abstractTo establish a semantic foundation for the synthesis of executable programs from timed models, we study in what sense the timed language (i.e. sequences of events with real-valued time-stamps) of a timed automaton is recognized by a digital machine. Based on the noninstant observability of events, we propose an alternative semantics for timed automata. We show that the new semantics gives rise to a natural notion of digitalization for timed languages. As a model for digital machines we use time-triggered automata - a subclass of timed automata with simplified syntax accepting digitalized timed languages. A time-triggered automaton is essentially a time table for a digital machine (or a digital controller), describing what the machine should do at a given time point, and it can be easily transformed to an executable program. Finally, we present a method to check whether a time-triggered automaton recognizes the language of a timed automaton according to the new semantics. © Springer-Verlag 2004.
dc.sourceScopus
dc.typeArticle
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.sourcetitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.description.volume3170
dc.description.page340-354
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Page view(s)

72
checked on Feb 5, 2020

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.