Про нестійкість фазових орбіт одного класу гібридних автоматів
Розглядається загальна модель неперервно-дискретних систем – стохастичний гібридний автомат. Для цієї моделі доводяться теореми про нестійкість тривіальних фазових орбіт. У першій теоремі про нестійкість робиться припущення про існування спільної функції Ляпунова, у другій теоремі про нестійкість ця...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2008
|
| Назва видання: | Математичні машини і системи |
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/46810 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Про нестійкість фазових орбіт одного класу гібридних автоматів / О.С. Бичков, В.С. Касьянюк, Т.П. Совяк // Мат. машини і системи. — 2008. — № 3. — С. 75-81. — Бібліогр.: 11 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-46810 |
|---|---|
| record_format |
dspace |
| spelling |
nasplib_isofts_kiev_ua-123456789-468102025-02-09T12:54:03Z Про нестійкість фазових орбіт одного класу гібридних автоматів О неустойчивости фазових орбит одного класса гибридных автоматов About instability of the phase orbit of one class of hybrid system Бичков, О.С. Касьянюк, В.С. Совяк, Т.П. Обчислювальні системи Розглядається загальна модель неперервно-дискретних систем – стохастичний гібридний автомат. Для цієї моделі доводяться теореми про нестійкість тривіальних фазових орбіт. У першій теоремі про нестійкість робиться припущення про існування спільної функції Ляпунова, у другій теоремі про нестійкість ця умова усунена. Рассматривается общая модель непрерывно-дискретных систем – стохастический гибридный автомат. Для этой модели доказываются теоремы о неустойчивости тривиальных фазовых орбит. В первой теореме о неустойчивости делается предположение о существовании общей функции Ляпунова, во второй теореме о неустойчивости это условие устранено. In this paper, the common model of continuously-discontinuous systems, stochastic switched hybrid system, in particular, is considered. For this model, the theorems regarding instability of trivial phase orbit were proved. In the first theorem regarding instability, an assumption about existing of a common Liapunov’s function was made, in the second theorem, this condition was eliminated. 2008 Article Про нестійкість фазових орбіт одного класу гібридних автоматів / О.С. Бичков, В.С. Касьянюк, Т.П. Совяк // Мат. машини і системи. — 2008. — № 3. — С. 75-81. — Бібліогр.: 11 назв. — укр. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/46810 519.927 uk Математичні машини і системи application/pdf Інститут проблем математичних машин і систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Обчислювальні системи Обчислювальні системи |
| spellingShingle |
Обчислювальні системи Обчислювальні системи Бичков, О.С. Касьянюк, В.С. Совяк, Т.П. Про нестійкість фазових орбіт одного класу гібридних автоматів Математичні машини і системи |
| description |
Розглядається загальна модель неперервно-дискретних систем – стохастичний гібридний автомат. Для цієї моделі доводяться теореми про нестійкість тривіальних фазових орбіт. У першій теоремі про нестійкість робиться припущення про існування спільної функції Ляпунова, у другій теоремі про нестійкість ця умова усунена. |
| format |
Article |
| author |
Бичков, О.С. Касьянюк, В.С. Совяк, Т.П. |
| author_facet |
Бичков, О.С. Касьянюк, В.С. Совяк, Т.П. |
| author_sort |
Бичков, О.С. |
| title |
Про нестійкість фазових орбіт одного класу гібридних автоматів |
| title_short |
Про нестійкість фазових орбіт одного класу гібридних автоматів |
| title_full |
Про нестійкість фазових орбіт одного класу гібридних автоматів |
| title_fullStr |
Про нестійкість фазових орбіт одного класу гібридних автоматів |
| title_full_unstemmed |
Про нестійкість фазових орбіт одного класу гібридних автоматів |
| title_sort |
про нестійкість фазових орбіт одного класу гібридних автоматів |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| publishDate |
2008 |
| topic_facet |
Обчислювальні системи |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/46810 |
| citation_txt |
Про нестійкість фазових орбіт одного класу гібридних автоматів / О.С. Бичков, В.С. Касьянюк, Т.П. Совяк // Мат. машини і системи. — 2008. — № 3. — С. 75-81. — Бібліогр.: 11 назв. — укр. |
| series |
Математичні машини і системи |
| work_keys_str_mv |
AT bičkovos pronestíjkístʹfazovihorbítodnogoklasugíbridnihavtomatív AT kasʹânûkvs pronestíjkístʹfazovihorbítodnogoklasugíbridnihavtomatív AT sovâktp pronestíjkístʹfazovihorbítodnogoklasugíbridnihavtomatív AT bičkovos oneustojčivostifazovihorbitodnogoklassagibridnyhavtomatov AT kasʹânûkvs oneustojčivostifazovihorbitodnogoklassagibridnyhavtomatov AT sovâktp oneustojčivostifazovihorbitodnogoklassagibridnyhavtomatov AT bičkovos aboutinstabilityofthephaseorbitofoneclassofhybridsystem AT kasʹânûkvs aboutinstabilityofthephaseorbitofoneclassofhybridsystem AT sovâktp aboutinstabilityofthephaseorbitofoneclassofhybridsystem |
| first_indexed |
2025-11-26T01:08:33Z |
| last_indexed |
2025-11-26T01:08:33Z |
| _version_ |
1849813175493459968 |
| fulltext |
© Бичков О.С., Касьянюк В.С., Совяк Т.П., 2008 75
ISSN 1028-9763. Математичні машини і системи, 2008, № 3
УДК 519.927
О.С. БИЧКОВ, В.С. КАСЬЯНЮК, Т.П. СОВЯК
ПРО НЕСТІЙКІСТЬ ФАЗОВИХ ОРБІТ ОДНОГО КЛАСУ ГІБРИДНИХ АВТОМАТІВ
Abstract: In this paper, the common model of continuously-discontinuous systems, stochastic switched hybrid
system, in particular, is considered. For this model, the theorems regarding instability of trivial phase orbit were
proved. In the first theorem regarding instability, an assumption about existing of a common Liapunov’s function was
made, in the second theorem, this condition was eliminated.
Key words: hybrid system, instability, stochastic systems, Liapunov’s function.
Анотація: Розглядається загальна модель неперервно-дискретних систем – стохастичний гібридний
автомат. Для цієї моделі доводяться теореми про нестійкість тривіальних фазових орбіт. У першій
теоремі про нестійкість робиться припущення про існування спільної функції Ляпунова, у другій теоремі
про нестійкість ця умова усунена.
Ключові слова: гібридний автомат, нестійкість, стохастичні системи, функції Ляпунова.
Аннотация: Рассматривается общая модель непрерывно-дискретных систем – стохастический
гибридный автомат. Для этой модели доказываются теоремы о неустойчивости тривиальных фазовых
орбит. В первой теореме о неустойчивости делается предположение о существовании общей функции
Ляпунова, во второй теореме о неустойчивости это условие устранено.
Ключевые слова: гибридный автомат, неустойчивость, стохастические системы, функции Ляпунова.
1. Вступ
Великий інтерес для дослідження представляють системи, що складаються із скінченного числа
елементів різної природи. Наприклад, системи, які містять елементи двох типів: ті, що описуються
неперервними процесами і мають кінцеву тривалість, і ті, що описуються дискретними процесами
(для таких елементів час реакції на події несуттєвий для аналізу системи). Такі системи прийнято
називати неперервно-дискретними.
Типовими прикладами неперервно-дискретних систем є системи керування транспортним
потоком, хімічними реакціями, температурою, математичні моделі руху в робототехніці та ін.
Динаміка неперервної компоненти таких систем буває досить складною, але це не є підставою
зводити дослідження подібних систем лише до вивчення дискретної поведінки. Більше того,
дискретна динаміка накладає свій відбиток на характер поведінки системи в неперервні моменти
часу. Тому подібні системи були виділені в окремий клас.
У літературі найбільш відомими підходами до формалізації неперервно-дискретних систем
вважаються агрегативна система Н.П. Бусленка [1], неперервно-дискретна система В.М. Глушкова
[2], системи змінної структури С.В. Ємельянова [3], гібридні автомати А. Пнуеллі [4] та ін. [5, 6].
У статті буде розглянуто загальну модель неперервно-дискретних систем – стохастичний
гібридний автомат. Для цієї моделі будуть отримані достатні умови нестійкості фазових орбіт.
Питання стійкості фазових орбіт досить повно досліджені в роботах [7–9]. Проте питанням
нестійкості в літературі приділено недостатньо уваги. В літературних джерелах пропонується багато
методів дослідження стійкості та нестійкості за ймовірністю розв'язків стохастичних
диференціальних рівнянь. Ми використаємо підхід Р.З. Хасьмінського [10]. В роботі розглядається
нестійкість за ймовірністю.
ISSN 1028-9763. Математичні машини і системи, 2008, № 3
76
2. Достатні умови нестійкості
Нехай відомо, що динаміка процесу описується різними математичними моделями в N різних
станах.
Прийнято називати системою зі змінною структурою таку систему, в якій зв'язки між
функціональними елементами змінюються тим або іншим чином залежно від її стану.
Можна сказати, що для опису систем зі змінною структурою необхідно задати скінченну
кількість можливих локальних станів, умов переходів з одного локального стану в інший та системи
диференціальних рівнянь для опису динаміки в кожному з локальних станів. Для формалізації таких
моделей використовують гібридні автомати. Слід зауважити, що в різних станах поведінка об'єкта
моделюється різними траєкторіями, тому будемо називати розв'язок гібридного автомата орбітою.
Введемо множину },...,1{ NQ = для нумерації цих станів. Для формалізації динаміки
об'єкта будемо використовувати в кожному локальному стані системи диференціальних рівнянь.
Позначимо через множину },...{ 1 nxxX = , 0≥n , Rxi ∈ – дійсні фазові змінні, а через
},1,:{ NiRRQfF nn
i =→×= – множину неперервних вектор-функцій, що задовольняють
умові Ліпшиця.
На початку функціонування необхідно задавати початкові умови для кожної системи
диференціальних рівнянь. Для ініціалізації цих значень введемо множину .: nRQInitInit ×⊂
Запис Inityi ∈),( означає, що динаміка починається з i -го стану і описується i -ю системою
диференціальних рівнянь. При цьому початкове значення фазової змінної дорівнює y .
Нехай система перебуває в i -му стані. Тоді для фазових змінних виконується умова
належності до деякої множини, що описує цей стан. І поки виконується ця умова, динаміка буде
описуватися i -ю системою диференціальних рівнянь. Для задання цієї умови введемо позначення
nRQInvInv ×⊂: .
Для переключення зі стану в стан необхідно задати умову такого переходу. Нехай Jump
задає множинно-значну функцію таку, що )(: nn RQPRQJump ×→× , де через P позначено
множину усіх підмножин. Ця функція задає умову переходу зі стану в стан та початкове значення
фазової змінної в момент переходу у новий стан.
Означення 1 [3]. Гібридним автоматом назвемо кортеж ),,,,,( JumpInvInitFXQH = .
Означення 2 [3]. Фазовою орбітою гібридного автомата H назвемо множину )},,{( xiτχ = , де
T∈τ , i – номер локального стану і nRx →τ: таке, що
1. Initxi ∈))(),(( 00 ττ .
2. Для всіх i таких, що ′< ii ττ пара Invtxti ∈))(),(( визначає неперервну динаміку в i -му
локальному стані; пара ))(),(())(),(( 11
′′
++ ∈ iiii xiJumpxi ττττ визначає дискретну динаміку, (.)x –
розв'язок системи диференціальних рівнянь ))(),(()( txtiftx i=
⋅
для всіх ],[ ′∈ iit ττ .
ISSN 1028-9763. Математичні машини і системи, 2008, № 3
77
Означення 3 [3]. Неперервний стан 0=x назвемо тривіальною фазовою орбітою гібридного
автомата H , якщо існує не порожня множина QQ ⊂ така, що для всіх Qi ∈ виконується
1. З )0,(),( iJumpzi ∈′′ випливає, що 0=′z й Qi ∈′ .
2. 0)0,( =if для всіх .Qi ∈
Спочатку розглянемо випадок, коли динаміка в кожному локальному стані описується
звичайними диференціальними рівняннями.
Означення 4 [6]. Тривіальна фазова орбіта 0=x гібридного автомата H називається стійкою за
Ляпуновим, якщо для довільного 0>ε існує 0>δ таке, що для всіх ),,( xiτχ = , які
задовольняють умові δ<0x , виконується ε<)(tx для всіх τ∈t . Через ⋅ позначено евклідову
норму.
Означення 5 [7]. Локальний стан назвемо нестійким за Ляпуновим, якщо тривіальний розв'язок
системи диференціальних рівнянь, яка описує динаміку гібридного автомата в ньому, нестійкий за
Ляпуновим.
Якщо не виконується означення стійкості, то будемо вважати таку тривіальну фазову орбіту
нестійкою.
Припустимо, що орбіта гібридного автомата починається з першого стану. Нехай
позначення ji
kx →| означає, що гібридний автомат переходить зі стану i в стан j , і значення kx
береться на множині, що задає умову переходу. Побудуємо таку послідовність }{ kx , Ni ,0= :
,|)(),(,| 210
1
1
10
101
0
→
−
→ == cVxxVcx N
,,|)(),( 321
1
2
21
21 K→
−== cVxxVc (1)
...|)(),( 11
11
1 →−
−−
− == NNN
NN
NN cVxxVc
Для дослідження нестійкості тривіальної фазової орбіти гібридного автомата будемо
використовувати гібридну u -функцію.
Означення 6 [7]. Назвемо { },)(),( xVxiV i= Ni ,1= гібридною u -функцією, якщо )(xVi додатно
визначені, й для послідовності { } Nix i ,0, = , визначеної в (1), виконується нерівність .0xx N ≥
Позначимо через iΩ – множину, що відповідає i -му локальному стану.
Для гібридних автоматів у фазовому просторі 2R , в яких перехід зі стану в стан
відбувається на прямій лінії, можна сформулювати таку теорему [7].
Теорема 1. Нехай гібридний автомат H з нестійкими локальними станами має тривіальну фазову
орбіту 0=x і для неї виконується )},,1{(),(, xixiJumpQ +=∞< 1,1 −= Ni ,
).,1(),( xxNJump = Нехай задано окіл початку координат XD ⊂ .
Якщо для H існує гібридна u -функція RDQxiV →×:),( така, що 0))((),( >∂
∂ txfix
xiV
для всіх iDx Ω∩∈ та Ni ,1= , тоді тривіальна фазова орбіта нестійка за Ляпуновим.
ISSN 1028-9763. Математичні машини і системи, 2008, № 3
78
Тепер розглянемо гібридний автомат, в якому динаміка локальних станів описується
системами нелінійних стохастичних рівнянь вигляду
,)0(
),())(())(()(
0XX
tdtXGdttXbtdX ii
=
+= ξ
(2)
де )(tξ – стандартний скалярний вінерівський процес. Нехай для кожної системи
виконуються умови існування і єдності розв'язку.
Будемо досліджувати стійкість тривіальної орбіти гібридного автомата за допомогою другого
методу Ляпунова.
Означення 7 [10]. Говорять, що розв’язок ( )tX системи (2) стійкий за ймовірністю для 0≥t , якщо
для довільного 0,0 >≥ εs виконується
0}|)(|sup{lim ,
0
=>
>→
εtXP xs
stx
,
де xsX , – інтегральна крива розв’язку системи (2), що стартує з точки x в момент часу s .
Означення 8 [11]. Неперервно-диференційована всюди, окрім початку координат, додатно
визначена функція +→ RRV n: називається спільною функцією Ляпунова для системи (2),
якщо ∞=
∞→
)(lim
||
xV
x
та Qit ∈∀∀ , виконується
0)(
2
1
)()(
2
1,1
≤
∂∂
∂+
∂
∂= ∑∑
== kj
n
kj
i
jk
j
n
j
i
j xx
V
x
x
V
xbxLV α . (3)
Нехай існує спільна функція Ляпунова для всіх підсистем (2), а також кількість переключень
та час є скінченними. Нехай переключення відбуваються в моменти часу itttt KK << 10,10 , .
itxhtxM ii
h
∀=−+
→
,0||)()(||lim 2
0
. (4)
Для доведення стійкості будемо використовувати формулу Іто:
∫
−
++= −
j
j
t
tjj dssxLVtVtV
1
))(()()( 1 )(
1 ,
sdG
x
V
l
q
kl
t
t
n
lk k
j
j
ξ∫ ∑
− ∂
∂
. (5)
Наведемо означення асимптотичної стійкості за ймовірністю.
Означення 9 [10]. Говорять, що розв’язок ( )tX системи (2) асимптотично стійкий за ймовірністю,
якщо він стійкий за ймовірністю і:
1}0)(lim{lim ,
0
==
∞→→
tXP xs
tx
.
Якщо кількість переключень між станами гібридного автомата скінченна, то можна
сформулювати достатні умови асимптотичної стійкості за ймовірністю.
Теорема 2. Якщо кожна із підсистем (2) стійка за ймовірністю і остання підсистема, яка активується,
є асимптотично стійкою, то тривіальна орбіта системи (2) є асимптотично стійкою за ймовірністю.
Доведення цієї теореми очевидне.
Позначимо через rU множину }|{| rx < в E . Дамо означення нестійкості за ймовірністю.
ISSN 1028-9763. Математичні машини і системи, 2008, № 3
79
Означення 10. Будемо говорити, що тривіальна орбіта гібридного автомата нестійка за ймовірністю,
якщо для всіх ),,( xiτχ = та для довільного rUxs ∈> ,0
0}|)(|sup{ ,
0
=<
>
rtXP xs
t
,
де xsX , – локальна інтегральна крива розв’язку системи (2), що стартує з точки x в момент
часу s .
Означення 11. Неперервно-диференційована всюди, окрім початку координат, додатно визначена
функція ),( xtV називається спільною функцією Ляпунова для системи (2), якщо
0),(
2
1
),(
2
1,1
≤
∂∂
∂+
∂
∂+
∂
∂= ∑∑
== kj
n
kj
i
jk
j
n
j
i
j xx
V
xt
x
V
xtb
t
V
LV α rUxQit ∈∈∀∀ ,, .
Нехай існує спільна функція Ляпунова для всіх підсистем (2), а також кількість переключень
та час є скінченними,
( ) 00, =tb , ( ) 00, =tG . (6)
Нехай переключення відбуваються в моменти часу itttt KK << 10,10 , .
∞=
>→
),(inflim
00
xtV
tx
. (7)
Тоді має місце
Теорема 3. Якщо існує спільна функція Ляпунова для системи (2) та виконується (6), (7), то
тривіальна орбіта системи (2) є нестійкою за ймовірністю.
Доведення.
Запишемо для кожного ,...},{ 10 ttt j ∈ формулу Іто:
∫
−
++= −−
j
j
t
tjjjj dssXsLVtXtVtXtV
1
))(,())(,())(,( 11 )(
1 ,
sdG
x
V
l
q
kl
t
t
n
lk k
j
j
ξ∫ ∑
− ∂
∂+ ,
де q – підсистема, що активна на інтервалі ],[ 1 jj tt − . Математичне сподівання другого
інтегралу дорівнює 0. Візьмемо математичне сподівання від обох частин рівності, отримаємо
≤≤ −− ))(,())(,( 11 jjjj tXtMVtXtMV ),())0(,0(... 0xsVXMV =≤≤ . (8)
Позначимо через ετ ,r момент першого досягнення множини }|{|}|{| ε== xrx U ,
),min()( ,, tt rr εε ττ = . Враховуючи (8), отримаємо, що
).,())((),(( 0,
,
, xsVtXtMV r
xs
r ≤εε ττ
Відомо [10], якщо 0≤LV , то розв'язок )(),(),()( tdXtGdtXtbtdX ξ+= , що розпочинається в
rx << ||ε , з ймовірністю 1 виходить за межі цієї області за скінченний час, якими б достатньо
малими не були r і 0>ε . Врахувавши це, перейдемо до границі при ∞→t і отримаємо
).,())(,( 0,
,
, xsVXMV r
xs
r ≤εε ττ
З нерівності Чебишова випливає оцінка
ISSN 1028-9763. Математичні машини і системи, 2008, № 3
80
),,(),(inf}|)(|sup{ 0
0,||
,
0
xsVxtVrtXP
tx
xs
t
<<
><<< ετ ε
(9)
де ετ – момент першого досягнення множини ε=|| x . Відомо [1], що якщо коефіцієнти (2)
задовольняють (6) і умові Ліпшиця в кожній обмеженій по x області, то точка 0=x недосяжна для
траєкторії розв'язку при 00 ≠x . Тоді ∞→ετ при 0→ε з ймовірністю 1. З співвідношення (9) і (7)
отримаємо твердження теореми при 0→ε . Теорему доведено.
Розглянемо випадок, коли різним підсистемам системи (2) відповідають різні функції
Ляпунова.
Зробимо такі припущення для кожної з підсистем (2):
а) ( ) 00, =tb , ( ) 00, =tG , Qi ∈∀ ;
б) для будь-якого Qi ∈ існує двічі неперервно-диференційована, додатно визначена
функція iV , така, що ∞=
>→
),(inflim
00
xtV i
tx
;
в) для Qi ∈∀ ii Gb , задовольняють умові існування єдиного розв’язку відповідної системи
диференціальних рівнянь.
Переключення між станами описується послідовністю ),...,,(),,(; 11000 titixS = де ),( jj ti
означає, що система перебуває у стані з номером ji і поведінка гібридного автомата описується
системою )(),(),()( tdXtGdtXtbtdX jj ii ξ+= для 1+<< jj ttt .
Позначимо через ,...,| 10
iiiS ττ= і ],[)|( 122
i
jNj
i
jiSI +∈
= ττU кінці інтервалів та, відповідно,
множини інтервалів, на яких i -а підсистема активна.
Теорема 4. Нехай виконуються умови a), б), в) для кожної підсистеми (2) і Qi ∈∀ виконується
+
∂
∂+
∂
∂= ∑
= j
in
j
i
j
i
x
V
xtb
t
V
LV ),(
1
0),(
2
1 2
1,
≤
∂∂
∂
∑
= kj
in
kj
i
jk xx
V
xtα ,
rUxiSIt ∈∈∀ ),|( , Nj ∈∀ ,
))(,())(,( 121222
i
j
i
j
ii
j
i
j
i xMVxMV ++≥ ττττ , (10)
),())(,())(,( 00000
0000 xsVxMVxMV iiiiiii =≤ ττττ . (11)
Тоді тривіальна фазова орбіта стохастичного гібридного автомата нестійка за ймовірністю.
Доведення.
Позначимо через ετ ,r момент першого досягнення множини }|{|}|{| ε== xrx U ,
),min()( ,, tt rr εε ττ = . Зрозуміло, що )|()(: , jSItj r ∈∃ ετ .
Врахувавши (10), (11), отримаємо, що
).,())((),(( 0,
,
,
0 xsVtXtMV j
r
xs
r
j ≤εε ττ
Відомо [10], якщо 0≤LV , то розв'язок системи
ISSN 1028-9763. Математичні машини і системи, 2008, № 3
81
)(),(),()( tdXtGdtXtbtdX ξ+= ,
що розпочинається в області rx << ||ε з ймовірністю 1, виходить за межі цієї області за скінченний
час, якими б достатньо малими не були r і 0>ε .
Врахувавши це, перейдемо до границі при ∞→t і отримаємо
).,())(,( 0,
,
,
0 xsVXMV j
r
xs
r
j ≤εε ττ
З нерівності Чебишова випливає оцінка
<<
><<<
),(inf}|)(|sup{
0,||
,
0
xtVrtXP j
tx
xs
t ετ ε
)},({max),( 00
0
0
0 xsVxsV i
i
j ≤ , (12)
де ετ – момент першого досягнення ε=|| x . Відомо [10], що якщо коефіцієнти (2)
задовольняють (6) і умові Ліпшиця в кожній обмеженій по x області, то точка 0=x недосяжна для
його траєкторії, якщо 00 ≠x . Тоді ∞→ετ при 0→ε з ймовірністю 1. З співвідношення (12) і б)
отримаємо твердження теореми при 0→ε . Теорему доведено.
3. Висновок
У статті були розглянуті стохастичні гібридні автомати. Дається означення нестійкого локального
стану, означення стійкості та нестійкості тривіальної фазової орбіти стохастичного гібридного
автомата. Дослідження нестійкості проводиться за допомогою другого методу Ляпунова. Для цього
пропонується використовувати гібридну u -функцію, тобто для кожного локального стану будується
власна функція Ляпунова, яка задана саме на цьому стані. Для окремих випадків нестійкість можна
досліджувати за допомогою спільної функції Ляпунова.
У статті доведені теореми, що дають достатні умови нестійкості тривіальних фазових орбіт
стохастичних гібридних автоматів.
СПИСОК ЛІТЕРАТУРИ
1. Бусленко Н.П. Моделирование сложных систем. – М.: Наука, 1978. – 399 с.
2. Программное обеспечение моделирования непрерывно-дискретных систем / Под ред. В.М. Глушкова. – М.:
Наука, 1975. – 280 c.
3. Теория систем с переменной структурой / Под ред. С.В. Емельянова. – М.: Наука, 1970. – 473 c.
4. Manna Z., Pnueli A. Verifying hybrid systems // In R. L. Grossman, A. Nerode, A.P. Ravn, H. Rischel, editors //
Hybrid Systems. – 1993. – Vol. 736 of LNCS. – P. 4 – 35.
5. Filippov F. Differential Equations with Discontinuous Righthand Sides. – Kluwer Academic Publishers, 1988. –
304 р.
6. Harel D. Statecharts A. Visual Formalism for Complex Systems // Sci. Comput. Prog. – 1987. – N 8. – P. 231 – 274.
7. Бичков О. Дослідження стійкості тривіальних фазових орбіт гібридних автоматів // Вісник Київського
університету. Серія: Кібернетика. – 2005. – № 6. – С. 4 – 8.
8. Branicky М. Stability of switched and hybrid systems // Proc. 33-rd Conf. Decision and Control. – Lake Buena Vista,
FL, 1994. – Р. 3498 – 3503.
9. Ye H., Michel А., Hou L. Stability theory for hybrid dynamical systems // IEEE Transactions on Automatic Control. –
1998. – № 43. – Р. 461 – 474.
10. Хасьминський Р.З. Устойчивость систем дифференциальных уравнений при случайных возмущениях их
параметров. – М.: Наука,1969. – 368 c.
11. Dimos V. Dimarogonas, Kostas J. Kyriakopoulos Lyapunov-like Stability of Switched Stochastic Systems //
American Control Conference. – Boston, MA, 2004. – June. – Р. 1868 – 1872.
Стаття надійшла до редакції 15.04.2008
|