Таҳқиқот як равиши идоракунии мутобиқшавандаи вақти дискретиро таҳия мекунад, ки ҳадафаш нигоҳ доштани рафтори пайгирӣ ва консенсус дар системаҳои бисёрроботие мебошад, ки бо ҳам иртибот дошта, ҳамоҳанг кор мекунанд ва дар каналҳои актуатору сенсор ба онҳо сигналҳои зараровар ворид карда мешаванд. Дар кор роботҳо тавассути назарияи граф бо ҳам пайваст карда мешаванд, динамикаҳои номаълуми ғайрихаттӣ бо равиши 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 controller вуҷуд надорад. Расми 19 ва Расми 20 асосан ҳолатҳои “бе идоракунӣ” ва “бо идоракунӣ”-ро тасвир мекунанд. Аз ин рӯ, кор натиҷаи фоизие аз навъи “нисбат ба усулҳои мавҷуда ҳамин қадар беҳтар аст”-ро дастгирӣ намекунад.
Арзёбӣ аз дидгоҳи Туркия: Равиши ин кор барои гурӯҳҳое дар Туркия, ки дар соҳаи устувории киберии флотҳои сершумори ҳавопаймоҳои бесарнишин/воситаҳои заминӣ, роботҳои анбору корхона, роботҳои мобилии тақсимшуда ва системаҳои автономии тавассути шабака идорашаванда фаъолият мекунанд, аз нигоҳи методологӣ арзишманд аст. Хусусан ворид кардани ошкори сенарияҳое ба назарияи идоракунӣ муҳим аст, ки дар онҳо ҳам маълумоти сенсор ва ҳам фармонҳои идоракунӣ ҳамзамон боэътимод нестанд. Аммо азбаски таъхирҳои воқеии шабакаи бесим, талафи бастаҳо, ҳамлаҳои криптографӣ, динамикаи ҷисмонии робот, saturation-и мотор, садои воқеии сенсор ва рафтори мутобиқшавандаи ҳамлагар санҷида нашудаанд, натиҷаҳоро наметавон мустақиман ҳамчун кафолати амнияти флоти воқеии роботҳо шарҳ дод.
Масъалаи асосии таҳқиқот чист?
Дар шабакаҳое, ки чанд робот як вазифаро ҳамоҳанг иҷро мекунанд, ҳар робот на танҳо ба ҳолати худ, балки ба маълумоте, ки аз ҳамсоягон мегирад, вобаста аст. Ин сохтор ҳамоҳангиро имконпазир мекунад, вале ҳамзамон осебпазирии амниятӣ ба вуҷуд меорад: агар гиреҳи хато ё зараровар маълумоти нодуруст фиристад, хато метавонад дар саросари шабака ба роботҳои дигар низ таъсир расонад.
Масъалаи махсуси баррасишуда дар кор ба даст овардани пайгирии устувор ва консенсус дар системаҳои бисёрроботии вақти дискретӣ мебошад, ки чунин ҳамлаҳо метавонанд ҳам ба канали актуатор ва ҳам ба канали сенсор таъсир расонанд.
Холигие, ки муҳаққиқон таъкид мекунанд, ин аст, ки қисми назарраси корҳои мавҷуда ба ҳамоҳангӣ дар шароити номиналӣ ё танҳо динамикаҳои номуайян равона шудаанд, моделҳои вақти муттасилро истифода мебаранд ё танҳо як қисми ҳамлаҳоро баррасӣ мекунанд. Кор махсусан ҳадаф дорад динамикаҳои роботии пайваста ва нопайвастаро дар як чаҳорчӯбаи ҳамла ҷудогона таҳлил кунад.
“Ҳамлаи 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)\): вектори basis-function-и маълум, вале nonlinear,
- \(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\) gain-и мутобиқшавӣ ва \(\beta\) яке аз параметрҳоест, ки таъсири андозаи хаторо ба update нормализатсия мекунад.
Қонуни баҳодиҳии ҳамла чист?
Манбаъ баҳодиҳии ҳамларо бо навсозии нисбатан соддаи gradient-и вақти дискретӣ анҷом медиҳад:
\[ \hat g(t+1)= \hat g(t)+\sigma h(t) \]
\(\sigma>0\) gain-и баҳодиҳӣ мебошад.
Муҳаққиқон қайд мекунанд, ки \(\sigma\)-и баландтар метавонад пайгирии халалҳои тезтағйирёбандаро осон кунад. Бо вуҷуди ин, дар кор таҳлили алоҳидаи response frequency-и нозир, сатҳи noise amplification ё quantitative bandwidth барои ҳамлаҳои басомади баланд анҷом дода нашудааст.
Чаро дар равиши Lyapunov ҳади логарифмӣ истифода шудааст?
Барои системаи нопайваста кор аз номзади муттаҳидаи 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) \]
истифода мебарад.
Ҳади аввал энергияи 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\) | Арзиши ададӣ дода нашудааст | Gain-и баҳодиҳии ҳамла |
Nonlinear dynamics дар симулятсия чист?
Манбаъ функсияи nonlinear-и вобаста ба роботро:
Манбаъ функсияи 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-и калони ибтидоӣ ба атрофи сифр ё арзишҳои хурд наздик мешаванд. Дар баъзе хатҳо ларзишҳои хурди басомади баланд дида мешаванд.
Аммо дар гурӯҳи \(U_8\), ки дар Расми 11 нишон дода шудааст, баъзе ларзишҳои даврии роботҳо то охири симулятсия идома меёбанд. Аз ин рӯ, набояд барои ҳамаи control channels тафсири қавитаре ба шакли “вурудҳо комилан ба сифр мешинанд” дода шавад.
Ҳолатҳои номиналӣ ва мавриди ҳамла чӣ гуна муқоиса шудаанд?
Расми 12 ҳолатҳои номиналии роботҳоро бидуни ҳамла нишон медиҳад; Расми 13 бошад, мувофиқи сарлавҳаи худи график, ҳолатҳои вайроншудаи роботҳоро зери ҳамла нишон медиҳад.
Навиштани “without attack” дар шарҳи Расми 13 бо сарлавҳаи график мухолиф аст. Дар сарлавҳаи болоии график ошкоро:
Corrupted State Trajectories With Attack
навишта шудааст. Аз ин рӯ, дар ин муҳтавои Verianla Расми 13 ҳамчун тасвири ҳолати вайроншуда дар зери ҳамла қабул шудааст.
Оё бо baseline controller муқоисаи воқеии миқдорӣ анҷом шудааст?
Бахши Numerical Experiments мегӯяд, ки илова ба идоракунандаи пешниҳодшуда baseline controller-и бидуни adaptive compensation ва attack estimation истифода шудааст ва нишондиҳандаҳои зерин баҳогузорӣ шудаанд:
- tracking error norm,
- consensus error,
- settling time,
- control effort.
Аммо дар саҳифаҳои натиҷаҳои нашршуда барои ин baseline ҷадвали алоҳидаи metric table ё арзишҳои муқоисавии “пешниҳодшуда / baseline” дар шароити яксон вуҷуд надорад.
Расми 19 унвони “System Without Control” ва Расми 20 унвони “System With Control Input”-ро дорад. Ин муқоиса ба benchmark байни baseline controller-и бидуни ҷуброни мутобиқшавандаи ҳамла, вале фаъол, ва controller-и пешниҳодшуда баробар нест.
Иддаои “аз 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-и устувор арзёбӣ мекунад.
Аммо ҷадвали алоҳидаи estimation-error, ки наздикшавии ҳамаи weight estimates-ро ба як арзиши ҳақиқии доимӣ тасдиқ кунад, вуҷуд надорад. Аз ин рӯ, хулосаи “арзишҳои ҳақиқии параметрҳо дақиқ барқарор шуданд” баровардан мумкин нест.
Чаро Расми 17 бояд бо эҳтиёт шарҳ дода шавад?
Матн мегӯяд, ки Расми 17 stability ва convergence-ро тавассути Lyapunov function evolution тасдиқ мекунад.
Аммо дар графики 3D-и нашршуда бисёр хатҳои Lyapunov ба ҷои профили монотонӣ камшаванда ба сифр, бо гузашти вақт ба таври назаррас боло мераванд.
Ин намуди зоҳирӣ бо ибораи “Lyapunov function is monotonically decreasing” дар бахши исбот мустақиман мувофиқ нест. Кор шарҳ намедиҳад, ки меҳвари график ё бузургии Lyapunov-и тасвиршуда чаро чунин фарқият ба вуҷуд овардааст.
Чаро бузургиҳои ҳамла дар Расми 18 ҷолиби диққатанд?
Ҳамлаҳои асосии симулятсионӣ:
\[ 0,5\sin(2t) \]
ва:
\[ 0,3\cos(3t) \]
таъриф шудаанд.
Дар муқобил, меҳвари “3D Attack Signal Visualization” дар Расми 18 диапазони тақрибан −15 то +15-ро нишон медиҳад.
Манбаъ байни ин тасвири 3D ва таърифҳои ҳамла бо амплитудаҳои 0,5 ва 0,3 муносибати scaling, aggregation ё normalization намедиҳад. Аз ин рӯ, бузургиҳои Расми 18 набояд ҳамчун амплитудаи мустақими муодилаҳои асосии ҳамла шарҳ дода шаванд.
Бе идоракунӣ ва зери идоракунӣ чӣ рӯй медиҳад?
Расми 19 нишон медиҳад, ки дар система бидуни control input ҳолатҳои роботҳо trajectories-и аз ҳам дуршаванда ва ба самтҳои гуногун ҳаракаткунандаро нишон медиҳанд.
Дар Расми 20 ҳангоми татбиқи control input ҳолатҳои роботҳо ба диапазони хеле тангтар равона мешаванд.
Ин муқоисаи визуалӣ яке аз нишондиҳандаҳои равшани ададии кор аст, ки сохтори feedback-и пешниҳодшуда дар модели таҳқиқшуда ҳамоҳангиро беҳтар мекунад.
Хатои консенсус чиро нишон медиҳад?
Расми 21 бо унвони “3D Consensus Error of Multi-Robot System” trajectories-и хатои роботҳоро нишон медиҳад. Кам шудани хатҳо бо вақт аз ҷониби муҳаққиқон ҳамчун ба synchronization расидани ҳамаи agents шарҳ дода мешавад.
Аммо \(\|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\) inside the unit circle” кадом \(F\)-ро дар назар дорад, мушкил мекунад.
Матритсаҳои Lyapunov дар симулятсия чӣ гуна интихоб шудаанд?
Манбаъ арзишҳои:
\[ P=I,\qquad R=0,5I \]
медиҳад.
Дар назария бошад, бояд:
\[ (I-eF)^TP(I-eF)-P=-R \]
иҷро шавад.
Мақола ҷудогона нишон намедиҳад, ки \(P=I\) ва \(R=0,5I\) бо \(F\)-и дақиқи дар симулятсия истифодашуда ин баробариро ададан қонеъ мекунанд. Истифодаи рамзи \(F\) барои ду мақсади гуногун бозсозии ин санҷишро аз матн душвор мекунад.
Чаро gain-и баҳодиҳии ҳамла барои такроршавандагӣ муҳим аст?
Азбаски қонуни баҳодиҳии ҳамла:
\[ \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-и онлайнро истифода мебарад.
- Бо фарз кардани номаълум будани сигнали воқеии ҳамла, attack estimate-и асосёфта ба tracking-error сохта шудааст.
- Сохтори тағйирдодашудаи graph/Laplacian бо вазнҳои гиреҳ муайян шудааст.
- Равиши идоракунӣ барои uncoupled ва coupled robot dynamics васеъ карда шудааст.
- Дар симулятсияи нӯҳроботӣ state trajectories зери идоракунии пешниҳодшуда ба рафтори умумии истинодӣ наздик шудаанд.
- Тасвирҳои 3D-и “бе идоракунӣ” ва “бо идоракунӣ” нишон медиҳанд, ки татбиқи feedback дар модели таҳқиқшуда ҳамоҳангиро ба таври намоён беҳтар мекунад.
- Графикҳои consensus-error бо вақт рафтори камшавандаро нишон медиҳанд.
Натиҷаҳое, ки кор исбот намекунад ё пурра нишон намедиҳад
- Нишон дода нашудааст, ки флоти физикии роботҳо зери ҳамлаҳои воқеии Byzantine бехатар кор хоҳад кард.
- Таҷриба бо сенсори воқеӣ, мотор, иртиботи бесим ё таҷҳизоти шабака анҷом дода нашудааст.
- Packet loss ва communication delay ба шароити асосии санҷиши симулятсия дохил нашудаанд.
- Saturation-и актуатор ва ҳудудҳои воқеии мотор арзёбӣ нашудаанд.
- Бо benchmark-и ададӣ нишон дода нашудааст, ки идоракунандаи пешниҳодшуда аз усулҳои мавҷуда бо фоизи муайян беҳтар аст.
- Барои baseline controller дар ҳамон шароити ҳамла ҷадвали ададии tracking-error, settling-time ва control-effort дода нашудааст.
- Иддаои наздикшавии асимптотикӣ ба сифр зери ҳамла дар Теоремаҳои 1 ва 2 аз ҳудуди Lyapunov бо \(\chi\bar g^2\) мустақиман барнамеояд.
- Ҳудуди яксон байни attack bound-и воқеӣ ва attack-estimation-error bound ошкоро ҳосил нашудааст.
- Фарқи намоёни байни хатҳои Lyapunov дар Расми 17 ва ибораи назариявии “monotonically decreasing” шарҳ дода нашудааст.
- Муносибати миқёс байни бузургиҳои ҳамла дар Расми 18 ва муодилаҳои асосии ҳамла бо амплитудаҳои 0,5 ва 0,3 шарҳ дода нашудааст.
- Фарзи undirected graph бо adjacency matrix-и асимметрии симулятсия мутобиқ карда нашудааст.
- Арзиши ададии gain-и 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 |
| Gain-и нозири ҳамла \(\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-и номиналӣ ва зери ҳамла | Симулятсияи ададӣ | Дар caption-и Расми 13 иштибоҳи дохилии манбаъ дар тамғаи ҳамла вуҷуд дорад |
| Расми 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 | Система бе идоракунӣ ва бо идоракунӣ | Симулятсияи ададӣ | Benchmark-и proposed vs baseline-controller нест |
| Расми 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\) | Ҳудуди монанди ҳамин вуҷуд дорад |
Масъалаҳои такроршавандагӣ дар дохили манбаъ
| Мавзӯъ | Вазъ дар манбаъ | Таъсир |
|---|---|---|
| Gain-и нозири ҳамла \(\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 control-ро муттаҳид мекунад. Усул барои uncoupled ва coupled robot dynamics алоҳида ҳосил мешавад.
Ҳудуди санҷиши таҷрибавӣ: Кор роботи ҷисмонӣ, актуатори воқеӣ, сенсори воқеӣ, шабакаи бесим, hardware-in-the-loop ё cyber-attack testbed-и воқеиро истифода намекунад. Натиҷаҳо аз симулятсияҳои ададии модели математикии нӯҳроботӣ гирифта шудаанд.
Ҳудуди исботи устувории асимптотикӣ: Теоремаҳои 1 ва 2 мегӯянд, ки tracking error зери bounded Byzantine attack асимптотикӣ ба сифр мерасад. Аммо дар исботҳои нишон додашуда ҳудуди болоии фарқи Lyapunov барои ҳамлаи ғайрисифр ҳади мусбати \(\chi\bar g^2\)-ро дар бар мегирад. Фарқи манфӣ-муайяни Lyapunov ва натиҷаи \(h(t)\to0\) ба таври возеҳ дар ҳолати махсуси attack-free бо \(\tilde g_p(t)=0\) ба даст меояд. Аз ин рӯ, дар муҳтавои Verianla натиҷаи асимптотикии сифр-хато зери ҳамла ҳамчун иддаои назариявии муаллифон нигоҳ дошта шудааст ва аз нобаробариҳои нишон додашуда натиҷаи мустақили қавитар бароварда нашудааст.
Эзоҳ дар бораи ҳудуди хатои баҳодиҳии ҳамла: Муодилаи (6) сигнали воқеии ҳамларо бо \(\|g_p(t)\|\leq\bar g\) маҳдуд мекунад. Баъдтар дар исбот \(\|\tilde g_p(t)\|\leq\bar g\) истифода мешавад. Манбаъ гузариш аз bounded будани ҳамлаи воқеӣ ба дар ҳамон bound будани estimation error-ро алоҳида ҳосил намекунад.
Эзоҳ дар бораи топологияи граф: Дар бахши муқаддимавӣ шабакаи асосӣ ҳамчун undirected graph таъриф шудааст. Аммо adjacency matrix-и дар таҷрибаи ададӣ додашуда симметрӣ нест ва Расми 1 пайвандҳои directed/branching 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 ва validation дар платформаи воқеии робот аз мавзӯъҳои корҳои ояндаи мақола мебошанд. Кори ҷорӣ дар ин шароит кафолати амният ё устуворӣ намедиҳад.
Муодилаҳои математикӣ, моделҳои ҳамла, параметрҳои симулятсия, шарҳҳои графикӣ ва маҳдудиятҳои илмӣ дар ин муҳтавои Verianla танҳо ба кори баррасишуда асос ёфтаанд. Манбаи беруна танҳо барои санҷиши шахсияти расмии библиографӣ истифода шудааст; аз берун натиҷаи нави самаранокии идоракунӣ ё ҳамлаи киберӣ илова нашудааст.
Шарҳ гузоред
Нишонии почтаи электронии шумо нашр намешавад. Майдонҳои ҳатмӣ бо * нишон дода шудаанд