Алгебраическая теория взаимодействия и киберфизические системы
Розглянуто нову модель кібер-фізичних систем, яка узагальнює відомі моделі типу гібридних та часових автоматів. Обговорюються питання застосування методів моделювання та верифікації, накопичених в області програмування, до розробки кібер-фізичних систем. A new model of cyber-physical systems is cons...
Збережено в:
| Опубліковано в: : | Проблемы управления и информатики |
|---|---|
| Дата: | 2017 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/208596 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Алгебраическая теория взаимодействия и киберфизические системы / А.А. Летичевский // Проблемы управления и информатики. — 2017. — № 5. — С. 37-55. — Бібліогр.: 34 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Резюме: | Розглянуто нову модель кібер-фізичних систем, яка узагальнює відомі моделі типу гібридних та часових автоматів. Обговорюються питання застосування методів моделювання та верифікації, накопичених в області програмування, до розробки кібер-фізичних систем.
A 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.
|
|---|---|
| ISSN: | 0572-2691 |