Araştırma, birbirleriyle haberleşerek koordineli çalışan çok robotlu sistemlerde aktüatör ve sensör kanallarına kötü niyetli sinyaller enjekte edildiğinde izleme ve konsensüs davranışını korumayı amaçlayan ayrık zamanlı bir uyarlamalı kontrol yaklaşımı geliştirmektedir. Çalışmada robotlar grafik teorisiyle birbirine bağlanmakta, bilinmeyen doğrusal olmayan dinamikler basis-function yaklaşımıyla modellenmekte, saldırıların toplam etkisi bilinmeyen bir bozucu olarak ele alınmakta ve bu bozucu çevrim içinde güncellenen bir kestirim değişkeniyle telafi edilmektedir. Yöntem hem birbirinden dinamik olarak bağımsız robotlar hem de ölçülemeyen iç etkileşim durumları bulunan bağlı robot dinamikleri için türetilmiştir. Doğrulama dokuz robotlu sayısal simülasyonlarla yapılmıştır; fiziksel robot veya gerçek haberleşme ağı üzerinde saldırı deneyi bulunmamaktadır.

Çalışmada “Byzantine saldırı” ifadesi, ağdaki bir robotun veya saldırganın sensör ölçümlerini, kontrol komutlarını ya da iletişim bilgisini güvenilir olmayan biçimde değiştirebildiği kötü niyetli davranışı ifade etmektedir. Aktüatör saldırısı nominal kontrol komutuna eklenen sahte bir giriş, sensör saldırısı ise gerçek robot durumuna eklenen sahte bir ölçüm olarak modellenmiştir. Kontrolcü gerçek saldırı sinyalini doğrudan bildiğini varsaymamakta; saldırı ve diğer bozucu etkileri birleşik \(g_p(t)\) değişkeni altında toplayarak \(\hat g_p(t)\) kestirimini kullanmaktadır.

Önerilen yöntemin bir başka bileşeni düğüme bağlı ağırlıklar içeren değiştirilmiş Laplasyen yapısıdır. Böylece robotların ağ içindeki etkilerinin tamamen aynı olmak zorunda olmadığı heterojen bir etkileşim modeli kurulmaya çalışılmıştır. Kontrol yasası, komşu robotlarla durum farkını, lider veya referans sinyaline göre hatayı, bilinmeyen nonlinear dynamics tahminini ve saldırı kestirimini aynı kontrol girdisinde birleştirmektedir.

Dokuz robotlu simülasyonda Robot 5 lider olarak seçilmiş, örnekleme süresi 0,01 s olarak belirlenmiş ve aktüatör ile sensör saldırıları \(t>2\) koşulundan sonra etkinleştirilmiştir. Aktüatör saldırısı \(0,5\sin(2t)\), sensör saldırısı \(0,3\cos(3t)\) biçiminde tanımlanmıştır. Kaynaktaki durum grafikleri, önerilen kontrol altında robot durumlarının ortak referans davranışına yöneldiğini; çeşitli kontrol girdilerinin sınırlı kaldığını ve konsensüs hatasının azaldığını göstermektedir.

Bununla birlikte kaynakta belirtilen teorik sonuç ile gösterilen Lyapunov eşitsizliklerinin kapsamı aynı güçte değildir. Teoremler saldırı varlığında asimptotik olarak sıfır izleme hatası iddia ederken, ispatta saldırı altında pozitif \(\chi\bar g^2\) terimi içeren bir üst sınır elde edilmektedir. Negatif kesin Lyapunov farkı ve \(h(t)\to0\) sonucu açık biçimde saldırı kestirim hatasının sıfır olduğu saldırısız durum için gösterilmiştir. Bu nedenle çalışma, saldırılar altında güçlü bir dayanıklılık yaklaşımı ve olumlu simülasyon sonuçları sunmaktadır; ancak verilen matematiksel ispatın kalıcı sıfır olmayan saldırı altında kesin asimptotik yakınsamayı eksiksiz olarak kurduğu söylenmemelidir.

Makalenin simülasyon bölümü önerilen kontrolcünün adaptif telafi ve saldırı kestirimi içermeyen bir baseline ile karşılaştırıldığını ve tracking error norm, consensus error, settling time ve control effort gibi nicel metriklerin kullanıldığını belirtmektedir. Buna rağmen sunulan sonuçlarda baseline kontrolcüye ait ayrı bir sayısal performans tablosu bulunmamaktadır. Şekil 19 ve Şekil 20 esas olarak “kontrol yok” ve “kontrol var” durumlarını görselleştirmektedir. Bu nedenle çalışma “mevcut yöntemlere göre nicel olarak şu kadar daha iyi” biçiminde bir yüzde sonuç desteklememektedir.

Türkiye açısından değerlendirme: Çalışmadaki yaklaşım Türkiye'de çoklu insansız hava/kara aracı, depo ve fabrika robot filoları, dağıtık mobil robotlar ve ağ üzerinden kontrol edilen otonom sistemlerin siber dayanıklılığı üzerine çalışan ekipler açısından yöntemsel olarak değerlidir. Özellikle sensör ve kontrol komutlarının aynı anda güvenilir olmadığı senaryoların kontrol teorisinin içine açıkça alınması önemlidir. Ancak gerçek kablosuz ağ gecikmeleri, paket kaybı, kriptografik saldırılar, fiziksel robot dinamikleri, motor doygunluğu, gerçek sensör gürültüsü ve saldırganın adaptif davranışı test edilmediğinden sonuçlar doğrudan gerçek robot filosu güvenlik garantisi olarak yorumlanamaz.

