Temporal Automata,

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 29, 1990
Accession Number
ADA324005

Entities

People

  • Jean-francois Lavignon
  • Yoav Shoham

Organizations

  • Stanford University

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Automata
  • Automata Theory
  • Complex Systems
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Formal Languages
  • Language
  • Machines
  • Notation
  • Programming Languages
  • Robotics
  • Robots
  • Simulators

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.