Аннотация. Приведен ретроспективный анализ теории кибер-физических систем и охарактеризовано ее современное состояние. Исследован ряд проблем, возникающих в теории гибридных автоматов. Рассмотрена полугрупповая система переходов, являющаяся основой распространения алгебраической теории взаимодействия размеченных транзиционных систем на кибер-физические системы.
Ключевые слова: кибер-физические системы, гибридные автоматы, верификация.
Летичевский Александр Адольфович,
академик НАН Украины, доктор физ.-мат. наук, профессор, заведующий отделом Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: aaletichevsky78@gmail.com.
Летичевский Александр Александрович,
доктор физ.-мат. наук, старший научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: lit@issukraine.com.
Скобелев Владимир Геннадиевич,
доктор физ.-мат. наук, профессор, ведущий научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: skobelevvg@gmail.com.
Волков Владислав Анатольевич,
кандидат физ.-мат. наук, старший научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: vlad@issukraine.com.