Formal description of interoperability

  • Authors:

  • Petr Fiedler

  • Affiliations:

  • Department of Control and Instrumentation, Faculty of Electrical Engineering and Communication, Brno University of Technology, Brno, Czech Republic

  • Venue:
  • ISPRA'05 Proceedings of the 4th WSEAS International Conference on Signal Processing, Robotics and Automation
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes theoretical and formal background for analysis of interoperability issues in autonomous machine based data exchange systems, especially in automation systems. The formalism is based on description of interaction of simple deterministic automatons. The interoperability issues are shown on examples; examples are formally described and classified into four classes.