Кибер-физические системы

Abstract

Приведен ретроспективный анализ теории кибер-физических систем и охарактеризовано ее современное состояние. Исследован ряд проблем, возникающих в теории гибридных автоматов. Рассмотрена полугрупповая система переходов, являющаяся основой распространения алгебраической теории взаимодействия размеченных транзиционных систем на кибер-физические системы.

Наведено ретроспективний аналіз теорії кібер-фізичних систем та характеристику її сучасного стану. Досліджено низку проблем, які виникають у теорії гібридних автоматів. Розглянуто напівгрупову систему переходів, яка є основою для розповсюдження алгебраїчної теорії взаємодії розмічених транзиційних систем на кібер-фізичні системи.

The authors perform retrospective analysis of cyber-physical systems theory and its state of the art and investigate some problems inherent in hybrid automata theory. A semigroup transition system is presented, which underlies the propagation of algebraic interaction theory for cyber-physical systems.