Characterization of systems properties by F-Morphism as a new morphism for similarity

Yasuhiko Takahara, Junichi Iijima, Shingo Takahashi

Research output: Contribution to journalArticle

Abstract

This paper introduces a new concept of a morphism, called F-morphism, which makes it possible to discuss the similarity between models of different types. As one of the applications of F-morphisms this paper will characterize systems properties by an equivalence relation defined on them. In this paper a first order language is employed as a language to describe system models, and systems properties are represented as a set of sentences of those languages. As an example, some systems properties of a state-transition system are characterized using F-morphisms. The result of the framework developed in this paper will show that the concept of reachability essentially depends on how the time scale of a dynamical system is recognized.

Original languageEnglish
Pages (from-to)281-300
Number of pages20
JournalInternational Journal of General Systems
Volume15
Issue number4
DOIs
Publication statusPublished - 1989
Externally publishedYes

Keywords

  • F-morphism
  • language
  • similarity
  • System model
  • systems property

ASJC Scopus subject areas

  • Computer Science Applications
  • Control and Systems Engineering
  • Modelling and Simulation
  • Theoretical Computer Science
  • Information Systems

Fingerprint Dive into the research topics of 'Characterization of systems properties by F-Morphism as a new morphism for similarity'. Together they form a unique fingerprint.

Cite this