О некоторых задачах анализа гибридных автоматов
Определен класс 1-мерных гибридных автоматов, в которых в каждом дискретном состоянии для различных множеств начальных значений непрерывного состояния динамика может быть представлена различными дифференциальными уравнениями, и задана конечная продолжительность этой динамики, которая может быть разл...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2018 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2018
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/161365 |
| 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: | О некоторых задачах анализа гибридных автоматов / В.В. Скобелев, В.Г. Скобелев // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 3–15. — Бібліогр.: 13назв. — рос. |
Institution
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 |