Алгебраическая теория взаимодействия и киберфизические системы

Скорочена інформація про документ
dc.contributor.authorЛетичевский, А.А.
dc.date.accessioned2025-11-02T17:26:42Z
dc.date.issued2017
dc.description.abstractРозглянуто нову модель кібер-фізичних систем, яка узагальнює відомі моделі типу гібридних та часових автоматів. Обговорюються питання застосування методів моделювання та верифікації, накопичених в області програмування, до розробки кібер-фізичних систем.
dc.description.abstractA new model of cyber-physical systems is considered. The model generalizes known models like hybrid and time automata. The application of modeling and verification methods accumulated in the field of programming to the development of cyberphysical systems is discussed.
dc.identifier.citationАлгебраическая теория взаимодействия и киберфизические системы / А.А. Летичевский // Проблемы управления и информатики. — 2017. — № 5. — С. 37-55. — Бібліогр.: 34 назв. — рос.
dc.identifier.doi10.1615/JAutomatInfScien.v49.i9.10
dc.identifier.issn0572-2691
dc.identifier.udc519.68
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/208596
dc.language.isoru
dc.publisherІнститут кібернетики ім. В.М. Глушкова НАН України
dc.relation.ispartofПроблемы управления и информатики
dc.statuspublished earlier
dc.subjectМетоды обработки информации
dc.titleАлгебраическая теория взаимодействия и киберфизические системы
dc.title.alternativeАлгебраїчна теорія взаємодії і кібер-фізичні системи
dc.title.alternativeAlgebraic interaction theory and cyber-physical systems
dc.typeArticle

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
05-Letichevsky.pdf
Розмір:
422.92 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Проблемы управления и информатики, 2017, № 5