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