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

Yasuhiko Takahara, Junichi Iijima, Shingo Takahashi

研究成果: Article査読

抄録

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.

本文言語English
ページ(範囲)281-300
ページ数20
ジャーナルInternational Journal of General Systems
15
4
DOI
出版ステータスPublished - 1989
外部発表はい

ASJC Scopus subject areas

  • コンピュータ サイエンスの応用
  • 制御およびシステム工学
  • モデリングとシミュレーション
  • 理論的コンピュータサイエンス
  • 情報システム

フィンガープリント

「Characterization of systems properties by F-Morphism as a new morphism for similarity」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル