Program System for Object Models Deductive Synthesis

The paper considers the problem of dynamic modeling of complex natural and technical objects. The objects that have hierarchical structure are in focus. It is proposed to use new multilevel relatively finite automata models as formal models of such objects. A new algorithm based on deductive synthesis that allows automatically build automata models is presented. Automata models and the algorithm are implemented in program system. A number of examples of building models in the domain of Internet of Things are given.