О некоторых задачах анализа гибридных автоматов

Определен класс 1-мерных гибридных автоматов, в которых в каждом дискретном состоянии для различных множеств начальных значений непрерывного состояния динамика может быть представлена различными дифференциальными уравнениями, и задана конечная продолжительность этой динамики, которая может быть разл...

Повний опис

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
_version_ 1862540830913331200
author Скобелев, В.В.
Скобелев, В.Г.
author_facet Скобелев, В.В.
Скобелев, В.Г.
citation_txt О некоторых задачах анализа гибридных автоматов / В.В. Скобелев, В.Г. Скобелев // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 3–15. — Бібліогр.: 13назв. — рос.
collection DSpace DC
container_title Кибернетика и системный анализ
description Определен класс 1-мерных гибридных автоматов, в которых в каждом дискретном состоянии для различных множеств начальных значений непрерывного состояния динамика может быть представлена различными дифференциальными уравнениями, и задана конечная продолжительность этой динамики, которая может быть различной для разных множеств начальных значений непрерывного состояния. Предложены алгоритмы решения задач устранения противоречия в объектах, определяющих гибридный автомат, согласования этих объектов один с другим, нахождения минимального числа переключений и оценки минимального времени, за которое дискретные состояния достижимы из множества начальных дискретных состояний . Визначено клас 1-вимірних гібридних автоматів, у яких у кожному дискретному стані для різних множин початкових значень неперервного стану динаміка може бути представлена різними диференціальними рівняннями, та задано скінченну тривалість цієї динаміки, яка може бути різною для різних множин початкових значень неперервного стану. Запропоновано алгоритми розв’язання задач вилучення суперечностей в об’єктах, які визначають гібридний автомат, узгодження цих об’єктів один з одним, знаходження мінімального числа перемикань та оцінки мінімального часу, за який дискретні стани досяжні з множини початкових дискретних станів . A class of 1-dimensional hybrid automata is defined, such that in each discrete state, the dynamics can be presented by different differential equations for different sets of initial values of continuous state, each dynamics duration is finite, and can be different for different sets of initial values of continuous state. Algorithms are proposed to solve problems of eliminating contradictions in objects that define the hybrid automata, of coordinating these objects with each other, calculating the minimum number of switchings, and estimating the minimum time for reachability of discrete states from the set of initial discrete states.
first_indexed 2025-11-24T16:26:31Z
format Article
fulltext
id nasplib_isofts_kiev_ua-123456789-161365
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
issn 1019-5262
language Russian
last_indexed 2025-11-24T16:26:31Z
publishDate 2018
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
record_format dspace
spelling Скобелев, В.В.
Скобелев, В.Г.
2019-12-07T15:20:32Z
2019-12-07T15:20:32Z
2018
О некоторых задачах анализа гибридных автоматов / В.В. Скобелев, В.Г. Скобелев // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 3–15. — Бібліогр.: 13назв. — рос.
1019-5262
https://nasplib.isofts.kiev.ua/handle/123456789/161365
519.68+681.3
Определен класс 1-мерных гибридных автоматов, в которых в каждом дискретном состоянии для различных множеств начальных значений непрерывного состояния динамика может быть представлена различными дифференциальными уравнениями, и задана конечная продолжительность этой динамики, которая может быть различной для разных множеств начальных значений непрерывного состояния. Предложены алгоритмы решения задач устранения противоречия в объектах, определяющих гибридный автомат, согласования этих объектов один с другим, нахождения минимального числа переключений и оценки минимального времени, за которое дискретные состояния достижимы из множества начальных дискретных состояний .
Визначено клас 1-вимірних гібридних автоматів, у яких у кожному дискретному стані для різних множин початкових значень неперервного стану динаміка може бути представлена різними диференціальними рівняннями, та задано скінченну тривалість цієї динаміки, яка може бути різною для різних множин початкових значень неперервного стану. Запропоновано алгоритми розв’язання задач вилучення суперечностей в об’єктах, які визначають гібридний автомат, узгодження цих об’єктів один з одним, знаходження мінімального числа перемикань та оцінки мінімального часу, за який дискретні стани досяжні з множини початкових дискретних станів .
A class of 1-dimensional hybrid automata is defined, such that in each discrete state, the dynamics can be presented by different differential equations for different sets of initial values of continuous state, each dynamics duration is finite, and can be different for different sets of initial values of continuous state. Algorithms are proposed to solve problems of eliminating contradictions in objects that define the hybrid automata, of coordinating these objects with each other, calculating the minimum number of switchings, and estimating the minimum time for reachability of discrete states from the set of initial discrete states.
ru
Інститут кібернетики ім. В.М. Глушкова НАН України
Кибернетика и системный анализ
Кібернетика
О некоторых задачах анализа гибридных автоматов
Про деякі задачі аналізу гібридних автоматів
Some problems from the analysis of hybrid automata
Article
published earlier
spellingShingle О некоторых задачах анализа гибридных автоматов
Скобелев, В.В.
Скобелев, В.Г.
Кібернетика
title О некоторых задачах анализа гибридных автоматов
title_alt Про деякі задачі аналізу гібридних автоматів
Some problems from the analysis of hybrid automata
title_full О некоторых задачах анализа гибридных автоматов
title_fullStr О некоторых задачах анализа гибридных автоматов
title_full_unstemmed О некоторых задачах анализа гибридных автоматов
title_short О некоторых задачах анализа гибридных автоматов
title_sort о некоторых задачах анализа гибридных автоматов
topic Кібернетика
topic_facet Кібернетика
url https://nasplib.isofts.kiev.ua/handle/123456789/161365
work_keys_str_mv AT skobelevvv onekotoryhzadačahanalizagibridnyhavtomatov
AT skobelevvg onekotoryhzadačahanalizagibridnyhavtomatov
AT skobelevvv prodeâkízadačíanalízugíbridnihavtomatív
AT skobelevvg prodeâkízadačíanalízugíbridnihavtomatív
AT skobelevvv someproblemsfromtheanalysisofhybridautomata
AT skobelevvg someproblemsfromtheanalysisofhybridautomata