Araştırmanın temel problemi nedir?

Birden fazla robotun aynı görevi koordineli biçimde yürüttüğü ağlarda her robot yalnız kendi durumuna değil, komşularından aldığı bilgilere de bağlıdır. Bu yapı koordinasyonu mümkün kılarken aynı zamanda bir güvenlik zafiyeti oluşturur: hatalı veya kötü niyetli bir düğüm yanlış bilgi gönderdiğinde hata ağ boyunca diğer robotları da etkileyebilir.

Çalışmanın ele aldığı özel problem, bu tür saldırıların hem aktüatör kanalını hem de sensör kanalını etkileyebildiği ayrık zamanlı çok robotlu sistemlerde kararlı izleme ve konsensüs elde etmektir.

Araştırmacıların vurguladığı boşluk, mevcut çalışmaların önemli bir bölümünün nominal veya yalnız belirsiz dinamikler altında koordinasyona odaklanması, sürekli zamanlı modeller kullanması veya saldırıların yalnız bir bölümünü değerlendirmesidir. Çalışma özellikle bağlı ve bağlı olmayan robot dinamiklerini aynı saldırı çerçevesinde ayırarak incelemeyi hedeflemektedir.

Çalışmada “Byzantine saldırı” nasıl modelleniyor?

Aktüatör saldırısı:

\[ U_p^{c}(t)=U_p(t)+\lambda_p U_p^{b}(t) \]

olarak yazılmıştır.

Burada \(U_p(t)\) nominal kontrol komutunu, \(U_p^{b}(t)\) saldırgan tarafından eklenen aktüatör sinyalini, \(U_p^{c}(t)\) ise fiziksel sisteme ulaşan bozulmuş komutu temsil etmektedir.

Sensör saldırısı:

\[ z_p^{c}(t)=z_p(t)+\lambda_p z_p^{b}(t) \]

şeklindedir.

\(\lambda_p\in\{0,1\}\) saldırının aktif olup olmadığını gösteren anahtardır.

İki saldırı kanalının sistem üzerindeki toplam etkisi:

\[ g_p(t)=g_p^{a}(t)+g_p^{s}(t) \]

olarak tek bir bilinmeyen bozucu içinde birleştirilmektedir.

Kontrolcü saldırı sinyalini biliyor mu?

Hayır. Kaynak gerçek \(g_p(t)\) saldırı/bozucu sinyalinin ölçülemediğini özellikle belirtmektedir.

Kontrol tasarımında bunun yerine:

\[ \hat g_p(t) \]

kullanılmaktadır.

Kestirim hatası:

\[ \tilde g_p(t)=g_p(t)-\hat g_p(t) \]

olarak tanımlanmıştır.

Gerçek saldırı için temel varsayım:

\[ \|g_p(t)\|\leq\bar g \]

şeklinde sonlu fakat kontrolcü tarafından değeri bilinmeyen bir üst sınırın var olmasıdır.

Grafik teorisi çok robotlu koordinasyona nasıl ekleniyor?

Robot ağı önce adjacency matrix \(A(G)\), degree matrix \(D(G)\) ve Laplacian matrix:

\[ L(G)=D(G)-A(G) \]

ile tanımlanmaktadır.

Araştırmacılar daha sonra her robota:

\[ N=[n_1,n_2,\ldots,n_m]^T,\qquad n_i>0 \]

biçiminde ayrı bir düğüm ağırlığı atamaktadır.

Değiştirilmiş derece matrisi:

\[ D(G,N)= \operatorname{diag}(A(G)N) \operatorname{diag}(N)^{-1} \]

ve değiştirilmiş Laplasyen:

\[ L(G,N)=D(G,N)-A(G) \]

olarak oluşturulmaktadır.

Bu düzenleme, komşu robotların ağ içindeki etkilerinin tamamen eşit olmak zorunda olmadığı heterojen bir etkileşim yapısını temsil etmeyi amaçlamaktadır.

Bağlı olmayan robot dinamiği nasıl ifade edildi?

Robotların dinamik olarak birbirinden bağımsız olduğu ilk durumda \(p\). robot:

\[ y_p(t+1)= y_p(t)+B\omega(y_p(t))+U_p(t)+g_p(t) \]

ile modellenmektedir.

Burada:

• \(y_p(t)\): robot durumu,
• \(B\): bilinmeyen ağırlık matrisi,
• \(\omega(y_p)\): bilinen ancak nonlinear bir basis-function vektörü,
• \(U_p(t)\): kontrol girdisi,
• \(g_p(t)\): saldırı ve dış bozucuların birleşik etkisidir.

Referans robot davranışı nasıl oluşturuldu?

İstenen referans modeli:

\[ 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) \]

olarak verilmiştir.

Bu yapı iki hedefi aynı anda kullanmaktadır: komşu robotlarla durum farkını azaltmak ve belirli robotları \(c(t)\) lider/referans komutuna bağlamak.

Kaynak kontrol katsayısı için:

\[ e<\frac{1}{\max(d)+1} \]

koşulunu vermektedir.

Uyarlamalı kontrol yasası nasıl çalışıyor?

Bağlı olmayan durumda kontrol:

\[ 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) \]

biçimindedir.

Kontrol yasasının dört işlevi vardır:

1. komşular arasındaki konsensüs hatasını azaltmak,
2. lider/referans izleme hatasını azaltmak,
3. bilinmeyen nonlinear robot dinamiklerini telafi etmek,
4. kestirilen saldırı/bozucu etkisini kontrol girdisinden çıkarmak.

Takip hatası nasıl tanımlandı?

Robot ile onun referans modeli arasındaki hata:

\[ h_p(t)=y_p(t)-y_{rp}(t) \]

olarak tanımlanmıştır.

Toplu ağ için:

\[ h(t+1)= (I-eF)h(t) -\tilde B^T(t)\omega(y(t)) +\tilde g(t) \]

hata dinamiği elde edilmektedir.

Buradaki \(F\), kaynakta Laplasyen tabanlı etkileşim matrisi olarak tanımlanmaktadır.

Bilinmeyen dinamik parametreler nasıl öğreniliyor?

Ağırlık tahmini çevrim içinde:

\[ \hat B(t+1)= \hat B(t)+ \frac{\gamma} {1+\beta h^T(t)Ph(t)} h(t)\omega^T(y(t)) \]

yasasıyla güncellenmektedir.

Buradaki \(\gamma\) uyarlama kazancı, \(\beta\) ise hata büyüklüğünün update üzerindeki etkisini normalize eden parametrelerden biridir.

Saldırı kestirim yasası nedir?

Kaynak saldırı kestirimini oldukça sade bir ayrık zamanlı gradient türü güncelleme ile yapmaktadır:

\[ \hat g(t+1)= \hat g(t)+\sigma h(t) \]

\(\sigma>0\) kestirim kazancıdır.

Araştırmacılar daha yüksek \(\sigma\)'nın daha hızlı değişen bozucuların izlenmesini kolaylaştırabileceğini belirtmektedir. Bununla birlikte çalışmada gözlemcinin frekans cevabı, noise amplification düzeyi veya yüksek frekans saldırılarına yönelik ayrı bir quantitative bandwidth analizi yapılmamıştır.

Lyapunov yaklaşımında neden logaritmik terim kullanıldı?

Bağlı olmayan sistem için çalışma:

\[ 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) \]

biçiminde birleşik bir Lyapunov adayı kullanmaktadır.

İlk terim tracking error enerjisini logaritmik biçimde, ikinci terim ise parameter-adaptation büyüklüğünü temsil etmektedir.

Grafik tabanlı nominal hata dinamiği için:

\[ (I-eF)^TP(I-eF)-P=-R \]

ayrık zamanlı Lyapunov eşitliği kullanılır ve \(P>0\), \(R>0\) istenir.

Kaynağın saldırı altındaki kararlılık ispatında kritik nokta nedir?

Young ve Cauchy–Schwarz eşitsizlikleri uygulandıktan sonra kaynak:

\[ \Delta W \leq -\lambda_1\|h(t)\|^2 -\lambda_2 \|B^T(t)\omega(y(t))\|^2 + \chi\bar g^2 \]

üst sınırını vermektedir.

Ardından saldırı kestirim hatasının bulunmadığı durumda:

\[ \tilde g_p(t)=0 \]

için:

\[ \Delta W \leq -\lambda_1\|h(t)\|^2<0 \]

elde edilmekte ve:

\[ \lim_{t\rightarrow\infty}h(t)=0 \]

sonucuna geçilmektedir.

Yorum sınırı: İlk eşitsizlikteki \(\chi\bar g^2\) terimi sıfır olmayan sürekli bir saldırı için pozitiftir. Dolayısıyla gösterilen adımlar saldırı varken doğrudan negatif kesin Lyapunov farkı üretmemektedir. Kaynağın Teorem 1'de saldırılar altında verdiği asimptotik yakınsama iddiası ile ispatın açıkça gösterdiği attack-free asimptotik adım aynı kapsamda değildir.

Kestirim hatası için kullanılan sınırda başka bir ayrım var mı?

Evet. Denklem (6):

\[ \|g_p(t)\|\leq\bar g \]

ile gerçek saldırı sinyalini sınırlar.

Ancak ispatın sonraki bölümlerinde:

\[ \|\tilde g_p(t)\|\leq\bar g \]

şeklindeki kestirim-hatası sınırı kullanılmaktadır. \(\tilde g_p=g_p-\hat g_p\) olduğundan gerçek saldırının sınırlı olması tek başına kestirim hatasının aynı \(\bar g\) ile sınırlı olduğunu garanti etmez. Kaynak bu ek geçiş için ayrı bir türetim sunmamaktadır.

Bağlı robot dinamikleri neden ayrı ele alındı?

İkinci modelde robotun durumu yalnız kendi nonlinear dynamics'ine ve komşu haberleşmesine bağlı değildir; ayrıca doğrudan ölçülemeyen iç bir coupled state bulunmaktadır.

Robot dinamiği:

\[ y_p(t+1)= y_p(t) +B_p\omega(y_p(t)) +M_{up}(t) +U_p(t) +g_p(t) \]

olarak genişletilmiştir.

Bağlı alt sistem:

\[ \mu_p(t+1)= a_{up}\mu_p(t)+s_{up}y_p(t) \]

ve:

\[ M_{up}(t)=x_{up}\mu_p(t) \]

ile tanımlanmaktadır.

Ölçülemeyen bağlı durum nasıl telafi ediliyor?

Kontrolcü gerçek \(\mu_p\) yerine:

\[ \hat\mu_p(t) \]

kestirimini kullanır.

Bağlı sistem kontrol yasasına:

\[ -x_{up}\hat\mu_p(t) \]

terimi eklenmektedir.

Durum kestirimi:

\[ \hat\mu(t+1)=a_u\hat\mu(t)+s_uy(t) \]

ile güncellenmektedir.

Bağlı sistemin Lyapunov fonksiyonu nasıl genişletildi?

Kaynak ikinci durumda:

\[ 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) \]

yapısını kullanmaktadır.

