An introduction to timed languages and timed automata

College

College of Computer Studies

Department/Unit

Computer Technology

Document Type

Archival Material/Manuscript

Publication Date

2005

Abstract

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.

html

Disciplines

Computer Sciences

Note

Undated; publication/creation date supplied

Keywords

Sequential machine theory

Upload File

wf_no

This document is currently not available here.

Share

COinS