К вопросу об устойчивости гибридных автоматов по части переменных
Рассмотрена задача устойчивости гибридных автоматов относительно части переменных. Розглянуто задачу стійкості гібридних автоматів відносно частини змінних. Задача актуальна і інтенсивно розвивається. Розглянуто також аспекти її вирішення методом функцій Ляпунова. Питання про стійкість гібридних авт...
Gespeichert in:
| Veröffentlicht in: | Проблемы управления и информатики |
|---|---|
| Datum: | 2019 |
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2019
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/180830 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | К вопросу об устойчивости гибридных автоматов по части переменных / А.С. Бычков, О.Н. Супрун, Й. Кржиж, В. Новотна // Проблемы управления и информатики. — 2019. — № 5. — С. 25-32. — Бібліогр.: 8 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-180830 |
|---|---|
| record_format |
dspace |
| spelling |
Бычков, А.С. Супрун, О.Н. Кржиж, Й. Новотна, В. 2021-10-20T17:25:56Z 2021-10-20T17:25:56Z 2019 К вопросу об устойчивости гибридных автоматов по части переменных / А.С. Бычков, О.Н. Супрун, Й. Кржиж, В. Новотна // Проблемы управления и информатики. — 2019. — № 5. — С. 25-32. — Бібліогр.: 8 назв. — рос. 0572-2691 https://nasplib.isofts.kiev.ua/handle/123456789/180830 517.925 Рассмотрена задача устойчивости гибридных автоматов относительно части переменных. Розглянуто задачу стійкості гібридних автоматів відносно частини змінних. Задача актуальна і інтенсивно розвивається. Розглянуто також аспекти її вирішення методом функцій Ляпунова. Питання про стійкість гібридних автоматів відносно частини змінних виникає природним чином, перш за все, в прикладних проблемах. А саме, виходячи з вимог нормального функціонування обʼєкта, досить забезпечити його стійкість лише за частиною змінних. Постановка задачі про стійкість за частиною змінних належить О.М. Ляпунову, але він сам цією задачею не займався. Існує значна методологічна подібність у вивченні стійкості за всіма і за частиною змінних за допомогою функцій Ляпунова. У вирішенні деяких ідентичних питань стосовно задач стійкості за всіма і за частиною змінних є певні відмінності. Відомі методи дозволяють зводити задачу стійкості відносно частини змінних до дослідження задачі за всіма змінними деякої допоміжної системи, і навпаки. Ці два види стійкості тісно пов’язані та взаємно доповнюють один одного. Наразі задачу стійкості гібридного автомата відносно частини змінних розглядають як самостійний розділ теорії стійкості. Основним методом дослідження, як і в задачі стійкості за всіма змінними, виявився метод Ляпунова. Показано, що властивості y₁-додатно визначеності функцій Ляпунова недостатньо для дослідження стійкості гібридних автоматів за частиною змінних. Введено поняття y₁ -рівномірної додатної визначеної функції. Доведено теореми, які дають достатні умови стійкості. Для лінійних гібридних автоматів отримано конструктивні умови стійкості. Також показано, як за допомогою наведених теорем досліджувати на стійкість гібридні таймовані автомати. The problem of the stability of hybrid automata according to certain variables is considered. This problem is relevant and it is increasing rapidly, especially in recent years. Aspects of it's solution using the Lyapunov function are also considered. The problem of hybrid automata stability regarding certain variables arises naturally while solving the applied problems. Namely, when, based on the requirements of the normal functioning of an object, it is sufficient to ensure its stability only according to some variables. Formulation of the problem of stability regarding certain variables belongs to A.M. Lyapunov, but he himself did not investigate this problem. There is a great methodological similarity in the study of stability considering all, and part of variables using Lyapunov functions. But there are certain differences in resolving some identical issues as applied to stability problems for all and part of the variables. There are methods to reduce the problem of stability regarding certain variables to the study of stability in all variables of some auxiliary system, and vice versa. These two types of stability are closely related and mutually complementary. Currently, the problem of the stability of hybrid automata in terms of variables is considered as an independent section of the theory of stability. It is shown that the property of y₁ -positive definiteness of Lyapunov functions is not enough to investigate the stability of hybrid automata in terms of variables. The concept of a y₁-equable positive definiteness of a function had been introduced. Theorems that provide sufficient stability conditions had been proved. For linear hybrid automata, constructive stability conditions had been obtained. The article also shows how using the above theorems one can investigate the stability of hybrid timed automata. ru Інститут кібернетики ім. В.М. Глушкова НАН України Проблемы управления и информатики Математическое моделирование и исследование сложных управляемых систем К вопросу об устойчивости гибридных автоматов по части переменных До питання стійкості гібридних автоматів за частиною змінних On the issue of the stability of hybrid automata by part of the variables Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
К вопросу об устойчивости гибридных автоматов по части переменных |
| spellingShingle |
К вопросу об устойчивости гибридных автоматов по части переменных Бычков, А.С. Супрун, О.Н. Кржиж, Й. Новотна, В. Математическое моделирование и исследование сложных управляемых систем |
| title_short |
К вопросу об устойчивости гибридных автоматов по части переменных |
| title_full |
К вопросу об устойчивости гибридных автоматов по части переменных |
| title_fullStr |
К вопросу об устойчивости гибридных автоматов по части переменных |
| title_full_unstemmed |
К вопросу об устойчивости гибридных автоматов по части переменных |
| title_sort |
к вопросу об устойчивости гибридных автоматов по части переменных |
| author |
Бычков, А.С. Супрун, О.Н. Кржиж, Й. Новотна, В. |
| author_facet |
Бычков, А.С. Супрун, О.Н. Кржиж, Й. Новотна, В. |
| topic |
Математическое моделирование и исследование сложных управляемых систем |
| topic_facet |
Математическое моделирование и исследование сложных управляемых систем |
| publishDate |
2019 |
| language |
Russian |
| container_title |
Проблемы управления и информатики |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
До питання стійкості гібридних автоматів за частиною змінних On the issue of the stability of hybrid automata by part of the variables |
| description |
Рассмотрена задача устойчивости гибридных автоматов относительно части переменных.
Розглянуто задачу стійкості гібридних автоматів відносно частини змінних. Задача актуальна і інтенсивно розвивається. Розглянуто також аспекти її вирішення методом функцій Ляпунова. Питання про стійкість гібридних автоматів відносно частини змінних виникає природним чином, перш за все, в прикладних проблемах. А саме, виходячи з вимог нормального функціонування обʼєкта, досить забезпечити його стійкість лише за частиною змінних. Постановка задачі про стійкість за частиною змінних належить О.М. Ляпунову, але він сам цією задачею не займався. Існує значна методологічна подібність у вивченні стійкості за всіма і за частиною змінних за допомогою функцій Ляпунова. У вирішенні деяких ідентичних питань стосовно задач стійкості за всіма і за частиною змінних є певні відмінності. Відомі методи дозволяють зводити задачу стійкості відносно частини змінних до дослідження задачі за всіма змінними деякої допоміжної системи, і навпаки. Ці два види стійкості тісно пов’язані та взаємно доповнюють один одного. Наразі задачу стійкості гібридного автомата відносно частини змінних розглядають як самостійний розділ теорії стійкості. Основним методом дослідження, як і в задачі стійкості за всіма змінними, виявився метод Ляпунова. Показано, що властивості y₁-додатно визначеності функцій Ляпунова недостатньо для дослідження стійкості гібридних автоматів за частиною змінних. Введено поняття y₁ -рівномірної додатної визначеної функції. Доведено теореми, які дають достатні умови стійкості. Для лінійних гібридних автоматів отримано конструктивні умови стійкості. Також показано, як за допомогою наведених теорем досліджувати на стійкість гібридні таймовані автомати.
The problem of the stability of hybrid automata according to certain variables is considered. This problem is relevant and it is increasing rapidly, especially in recent years. Aspects of it's solution using the Lyapunov function are also considered. The problem of hybrid automata stability regarding certain variables arises naturally while solving the applied problems. Namely, when, based on the requirements of the normal functioning of an object, it is sufficient to ensure its stability only according to some variables. Formulation of the problem of stability regarding certain variables belongs to A.M. Lyapunov, but he himself did not investigate this problem. There is a great methodological similarity in the study of stability considering all, and part of variables using Lyapunov functions. But there are certain differences in resolving some identical issues as applied to stability problems for all and part of the variables. There are methods to reduce the problem of stability regarding certain variables to the study of stability in all variables of some auxiliary system, and vice versa. These two types of stability are closely related and mutually complementary. Currently, the problem of the stability of hybrid automata in terms of variables is considered as an independent section of the theory of stability. It is shown that the property of y₁ -positive definiteness of Lyapunov functions is not enough to investigate the stability of hybrid automata in terms of variables. The concept of a y₁-equable positive definiteness of a function had been introduced. Theorems that provide sufficient stability conditions had been proved. For linear hybrid automata, constructive stability conditions had been obtained. The article also shows how using the above theorems one can investigate the stability of hybrid timed automata.
|
| issn |
0572-2691 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/180830 |
| citation_txt |
К вопросу об устойчивости гибридных автоматов по части переменных / А.С. Бычков, О.Н. Супрун, Й. Кржиж, В. Новотна // Проблемы управления и информатики. — 2019. — № 5. — С. 25-32. — Бібліогр.: 8 назв. — рос. |
| work_keys_str_mv |
AT byčkovas kvoprosuobustoičivostigibridnyhavtomatovpočastiperemennyh AT suprunon kvoprosuobustoičivostigibridnyhavtomatovpočastiperemennyh AT kržiži kvoprosuobustoičivostigibridnyhavtomatovpočastiperemennyh AT novotnav kvoprosuobustoičivostigibridnyhavtomatovpočastiperemennyh AT byčkovas dopitannâstíikostígíbridnihavtomatívzačastinoûzmínnih AT suprunon dopitannâstíikostígíbridnihavtomatívzačastinoûzmínnih AT kržiži dopitannâstíikostígíbridnihavtomatívzačastinoûzmínnih AT novotnav dopitannâstíikostígíbridnihavtomatívzačastinoûzmínnih AT byčkovas ontheissueofthestabilityofhybridautomatabypartofthevariables AT suprunon ontheissueofthestabilityofhybridautomatabypartofthevariables AT kržiži ontheissueofthestabilityofhybridautomatabypartofthevariables AT novotnav ontheissueofthestabilityofhybridautomatabypartofthevariables |
| first_indexed |
2025-11-28T08:07:59Z |
| last_indexed |
2025-11-28T08:07:59Z |
| _version_ |
1850853503304466432 |