Böylece tracking error ve adaptive parameter terimlerine coupled-state enerjisini temsil eden üçüncü bir terim eklenmiştir.

Sonuçta yine:

\[ \Delta V \leq -\lambda_1\|h(t)\|^2 + \chi\bar g^2 \]

üst sınırı elde edilmektedir. Saldırısız özel durumda pozitif saldırı terimi ortadan kalkınca kaynak \(h(t)\to0\) sonucuna ulaşmaktadır.

Simülasyonda kaç robot kullanıldı?

Sayısal deneyler dokuz robot üzerinde yürütülmüştür.

Robot 5 lider olarak tanımlanmıştır; diğer sekiz robot takipçidir.

Kaynak lider robotun saldırıdan muaf tutulduğunu ve referans trajectory'nin bu şekilde korunmasının amaçlandığını belirtmektedir.

Simülasyonun temel sayısal parametreleri

Simülasyondaki nonlinear dynamics nedir?

Kaynak robot tabanlı nonlinear fonksiyonu:

\[ b(t,z_p(t)) = 0,5\sin(z_p(t)) + 0,3z_p(t) \]

olarak tanımlamıştır.

Uyarlamalı kontrol için kullanılan basis-function vektörü:

\[ \omega(y_p(t))= \begin{bmatrix} y_p(t)\\ \sin(y_p(t))\\ y_p^2(t) \end{bmatrix} \]

şeklindedir.

Başlangıç koşulları nelerdir?

Dokuz robotun başlangıç durumları:

\[ y(0)= [2,-1,3,-2,1,-2,3,-1,2]^T \]

olarak verilmiştir.

Bu farklı başlangıç durumları, kontrolcü uygulandığında robotların ortak koordineli davranışa yönelip yönelmediğini görmek için kullanılmaktadır.

Simülasyondaki saldırı sinyalleri nelerdir?

Aktüatör saldırısı:

\[ v_p^b(t)=0,5\sin(2t) \]

sensör saldırısı:

\[ z_p^b(t)=0,3\cos(3t) \]

olarak tanımlanmıştır.

Saldırı anahtarı:

\[ \lambda_p= \begin{cases} 1,&t>2\\ 0,&\text{diğer durumlarda} \end{cases} \]

şeklindedir. Dolayısıyla temel simülasyon senaryosunda saldırılar ilk iki zaman biriminden sonra etkinleşmektedir.

Şekil 2 ve Şekil 3 ne gösteriyor?

Şekil 2 ve Şekil 3, dokuz robotun iki state component'inin zaman içindeki evrimini göstermektedir. Farklı başlangıç değerlerinden başlayan eğriler birkaç saniye içinde ortak değerlere yaklaşmaktadır.

Kaynak bu davranışı önerilen ayrık zamanlı uyarlamalı kontrolcünün saldırı ve nonlinear uncertainty altında izleme/koordinasyon sağlayabildiğinin sayısal göstergesi olarak yorumlamaktadır.

Bu grafikler fiziksel robot ölçümü değil, tanımlanmış matematiksel modelin simülasyon çıktılarıdır.

Kontrol girişlerinde ne görülüyor?

Şekil 4–10'da çeşitli \(U_1\)–\(U_7\) kontrol bileşenleri başlangıçtaki büyük transient değerlerden sonra sıfır çevresine veya küçük değerlere yaklaşmaktadır. Bazı eğrilerde küçük yüksek frekanslı salınımlar görünmektedir.

Şekil 11'de gösterilen \(U_8\) grubunda ise bazı robotlara ait periyodik salınımlar simülasyonun sonuna kadar devam etmektedir. Bu nedenle bütün control channels için “tamamen sıfıra oturan girişler” biçiminde daha güçlü bir yorum yapılmamalıdır.

Nominal ve saldırıya uğramış durumlar nasıl karşılaştırıldı?

Şekil 12, saldırı bulunmayan nominal robot durumlarını; Şekil 13 ise grafiğin kendi başlığına göre saldırı altındaki bozulmuş robot durumlarını göstermektedir.

Şekil 13'ün figür açıklamasında “without attack” yazılması grafiğin başlığıyla çelişmektedir. Grafiğin üst başlığında açıkça:

Corrupted State Trajectories With Attack

ifadesi bulunmaktadır. Dolayısıyla bu Verianla içeriğinde Şekil 13 saldırılı bozulmuş-durum görseli olarak ele alınmıştır.

Baseline kontrolcüyle gerçek nicel karşılaştırma yapıldı mı?

Numerical Experiments bölümü, önerilen kontrolcüye ek olarak adaptive compensation ve attack estimation içermeyen bir baseline controller kullanıldığını ve şu metriklerin değerlendirildiğini belirtmektedir:

• tracking error norm,
• consensus error,
• settling time,
• control effort.

Ancak yayımlanan sonuç sayfalarında bu baseline'a ait ayrı sayısal metric table veya “önerilen / baseline” biçiminde eş koşullu karşılaştırma değerleri verilmemiştir.

Şekil 19 “System Without Control”, Şekil 20 ise “System With Control Input” başlığını taşımaktadır. Bu karşılaştırma, adaptif saldırı telafisi bulunmayan fakat yine de çalışan bir baseline controller ile önerilen controller arasındaki benchmark ile aynı değildir.

Makaledeki “existing approaches'a göre daha iyi” iddiası nasıl yorumlanmalı?

Özet ve katkılar bölümü proposed method'un mevcut yaklaşımlara göre daha yüksek robustness ve tracking accuracy gösterdiğini belirtmektedir. Ancak kaynakta mevcut yöntemlerle aynı simülasyon koşullarındaki sayısal performans tablosu verilmemiştir.

