Ontological models of cyber physical systems

Abstract

A version of developing an ontological model of a cyber physical system of the high level is offered in this paper. The description of the individual elements used in the developed ontological model is presented. The basic formular description of the high level ontology in the logical language of predicates is given. Realizations of particular cases of cyber physical systems are also given using three examples: a conveyor system for processing parts based on Festo, Smart Grids and Part Sequence Sorting System. For each of the models shown, a complete description of the indoor units is provided. Ontological models are based on the use of the concept of functional-block implementation, since this method is the most successful at present. As an intermediate model for adding rules, Prolog is used, whereof transmission into a set of function blocks will take place in the future.