General framework of structural similarity between system models

Yasuhiko Takahara, Shingo Takahashi

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

The structural similarity between system models has been investigated so far solely based on the concept of the homomorphism which is defined only between system models of ‘the same type’. However, this is not satisfactory for the development of systems theory. This paper extends the concept of the homomorphism to investigate the structural similarity between system models, not only of the same type but of different types, by introducing F-morphisms, and examines what kind of system properties are preserved in terms of the extended homomorphisms. This paper deals with three kinds of properties to be preserved: Generators, a set of axioms Σ, and all sentences satisfied in the system model Th(M); it also provides six morphisms: Homomorphisms, Σ-homomorphisms, S-homomorphisms, F-morphisms, ΣF-morphisms and SF-morphisms, for the three cases with respect to system models of the same type and of different types. Convertial homoniorphisms are regarded as special cases of an F-morphism. Finally an F-morphism theorem for system models of different types is proven, which corresponds to the homomorphism theorem for system models of the same type.

Original languageEnglish
Pages (from-to)17-32
Number of pages16
JournalInternational Journal of Systems Science
Volume22
Issue number1
DOIs
Publication statusPublished - 1991 Jan

    Fingerprint

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Theoretical Computer Science
  • Computer Science Applications

Cite this