Bu nedenle daha güvenli bilimsel ifade şudur: Önerilen yöntem tanımlanan dokuz robotlu simülasyonlarda saldırılar altında konsensüs ve izleme davranışı göstermiştir; fakat mevcut yöntemlere karşı nicel üstünlüğün büyüklüğü bu çalışmanın sunulan sonuçlarından hesaplanamamaktadır.

Şekil 14 ne gösteriyor?

Şekil 14 robotların 3B tracking-error trajectories'ini göstermektedir. Eğriler farklı başlangıç değerlerinden ilerleyerek daha dar bir bölgeye doğru yönelmektedir.

Kaynak bunu tracking error convergence olarak yorumlamaktadır. Bununla birlikte 3B grafik kesin settling time veya hata normu tablosu sağlamamaktadır.

Şekil 15 ne gösteriyor?

Şekil 15, lider ve takipçi robotların sensör ve aktüatör saldırıları altındaki 3B control-input trajectories'ini göstermektedir.

Sinyaller belirgin periyodik bileşenler taşımasına rağmen kaynak tarafından bounded ve regulated control action olarak yorumlanmaktadır.

Uyarlamalı ağırlıklar yakınsıyor mu?

Şekil 16 adaptive-weight evolution'ı göstermektedir. Kaynak bu eğrileri kararlı adaptation behavior olarak değerlendirmektedir.

Bununla birlikte grafikte bütün weight estimates'in tek bir sabit gerçek parametre değerine yakınsadığını doğrulayan ayrı estimation-error tablosu verilmemektedir. Bu nedenle “parametrelerin gerçek değerleri kesin olarak geri kazanıldı” sonucu çıkarılamaz.

Şekil 17 neden dikkatli yorumlanmalı?

Metin Şekil 17'nin Lyapunov function evolution üzerinden stability ve convergence doğruladığını söylemektedir.

Ancak yayımlanan 3B grafikte birçok Lyapunov eğrisi zaman ekseni boyunca sıfıra doğru monoton azalan bir profil yerine önemli ölçüde yükselen eğriler olarak görünmektedir.

Bu görünüm, ispat kısmındaki “Lyapunov function is monotonically decreasing” ifadesiyle görsel olarak doğrudan uyuşmamaktadır. Çalışma grafik ekseninin veya çizilen Lyapunov büyüklüğünün bu farkı neden oluşturduğunu açıklamamaktadır.

Şekil 18'deki saldırı büyüklükleri neden dikkat çekiyor?

Temel simülasyon saldırıları:

\[ 0,5\sin(2t) \]

ve:

\[ 0,3\cos(3t) \]

olarak tanımlanmıştır.

Buna karşılık Şekil 18'in “3D Attack Signal Visualization” ekseni yaklaşık −15 ile +15 aralığını göstermektedir.

Kaynak bu 3B görsel ile önceki 0,5 ve 0,3 genlikli saldırı tanımları arasında bir scaling, aggregation veya normalization ilişkisi vermemektedir. Dolayısıyla Şekil 18'deki büyüklükler temel saldırı denklemlerinin doğrudan genliği gibi yorumlanmamalıdır.

Kontrol olmadan ve kontrol altında ne oluyor?

Şekil 19, control input bulunmayan sistemde robot durumlarının birbirinden uzaklaşan ve farklı yönlerde ilerleyen trajectories sergilediğini göstermektedir.

Şekil 20'de control input uygulandığında robot durumlarının çok daha dar bir aralığa yöneldiği görülmektedir.

Bu görsel karşılaştırma, önerilen geri besleme yapısının incelenen model altında koordinasyonu iyileştirdiğine ilişkin çalışmanın en anlaşılır sayısal göstergelerinden biridir.

Konsensüs hatası ne gösteriyor?

Şekil 21 “3D Consensus Error of Multi-Robot System” başlığı altında robotlara ait hata trajectories'ini göstermektedir. Eğrilerin zamanla küçülmesi araştırmacılar tarafından bütün agents'in synchronization elde ettiği biçiminde yorumlanmaktadır.

Ancak kesin \(\|h(t)\|\), son consensus-error değeri veya belirli settling threshold'a ulaşma süresi sayısal tablo hâlinde verilmemektedir.

Grafik yapısında hangi tutarsızlık bulunuyor?

Çalışmanın matematiksel ön bölümünde:

“Let G be an undirected graph”

varsayımı yapılmaktadır.

Ancak simülasyonda verilen adjacency matrix \(A\) simetrik değildir. Örneğin bazı \(A_{ij}=1\) bağlantılarının karşılık gelen \(A_{ji}\) elemanları 0'dır.

Bu nedenle yayınlanan simülasyon adjacency yapısı undirected graph tanımıyla doğrudan uyuşmamaktadır. Kaynak bu farkı directed leader–follower ağına geçiş olarak ayrıca açıklamamıştır.

Ağ gerçekten bir “line graph” mı?

Numerical Experiments bölümü dokuz robotu “on a line graph” şeklinde tanımlamaktadır.

Buna karşılık Şekil 1 ve adjacency matrix, Robot 5'in birden çok takipçiye bağlandığı ve diğer takipçiler arasında da bazı ek bağlantılar bulunan dallanmış bir yapı göstermektedir.

Dolayısıyla kaynakta kullanılan “line graph” ifadesi şekil ve matrisle tam olarak uyuşmamaktadır.

\(F\) sembolünde neden dikkat gerekiyor?

