A Dynamical Model of Behavioural Specifications

Abstract

We give a description of the behavioral specification in terms of infinite sequences. This description allows the use of the well developed theory of subshifts of finite type and the formulation of some invariance properties. Our aim is to introduce a new language in this area.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1995
Accession Number
ADA360118

Entities

People

  • Tomasz Nowicki

Organizations

  • University of Warsaw

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Energy
  • Entropy
  • Free Energy
  • Invariance
  • Mathematical Models
  • Mathematics
  • Models
  • Numbers
  • Potential Energy
  • Probability
  • Probability Distributions
  • Sequences
  • Specifications
  • Standards
  • Theorems
  • Topology

Fields of Study

  • Mathematics

Readers

  • Mathematical Modeling and Probability Theory.
  • Technical Research and Report Writing.