Кибер-физические системы
Приведен ретроспективный анализ теории кибер-физических систем и охарактеризовано ее современное состояние. Исследован ряд проблем, возникающих в теории гибридных автоматов. Рассмотрена полугрупповая система переходов, являющаяся основой распространения алгебраической теории взаимодействия размеченн...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2017 |
| Main Authors: | Летичевский, А.А., Летичевский, А.А. мл., Скобелев, В.Г., Волков, В.А. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/144803 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Кибер-физические системы / А.А. Летичевский, А.А. Летичевский мл., В.Г. Скобелев, В.А. Волков // Кибернетика и системный анализ. — 2017. — Т. 53, № 6. — С. 3–19. — Бібліогр.: 55 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Атрибутные транзиционные системы со скрытыми переходами
by: Скобелев, В.В.
Published: (2017)
by: Скобелев, В.В.
Published: (2017)
Алгебраическая теория взаимодействия и киберфизические системы
by: Летичевский, А.А.
Published: (2017)
by: Летичевский, А.А.
Published: (2017)
Рецензия на книгу
by: Летичевский, А.А., et al.
Published: (2016)
by: Летичевский, А.А., et al.
Published: (2016)
Автоматы на абстрактных конечных квазигруппах
by: Скобелев, В.В., et al.
Published: (2017)
by: Скобелев, В.В., et al.
Published: (2017)
Автоматы на конечных Т-квазигруппах
by: Скобелев, В.В., et al.
Published: (2018)
by: Скобелев, В.В., et al.
Published: (2018)
О некоторых задачах анализа гибридных автоматов
by: Скобелев, В.В., et al.
Published: (2018)
by: Скобелев, В.В., et al.
Published: (2018)
Свойства предикатного трансформера системы VRS
by: Летичевский, А.А., et al.
Published: (2010)
by: Летичевский, А.А., et al.
Published: (2010)
Эксперименты с дедуктивным тестированием реактивных систем
by: Летичевский, А.А. (мл.)
Published: (2013)
by: Летичевский, А.А. (мл.)
Published: (2013)
Парадигмы модельного и символьного тестирования программных систем
by: Летичевский, А.А. (мл.)
Published: (2015)
by: Летичевский, А.А. (мл.)
Published: (2015)
Алгоритм трансляции APLAN-кода
by: Летичевский, А.А., et al.
Published: (2010)
by: Летичевский, А.А., et al.
Published: (2010)
Анализ структуры атрибутных транзиционных систем без скрытых переходов
by: Скобелев, В.В.
Published: (2017)
by: Скобелев, В.В.
Published: (2017)
Киберфизические системы: лингвистический аспект
by: Годлевский, А.Б., et al.
Published: (2020)
by: Годлевский, А.Б., et al.
Published: (2020)
Оценки сложности экспериментов с блоками управляемых перестановок
by: Скобелев, В.Г.
Published: (2011)
by: Скобелев, В.Г.
Published: (2011)
Об одном классе базовых протоколов
by: Летичевский, А.А.
Published: (2005)
by: Летичевский, А.А.
Published: (2005)
Достижимая верхняя граница sup-нормы произведения элементов кольца усеченных многочленов и ее применение к анализу NTRU-подобных криптосистем
by: Алексейчук, А.Н., et al.
Published: (2021)
by: Алексейчук, А.Н., et al.
Published: (2021)
Эволюционный метод построения систем искусственного интеллекта
by: Анисимов, А.В., et al.
Published: (2019)
by: Анисимов, А.В., et al.
Published: (2019)
Совместное использование методов структурной декомпозиции для оптимизации схемы микропрограммного автомата Мура
by: Баркалов, А.А., et al.
Published: (2021)
by: Баркалов, А.А., et al.
Published: (2021)
Оптимизация схемы совмещенного автомата в базисе ASIC
by: Баркалов, А.А., et al.
Published: (2020)
by: Баркалов, А.А., et al.
Published: (2020)
Смешанное кодирование наборов микроопераций в микропрограммном автомате
by: Баркалов, А.А., et al.
Published: (2020)
by: Баркалов, А.А., et al.
Published: (2020)
Определение области эффективного применения микропрограммного автомата с операционным автоматом переходов
by: Бабаков, Р.М., et al.
Published: (2018)
by: Бабаков, Р.М., et al.
Published: (2018)
Структурная классификация методов синтеза микропрограммного автомата с операционным автоматом переходов
by: Бабаков, Р.М., et al.
Published: (2019)
by: Бабаков, Р.М., et al.
Published: (2019)
Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
by: Летичевський, О.О., et al.
Published: (2020)
by: Летичевський, О.О., et al.
Published: (2020)
Оцінювання когерентності тексту за допомогою побудови графу семантичної та лексико-граматичної узгодженості словосполучень речень
by: Погорілий, С.Д., et al.
Published: (2020)
by: Погорілий, С.Д., et al.
Published: (2020)
Магнітне поле довільної системи прямолінійних паралельних струмів
by: Сидорчук, А.А., et al.
Published: (2010)
by: Сидорчук, А.А., et al.
Published: (2010)
Новые функциональные возможности системы обработки естественноязыковых спецификаций и среда ее функционирования
by: Мищенко, Н.М., et al.
Published: (2018)
by: Мищенко, Н.М., et al.
Published: (2018)
Моделирование управляющих воздействий банковской системы на функционирование экономики. I. Динамика и корректировка кризисных ситуаций
by: Хиленко, В.В.
Published: (2020)
by: Хиленко, В.В.
Published: (2020)
Исследование структуры множества линейных БПИ-автоматов над кольцом Zpk
by: Скобелев, В.В.
Published: (2007)
by: Скобелев, В.В.
Published: (2007)
Генерация символьных трасс в системе инсерционного моделирования
by: Летичевский, А.А., et al.
Published: (2015)
by: Летичевский, А.А., et al.
Published: (2015)
Моделирование управляющих воздействий банковской системы на функционирование экономики. ІІ. Выбор и особенности применения оптимизационных алгоритмов
by: Хиленко, В.В.
Published: (2020)
by: Хиленко, В.В.
Published: (2020)
О полных и квазиполных двухкритериальных задачах на графах
by: Перепелица, В.А., et al.
Published: (2018)
by: Перепелица, В.А., et al.
Published: (2018)
Генерация тестовых сценариев на основе формальной модели
by: Летичевский, А.А., et al.
Published: (2010)
by: Летичевский, А.А., et al.
Published: (2010)
Достижения и проблемы кибернетики и информатики в Украине
by: Капитонова, Ю.В., et al.
Published: (2007)
by: Капитонова, Ю.В., et al.
Published: (2007)
Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
by: Волков, В.А., et al.
Published: (2017)
by: Волков, В.А., et al.
Published: (2017)
Инсерционное моделирование
by: Летичевский, А.Ад.
Published: (2012)
by: Летичевский, А.Ад.
Published: (2012)
Методы построения систем анализа и синтеза коммуникационной информации
by: Кривонос, Ю.Г., et al.
Published: (2017)
by: Кривонос, Ю.Г., et al.
Published: (2017)
Предиктивная система набора текста для украинского языка
by: Кривонос, Ю.Г., et al.
Published: (2017)
by: Кривонос, Ю.Г., et al.
Published: (2017)
Доверительные вычисления с использованием складывающей машины. I
by: Анисимов, А.В., et al.
Published: (2017)
by: Анисимов, А.В., et al.
Published: (2017)
О дифференциальных играх с геометрическими и интегральными ограничениями
by: Белоусов, А.А.
Published: (2014)
by: Белоусов, А.А.
Published: (2014)
О дифференциальных играх с интегральными ограничениями и цилиндрическим терминальным множеством
by: Белоусов, А.А.
Published: (2013)
by: Белоусов, А.А.
Published: (2013)
Дифференциальные игры с интегральными ограничениями и импульсными управлениями
by: Белоусов, А.А.
Published: (2013)
by: Белоусов, А.А.
Published: (2013)
Similar Items
-
Атрибутные транзиционные системы со скрытыми переходами
by: Скобелев, В.В.
Published: (2017) -
Алгебраическая теория взаимодействия и киберфизические системы
by: Летичевский, А.А.
Published: (2017) -
Рецензия на книгу
by: Летичевский, А.А., et al.
Published: (2016) -
Автоматы на абстрактных конечных квазигруппах
by: Скобелев, В.В., et al.
Published: (2017) -
Автоматы на конечных Т-квазигруппах
by: Скобелев, В.В., et al.
Published: (2018)