Teorik kontrol bölümünde \(F\), Laplasyen tabanlı interaction matrix için kullanılmaktadır:

\[ h(t+1)=(I-eF)h(t)+\cdots \]

Numerical Experiments bölümünde ise:

\[ F= \operatorname{diag} [-0,2,-0,06,-0,03,-0,16,-0,3,-0,7,-0,8,-0,18,-0,09] \]

şeklinde coupled-dynamics parametre matrisi yeniden \(F\) harfiyle tanımlanmaktadır.

Bu notation reuse, özellikle “\(I-eF\) unit circle içindedir” ifadesinin hangi \(F\)'yi kastettiğini takip etmeyi güçleştirmektedir.

Lyapunov matrisleri simülasyonda nasıl seçildi?

Kaynak:

\[ P=I,\qquad R=0,5I \]

değerlerini vermektedir.

Teoride ise:

\[ (I-eF)^TP(I-eF)-P=-R \]

eşitliğinin sağlanması gerekir.

Makale simülasyonda kullanılan kesin \(F\) ile \(P=I\) ve \(R=0,5I\)'nin bu eşitliği sayısal olarak sağladığını ayrıca göstermemektedir. \(F\) sembolünün iki farklı amaçla kullanılması da bu doğrulamayı metinden yeniden üretmeyi zorlaştırmaktadır.

Saldırı kestirim kazancı neden tekrarlanabilirlik açısından önemli?

Saldırı kestirim yasası:

\[ \hat g(t+1)=\hat g(t)+\sigma h(t) \]

olduğundan \(\sigma\) doğrudan estimator dynamics'i belirlemektedir.

Ancak simülasyon bölümünde \(e=0,2\), \(\gamma=0,5\), \(\beta=1,2\), \(P=I\) ve \(R=0,5I\) açıkça verilirken \(\sigma\)'nın sayısal değeri belirtilmemektedir.

Bu eksiklik, yayımlanan saldırı-kestirim simülasyonunun birebir yeniden üretilmesini sınırlandırmaktadır.

Çalışmanın desteklediği sonuçlar

• Aktüatör ve sensör saldırıları tek bir ayrık zamanlı çok robotlu kontrol çerçevesinde matematiksel olarak modellenmiştir.
• Kontrolcü bilinmeyen nonlinear dynamics için çevrim içi parameter adaptation kullanmaktadır.
• Gerçek saldırı sinyalinin bilinmediği varsayılarak tracking-error tabanlı bir attack estimate oluşturulmuştur.
• Düğüm ağırlıkları içeren değiştirilmiş graph/Laplacian yapısı tanımlanmıştır.
• Kontrol yaklaşımı hem uncoupled hem coupled robot dynamics için genişletilmiştir.
• Dokuz robotlu simülasyonda önerilen kontrol altında state trajectories ortak referans davranışına yaklaşmıştır.
• “Kontrol yok” ve “kontrol var” 3B görselleri, incelenen modelde geri besleme uygulamasının koordinasyonu belirgin biçimde iyileştirdiğini göstermektedir.
• Consensus-error grafikleri zamanla azalan bir davranış göstermektedir.

Çalışmanın kanıtlamadığı veya tam olarak göstermediği sonuçlar

• Fiziksel robot filosunun gerçek Byzantine saldırılar altında güvenli çalışacağı gösterilmemiştir.
• Gerçek sensör, motor, kablosuz haberleşme veya ağ donanımı kullanılarak deney yapılmamıştır.
• Packet loss ve communication delay simülasyonun ana doğrulama koşullarına dahil edilmemiştir.
• Aktüatör doygunluğu ve gerçek motor sınırları değerlendirilmemiştir.
• Önerilen kontrolcünün mevcut yöntemlerden belirli bir yüzde daha iyi olduğu sayısal benchmark ile gösterilmemiştir.
• Baseline controller için aynı saldırı koşullarında sayısal tracking-error, settling-time ve control-effort tablosu sunulmamıştır.
• Teorem 1 ve 2'deki saldırı-altında sıfıra asimptotik yakınsama iddiası, gösterilen \(\chi\bar g^2\) içeren Lyapunov sınırından doğrudan çıkmamaktadır.
• Gerçek attack bound ile attack-estimation-error bound arasındaki eşit sınır açıkça türetilmemiştir.
• Şekil 17'deki Lyapunov eğrileri ile “monotonically decreasing” teorik ifade arasındaki görünür fark açıklanmamıştır.
• Şekil 18'in saldırı büyüklükleriyle temel 0,5 ve 0,3 genlikli saldırı denklemleri arasındaki ölçek ilişkisi açıklanmamıştır.
• Undirected graph varsayımı ile asimetrik simülasyon adjacency matrix'i uzlaştırılmamıştır.
• Saldırı estimator kazancı \(\sigma\)'nın simülasyondaki sayısal değeri verilmemiştir.

Çalışmanın Yöntemi ve Bulguları

Kontrol ve saldırı telafisinin işlem zinciri

Temel saldırı ve simülasyon koşulları

Kaynakta verilen başlangıç durumları

Kaynakta kullanılan düğüm ağırlıkları

Numerical Experiments bölümünde node-dependent weighting için:

\[ q= [8,6,7,3,2,5,4,3,1] \]

vektörü verilmiştir. Bu heterojen değerler robotların grafik tabanlı modelde aynı ağırlığa sahip olmadığı bir yapı oluşturur.

Bağlı dinamikler için verilen parametreler

Çalışma coupled-dynamics bölümünün sayısal örneğinde aşağıdaki diyagonal katsayıları kullanmaktadır:

\[ 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] \]

ve:

