An introduction to timed languages and timed automata
Timed languages are introduced as a class of languages that accepts timed words: sequences of events wherein each event is associated with a certain time of occurrence. To model timed regular languages, timed automata must be used. These are extensions of finite automata wherein each occurs fulfilli...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | text |
| Published: |
Animo Repository
2005
|
| Subjects: | |
| Online Access: | https://animorepository.dlsu.edu.ph/faculty_research/8585 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | De La Salle University |
| id |
oai:animorepository.dlsu.edu.ph:faculty_research-9198 |
|---|---|
| record_format |
eprints |
| spelling |
oai:animorepository.dlsu.edu.ph:faculty_research-91982023-03-08T02:19:32Z An introduction to timed languages and timed automata Obach, Darlene Daryl Jamoralin, Karl Nikolai Ong, Arlyn Verina L. Ong, Russell Timed languages are introduced as a class of languages that accepts timed words: sequences of events wherein each event is associated with a certain time of occurrence. To model timed regular languages, timed automata must be used. These are extensions of finite automata wherein each occurs fulfilling a certain time constraint in addition to the input event. This paper introduces the concepts of timed languages, timed automata, their properties, operations and applications in modeling real-time systems. 2005-01-01T08:00:00Z text https://animorepository.dlsu.edu.ph/faculty_research/8585 Faculty Research Work Animo Repository Sequential machine theory Computer Sciences |
| institution |
De La Salle University |
| building |
De La Salle University Library |
| continent |
Asia |
| country |
Philippines Philippines |
| content_provider |
De La Salle University Library |
| collection |
DLSU Institutional Repository |
| topic |
Sequential machine theory Computer Sciences |
| spellingShingle |
Sequential machine theory Computer Sciences Obach, Darlene Daryl Jamoralin, Karl Nikolai Ong, Arlyn Verina L. Ong, Russell An introduction to timed languages and timed automata |
| description |
Timed languages are introduced as a class of languages that accepts timed words: sequences of events wherein each event is associated with a certain time of occurrence. To model timed regular languages, timed automata must be used. These are extensions of finite automata wherein each occurs fulfilling a certain time constraint in addition to the input event. This paper introduces the concepts of timed languages, timed automata, their properties, operations and applications in modeling real-time systems. |
| format |
text |
| author |
Obach, Darlene Daryl Jamoralin, Karl Nikolai Ong, Arlyn Verina L. Ong, Russell |
| author_facet |
Obach, Darlene Daryl Jamoralin, Karl Nikolai Ong, Arlyn Verina L. Ong, Russell |
| author_sort |
Obach, Darlene Daryl |
| title |
An introduction to timed languages and timed automata |
| title_short |
An introduction to timed languages and timed automata |
| title_full |
An introduction to timed languages and timed automata |
| title_fullStr |
An introduction to timed languages and timed automata |
| title_full_unstemmed |
An introduction to timed languages and timed automata |
| title_sort |
introduction to timed languages and timed automata |
| publisher |
Animo Repository |
| publishDate |
2005 |
| url |
https://animorepository.dlsu.edu.ph/faculty_research/8585 |
| _version_ |
1767196892518678528 |