Accession Number : ADA324005

Title :   Temporal Automata,

Corporate Author : STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Lavignon, Jean-Francois ; Shoham, Yoav

PDF Url : ADA324005

Report Date : 29 AUG 1990

Pagination or Media Count : 43

Abstract : We present a new model of machines and their operation, called temporal automata. Characteristics of this model include explicit representation of process time, symmetric representation of a machine and of the environment in which it operates, the wiring together of asynchronous automata, and the ability to aggregate individual machines to form one machine at a coarser level of granularity. We present the mathematical theory of temporal automata, and provide examples of applying the model. We then relate temporal automata to traditional constructs such as finite automata and Turing machines, as well as to more recent formalisms such as statecharts and situated automata. Finally, we briefly describe a formal language for defining temporal automata, a compiler for that language, and a simulator for the output of that compiler.

Descriptors :   *AUTOMATA, ASYNCHRONOUS SYSTEMS, ROBOTS, LEARNING MACHINES, INPUT OUTPUT PROCESSING, CONCURRENT ENGINEERING, SYSTEMS ANALYSIS, COMPILERS.

Subject Categories : Cybernetics

Distribution Statement : APPROVED FOR PUBLIC RELEASE