\[ 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] \]

parametrelerini vermektedir.

Buradaki \(F\) sembolünün teorik bölümdeki graph-interaction \(F\) matrisiyle aynı harfi taşıdığı fakat farklı bir nesneyi ifade ettiği dikkate alınmalıdır.

Kaynakta tanımlanan robot-spesifik nonlinear fonksiyonlar

Sayısal örnekte robotlar için tek tip basis kullanılmasının yanında şu robot-spesifik nonlinear fonksiyonlar da verilmektedir:

Şekillerin kanıt düzeyi

Teorik iddia ile gösterilen ispat kapsamının ayrılması

Kaynak içindeki yeniden üretilebilirlik sorunları

Gerçek robot sistemlerine aktarım için eksik doğrulamalar

Kaynağın kendi sonuç bölümünde gelecekte yapılması önerilen çalışmalar arasında daha büyük ağlara geçiş, communication delay ve packet loss etkilerinin dahil edilmesi ve yöntemin gerçek robot platformlarında doğrulanması bulunmaktadır.

Bu eksikler önemlidir; çünkü gerçek çok robotlu sistemlerde:

• haberleşme gecikmesi,
• paket kaybı,
• quantization,
• sensör gürültüsü,
• motor saturation,
• işlemci gecikmesi,
• değişken ağ topolojisi,
• gerçek saldırganın zamanlama ve hedef değiştirmesi

gibi etkiler matematiksel simülasyondaki ideal koşullardan farklı sonuçlar üretebilir.

Kaynak ve Yöntem Notu

Tam özgün çalışma adı: Robust Adaptive Control for Discrete-Time Multi-Robot Systems with Actuator and Sensor Attacks

Yazarlar: Shahid Hussain Gurmani, Somayya Komal, Waqar Ul Hassan, Afreen Bibi, Muhammad Jabir Khan ve Meshal Shutaywi.

Yazar sırası: 1. Shahid Hussain Gurmani; 2. Somayya Komal; 3. Waqar Ul Hassan; 4. Afreen Bibi; 5. Muhammad Jabir Khan; 6. Meshal Shutaywi.

Sorumlu yazar: Muhammad Jabir Khan.

Eş katkı/eş birinci yazarlık: Kaynakta böyle bir beyan bulunmamaktadır.

Kurumlar:

1. School of Computer Information Engineering, Shanxi Technology and Business University, Taiyuan, China.
2. Department of Mathematics, Faculty of Sciences, University of Mianwali, Mianwali, Pakistan.
3. School of Artificial Intelligence and Computer Science, Nantong University, Nantong, China.
4. Department of Mathematics, Faculty of Science & Arts, King Abdul Aziz University, Rabigh, Saudi Arabia.

Dergi: Actuators.

Yayınevi: MDPI, Basel, Switzerland.

Bibliyografik bilgi: Actuators 2026, 15(7), 368.

DOI:10.3390/act15070368

Resmî yayın bağlantısı:MDPI – Actuators 15(7), 368

Yayın tarihi: 3 Temmuz 2026. Çalışma 20 Nisan 2026'da alınmış, 29 Mayıs 2026'da revize edilmiş ve 3 Haziran 2026'da kabul edilmiştir.

Kaynak türü ve hakemlik durumu: Actuators dergisinde yayımlanmış hakemli araştırma makalesidir. Çalışmanın doğrulama bölümü fiziksel deney değil, matematiksel analiz ve numerical simulation üzerine kuruludur.

Lisans: Creative Commons Attribution (CC BY).

Akademik editörler: Yan Wu, Seenith Sivasundaram ve Thomas Yang.

Finansman: Çalışma King Abdulaziz University Deanship of Scientific Research tarafından IPP: 592-662-2025 numaralı destek kapsamında finanse edilmiştir. Kaynak ayrıca Jiangsu Province Excellent Postdoctoral Program, Grant 2024ZB879 desteğini belirtmektedir.

Etik kurul: Uygulanabilir değildir.

Bilgilendirilmiş onam: Uygulanabilir değildir.

Veri erişilebilirliği: Kaynak, mevcut çalışmada herhangi bir veri kümesinin oluşturulmadığını veya analiz edilmediğini belirtmektedir.

Kod erişilebilirliği: Çalışmayı destekleyen kodun kamuya açık olmadığı ve King Abdulaziz University Deanship of Scientific Research kapsamında geliştirildiği belirtilmiştir.

Çıkar çatışması: Yazarlar bilinen mali veya mali olmayan çıkar çatışması bulunmadığını beyan etmiştir.

Yazar katkıları: Kavramsallaştırma Shahid Hussain Gurmani; yazılım Waqar Ul Hassan; doğrulama Somayya Komal; biçimsel analiz Shahid Hussain Gurmani; kaynaklar Muhammad Jabir Khan; veri düzenleme Meshal Shutaywi ve Afreen Bibi; ilk taslak Waqar Ul Hassan ve Afreen Bibi; inceleme ve düzenleme Waqar Ul Hassan ve Afreen Bibi; danışmanlık Shahid Hussain Gurmani ve Muhammad Jabir Khan tarafından gerçekleştirilmiştir.

Bilimsel kapsam: Çalışma aktüatör ve sensör saldırılarının bilinmeyen birleşik bozucu olarak temsil edildiği ayrık zamanlı çok robotlu sistemler için nonlinear basis-function approximation, adaptive parameter update, attack estimation ve graph-based consensus kontrolünü birleştirmektedir. Yöntem uncoupled ve coupled robot dynamics için ayrı olarak türetilmektedir.

