Зображення обкладинки

Кибер-физические системы

Приведен ретроспективный анализ теории кибер-физических систем и охарактеризовано ее современное состояние. Исследован ряд проблем, возникающих в теории гибридных автоматов. Рассмотрена полугрупповая система переходов, являющаяся основой распространения алгебраической теории взаимодействия размеченн...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2017
Автори:	Летичевский, А.А., Летичевский, А.А. мл., Скобелев, В.Г., Волков, В.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2017
Теми:	Кібернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/144803
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Кибер-физические системы / А.А. Летичевский, А.А. Летичевский мл., В.Г. Скобелев, В.А. Волков // Кибернетика и системный анализ. — 2017. — Т. 53, № 6. — С. 3–19. — Бібліогр.: 55 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Атрибутные транзиционные системы со скрытыми переходами
за авторством: Скобелев, В.В.
Опубліковано: (2017)

Алгебраическая теория взаимодействия и киберфизические системы
за авторством: Летичевский, А.А.
Опубліковано: (2017)

Рецензия на книгу
за авторством: Летичевский, А.А., та інші
Опубліковано: (2016)

Автоматы на абстрактных конечных квазигруппах
за авторством: Скобелев, В.В., та інші
Опубліковано: (2017)

Автоматы на конечных Т-квазигруппах
за авторством: Скобелев, В.В., та інші
Опубліковано: (2018)

О некоторых задачах анализа гибридных автоматов
за авторством: Скобелев, В.В., та інші
Опубліковано: (2018)

Свойства предикатного трансформера системы VRS
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)

Эксперименты с дедуктивным тестированием реактивных систем
за авторством: Летичевский, А.А. (мл.)
Опубліковано: (2013)

Парадигмы модельного и символьного тестирования программных систем
за авторством: Летичевский, А.А. (мл.)
Опубліковано: (2015)

Алгоритм трансляции APLAN-кода
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)

Анализ структуры атрибутных транзиционных систем без скрытых переходов
за авторством: Скобелев, В.В.
Опубліковано: (2017)

Киберфизические системы: лингвистический аспект
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2020)

Оценки сложности экспериментов с блоками управляемых перестановок
за авторством: Скобелев, В.Г.
Опубліковано: (2011)

Об одном классе базовых протоколов
за авторством: Летичевский, А.А.
Опубліковано: (2005)

Достижимая верхняя граница sup-нормы произведения элементов кольца усеченных многочленов и ее применение к анализу NTRU-подобных криптосистем
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2021)

Эволюционный метод построения систем искусственного интеллекта
за авторством: Анисимов, А.В., та інші
Опубліковано: (2019)

Совместное использование методов структурной декомпозиции для оптимизации схемы микропрограммного автомата Мура
за авторством: Баркалов, А.А., та інші
Опубліковано: (2021)

Оптимизация схемы совмещенного автомата в базисе ASIC
за авторством: Баркалов, А.А., та інші
Опубліковано: (2020)

Смешанное кодирование наборов микроопераций в микропрограммном автомате
за авторством: Баркалов, А.А., та інші
Опубліковано: (2020)

Определение области эффективного применения микропрограммного автомата с операционным автоматом переходов
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2018)

Структурная классификация методов синтеза микропрограммного автомата с операционным автоматом переходов
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2019)

Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
за авторством: Летичевський, О.О., та інші
Опубліковано: (2020)

Оцінювання когерентності тексту за допомогою побудови графу семантичної та лексико-граматичної узгодженості словосполучень речень
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2020)

Магнітне поле довільної системи прямолінійних паралельних струмів
за авторством: Сидорчук, А.А., та інші
Опубліковано: (2010)

Новые функциональные возможности системы обработки естественноязыковых спецификаций и среда ее функционирования
за авторством: Мищенко, Н.М., та інші
Опубліковано: (2018)

Моделирование управляющих воздействий банковской системы на функционирование экономики. I. Динамика и корректировка кризисных ситуаций
за авторством: Хиленко, В.В.
Опубліковано: (2020)

Исследование структуры множества линейных БПИ-автоматов над кольцом Zpk
за авторством: Скобелев, В.В.
Опубліковано: (2007)

Генерация символьных трасс в системе инсерционного моделирования
за авторством: Летичевский, А.А., та інші
Опубліковано: (2015)

Моделирование управляющих воздействий банковской системы на функционирование экономики. ІІ. Выбор и особенности применения оптимизационных алгоритмов
за авторством: Хиленко, В.В.
Опубліковано: (2020)

О полных и квазиполных двухкритериальных задачах на графах
за авторством: Перепелица, В.А., та інші
Опубліковано: (2018)

Генерация тестовых сценариев на основе формальной модели
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)

Достижения и проблемы кибернетики и информатики в Украине
за авторством: Капитонова, Ю.В., та інші
Опубліковано: (2007)

Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
за авторством: Волков, В.А., та інші
Опубліковано: (2017)

Инсерционное моделирование
за авторством: Летичевский, А.Ад.
Опубліковано: (2012)

Методы построения систем анализа и синтеза коммуникационной информации
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2017)

Предиктивная система набора текста для украинского языка
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2017)

Доверительные вычисления с использованием складывающей машины. I
за авторством: Анисимов, А.В., та інші
Опубліковано: (2017)

О дифференциальных играх с геометрическими и интегральными ограничениями
за авторством: Белоусов, А.А.
Опубліковано: (2014)

О дифференциальных играх с интегральными ограничениями и цилиндрическим терминальным множеством
за авторством: Белоусов, А.А.
Опубліковано: (2013)

Дифференциальные игры с интегральными ограничениями и импульсными управлениями
за авторством: Белоусов, А.А.
Опубліковано: (2013)