Изилдөө бири-бири менен байланышып, координацияланган түрдө иштеген көп роботтуу системаларда актуатор жана сенсор каналдарына зыяндуу сигналдар киргизилген учурда көзөмөлдөө жана консенсус жүрүм-турумун сактоого багытталган дискреттик убакыттагы адаптивдүү башкаруу ыкмасын иштеп чыгат. Иште роботтор граф теориясы аркылуу өз ара байланышат, белгисиз сызыктуу эмес динамикалар basis-function ыкмасы менен моделделет, чабуулдардын жалпы таасири белгисиз бузуу катары каралат жана бул бузуу цикл ичинде жаңыртылып туруучу баалоо өзгөрмөсү аркылуу компенсацияланат. Ыкма динамикалык жактан бири-биринен көз карандысыз роботтор үчүн да, өлчөөгө мүмкүн болбогон ички өз ара аракеттенүү абалдары бар байланышкан робот динамикалары үчүн да чыгарылган. Текшерүү тогуз роботтуу сандык симуляциялар менен жүргүзүлгөн; физикалык роботто же чыныгы байланыш тармагында чабуул боюнча эксперимент жок.
Иште “Byzantine чабуулу” деген түшүнүк тармактагы робот же чабуулчу сенсор өлчөөлөрүн, башкаруу буйруктарын же байланыш маалыматтарын ишенимсиз түрдө өзгөртө алган зыяндуу жүрүм-турумду билдирет. Актуатор чабуулу номиналдык башкаруу буйругуна кошулган жасалма кириш катары, ал эми сенсор чабуулу чыныгы робот абалына кошулган жасалма өлчөө катары моделденген. Башкаргыч чыныгы чабуул сигналын түздөн-түз билет деп эсептебейт; чабуул жана башка бузуу таасирлерин бириктирилген \(g_p(t)\) өзгөрмөсүнүн астында топтоп, \(\hat g_p(t)\) баалоосун колдонот.
Сунушталган ыкманын дагы бир компоненти — түйүнгө байланыштуу салмактарды камтыган өзгөртүлгөн Лаплас түзүмү. Муну менен роботтордун тармактагы таасири сөзсүз түрдө толугу менен бирдей болбошу мүмкүн болгон гетерогендик өз ара аракеттенүү моделин түзүүгө аракет жасалган. Башкаруу мыйзамы коңшу роботтор менен абал айырмасын, лидерге же эталондук сигналга карата катаны, белгисиз nonlinear dynamics баалоосун жана чабуул баалоосун бир башкаруу киришинде бириктирет.
Тогуз роботтуу симуляцияда Robot 5 лидер катары тандалып, үлгүлөө убактысы 0,01 с деп белгиленген жана актуатор менен сенсор чабуулдары \(t>2\) шартынан кийин активдештирилген. Актуатор чабуулу \(0,5\sin(2t)\), сенсор чабуулу болсо \(0,3\cos(3t)\) түрүндө аныкталган. Булактагы абал графиктери сунушталган башкаруунун астында робот абалдары жалпы эталондук жүрүм-турумга жакындаганын, ар түрдүү башкаруу кириштери чектелген бойдон калганын жана консенсус катасы азайганын көрсөтөт.
Ошол эле учурда, булакта айтылган теориялык натыйжа менен көрсөтүлгөн Lyapunov теңсиздиктеринин камтуусу бирдей күчкө ээ эмес. Теоремалар чабуул бар учурда көзөмөлдөө катасы асимптотикалык түрдө нөлгө барарын ырастаса, далилде чабуул астында оң \(\chi\bar g^2\) мүчөсүн камтыган жогорку чек алынат. Терс анык Lyapunov айырмасы жана \(h(t)\to0\) натыйжасы чабуулду баалоо катасы нөл болгон чабуулсуз абал үчүн ачык көрсөтүлгөн. Ошондуктан иш чабуулдар шартында күчтүү туруктуулук ыкмасын жана оң симуляция жыйынтыктарын сунуштайт; бирок берилген математикалык далил туруктуу нөлдөн айырмаланган чабуул шартында так асимптотикалык жакындашууну толук негиздейт деп айтууга болбойт.
Макаланын симуляция бөлүмү сунушталган башкаргыч адаптивдүү компенсация жана чабуулду баалоо жок baseline менен салыштырылганын жана tracking error norm, consensus error, settling time жана control effort сыяктуу сандык көрсөткүчтөр колдонулганын билдирет. Бирок сунушталган жыйынтыктарда baseline башкаргычка тиешелүү өзүнчө сандык натыйжалуулук таблицасы жок. 19-сүрөт жана 20-сүрөт негизинен “башкаруу жок” жана “башкаруу бар” учурларын визуалдаштырат. Ошондуктан иш “учурдагы ыкмаларга караганда сан жагынан мынча пайыз жакшы” деген түрдөгү пайыздык жыйынтыкты колдобойт.
Түркия үчүн баалоо: Иштеги ыкма Түркияда көп сандагы учкучсуз аба/жер аппараттары, кампа жана фабрика робот парктары, бөлүштүрүлгөн мобилдик роботтор жана тармак аркылуу башкарылган автономдук системалардын кибертуруктуулугу боюнча иштеген топтор үчүн методологиялык жактан баалуу. Айрыкча сенсор жана башкаруу буйруктары бир убакта ишенимдүү эмес болгон сценарийлерди башкаруу теориясына ачык киргизүү маанилүү. Бирок чыныгы зымсыз тармак кечигүүлөрү, пакет жоготуусу, криптографиялык чабуулдар, физикалык робот динамикасы, мотор каныгуусу, чыныгы сенсор ызы-чуусу жана чабуулчунун адаптивдүү жүрүм-туруму текшерилбегендиктен, жыйынтыктарды түздөн-түз чыныгы робот паркынын коопсуздук кепилдиги катары чечмелөөгө болбойт.
Изилдөөнүн негизги көйгөйү эмнеде?
Бир нече робот бир тапшырманы координацияланган түрдө аткарган тармактарда ар бир робот өзүнүн абалына гана эмес, коңшуларынан алган маалыматтарга да көз каранды. Бул түзүм координацияны мүмкүн кылганы менен, ошол эле учурда коопсуздук алсыздыгын жаратат: ката же зыяндуу түйүн туура эмес маалымат жөнөткөндө, ката тармак боюнча башка роботторго да таасир этиши мүмкүн.
Иш караган өзгөчө маселе — мындай чабуулдар актуатор каналына да, сенсор каналына да таасир эте алган дискреттик убакыттагы көп роботтуу системаларда туруктуу көзөмөлдөөгө жана консенсуска жетишүү.
Изилдөөчүлөр белгилеген боштук — учурдагы иштердин олуттуу бөлүгү номиналдык же гана белгисиз динамикалар шартындагы координацияга басым жасайт, үзгүлтүксүз убакыт моделдерин колдонот же чабуулдардын бир бөлүгүн гана баалайт. Иш өзгөчө байланышкан жана байланышпаган робот динамикаларын бир эле чабуул алкагында өз-өзүнчө изилдөөнү көздөйт.
Иште “Byzantine чабуулу” кантип моделделет?
Актуатор чабуулу:
\[ U_p^{c}(t)=U_p(t)+\lambda_p U_p^{b}(t) \]
түрүндө жазылган.
Бул жерде \(U_p(t)\) номиналдык башкаруу буйругун, \(U_p^{b}(t)\) чабуулчу кошкон актуатор сигналын, ал эми \(U_p^{c}(t)\) физикалык системага жеткен бузулган буйрукту билдирет.
Сенсор чабуулу:
\[ z_p^{c}(t)=z_p(t)+\lambda_p z_p^{b}(t) \]
түрүндө берилет.
\(\lambda_p\in\{0,1\}\) чабуул активдүү же активдүү эмес экенин көрсөткөн которгуч болуп саналат.
Эки чабуул каналынын системага жалпы таасири:
\[ g_p(t)=g_p^{a}(t)+g_p^{s}(t) \]
түрүндө бир белгисиз бузуу ичинде бириктирилет.
Башкаргыч чабуул сигналын билеби?
Жок. Булак чыныгы \(g_p(t)\) чабуул/бузуу сигналын өлчөөгө мүмкүн эмес экенин атайын белгилейт.
Башкаруу долбоорунда анын ордуна:
\[ \hat g_p(t) \]
колдонулат.
Баалоо катасы:
\[ \tilde g_p(t)=g_p(t)-\hat g_p(t) \]
түрүндө аныкталган.
Чыныгы чабуул үчүн негизги божомол:
\[ \|g_p(t)\|\leq\bar g \]
түрүндө чектүү, бирок мааниси башкаргычка белгисиз болгон жогорку чек бар деген шарт.
Граф теориясы көп роботтуу координацияга кантип кошулат?
Робот тармагы алгач adjacency matrix \(A(G)\), degree matrix \(D(G)\) жана Laplacian matrix:
\[ L(G)=D(G)-A(G) \]
аркылуу аныкталат.
Андан соң изилдөөчүлөр ар бир роботко:
\[ N=[n_1,n_2,\ldots,n_m]^T,\qquad n_i>0 \]
түрүндө өзүнчө түйүн салмагын беришет.
Өзгөртүлгөн даража матрицасы:
\[ D(G,N)= \operatorname{diag}(A(G)N) \operatorname{diag}(N)^{-1} \]
жана өзгөртүлгөн Лаплас:
\[ L(G,N)=D(G,N)-A(G) \]
түрүндө түзүлөт.
Бул өзгөртүү коңшу роботтордун тармактагы таасири толугу менен тең болууга милдеттүү эмес болгон гетерогендик өз ара аракеттенүү түзүмүн чагылдырууну көздөйт.
Байланышпаган робот динамикасы кантип берилген?
Роботтор динамикалык жактан бири-биринен көз карандысыз болгон биринчи учурда \(p\)-робот:
\[ y_p(t+1)= y_p(t)+B\omega(y_p(t))+U_p(t)+g_p(t) \]
менен моделделет.
Бул жерде:
- \(y_p(t)\): роботтун абалы,
- \(B\): белгисиз салмак матрицасы,
- \(\omega(y_p)\): белгилүү, бирок nonlinear basis-function вектору,
- \(U_p(t)\): башкаруу кириши,
- \(g_p(t)\): чабуул жана тышкы бузуулардын бириктирилген таасири.
Эталондук робот жүрүм-туруму кантип түзүлгөн?
Каалаган эталондук модель:
\[ y_{rp}(t+1)= y_{rp}(t) -e\sum_{l\in N_p} \left( y_{rp}(t)-y_{rl}(t) \right) -et_p \left( y_{rp}(t)-c(t) \right) \]
түрүндө берилген.
Бул түзүм бир убакта эки максатты колдонот: коңшу роботтор менен абал айырмасын азайтуу жана айрым роботторду \(c(t)\) лидер/эталон буйругуна байланыштыруу.
Булак башкаруу коэффициенти үчүн:
\[ e<\frac{1}{\max(d)+1} \]
шартын берет.
Адаптивдүү башкаруу мыйзамы кантип иштейт?
Байланышпаган учурда башкаруу:
\[ U_p(t)= -e\sum_{l\in N_p} \left( y_p(t)-y_l(t) \right) -et_p \left( y_p(t)-c(t) \right) -\hat B_p(t)\omega(y_p(t)) -\hat g_p(t) \]
түрүндө болот.
Башкаруу мыйзамы төрт функция аткарат:
- коңшулардын ортосундагы консенсус катасын азайтуу,
- лидер/эталон көзөмөлдөө катасын азайтуу,
- белгисиз nonlinear робот динамикаларын компенсациялоо,
- бааланган чабуул/бузуу таасирин башкаруу киришинен алып салуу.
Көзөмөлдөө катасы кантип аныкталган?
Робот менен анын эталондук моделинин ортосундагы ката:
\[ h_p(t)=y_p(t)-y_{rp}(t) \]
түрүндө аныкталган.
Жалпы тармак үчүн:
\[ h(t+1)= (I-eF)h(t) -\tilde B^T(t)\omega(y(t)) +\tilde g(t) \]
ката динамикасы алынат.
Бул жердеги \(F\) булакта Лаплас негизиндеги өз ара аракеттенүү матрицасы катары аныкталат.
Белгисиз динамикалык параметрлер кантип үйрөнүлөт?
Салмак баалоосу цикл ичинде:
\[ \hat B(t+1)= \hat B(t)+ \frac{\gamma} {1+\beta h^T(t)Ph(t)} h(t)\omega^T(y(t)) \]
мыйзамы менен жаңыртылат.
Бул жерде \(\gamma\) адаптация коэффициенти, ал эми \(\beta\) ката чоңдугунун update процессине таасирин нормалдаштырган параметрлердин бири.
Чабуулду баалоо мыйзамы кандай?
Булак чабуулду баалоону салыштырмалуу жөнөкөй дискреттик убакыттагы gradient тибиндеги жаңыртуу менен жүргүзөт:
\[ \hat g(t+1)= \hat g(t)+\sigma h(t) \]
\(\sigma>0\) баалоо коэффициенти.
Изилдөөчүлөр чоңураак \(\sigma\) тезирээк өзгөргөн бузууларды көзөмөлдөөнү жеңилдетиши мүмкүн экенин белгилешет. Бирок иште байкоочунун жыштыктык жообу, noise amplification деңгээли же жогорку жыштыктагы чабуулдар үчүн өзүнчө quantitative bandwidth талдоосу жүргүзүлгөн эмес.
Lyapunov ыкмасында эмне үчүн логарифмдик мүчө колдонулган?
Байланышпаган система үчүн иш:
\[ W(h,B)= l^{-1} \ln \left( 1+\beta h^T(t)Ph(t) \right) + \alpha^{-1} \operatorname{tr} \left( B^T(t)B(t) \right) \]
түрүндөгү бириктирилген Lyapunov талапкерин колдонот.
Биринчи мүчө tracking error энергиясын логарифмдик түрдө, экинчи мүчө parameter-adaptation чоңдугун билдирет.
Графка негизделген номиналдык ката динамикасы үчүн:
\[ (I-eF)^TP(I-eF)-P=-R \]
дискреттик убакыттагы Lyapunov теңдемеси колдонулат жана \(P>0\), \(R>0\) талап кылынат.
Булактын чабуул алдындагы туруктуулук далилиндеги маанилүү жагдай эмне?
Young жана Cauchy–Schwarz теңсиздиктери колдонулгандан кийин булак:
\[ \Delta W \leq -\lambda_1\|h(t)\|^2 -\lambda_2 \|B^T(t)\omega(y(t))\|^2 + \chi\bar g^2 \]
жогорку чегин берет.
Андан соң чабуулду баалоо катасы жок учурда:
\[ \tilde g_p(t)=0 \]
үчүн:
\[ \Delta W \leq -\lambda_1\|h(t)\|^2<0 \]
алынат жана:
\[ \lim_{t\rightarrow\infty}h(t)=0 \]
натыйжасына өтүлөт.
Түшүндүрүү чеги: Биринчи теңсиздиктеги \(\chi\bar g^2\) мүчөсү нөлдөн айырмаланган туруктуу чабуул үчүн оң. Ошондуктан көрсөтүлгөн кадамдар чабуул бар учурда түздөн-түз терс анык Lyapunov айырмасын бербейт. Булактын Теорема 1де чабуул шартында берген асимптотикалык жакындашуу дооматы менен далил ачык көрсөткөн attack-free асимптотикалык кадам бирдей камтууга ээ эмес.
Баалоо катасы үчүн колдонулган чекте дагы бир айырма барбы?
Ооба. Теңдеме (6):
\[ \|g_p(t)\|\leq\bar g \]
аркылуу чыныгы чабуул сигналын чектейт.
Бирок далилдин кийинки бөлүктөрүндө:
\[ \|\tilde g_p(t)\|\leq\bar g \]
түрүндөгү баалоо-катасы чеги колдонулат. \(\tilde g_p=g_p-\hat g_p\) болгондуктан, чыныгы чабуулдун чектелүү болушу өзүнөн-өзү баалоо катасынын ошол эле \(\bar g\) менен чектелишине кепилдик бербейт. Булак бул кошумча өтүү үчүн өзүнчө чыгарылыш бербейт.
Байланышкан робот динамикалары эмне үчүн өзүнчө каралган?
Экинчи моделде роботтун абалы өзүнүн nonlinear dynamics'ине жана коңшу байланышына гана көз каранды эмес; мындан тышкары түз өлчөөгө мүмкүн болбогон ички coupled state бар.
Робот динамикасы:
\[ y_p(t+1)= y_p(t) +B_p\omega(y_p(t)) +M_{up}(t) +U_p(t) +g_p(t) \]
түрүндө кеңейтилген.
Байланышкан ички система:
\[ \mu_p(t+1)= a_{up}\mu_p(t)+s_{up}y_p(t) \]
жана:
\[ M_{up}(t)=x_{up}\mu_p(t) \]
аркылуу аныкталат.
Өлчөөгө мүмкүн болбогон байланышкан абал кантип компенсацияланат?
Башкаргыч чыныгы \(\mu_p\) ордуна:
\[ \hat\mu_p(t) \]
баалоосун колдонот.
Байланышкан системанын башкаруу мыйзамына:
\[ -x_{up}\hat\mu_p(t) \]
мүчөсү кошулат.
Абал баалоосу:
\[ \hat\mu(t+1)=a_u\hat\mu(t)+s_uy(t) \]
менен жаңыртылат.
Байланышкан системанын Lyapunov функциясы кантип кеңейтилген?
Булак экинчи учурда:
\[ V(t)= l^{-1}\ln \left( 1+\beta h^T(t)Ph(t) \right) + \alpha^{-1} \operatorname{tr} \left( B^T(t)B(t) \right) + u^{-1}\mu^T(t)S\mu(t) \]
түзүмүн колдонот.
Ошентип tracking error жана adaptive parameter мүчөлөрүнө coupled-state энергиясын билдирген үчүнчү мүчө кошулат.
Натыйжада кайрадан:
\[ \Delta V \leq -\lambda_1\|h(t)\|^2 + \chi\bar g^2 \]
жогорку чеги алынат. Чабуулсуз өзгөчө учурда оң чабуул мүчөсү жок болгондо булак \(h(t)\to0\) жыйынтыгына келет.
Симуляцияда канча робот колдонулган?
Сандык эксперименттер тогуз робот менен жүргүзүлгөн.
Robot 5 лидер катары аныкталган; калган сегиз робот ээрчүүчү.
Булак лидер робот чабуулдан бошотулганын жана reference trajectory ушундай жол менен сакталуусу көздөлгөнүн билдирет.
Симуляциянын негизги сандык параметрлери
| Параметр | Булактагы мааниси | Мааниси |
|---|---|---|
| Робот саны | 9 | 1 лидер + 8 ээрчүүчү |
| Лидер | Robot 5 | Эталондук түйүн |
| Үлгүлөө убактысы \(T_s\) | 0,01 с | Дискреттик убакыт кадамы |
| \(e\) | 0,2 | Графка негизделген башкаруу коэффициенти |
| \(\gamma\) | 0,5 | Адаптация коэффициенти |
| \(\beta\) | 1,2 | Адаптация/Lyapunov параметри |
| \(P\) | \(I\) | 9 × 9 бирдик матрица катары берилген |
| \(R\) | \(0,5I\) | Lyapunov матрицасы катары берилген |
| Эталон \(c(t)\) | 1,8 | Булакта берилген reference command |
| \(\sigma\) | Сандык мааниси берилген эмес | Чабуулду баалоо коэффициенти |
Симуляциядагы nonlinear dynamics кандай?
Булак роботко негизделген nonlinear функцияны:
\[ b(t,z_p(t)) = 0,5\sin(z_p(t)) + 0,3z_p(t) \]
түрүндө аныктаган.
Адаптивдүү башкаруу үчүн колдонулган basis-function вектору:
\[ \omega(y_p(t))= \begin{bmatrix} y_p(t)\\ \sin(y_p(t))\\ y_p^2(t) \end{bmatrix} \]
түрүндө.
Баштапкы шарттар кандай?
Тогуз роботтун баштапкы абалдары:
\[ y(0)= [2,-1,3,-2,1,-2,3,-1,2]^T \]
түрүндө берилген.
Бул ар башка баштапкы абалдар башкаргыч колдонулганда роботтор жалпы координацияланган жүрүм-турумга багытталабы же жокпу — ошону текшерүү үчүн колдонулат.
Симуляциядагы чабуул сигналдары кандай?
Актуатор чабуулу:
\[ v_p^b(t)=0,5\sin(2t) \]
сенсор чабуулу:
\[ z_p^b(t)=0,3\cos(3t) \]
түрүндө аныкталган.
Чабуул которгучу:
\[ \lambda_p= \begin{cases} 1,&t>2\\ 0,&\text{башка учурларда} \end{cases} \]
түрүндө берилет. Демек, негизги симуляция сценарийинде чабуулдар алгачкы эки убакыт бирдигинен кийин активдешет.
2-сүрөт жана 3-сүрөт эмнени көрсөтөт?
2-сүрөт жана 3-сүрөт тогуз роботтун эки state component-и убакыт ичинде кандай өзгөрөрүн көрсөтөт. Ар башка баштапкы маанилерден башталган ийри сызыктар бир нече секунд ичинде жалпы маанилерге жакындайт.
Булак бул жүрүм-турумду сунушталган дискреттик убакыттагы адаптивдүү башкаргычтын чабуул жана nonlinear uncertainty шартында көзөмөлдөө/координация камсыздай алгандыгынын сандык көрсөткүчү катары чечмелейт.
Бул графиктер физикалык робот өлчөөсү эмес, аныкталган математикалык моделдин симуляция жыйынтыктары.
Башкаруу кириштеринде эмне көрүнөт?
4–10-сүрөттөрдө ар түрдүү \(U_1\)–\(U_7\) башкаруу компоненттери баштапкы чоң transient маанилерден кийин нөлдүн тегерегине же кичине маанилерге жакындайт. Айрым ийри сызыктарда майда жогорку жыштыктагы термелүүлөр көрүнөт.
11-сүрөттө көрсөтүлгөн \(U_8\) тобунда болсо айрым роботторго тиешелүү мезгилдик термелүүлөр симуляциянын аягына чейин уланат. Ошондуктан бардык control channels үчүн “кириштер толугу менен нөлгө отурат” деген күчтүүрөөк жоромол жасалбашы керек.
Номиналдык жана чабуулга учураган абалдар кантип салыштырылган?
12-сүрөт чабуул жок номиналдык робот абалдарын; 13-сүрөт болсо графиктин өз аталышына ылайык чабуул астындагы бузулган робот абалдарын көрсөтөт.
13-сүрөттүн түшүндүрмөсүндө “without attack” деп жазылышы графиктин аталышына карама-каршы келет. Графиктин жогорку аталышында ачык:
Corrupted State Trajectories With Attack
деген жазуу бар. Ошондуктан бул Verianla мазмунунда 13-сүрөт чабуул болгон бузулган-абал визуалы катары кабыл алынган.
Baseline башкаргыч менен чыныгы сандык салыштыруу жүргүзүлгөнбү?
Numerical Experiments бөлүмү сунушталган башкаргычтан тышкары adaptive compensation жана attack estimation камтыбаган baseline controller колдонулганын жана төмөнкү көрсөткүчтөр бааланганын билдирет:
- tracking error norm,
- consensus error,
- settling time,
- control effort.
Бирок жарыяланган жыйынтык барактарында бул baseline үчүн өзүнчө сандык metric table же “сунушталган / baseline” форматындагы бирдей шарттагы салыштыруу маанилери берилген эмес.
19-сүрөт “System Without Control”, 20-сүрөт болсо “System With Control Input” деп аталат. Бул салыштыруу адаптивдүү чабуул компенсациясы жок, бирок иштеген baseline controller менен сунушталган controller ортосундагы benchmark менен бирдей эмес.
Макаладагы “existing approaches-ка караганда жакшыраак” деген доо кантип түшүндүрүлүшү керек?
Аннотация жана салымдар бөлүмү proposed method учурдагы ыкмаларга караганда жогорку robustness жана tracking accuracy көрсөткөнүн билдирет. Бирок булакта учурдагы ыкмалар менен бирдей симуляция шарттарындагы сандык натыйжалуулук таблицасы берилген эмес.
Ошондуктан коопсузураак илимий билдирүү төмөнкүдөй: Сунушталган ыкма берилген тогуз роботтуу симуляцияларда чабуул шартында консенсус жана көзөмөлдөө жүрүм-турумун көрсөткөн; бирок учурдагы ыкмаларга салыштырмалуу сандык артыкчылыктын көлөмүн бул иште берилген жыйынтыктардан эсептеп чыгарууга мүмкүн эмес.
14-сүрөт эмнени көрсөтөт?
14-сүрөт роботтордун 3D tracking-error trajectories-син көрсөтөт. Ийри сызыктар ар башка баштапкы маанилерден жылып, бара-бара тар аймакка багытталат.
Булак муну tracking error convergence катары түшүндүрөт. Бирок 3D график так settling time же ката нормасы таблицасын бербейт.
15-сүрөт эмнени көрсөтөт?
15-сүрөт лидер жана ээрчүүчү роботтордун сенсор жана актуатор чабуулдары астындагы 3D control-input trajectories-син көрсөтөт.
Сигналдар айкын мезгилдик компоненттерди камтыса да, булак аларды bounded жана regulated control action катары чечмелейт.
Адаптивдүү салмактар жакындайбы?
16-сүрөт adaptive-weight evolution процессин көрсөтөт. Булак бул ийри сызыктарды туруктуу adaptation behavior катары баалайт.
Бирок графикте бардык weight estimates бир туруктуу чыныгы параметр маанисине жакындаганын ырастаган өзүнчө estimation-error таблицасы берилбейт. Ошондуктан “параметрлердин чыныгы маанилери так калыбына келтирилди” деген жыйынтык чыгарууга болбойт.
17-сүрөт эмне үчүн этият чечмелениши керек?
Текст 17-сүрөт Lyapunov function evolution аркылуу stability жана convergence-ды ырастайт деп айтат.
Бирок жарыяланган 3D графикте көптөгөн Lyapunov ийри сызыктары убакыт огу боюнча нөлгө монотондуу азайган профиль ордуна олуттуу өсүп жаткандай көрүнөт.
Бул көрүнүш далил бөлүмүндөгү “Lyapunov function is monotonically decreasing” билдирүүсү менен визуалдык жактан түздөн-түз шайкеш келбейт. Иш график огунун же чийилген Lyapunov чоңдугунун эмне үчүн мындай айырма жаратканын түшүндүрбөйт.
18-сүрөттөгү чабуул чоңдуктары эмне үчүн көңүл бурууга татыктуу?
Негизги симуляция чабуулдары:
\[ 0,5\sin(2t) \]
жана:
\[ 0,3\cos(3t) \]
түрүндө аныкталган.
Ал эми 18-сүрөттөгү “3D Attack Signal Visualization” огу болжол менен −15тен +15ке чейинки диапазонду көрсөтөт.
Булак бул 3D визуал менен мурдагы 0,5 жана 0,3 амплитудалуу чабуул аныктамаларынын ортосунда scaling, aggregation же normalization байланышын бербейт. Ошондуктан 18-сүрөттөгү чоңдуктарды негизги чабуул теңдемелеринин түз амплитудасы катары чечмелөөгө болбойт.
Башкаруусуз жана башкаруу астында эмне болот?
19-сүрөт control input жок системада робот абалдары бири-биринен алыстап, ар башка багыттарда жүргөн trajectories көрсөтөрүн билдирет.
20-сүрөттө control input колдонулганда робот абалдары кыйла тар диапазонго багытталганы көрүнөт.
Бул визуалдык салыштыруу сунушталган кайтарым байланыш түзүмү изилденген модель шартында координацияны жакшыртканын көрсөткөн иштин эң түшүнүктүү сандык көрсөткүчтөрүнүн бири.
Консенсус катасы эмнени көрсөтөт?
21-сүрөт “3D Consensus Error of Multi-Robot System” аталышы менен роботторго тиешелүү ката trajectories-син көрсөтөт. Ийри сызыктардын убакыт өткөн сайын кичирейиши изилдөөчүлөр тарабынан бардык agents synchronization-га жетти деп чечмеленет.
Бирок так \(\|h(t)\|\), акыркы consensus-error мааниси же белгилүү settling threshold-га жетүү убактысы сандык таблица түрүндө берилген эмес.
Граф түзүмүндө кандай дал келбестик бар?
Иштин математикалык кириш бөлүмүндө:
“Let G be an undirected graph”
деген божомол коюлат.
Бирок симуляцияда берилген adjacency matrix \(A\) симметриялуу эмес. Мисалы, айрым \(A_{ij}=1\) байланыштарына туура келген \(A_{ji}\) элементтери 0.
Ошондуктан жарыяланган симуляция adjacency түзүмү undirected graph аныктамасына түздөн-түз туура келбейт. Булак бул айырманы directed leader–follower тармагына өтүү катары өзүнчө түшүндүргөн эмес.
Тармак чындап эле “line graph”пы?
Numerical Experiments бөлүмү тогуз роботту “on a line graph” деп сүрөттөйт.
Бирок 1-сүрөт жана adjacency matrix Robot 5 бир нече ээрчүүчүгө туташканын жана башка ээрчүүчүлөрдүн арасында да кошумча байланыштар бар экенин көрсөткөн бутакталган түзүмдү берет.
Ошондуктан булактагы “line graph” сөз айкашы сүрөт жана матрица менен толук шайкеш келбейт.
\(F\) белгисинде эмне үчүн этияттык керек?
Теориялык башкаруу бөлүмүндө \(F\) Лаплас негизиндеги interaction matrix үчүн колдонулат:
\[ h(t+1)=(I-eF)h(t)+\cdots \]
Numerical Experiments бөлүмүндө болсо:
\[ F= \operatorname{diag} [-0,2,-0,06,-0,03,-0,16,-0,3,-0,7,-0,8,-0,18,-0,09] \]
түрүндөгү coupled-dynamics параметр матрицасы кайрадан \(F\) тамгасы менен аныкталат.
Бул notation reuse айрыкча “\(I-eF\) unit circle ичинде” деген билдирүүдө кайсы \(F\) жөнүндө сөз болуп жатканын көзөмөлдөөнү кыйындатат.
Lyapunov матрицалары симуляцияда кантип тандалган?
Булак:
\[ P=I,\qquad R=0,5I \]
маанилерин берет.
Теорияда болсо:
\[ (I-eF)^TP(I-eF)-P=-R \]
теңдиги аткарылышы керек.
Макала симуляцияда колдонулган так \(F\) менен \(P=I\) жана \(R=0,5I\) бул теңдикти сандык түрдө аткарарын өзүнчө көрсөтпөйт. \(F\) белгисинин эки башка максатта колдонулушу да бул текшерүүнү тексттен кайра чыгарууну кыйындатат.
Чабуулду баалоо коэффициенти эмне үчүн кайталанмалуулук үчүн маанилүү?
Чабуулду баалоо мыйзамы:
\[ \hat g(t+1)=\hat g(t)+\sigma h(t) \]
болгондуктан \(\sigma\) түздөн-түз estimator dynamics-ти аныктайт.
Бирок симуляция бөлүмүндө \(e=0,2\), \(\gamma=0,5\), \(\beta=1,2\), \(P=I\) жана \(R=0,5I\) ачык берилсе да, \(\sigma\)-нын сандык мааниси көрсөтүлгөн эмес.
Бул кемчилик жарыяланган чабуул-баалоо симуляциясын так кайра чыгарууну чектейт.
Иш колдогон жыйынтыктар
- Актуатор жана сенсор чабуулдары бирдиктүү дискреттик убакыттагы көп роботтуу башкаруу алкагында математикалык түрдө моделденген.
- Башкаргыч белгисиз nonlinear dynamics үчүн онлайн parameter adaptation колдонот.
- Чыныгы чабуул сигналы белгисиз деп кабыл алынып, tracking-error негизиндеги attack estimate түзүлгөн.
- Түйүн салмактарын камтыган өзгөртүлгөн graph/Laplacian түзүмү аныкталган.
- Башкаруу ыкмасы uncoupled жана coupled robot dynamics үчүн кеңейтилген.
- Тогуз роботтуу симуляцияда сунушталган башкаруунун астында state trajectories жалпы эталондук жүрүм-турумга жакындаган.
- “Башкаруу жок” жана “башкаруу бар” 3D визуалдары изилденген моделде кайтарым байланыш колдонулушу координацияны олуттуу жакшыртканын көрсөтөт.
- Consensus-error графиктери убакыт өтүшү менен азайган жүрүм-турумду көрсөтөт.
Иш далилдебеген же толук көрсөтпөгөн жыйынтыктар
- Физикалык робот паркы чыныгы Byzantine чабуулдары шартында коопсуз иштей турганы көрсөтүлгөн эмес.
- Чыныгы сенсор, мотор, зымсыз байланыш же тармак жабдыгы колдонулган эксперимент жүргүзүлгөн эмес.
- Packet loss жана communication delay симуляциянын негизги текшерүү шарттарына киргизилген эмес.
- Актуатор каныгуусу жана чыныгы мотор чектери бааланган эмес.
- Сунушталган башкаргыч учурдагы ыкмалардан белгилүү бир пайызга жакшыраак экени сандык benchmark менен көрсөтүлгөн эмес.
- Baseline controller үчүн ошол эле чабуул шарттарында сандык tracking-error, settling-time жана control-effort таблицасы берилген эмес.
- Теорема 1 жана 2деги чабуул астында нөлгө асимптотикалык жакындашуу дооматы көрсөтүлгөн \(\chi\bar g^2\) камтыган Lyapunov чегинен түз чыкпайт.
- Чыныгы attack bound менен attack-estimation-error bound ортосундагы бирдей чек ачык чыгарылган эмес.
- 17-сүрөттөгү Lyapunov ийри сызыктары менен “monotonically decreasing” теориялык билдирүүсүнүн ортосундагы көрүнүктүү айырма түшүндүрүлгөн эмес.
- 18-сүрөттөгү чабуул чоңдуктары менен негизги 0,5 жана 0,3 амплитудалуу чабуул теңдемелеринин ортосундагы масштаб байланышы түшүндүрүлгөн эмес.
- Undirected graph божомолу менен асимметриялуу симуляция adjacency matrix-и шайкеш келтирилген эмес.
- Чабуул estimator коэффициенти \(\sigma\)-нын симуляциядагы сандык мааниси берилген эмес.
Иштин ыкмасы жана жыйынтыктары
Башкаруу жана чабуул компенсациясынын иштөө чынжыры
Verianla Live: Чабуул алдындагы көп роботтуу система кантип башкарылат?
Бул процесс иштеги математикалык башкаруу чынжырын жалпылайт. Этаптар физикалык робот эксперименти эмес, дискреттик убакыттагы система модели жана сандык симуляция агымы болуп саналат.
| Этап | Иште аткарылган операция | Илимий мааниси | Булак |
|---|---|---|---|
| 1. Тармак абалы | Робот абалдары жана коңшу робот маалыматтары граф түзүмүнөн алынат. | Консенсус жана лидер–ээрчүүчү катасы түзүлөт. | 2–3-бөлүм |
| 2. Сенсор чабуулу | Өлчөөгө \(z_p^b(t)\) чабуул мүчөсү кошулушу мүмкүн. | Башкаргычка жеткен абал маалыматы бузулушу мүмкүн. | Теңдеме 4 |
| 3. Актуатор чабуулу | Номиналдык башкаруу киришине \(U_p^b(t)\) чабуул мүчөсү кошулушу мүмкүн. | Робот чындыгында аткарган буйрук бузулушу мүмкүн. | Теңдеме 3 |
| 4. Бириктирилген чабуул таасири | Актуатор жана сенсордон келген таасирлер \(g_p(t)\) астында бириктирилет. | Башкаргыч түз өлчөй албаган бузуу түзүлөт. | Теңдеме 5–6 |
| 5. Чабуулду баалоо | \(\hat g(t+1)=\hat g(t)+\sigma h(t)\) жаңыртуусу колдонулат. | Tracking error чабуул/бузуу баалоосун жаңыртат. | Теңдеме 15 / 42 |
| 6. Nonlinear белгисиздик компенсациясы | \(\hat B\) basis-function вектору аркылуу цикл ичинде жаңыртылат. | Белгисиз robot dynamics башкаруу киришинде компенсацияланууга аракет кылынат. | Теңдеме 14 / 40 |
| 7. Coupled-state баалоосу | Байланышкан системада \(\hat\mu\) жардамчы модели жаңыртылат. | Өлчөөгө мүмкүн болбогон ички робот өз ара аракеттенүүсү башкаруу эсебине кошулат. | Теңдеме 41 |
| 8. Адаптивдүү башкаруу | Консенсус, лидерди көзөмөлдөө, nonlinear компенсация жана attack estimate бир \(U_p\) буйругунда бириктирилет. | Роботтун жаңы башкаруу кириши эсептелет. | Теңдеме 9 / 34 |
| 9. Жаңы дискреттик абал | Robot dynamics кийинки үлгүлөө убактысына өткөрүлөт. | Жаңы tracking error эсептелип, цикл кайталанат. | Теңдеме 10–12 / 36–43 |
Негизги чабуул жана симуляция шарттары
| Элемент | Булакта берилген аныктама |
|---|---|
| Робот саны | 9 |
| Лидер робот | Robot 5 |
| Үлгүлөө убактысы | 0,01 с |
| Актуатор чабуулу | \(v_p^b(t)=0,5\sin(2t)\) |
| Сенсор чабуулу | \(z_p^b(t)=0,3\cos(3t)\) |
| Чабуулдун башталышы | \(t>2\) |
| Башкаруу параметри \(e\) | 0,2 |
| Адаптация параметри \(\gamma\) | 0,5 |
| \(\beta\) | 1,2 |
| Чабуул байкоочу коэффициенти \(\sigma\) | Симуляция бөлүмүндө сандык мааниси берилген эмес |
Булакта берилген баштапкы абалдар
| Робот | Баштапкы маани |
|---|---|
| Robot 1 | 2 |
| Robot 2 | −1 |
| Robot 3 | 3 |
| Robot 4 | −2 |
| Robot 5 — лидер | 1 |
| Robot 6 | −2 |
| Robot 7 | 3 |
| Robot 8 | −1 |
| Robot 9 | 2 |
Булакта колдонулган түйүн салмактары
Numerical Experiments бөлүмүндө node-dependent weighting үчүн:
\[ q= [8,6,7,3,2,5,4,3,1] \]
вектору берилген. Бул гетерогендик маанилер роботтор графка негизделген моделде бирдей салмакка ээ болбогон түзүмдү түзөт.
Байланышкан динамикалар үчүн берилген параметрлер
Иш coupled-dynamics бөлүмүнүн сандык мисалында төмөнкү диагоналдык коэффициенттерди колдонот:
\[ F= \operatorname{diag} [-0,2,-0,06,-0,03,-0,16,-0,3,-0,7,-0,8,-0,18,-0,09] \]
\[ G= \operatorname{diag} [1,0,\ 0,9,\ 0,8,\ 0,7,\ 0,6,\ 0,5,\ 0,4,\ 0,3,\ 0,2] \]
жана:
\[ H= \operatorname{diag} \left[ \frac{1}{9} (1,9,\ 1,8,\ 1,7,\ 1,6,\ 1,5,\ 1,4,\ 1,3,\ 1,2,\ 1) \right] \]
параметрлерин берет.
Бул жердеги \(F\) белгиси теориялык бөлүмдөгү graph-interaction \(F\) матрицасы менен бир эле тамганы колдонгону менен башка объектти билдирерин эске алуу керек.
Булакта аныкталган роботко мүнөздүү nonlinear функциялар
Сандык мисалда роботтор үчүн бир типтеги basis колдонулушу менен бирге төмөнкү роботко мүнөздүү nonlinear функциялар да берилет:
| Робот | Функция |
|---|---|
| 1 | \(\omega_1(y_1)=y_1^2\) |
| 2 | \(\omega_2(y_2)=\cos(y_2)\) |
| 3 | \(\omega_3(y_3)=y_3\) |
| 4 | \(\omega_4(y_4)=\sin(y_4)\) |
| 5 | \(\omega_5(y_5)=y_5^3\) |
| 6 | \(\omega_6(y_6)=5y_6\) |
| 7 | \(\omega_7(y_7)=\tan(y_7)\) |
| 8 | \(\omega_8(y_8)=y_8^4\) |
| 9 | \(\omega_9(y_9)=y_9^5\) |
Сүрөттөрдүн далил деңгээли
| Сүрөт тобу | Көрсөтүлгөн жыйынтык | Далил түрү | Түшүндүрүү чеги |
|---|---|---|---|
| 2–3-сүрөт | Тогуз роботтун state trajectories-и | Сандык симуляция | Физикалык робот trajectory өлчөөсү эмес |
| 4–11-сүрөт | Control-input trajectories | Сандык симуляция | Чыныгы мотор тогу/моменти эмес |
| 12–13-сүрөт | Номиналдык жана чабуулдагы state evolution | Сандык симуляция | 13-сүрөт caption-ында булак ичиндеги чабуул белгиси катасы бар |
| 14-сүрөт | 3D tracking error | Сандык симуляция | Так ката нормасы таблицасы берилген эмес |
| 15-сүрөт | 3D башкаруу кириштери | Сандык симуляция | Чыныгы актуатор чектери жок |
| 16-сүрөт | Adaptive-weight evolution | Сандык симуляция | Чыныгы параметрге estimation-error таблицасы жок |
| 17-сүрөт | Lyapunov-function evolution | Сандык симуляция | Визуалдык багыт менен монотондуу азайуу дооматы түшүндүрүлгөн эмес |
| 18-сүрөт | 3D Byzantine attack signals | Сандык визуалдаштыруу | 0,5/0,3 чабуул амплитудалары менен масштаб байланышы берилген эмес |
| 19–20-сүрөт | Башкаруусуз жана башкарылган система | Сандык симуляция | Сунушталган vs baseline-controller benchmark эмес |
| 21-сүрөт | Consensus-error evolution | Сандык симуляция | Сандык settling-time таблицасы жок |
Теориялык доо менен көрсөтүлгөн далил камтуусун ажыратуу
| Абал | Булакта көрсөтүлгөн Lyapunov чеги | Түз чыгарууга боло турган жыйынтык |
|---|---|---|
| Нөлдөн айырмаланган bounded чабуул | \(\Delta W\leq-\lambda_1\|h\|^2-\lambda_2\|\cdot\|^2+\chi\bar g^2\) | Оң чабуул мүчөсүнөн улам терс аныктуулук түз кепилденбейт |
| Attack-free / \(\tilde g=0\) | \(\Delta W\leq-\lambda_1\|h\|^2<0\) | Булак бул жерде \(h(t)\to0\) жыйынтыгын ачык чыгарат |
| Coupled система, bounded чабуул | \(\Delta V\leq-\lambda_1\|h\|^2+\chi\bar g^2\) | Ушундай эле камтуу чеги бар |
Булактагы кайра өндүрүү көйгөйлөрү
| Тема | Булактагы абал | Таасири |
|---|---|---|
| Чабуул байкоочу коэффициенти \(\sigma\) | Теорияда бар, симуляциялык сандык маани берилген эмес | Controller reproduction так аткаруу кыйын |
| Граф түрү | Теорияда undirected; simulation adjacency асимметриялуу | Теория–симуляция topology шайкештиги бүдөмүк |
| \(F\) белгиси | Эки башка матрица үчүн колдонулган | Lyapunov жана coupled-dynamics теңдемелерин көзөмөлдөө кыйын |
| Baseline салыштыруу | Текстте аныкталат; сандык metric table жок | Артыкчылык көлөмүн өз алдынча окуу мүмкүн эмес |
| Lyapunov визуалдаштыруу | 17-сүрөт менен тексттеги монотондуу азайуу билдирүүсү көрүнүктүү түрдө шайкеш эмес | Графиктин теориялык функция менен байланышы бүдөмүк |
Чыныгы робот системаларына өткөрүү үчүн жетишпеген текшерүүлөр
Булактын өз жыйынтык бөлүмүндө келечекте сунушталган иштердин арасында чоңураак тармактарга өтүү, communication delay жана packet loss таасирлерин кошуу жана ыкманы чыныгы робот платформаларында текшерүү бар.
Бул жетишпестиктер маанилүү; анткени чыныгы көп роботтуу системаларда:
- байланыш кечигүүсү,
- пакет жоготуусу,
- quantization,
- сенсор ызы-чуусу,
- motor saturation,
- процессор кечигүүсү,
- өзгөрмө тармак топологиясы,
- чыныгы чабуулчунун убакытты жана бутага алууну өзгөртүшү
сыяктуу таасирлер математикалык симуляциядагы идеалдуу шарттардан айырмаланган жыйынтыктарды жаратышы мүмкүн.
Булак жана ыкма боюнча эскертүү
Иштин толук түпнуска аталышы: Robust Adaptive Control for Discrete-Time Multi-Robot Systems with Actuator and Sensor Attacks
Авторлор: Shahid Hussain Gurmani, Somayya Komal, Waqar Ul Hassan, Afreen Bibi, Muhammad Jabir Khan жана Meshal Shutaywi.
Авторлордун тартиби: 1. Shahid Hussain Gurmani; 2. Somayya Komal; 3. Waqar Ul Hassan; 4. Afreen Bibi; 5. Muhammad Jabir Khan; 6. Meshal Shutaywi.
Жооптуу автор: Muhammad Jabir Khan.
Тең салым/тең биринчи авторлук: Булакта мындай билдирүү жок.
Мекемелер:
- School of Computer Information Engineering, Shanxi Technology and Business University, Taiyuan, China.
- Department of Mathematics, Faculty of Sciences, University of Mianwali, Mianwali, Pakistan.
- School of Artificial Intelligence and Computer Science, Nantong University, Nantong, China.
- Department of Mathematics, Faculty of Science & Arts, King Abdul Aziz University, Rabigh, Saudi Arabia.
Журнал: Actuators.
Басмакана: MDPI, Basel, Switzerland.
Библиографиялык маалымат: Actuators 2026, 15(7), 368.
Расмий жарыя шилтемеси:MDPI – Actuators 15(7), 368
Жарыя датасы: 3-июль 2026. Иш 20-апрель 2026да кабыл алынган, 29-май 2026да кайра каралган жана 3-июнь 2026да кабыл алынган.
Булактын түрү жана рецензия абалы: Actuators журналында жарыяланган рецензияланган изилдөө макаласы. Иштин текшерүү бөлүмү физикалык экспериментке эмес, математикалык талдоо жана numerical simulation-га негизделген.
Лицензия: Creative Commons Attribution (CC BY).
Академиялык редакторлор: Yan Wu, Seenith Sivasundaram жана Thomas Yang.
Каржылоо: Иш King Abdulaziz University Deanship of Scientific Research тарабынан IPP: 592-662-2025 номерлүү колдоонун алкагында каржыланган. Булак ошондой эле Jiangsu Province Excellent Postdoctoral Program, Grant 2024ZB879 колдоосун белгилейт.
Этика комитети: Колдонулбайт.
Маалымдалган макулдук: Колдонулбайт.
Маалыматтардын жеткиликтүүлүгү: Булак учурдагы иште эч кандай маалымат топтому түзүлгөн же талданган эмес экенин билдирет.
Коддун жеткиликтүүлүгү: Ишти колдогон код жалпыга ачык эмес жана King Abdulaziz University Deanship of Scientific Research алкагында иштелип чыккан деп көрсөтүлгөн.
Кызыкчылыктардын кагылышы: Авторлор белгилүү финансылык же финансылык эмес кызыкчылыктардын кагылышы жок экенин билдиришкен.
Автордук салымдар: Концепция Shahid Hussain Gurmani; программалык камсыздоо Waqar Ul Hassan; текшерүү Somayya Komal; формалдык талдоо Shahid Hussain Gurmani; ресурстар Muhammad Jabir Khan; маалыматтарды курациялоо Meshal Shutaywi жана Afreen Bibi; биринчи долбоор Waqar Ul Hassan жана Afreen Bibi; карап чыгуу жана түзөтүү Waqar Ul Hassan жана Afreen Bibi; жетекчилик Shahid Hussain Gurmani жана Muhammad Jabir Khan тарабынан аткарылган.
Илимий камтуу: Иш актуатор жана сенсор чабуулдары белгисиз бириктирилген бузуу катары берилген дискреттик убакыттагы көп роботтуу системалар үчүн nonlinear basis-function approximation, adaptive parameter update, attack estimation жана graph-based consensus башкарууну бириктирет. Ыкма uncoupled жана coupled robot dynamics үчүн өз-өзүнчө чыгарылат.
Эксперименттик текшерүү чеги: Иш физикалык роботту, чыныгы актуаторду, чыныгы сенсорду, зымсыз тармакты, hardware-in-the-loop же чыныгы cyber-attack testbed колдонбойт. Жыйынтыктар тогуз роботтуу математикалык моделдин сандык симуляцияларынан алынган.
Асимптотикалык туруктуулук далилинин чеги: Теорема 1 жана Теорема 2 bounded Byzantine attack шартында tracking error нөлгө асимптотикалык жакындайт деп билдирет. Бирок көрсөтүлгөн далилдерде нөлдөн айырмаланган чабуул үчүн Lyapunov айырмасынын жогорку чеги оң \(\chi\bar g^2\) мүчөсүн камтыйт. Терс анык Lyapunov айырмасы жана \(h(t)\to0\) жыйынтыгы ачык түрдө \(\tilde g_p(t)=0\) attack-free өзгөчө учурда алынат. Ошондуктан Verianla мазмунунда чабуул алдындагы асимптотикалык нөл-ката жыйынтыгы авторлордун теориялык дооматы катары сакталган, көрсөтүлгөн теңсиздиктерден күчтүүрөөк өз алдынча жыйынтык чыгарылган эмес.
Чабуул баалоо-катасынын чеги боюнча эскертүү: Теңдеме (6) \(\|g_p(t)\|\leq\bar g\) менен чыныгы чабуул сигналын чектейт. Далилде кийин \(\|\tilde g_p(t)\|\leq\bar g\) колдонулат. Булак чыныгы чабуул bounded болушу менен estimation error ошол эле bound ичинде болушунун ортосундагы өтүүнү өзүнчө чыгарбайт.
Граф топологиясы боюнча эскертүү: Алгачкы бөлүмдө негизги тармак undirected graph катары аныкталган. Бирок сандык экспериментте берилген adjacency matrix симметриялуу эмес жана 1-сүрөт багытталган/бутакталган leader–follower байланыштарын көрсөтөт. Булак бул теория–симуляция топология айырмасын өзүнчө түшүндүргөн эмес.
“Line graph” эскертүүсү: Numerical Experiments бөлүмү тогуз роботтуу түзүмдү “line graph” деп атайт; жарыяланган adjacency matrix жана 1-сүрөт болсо жөнөкөй сызык графтан айырмаланган бутакталган түзүмдү көрсөтөт.
Нотация чеги: \(F\) белгиси теориялык ката динамикасында graph-based interaction matrix үчүн колдонулса, Numerical Experiments бөлүмүндө coupled-dynamics диагоналдык параметр матрицасы үчүн кайра колдонулат. Ошондуктан \(I-eF\) жана Lyapunov теңдемелерин чечмелөөдө кайсы \(F\) жөнүндө сөз болуп жатканын эске алуу керек.
Lyapunov матрицасы боюнча эскертүү: Булак сандык экспериментте \(P=I\) жана \(R=0,5I\) тандалганын билдирет; бирок колдонулган так өз ара аракеттенүү матрицасы менен \((I-eF)^TP(I-eF)-P=-R\) теңдигинин сандык текшерүүсүн өзүнчө көрсөтпөйт.
Estimator кайталанмалуулук чеги: Attack estimator update law \(\hat g(t+1)=\hat g(t)+\sigma h(t)\) түрүндө. Бирок симуляция бөлүмүндө \(\sigma\)-нын сандык мааниси берилген эмес; бул так reproduction мүмкүнчүлүгүн чектейт.
Baseline салыштыруу чеги: Булактагы текст baseline controller, tracking-error norm, consensus error, settling time жана control effort салыштыруусу симуляцияга кошулганын билдирет. Бирок жарыяланган сүрөттөрдө жана жыйынтыктарда baseline үчүн өзүнчө сандык metric table берилген эмес. 19–20-сүрөттөр “without control” жана “with control” учурларын салыштырат. Ошондуктан сунушталган башкаргычтын baseline-га карата сандык артыкчылык пайызы эсептелген эмес.
13-сүрөт боюнча эскертүү: Графиктин аталышы чабуул болгон абалды “Corrupted State Trajectories With Attack” деп көрсөтсө да, сүрөт түшүндүрмөсүндө “without attack” деген сөз бар. Verianla мазмунунда графиктин аталышы жана бөлүм контексти негиз катары алынып, бул чабуул болгон абал экени белгиленген; булактын caption тексти үнсүз оңдолгон эмес.
17-сүрөт боюнча эскертүү: Булак 17-сүрөттү system stability жана convergence ырастоосу катары чечмелейт. Бирок жарыяланган Lyapunov-function графигинде айрым ийри сызыктар убакыт өткөн сайын өсүүчү профиль көрсөтөт жана бул көрүнүш далил бөлүмүндөгү монотондуу азайуу билдирүүсү менен түшүндүрүлгөн эмес.
18-сүрөт боюнча эскертүү: Негизги attack equations 0,5 жана 0,3 амплитудалуу синус/косинус сигналдары; 18-сүрөттүн тик шкаласы болжол менен ±15ке жетет. Булак бул эки көрсөтүүнүн ортосунда scaling же aggregation байланышын бербейт.
Чыныгы дүйнө чеги: Communication delays, packet losses жана чыныгы robot-platform validation макаланын келечектеги иш багыттарынын арасында. Учурдагы иш бул шарттарда коопсуздук же туруктуулук кепилдигин бербейт.
Бул Verianla мазмунундагы математикалык теңдемелер, чабуул моделдери, симуляция параметрлери, график түшүндүрмөлөрү жана илимий чектөөлөр изилденген ишке гана негизделет. Тышкы булак расмий библиографиялык идентификацияны текшерүү максатында гана колдонулган; сырттан жаңы башкаруу натыйжалуулугу же киберчабуул жыйынтыгы кошулган эмес.
Пикир калтырыңыз
E-mail дарегиңиз жарыяланбайт. Милдеттүү талаалар * менен белгиленген