Deneysel doğrulama sınırı: Çalışma fiziksel robot, gerçek aktüatör, gerçek sensör, kablosuz ağ, hardware-in-the-loop veya gerçek cyber-attack testbed kullanmamaktadır. Sonuçlar dokuz robotlu matematiksel modelin sayısal simülasyonlarından elde edilmiştir.

Asimptotik kararlılık ispatı sınırı: Teorem 1 ve Teorem 2 bounded Byzantine attack altında tracking error'un sıfıra asimptotik yakınsadığını ifade etmektedir. Ancak gösterilen ispatlarda sıfır olmayan saldırı için Lyapunov farkının üst sınırı pozitif \(\chi\bar g^2\) terimi içermektedir. Negatif kesin Lyapunov farkı ve \(h(t)\to0\) sonucu açık biçimde \(\tilde g_p(t)=0\) attack-free özel durumda elde edilmektedir. Bu nedenle Verianla içeriğinde saldırı altındaki asimptotik sıfır-hata sonucu yazarların teorik iddiası olarak korunmuş, gösterilen eşitsizliklerden daha güçlü bağımsız bir sonuç çıkarılmamıştır.

Saldırı kestirim-hatası sınırı notu: Denklem (6) \(\|g_p(t)\|\leq\bar g\) ile gerçek saldırı sinyalini sınırlar. İspatta daha sonra \(\|\tilde g_p(t)\|\leq\bar g\) kullanılır. Kaynak, gerçek saldırının bounded olması ile estimation error'un aynı bound altında olması arasındaki geçişi ayrı olarak türetmemektedir.

Graf topolojisi notu: Ön bölümde temel ağ undirected graph olarak tanımlanmıştır. Buna karşılık sayısal deneyde verilen adjacency matrix simetrik değildir ve Şekil 1 yönlü/dallanan leader–follower bağlantılarını göstermektedir. Kaynak bu teori–simülasyon topoloji farkını ayrıca açıklamamıştır.

“Line graph” notu: Numerical Experiments bölümü dokuz robotlu yapıyı “line graph” olarak adlandırmaktadır; yayımlanan adjacency matrix ve Şekil 1 ise basit bir çizgi grafikten farklı bir dallanmış yapı göstermektedir.

Notasyon sınırı: \(F\) sembolü teorik hata dinamiklerinde graph-based interaction matrix için kullanılırken Numerical Experiments bölümünde coupled-dynamics diyagonal parametre matrisi için tekrar kullanılmaktadır. Bu nedenle \(I-eF\) ve Lyapunov eşitlikleri yorumlanırken hangi \(F\)'nin kastedildiğine dikkat edilmelidir.

Lyapunov matrisi notu: Kaynak sayısal deneyde \(P=I\) ve \(R=0,5I\) seçildiğini belirtmektedir; ancak kullanılan kesin etkileşim matrisiyle \((I-eF)^TP(I-eF)-P=-R\) eşitliğinin sayısal doğrulamasını ayrıca göstermemektedir.

Estimator tekrarlanabilirliği sınırı: Attack estimator update law \(\hat g(t+1)=\hat g(t)+\sigma h(t)\) biçimindedir. Buna karşın simülasyon bölümünde \(\sigma\)'nın sayısal değeri verilmemiştir; bu durum birebir reproduction'ı sınırlandırmaktadır.

Baseline karşılaştırma sınırı: Kaynak metni baseline controller, tracking-error norm, consensus error, settling time ve control effort karşılaştırmasının simülasyona eklendiğini belirtmektedir. Ancak yayımlanan şekil ve sonuçlarda baseline'a ait ayrı nicel metric table sunulmamaktadır. Şekil 19–20 “without control” ve “with control” durumlarını karşılaştırmaktadır. Bu nedenle önerilen kontrolcünün baseline'a göre nicel üstünlük yüzdesi hesaplanmamıştır.

Şekil 13 notu: Grafiğin başlığı saldırılı durumu “Corrupted State Trajectories With Attack” olarak gösterirken figür açıklamasında “without attack” ifadesi bulunmaktadır. Verianla içeriğinde grafik başlığı ve bölüm bağlamı esas alınarak bunun saldırılı durum olduğu belirtilmiştir; kaynak caption'ı sessizce düzeltilmemiştir.

Şekil 17 notu: Kaynak Şekil 17'yi system stability ve convergence'ın doğrulaması olarak yorumlamaktadır. Bununla birlikte yayımlanan Lyapunov-function grafiğinde bazı eğriler zaman içinde büyüyen profil göstermekte ve bu görünüm ispat bölümündeki monoton azalma ifadesiyle açıklanmamaktadır.

Şekil 18 notu: Temel attack equations 0,5 ve 0,3 genlikli sinüs/kosinüs sinyalleridir; Şekil 18'in dikey ölçeği yaklaşık ±15'e ulaşmaktadır. Kaynak bu iki gösterim arasında scaling veya aggregation ilişkisi vermemektedir.

Gerçek dünya sınırı: Communication delays, packet losses ve gerçek robot-platform validation makalenin gelecek çalışma başlıkları arasındadır. Mevcut çalışma bu koşullarda güvenlik veya kararlılık garantisi vermemektedir.

Bu Verianla içeriğindeki matematiksel denklemler, saldırı modelleri, simülasyon parametreleri, grafik yorumları ve bilimsel sınırlılıklar yalnızca incelenen çalışmaya dayanmaktadır. Dış kaynak yalnız resmî bibliyografik kimliğin doğrulanması amacıyla kullanılmış; dışarıdan yeni kontrol performansı veya siber saldırı sonucu eklenmemiştir.