Bu araştırma, bağlantılı araçların bir konvoy halinde ilerlerken aynı hedef hıza ulaşmasını, aralarındaki hedef mesafeyi korumasını ve bir araçta oluşan konum hatasının konvoy boyunca büyümemesini sağlamak için dağıtık hiyerarşik model öngörülü kontrol (Distributed Hierarchical Model Predictive Control, DMPC) yaklaşımı geliştiriyor. Yöntem iki hedefi birbirinden ayırıyor: tek aracın izleme kararlılığı alt katmanda, komşu araçlarla dinamik uzlaşma ise üst katmanda optimize ediliyor. Alt katmandan elde edilen kararlılık maliyetinin optimum değeri, üst katmandaki uzlaşma problemine kontraktif bir kısıt olarak bağlanıyor. Teorik analiz, belirtilen varsayımlar ve kısıtlar altında özyinelemeli uygulanabilirlik, asimptotik araç kararlılığı ve \(\rho_i<1\) hata sönümlemesiyle predecessor–follower string stability sağlandığını gösteriyor. Yedi araçlı temel simülasyonda 19 m/s'den 20 m/s'ye hız geçişi ve 20 m hedef mesafe başarıyla izlenirken, yöntem 3 ve 12 araçlı konvoylarda, beş heterojen araçta, 24 m/s acil hızlanma, 16 m/s acil yavaşlama ve yuvarlanma direncinin ±%10 değiştiği senaryolarda da sayısal olarak sınanıyor.

Çalışmanın önemli farkı, kararlılık ile araçlar arası uzlaşmayı tek bir ağırlıklı maliyet fonksiyonunda birleştirmemesidir. Geleneksel ağırlıklı MPC'de doğru ağırlıkların seçimi kapalı çevrim davranışını güçlü biçimde etkileyebilir. Araştırmacıların simülasyonunda ağırlık ve kısıt parametreleri nominal değerlerinden uzaklaştırıldığında W–MPC'de belirgin hız ve mesafe salınımları oluşurken önerilen D–MPC daha düzgün geçici davranış göstermektedir. Bununla birlikte bu karşılaştırma dış bozucu eklenmiş bir dayanıklılık testi değildir; kontrol tasarım parametrelerinin kasıtlı değiştirilmesine dayalı bir simülasyondur.

Gerçek zamanlılık açısından yedi araçlı simülasyonda maksimum tek-adım çözüm süreleri 0,2700–0,2818 s arasında ve 0,3 s örnekleme süresinin altında kalmıştır. Ancak kullanılan bilgisayarın donanımı raporlanmamış ve kontrolcü gerçek bir araç ECU'sunda çalıştırılmamıştır. Ayrıca ana model sıfır iletişim gecikmesi, sıfır paket kaybı, düz yol ve bozucusuz sistem varsaymaktadır. Bu nedenle çalışma gerçek karayolunda otonom araç konvoyu güvenliği veya gerçek V2X ağı altında çalışma garantisi değil, güçlü teorik sonuçlar ve sayısal simülasyon doğrulaması sunmaktadır.

Türkiye açısından: Yöntem, gelecekte bağlantılı ve otomatik araçların konvoy kontrolü açısından Türkiye'deki araştırma ve geliştirme çalışmalarına uyarlanabilecek bir kontrol mimarisi sunmaktadır; ancak çalışma Türkiye'deki yol, V2X altyapısı, taşıt filosu veya haberleşme koşullarını kullanmamıştır. Yerel uygulama için gerçek gecikme ve paket kaybı dağılımları, farklı araç sınıfları, eğimli yollar, yol tutunma değişimleri, sensör/aktüatör hataları, yasal güvenlik gereklilikleri ve otomotiv sınıfı hesaplama donanımı üzerinde ayrıca doğrulama gerekir. Kaynaktaki simülasyon sonuçlarından Türkiye yollarında belirli bir güvenlik, kapasite veya trafik akış kazancı çıkarılamaz.

Araç konvoyunda iki farklı kontrol problemi neden var?

Bir araç konvoyunda “bütün araçların aynı hızda gitmesi” tek başına yeterli değildir. Her aracın kendi hız ve konum hatasının kararlı biçimde sıfıra yaklaşması gerekirken, komşu araçların da birbirleriyle tutarlı bir hareket göstermesi gerekir.

Araştırmacılar bu iki hedefi şu şekilde ayırmaktadır:

• Yerel kararlılık: Her aracın kendi konum ve hız sapmalarının denge noktasına yaklaşması.
• Dinamik uzlaşma: Bir aracın tahmin edilen hareketinin kendi önceki tahmini ve haberleştiği komşuların tahminleriyle uyumlu hale gelmesi.

Bu ayrım özellikle önemlidir; çünkü yalnız uzlaşmayı optimize etmek her zaman tek tek araçların kararlılığını garanti etmeyebilir. Çalışmanın Şekil 3b'sinde yalnız dynamic-consensus maliyetinin kullanıldığı C–MPC senaryosu bunun sayısal örneğini verir: konum hataları sıfıra yakınsamaz ve sistem kararlı bir formasyona yerleşmez.

Araç modeli hangi değişkenleri kullanıyor?

Konvoydaki \(p_i\) aracının konumu \(s_i\), hızı \(v_i\), liderin referans konumu \(s_L\), istenen hız \(v_0\) ve hedef araçlar arası mesafe \(d\) olarak tanımlanıyor.

Konum hatası:

\[ e_{p,i}=s_L-s_i-(i-1)d \]

hız hatası ise:

\[ e_{v,i}=v_i-v_0 \]

olarak tanımlanıyor.

Durum vektörü:

\[ x_i(k)= \begin{bmatrix} e_{p,i}(k)\\ e_{v,i}(k) \end{bmatrix} \]

şeklindedir.

Araştırmacılar boylamsal dinamiği aerodinamik ve yuvarlanma dirençlerini de içeren doğrusal olmayan ayrık zamanlı modelle ifade etmektedir:

\[ e_{p,i}(k+1) = e_{p,i}(k)+e_{v,i}(k)\Delta t \]

\[ e_{v,i}(k+1) = e_{v,i}(k) + \frac{\Delta t}{m_i} \left( \frac{\eta_{T,i}}{r_i}u_i(k) - \phi_i(e_{v,i}(k)) \right) \]

ve:

\[ \phi_i(e_{v,i})= C_{A,i}e_{v,i}^{2} + m_i g\mu_i \]

olarak verilmektedir.

Burada \(m_i\) araç kütlesini, \(C_{A,i}\) aerodinamik direnç katsayısını, \(r_i\) lastik yarıçapını, \(\mu_i\) yuvarlanma direnç katsayısını ve \(\eta_{T,i}\) mekanik verimi temsil etmektedir.

Birim notu: Kaynak \(u_i\)'yi istenen sürüş/fren torku olarak tanımlarken simülasyon bölümünde kontrol sınırını 3000 N olarak yazmaktadır. Tork tanımıyla `N` birimi boyutsal olarak uyuşmadığından bu değer kaynakta verildiği biçimi aşacak şekilde düzeltilmemiştir.

String stability tam olarak ne anlama geliyor?

Bir konvoyda lider hız değiştirince bütün araçlarda geçici konum hatası oluşabilir. Kritik soru, bu hatanın arkaya doğru büyüyüp büyümediğidir.

Kaynak predecessor–follower string stability için:

\[ \max_{k\geq0}|e_{p,i}(k)| \leq \rho_i \max_{k\geq0}|e_{p,i-1}(k)| \]

koşulunu kullanır ve:

\[ 0<\rho_i<1 \]

ister.

Bu eşitsizlik sağlandığında takip eden aracın en büyük konum hatası öndeki aracın en büyük hatasından küçüktür. Böylece bozucu veya geçici hata konvoy boyunca çoğalmak yerine azalır.

Çalışma performans değerlendirmesi amacıyla ayrıca yaklaşık ±0,5 m ayırma hatası sınırı önerir. Ancak bu değer doğrudan fiziksel çarpışma önleme kısıtı olarak formüle edilmemiştir.

Karma iletişim topolojisi nedir?

Araçlar arasındaki haberleşme yönlü bir grafik:

\[ G=\{H,C,A\} \]

ile modellenmektedir. \(H\) araç düğümlerini, \(C\) iletişim bağlantılarını ve \(A\) komşuluk matrisini temsil eder.

\(a_{ij}=1\) olması bir aracın başka bir araca bilgi aktardığını gösterir. Böylece bazı iletişim bağlantıları yalnız tek yönde, bazıları iki yönde olabilir. Kaynak bunu “mixed communication topology” olarak tanımlar.

Şekil 2'de yedi ayrı topoloji çizimi bulunmaktadır. Bunların bazılarında yalnız ardışık araç bağlantıları, bazılarında ise birkaç aracı atlayan uzun bağlantılar ve çift yönlü bilgi yolları birlikte bulunmaktadır. Simülasyonların amacı yöntemin tek bir sabit lider–takipçi haberleşme şemasına bağlı olmadığını göstermektir.

Dinamik uzlaşma maliyeti neyi ölçüyor?

Her araç için üst katmanın maliyeti:

\[ J_{i,c}(x_i(k),u_i(k)) = \sum_{t=0}^{N-1} L_{i,c}(x_i(t|k),u_i(t|k)) \]

biçiminde tanımlanıyor.

Aşama maliyeti:

\[ L_{i,c} = \|x_i-x_i^a\|_{F_i} + \sum_{j\in\Omega_i} \|x_i-x_j^a\|_{G_j} \]

yapısındadır.

İlk terim aracın yeni tahmininin daha önce varsaydığı kendi yörüngesinden ne kadar uzaklaştığını, ikinci terim ise aldığı komşu tahminlerinden ne kadar uzaklaştığını cezalandırmaktadır.

Dolayısıyla MPC yalnız takip hatasını değil, haberleşme ağındaki araçların gelecekteki hareket planlarının birbirleriyle tutarlılığını da optimize eder.

Alt katman kararlılığı nasıl optimize ediyor?

Tek araç için kararlılık maliyeti standart pozitif tanımlı MPC yapısına sahiptir:

\[ J_i = x_i^T(N|k)P_i x_i(N|k) + \sum_{t=0}^{N-1} \left[ x_i^T(t|k)Q_i x_i(t|k) + u_i^T(t|k)R_i u_i(t|k) \right] \]

\(Q_i\), \(R_i\) ve terminal \(P_i\) matrisleri pozitif tanımlı maliyet yapılarını oluşturur. Problem 2 bu maliyeti minimize ederek:

\[ u_i^s(k) \]

kararlılık odaklı optimum kontrol dizisini üretir.

İki MPC katmanı nasıl birbirine bağlanıyor?

Çalışmanın en önemli matematiksel yeniliği burada ortaya çıkıyor. Alt kararlılık probleminden elde edilen optimum maliyet \(J_i^s\), üst uzlaşma probleminde bir sınır oluşturmak için kullanılıyor:

\[ J_i(x_i(k),u_i(k)) \leq \phi_i(x_i(k),\lambda_i) \]

ve:

\[ \phi_i(x_i(k),\lambda_i) = J_i^s(x_i(k)) + \lambda_i \left[ J_i^o(x_i(k-1)) - J_i^s(x_i(k)) \right] \]

şeklinde tanımlanıyor.

Kaynağın yöntem ve ispatında:

\[ 0\leq\lambda_i<1 \]

kullanılmaktadır.

Bu kontraktif kısıt, üst katmanın daha iyi araçlar arası uzlaşma ararken alt katmanın sağladığı kararlılık özelliğini aşırı derecede bozmasını engeller.

Önemli ayrım: Makalenin kendisi Equation 13'ün doğrudan bir minimum mesafe veya çarpışma güvenliği kısıtı olmadığını açıkça belirtir. Ana görevi, bir sonraki MPC adımında yine uygulanabilir bir çözüm bulunabilmesini desteklemektir.

Hiyerarşik yaklaşım ile ağırlıklı MPC arasındaki fark nedir?

Alternatif yaklaşımda kararlılık ve uzlaşma terimleri aynı maliyet fonksiyonuna bir ağırlık katsayısı \(\tau\) ile eklenebilir. Ancak uygun ağırlıkların çevrim dışı deneylerle seçilmesi gerekir.

Çalışmada Weighted MPC için:

\[ \tau=0,7 \]

kullanılmıştır.

Şekil 4'te kontrol ağırlıkları ve kontraktif kısıt parametreleri nominal değerlerinden saptırıldığında W–MPC'nin mesafe ve hız cevapları daha belirgin salınım gösterirken D–MPC daha düzgün sönümlenmektedir.

Bu karşılaştırmada dış yol bozucusu veya haberleşme arızası uygulanmadığı özellikle belirtilmektedir. Buradaki “robustluk”, kaynakta öncelikle kontrol ayarlarının değişmesine duyarlılık anlamındadır.

Özyinelemeli uygulanabilirlik neden kritik?

MPC'nin bir zaman adımında çözüm bulması tek başına yeterli değildir. Bir sonraki adımda da kısıtların tamamını sağlayan yeni bir kontrol dizisi bulunabilmelidir.

Teorem 1, terminal geri besleme yasası ve ilgili parametre koşulları altında önceki optimum dizinin kaydırılmış biçiminden yeni bir uygulanabilir aday oluşturulabildiğini göstermektedir. Böylece uygulanabilir başlangıç kümesi \(X_{i,N}\), kapalı çevrim için invariant set olarak ele alınmaktadır.

Asimptotik kararlılık nasıl gösteriliyor?

Teorem 2'de optimum MPC maliyeti Lyapunov benzeri değer fonksiyonu olarak kullanılır. Kaynağın türetiminde:

\[ V_i^o(k)-V_i^o(k-1) \leq -(1-\lambda_i)L_i(\cdot) \leq0 \]

sonucuna ulaşılmaktadır.

\(L_i\) pozitif tanımlı ve \(0\leq\lambda_i<1\) olduğunda maliyet kapalı çevrim boyunca azalır ve denge noktasının asimptotik kararlılığı elde edilir.

Kaynak içi matematiksel not: Teorem 2'nin başlık cümlesi bir noktada “\(\lambda_i\geq0\)” derken ispat ve önceki tanım açıkça \([0,1)\) aralığını kullanmaktadır. Bu nedenle koşul genişletilerek \(\lambda_i\geq1\) için geçerliymiş gibi yorumlanmamıştır.

String stability ispatı neye dayanıyor?

Teorem 3'ün temel fikri, tahmin ufkunun her noktasında takipçinin konum hatasının öndeki aracın hata zarfının \(\rho_i\) katını geçmemesidir.

Receding-horizon uygulamasında optimum dizinin ilk kontrolü gerçek sisteme uygulandığı için aynı sınır kapalı çevrim hatasına aktarılır. \(\rho_i<1\) olduğundan hataların arka araçlara doğru büyümediği sonucuna ulaşılır.

Bu matematiksel garanti kaynakta belirtilen uygulanabilirlik, model ve iletişim varsayımlarına bağlıdır.

Temel yedi araçlı simülasyon nasıl kurulmuş?

Homojen araç modeli hangi fiziksel parametrelerle çalışıyor?

Son altı saniyede konum hataları gerçekten sıfır mı?

Kaynak metin konum hatalarının sıfıra yakınsadığını ifade etmektedir. Ancak son altı saniyenin istatistiklerini veren Tablo 3, çok küçük fakat sıfır olmayan ortalama değerler raporlamaktadır:

Dolayısıyla sonlu simülasyon süresindeki sayısal sonuç yaklaşık 9–10 mm ortalama artık hata düzeyindedir. Teorik asimptotik yakınsama ile sonlu zaman simülasyonundaki sayısal artık birbirinden ayrılmalıdır.

Kontrolcü 0,3 saniye içinde hesaplama yapabiliyor mu?

Kaynakta yedi araç için her MPC adımının hesaplama süresi ölçülmüştür. Bütün maksimum değerler 0,3 saniyelik örnekleme süresinin altında kalmaktadır.

Heterojen araçlar nasıl sınandı?

Beş araçlı ikinci senaryoda kütle, aerodinamik direnç, tekerlek yarıçapı, yuvarlanma direnci ve mekanik verim araçtan araca değiştirilmiştir.

Şekil 6'da bütün araçların hızlarının referansı takip ettiği ve göreli konum hatalarının küçüldüğü gösterilmektedir. Bu sonuç, yöntem tarafından kullanılan yerel araç modellerinin farklılaştırılabildiğini göstermektedir.

Ancak yalnız beş parametrik araç kullanılmıştır; lastik, güç aktarma, fren, aktüatör gecikmesi veya sensör farklılıklarının tam fiziksel modeli test edilmemiştir.

Yöntem daha uzun konvoylara ölçeklenebiliyor mu?

Şekil 7'de yöntem ayrıca 12 araçlı ve 3 araçlı homojen konvoylarda çalıştırılmıştır. Her iki durumda da konum hatalarının küçüldüğü ve hızların hedef 20 m/s'ye yerleştiği görülmektedir.

Bu sonuç yöntemin yalnız yedi araçlık tek bir yapıya kilitli olmadığını destekler; ancak çalışma hesaplama maliyetinin araç sayısıyla matematiksel veya deneysel büyüme eğrisini vermemektedir. Dolayısıyla çok büyük araç filolarına doğrusal biçimde ölçeklendiği iddia edilemez.

Farklı iletişim ağlarında ne oluyor?

Şekil 8'de Şekil 2b ve Şekil 2c'deki farklı karma iletişim bağlantıları için yedi araçlı simülasyonlar verilmiştir. Her iki topolojide de araç hızları yaklaşık 20 m/s'de birleşirken konum hataları küçük değerlere sönmektedir.

Bu, kontrol yasasının yalnız tek bir adjacency matrix'e özgü olmadığını desteklemektedir. Ancak ana model iletişim paketlerinin zamanında ve kayıpsız ulaştığını kabul etmektedir.

Uzlaşma ağırlıkları davranışı değiştiriyor mu?

Üç ağırlık kombinasyonu incelenmiştir:

Şekil 9–10 bu farkı konum hataları ve dinamik uzlaşma değer fonksiyonlarının zamana bağlı azalması üzerinden göstermektedir. Kaynak kesin bir saniye cinsinden convergence-time tablosu vermediğinden bu nitel sıralama sayısal süreye çevrilmemiştir.

Acil hızlanma ve yavaşlamada ne oluyor?

Şekil 11a'da referans hız 24 m/s'ye yükseltilmiştir. Konvoy geçici hızlanma sonrasında hedef değere yerleşmekte ve araçlar arası göreli konum hataları küçülmektedir.

Şekil 11b'de hedef hız 16 m/s'ye düşürülmektedir. Araçlar kısa geçici süreçten sonra yeni hıza yerleşmektedir.

Kaynak simülasyonda izin verilen ivme aralığını −5 ila +5 m/s² olarak vermektedir ve grafiklerde kontrol cevabı bu sınırlar içinde kalmaktadır.

Yol koşulu değişiminde ne test edildi?

Çalışma, \(\mu_i\) yuvarlanma direnç katsayısını nominal değerin yaklaşık ±%10 çevresinde değiştirerek başka bir simülasyon gerçekleştirmektedir. Şekil 11c'de araçların yeniden ortak hedef davranışa ulaştığı gösterilmektedir.

Buradaki \(\mu_i\), çalışmanın boylamsal direnç modelinde kullanılan yuvarlanma direnci katsayısıdır. Bu deney tam lastik–yol sürtünme çemberi, buzlanma, hidroplaning veya doğrusal olmayan lastik kuvvetleri simülasyonu değildir.

Gerçek haberleşme gecikmeleri neden henüz çözülmüş sayılmıyor?

Ana formülasyon açıkça iletişim gecikmesi ve paket kaybı olmadığını varsaymaktadır. Bölüm 6'da yazarlar bunun gerçek V2X ağları için sınırlılık olduğunu kabul etmektedir.

Gelecekte önerilen fikirler arasında gecikme hatasını karşılamak için robust constraint tightening, offset-free kontrol, integral etki veya disturbance observer ve ağ kalitesine göre dinamik güvenlik payları bulunmaktadır.

Bunlar makalede uygulanmış ve Şekil 3–11'de test edilmiş mevcut algoritmanın bir parçası değildir; gelecekteki genişletme önerileridir.

Federated learning bu çalışmada gerçekten kullanıldı mı?

Hayır. Bölüm 6.3, federated learning ile hiyerarşik MPC arasında kavramsal bir köprü kurmaktadır. Yazarlar gelecekte üst katmanın ortak trafik davranışını öğrenen bir global aggregator, alt katmanın ise araç türüne özgü personalized client gibi düşünülebileceğini tartışmaktadır.

Benzer biçimde kategori yönlendirmeli graph convolution ve çevrimiçi \(\lambda\) öğrenimi de gelecekteki mimari fikirleridir. Mevcut simülasyon sonuçları bu yöntemlerin etkisini ölçmemektedir.

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

• Kararlılık ve dinamik uzlaşma hedefleri iki hiyerarşik MPC problemi olarak ayrılabilir.
• Kararlılık optimum değerinin kontraktif kısıt olarak kullanılması, belirtilen varsayımlar altında özyinelemeli uygulanabilirlik analizine imkân verir.
• Kaynağın koşulları altında tek araç denge noktası için asimptotik kararlılık gösterilmektedir.
• \(\rho_i<1\) konum hata kısıtı altında predecessor–follower string stability için yeterli koşullar türetilmiştir.
• Yedi araçlı simülasyonda hiyerarşik D–MPC, ağırlıklı W–MPC'ye göre parametre değişimlerinde daha düzgün geçici cevap göstermiştir.
• Model 3, 5, 7 ve 12 araçlı çeşitli sayısal senaryolarda ortak hız ve mesafe davranışı oluşturabilmiştir.
• 24 m/s hızlanma, 16 m/s yavaşlama ve ±%10 yuvarlanma direnci değişimi senaryolarında simülasyon kararlılığı korunmuştur.
• Yedi araçlı testte bütün tek-adım optimizasyon süreleri 0,3 s örnekleme süresinin altında kalmıştır.

Çalışmanın desteklemediği veya test etmediği sonuçlar

• Gerçek araç konvoyunda yol veya pist deneyi yapılmamıştır.
• Gerçek V2V/V2X iletişim gecikmesi ve paket kaybı ana kontrolcü üzerinde test edilmemiştir.
• Kontraktif kısıt doğrudan çarpışmasızlık veya minimum fiziksel mesafe garantisi değildir.
• Yüzlerce araçlık büyük ölçekli konvoylarda hesaplama ve haberleşme ölçeklenebilirliği doğrulanmamıştır.
• Gerçek ECU üzerinde worst-case execution time veya işlemci yükü ölçülmemiştir.
• Eğimli yollar, sensör hataları, fren/aktüatör arızaları ve kuvvetli dış bozucular mevcut simülasyonlarda bulunmamaktadır.
• Federated learning, graph neural network veya çevrimiçi öğrenilen \(\lambda\) mevcut yöntemde uygulanmamıştır.
• Kaynakta tartışılan gecikme dayanıklılığı mevcut matematiksel garantiyle deneysel olarak doğrulanmamıştır.
• Farklı topolojiler test edilmiş olsa da tek bir koşu sırasında hızlı ve sürekli topology switching için kapsamlı deney sunulmamıştır.
• Simülasyonda konum hataları sonlu zaman boyunca tam olarak sıfır değildir; yaklaşık santimetre altı/santimetre ölçeğinde artıklar bulunmaktadır.

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

Kontrol probleminin temel yapısı

Her araç, tahmin ufku \(N\) boyunca kendi kontrol dizisini:

\[ u_i(k)= \{ u_i(0|k), u_i(1|k), \ldots, u_i(N-1|k) \} \]

olarak optimize eder.

Karşılık gelen durum dizisi:

\[ x_i(k)= \{ x_i(1|k), x_i(2|k), \ldots, x_i(N|k) \} \]

şeklindedir.

Üst katman: Problem 1

Problem 1 dinamik uzlaşma maliyetini minimize eder. Başlıca kısıtlar:

• Doğrusal olmayan araç dinamiği,
• Durum ve kontrol sınırları,
• Terminal bölge,
• String-stability konum hata sınırı,
• Kontraktif kararlılık sınırı

olarak tanımlanmıştır.

Alt katman: Problem 2

Problem 2 aynı araç dinamiği ve temel kısıtlar altında pozitif tanımlı izleme maliyetini minimize eder. Elde edilen optimum \(J_i^s\), Problem 1'e izin verilen kararlılık maliyetinin üst sınırını oluşturmak için kullanılır.

Receding-horizon kontrol

Problem 1'den elde edilen:

\[ u_i^o(k) \]

dizisinin yalnız ilk kontrolü uygulanır:

\[ u_i(k)=u_i^{cmpc}(k)=u_i^o(0|k) \]

Sonraki zaman adımında durum yeniden ölçülür ve bütün tahmin problemi tekrar çözülür.

Varsayılan yörüngenin güncellenmesi

Araçların komşularına ilettiği gelecekteki hareket tahmini, bir önceki optimum dizinin kaydırılması ve terminalde LQR geri beslemesi eklenmesiyle oluşturulur. Böylece dağıtık araçlar aynı geleceğe ilişkin tutarlı tahminler paylaşabilir.

Kararlılık için terminal yapı

Kaynak terminal bölge içinde bir yerel geri besleme:

\[ u_i=\kappa_i(x_i) \]

bulunduğunu ve terminal maliyetin:

\[ E_i(f_i(x_i,\kappa_i(x_i))) - E_i(x_i) \leq -L_i(x_i,\kappa_i(x_i)) \]

azalma koşulunu sağladığını varsayar. Bu, MPC kararlılık ispatının temel koşullarından biridir.

Temel kontrol parametreleri

S–MPC ve C–MPC karşılaştırması

S–MPC yalnız izleme kararlılığı amaç fonksiyonunu optimize eder. Şekil 3a'da araçların konum hataları kısa geçici süreçten sonra küçük değerlere sönmektedir.

C–MPC yalnız dynamic-consensus hedefini optimize eder. Şekil 3b'de sistem kararlı izleme davranışını kaybetmekte ve özellikle son araçlardan birinin konum hatası belirgin biçimde büyümektedir.

Bu sonuç iki hedefin koordinasyonunun neden gerekli olduğunu göstermektedir.

D–MPC ve W–MPC karşılaştırması

D–MPC araştırmanın önerdiği hiyerarşik yöntemdir; W–MPC ise ağırlıklı maliyet yaklaşımıdır. Kaynak ağırlık ve kontraktif parametrelerini değiştirerek tasarım hassasiyetini karşılaştırmıştır.

Şekil 4'te D–MPC'nin geçici hız tepe noktası sonrasında yaklaşık 20 m/s'ye düzgün biçimde yerleştiği; W–MPC'de ise hız ve konum hatasında daha fazla salınım oluştuğu görülmektedir.

Hesaplama zamanının mühendislik yorumu

En yüksek maksimum süre Araç 3 için:

\[ 0,2818\;s \]

olmuştur. 0,3 s örnekleme süresine göre kalan zaman:

\[ 0,3000-0,2818=0,0182\;s \]

yani 18,2 ms'dir.

Bu sonuç simülasyon ortamında deadline'ın kaçırılmadığını gösterir. Ancak güvenlik kritik gerçek zamanlı kontrol açısından işletim sistemi jitter'ı, V2X iletişim zamanı, sensör gecikmesi ve gerçek ECU yükü ayrıca hesaba katılmadığından nihai deployment garantisi değildir.

Ölçeklenebilirlik sonuçları

12 araçlı senaryoda bütün hız eğrileri yaklaşık aynı geçici tepe davranışından sonra 20 m/s'ye yerleşmiş ve konum hata eğrileri sıfır çevresine yaklaşmıştır.

3 araçlı senaryoda da benzer davranış gözlenmektedir. Ancak kaynak her araç sayısı için hesaplama süresi veya ağ trafiği tablosu vermediğinden algoritmanın karmaşıklık ölçeklemesi nicel olarak çıkarılamaz.

Karma topolojilerde uzlaşma

Şekil 8'in iki ayrı topolojisinde yedi araç ortak referans hızını izlemekte ve konum hataları küçük değerlere sönmektedir. Bu bulgu, adjacency yapısının değiştirilmesinin simülasyonlarda temel kontrol hedefini bozmadığını desteklemektedir.

Farklı ağırlıklarda değer fonksiyonları

Şekil 10'da Araç 2, 3, 5 ve 7 için dynamic-consensus maliyetleri üç weight case altında zamanla azalmaktadır. Case 1 en hızlı, Case 2 en yavaş, Case 3 ise ikisinin arasında sönümlenmektedir.

Bu sonuç hiyerarşik yapı ağırlık seçiminin kararlılık garantisini ana ağırlıklı maliyet yöntemindeki kadar kritik hale getirmese bile, \(F_i\) ve \(G_i\) değerlerinin uzlaşma hızını hâlâ etkilediğini göstermektedir.

Karmaşık sürüş koşullarındaki sayısal sonuçlar

Gelecekte yapılması önerilenler

Yazarlar gerçek sistemlere geçiş için özellikle şu alanları tartışmaktadır:

• İletişim gecikmesi ve paket kaybına karşı robust constraint tightening,
• Offset-free kontrol ve disturbance observer,
• Ağ kalitesine göre dinamik güvenlik payı,
• Kategori yönlendirmeli daha zengin graph representation,
• Çevrimiçi \(\lambda\) ayarlaması,
• Heterojen araçlara yönelik personalized federated learning,
• Gerçek deneysel doğrulama.

Bu maddeler sonuç tablolarındaki doğrulanmış özellikler değil, gelecekteki araştırma yönleridir.

Kaynak ve Yöntem Notu

Tam özgün çalışma adı: Distributed Hierarchical MPC for Consensus and Stability of Vehicle Platoons with Mixed Communication Topologies

Yazarlar ve sıraları: Zhuang Li; Zhenqi Fang; Yao Fang; Shaoxuan Luo.

Eş katkı/eş birinci yazar: Kaynakta eş birinci yazar işareti yoktur. Yazar katkıları bölümünde tüm yazarların çalışmanın kavramsallaştırma, metodoloji, yazılım, doğrulama, analiz, araştırma, veri kürasyonu, yazım, görselleştirme, gözetim, proje yönetimi ve finansman edinimi süreçlerine eşit katkıda bulunduğu belirtilmektedir.

Sorumlu yazar: Shaoxuan Luo.

Kurum: School of Electronic and Electrical Engineering, Bengbu University, Bengbu 233030, China.

Dergi: Vehicles.

Yayınevi: MDPI, Basel, Switzerland.

Yayın bilgisi: Vehicles 2026, 8, 82.

DOI: 10.3390/vehicles8040082.

Resmî bağlantı:https://doi.org/10.3390/vehicles8040082

Kaynak türü: Hakemli araştırma makalesi; doğrusal olmayan araç konvoyu için dağıtık hiyerarşik MPC geliştirme, Lyapunov/MPC temelli kararlılık analizi, string-stability ispatı ve sayısal simülasyon çalışmasıdır.

Hakemlik/yayın durumu: Kaynakta 9 Şubat 2026 alınma, 23 Mart 2026 revizyon, 31 Mart 2026 kabul ve 7 Nisan 2026 yayın tarihleri verilmektedir.

Lisans: Creative Commons Attribution (CC BY).

Finansman: Anhui Provincial Department of Education, Grant No. 2025AHGXZK20025. APC aynı proje tarafından finanse edilmiştir.

Veri erişilebilirliği: Verilerin makul talep üzerine sorumlu yazardan edinilebileceği; simülasyon model ve algoritmalarının yeniden üretime olanak sağlayacak ayrıntıda çalışma içinde verildiği belirtilmektedir.

Çıkar çatışması: Yazarlar çıkar çatışması olmadığını bildirmiştir.

Bilimsel içerik sınırı: Bu Verianla yazısındaki model, matematiksel denklemler, kontrol koşulları, simülasyon parametreleri, grafik yorumları, performans değerleri ve gelecekteki çalışma önerileri yalnızca incelenen çalışmaya dayanmaktadır. Kaynak dışından yeni araç konvoyu performansı veya V2X saha sonucu eklenmemiştir.

Deneysel durum: Çalışmanın doğrulaması sayısal simülasyona dayanmaktadır. Fiziksel araç, hardware-in-the-loop veya gerçek karayolu konvoy deneyi sunulmamaktadır.

İletişim varsayımı: Ana modelde iletişim ağının iyi çalıştığı, gecikme ve paket kaybı olmadığı açıkça varsayılmıştır. Bölüm 6'da robust delay compensation, federated learning ve gelişmiş graph representation tartışmaları gelecekteki uzantılardır.

Güvenlik kısıtı notu: Equation 13'teki kontraktif kararlılık kısıtı doğrudan minimum araçlar arası mesafe sınırı değildir. Kaynak bunun öncelikle recursive feasibility sağlamak için kullanıldığını belirtmektedir.

\(\lambda_i\) tutarsızlığı: Yöntem ve ispat boyunca \(\lambda_i\in[0,1)\) kullanılırken Teorem 2'nin ifade kısmında bir kez \(\lambda_i\geq0\) denilmektedir. Kararlılık ispatında \(1-\lambda_i\) katsayısının pozitifliği kullanıldığından bu Verianla aktarımında tutarlı kaynak aralığı \([0,1)\) korunmuştur.

Kontrol girdisi birim notu: \(u_i\) sürüş/fren torku olarak tanımlanmasına rağmen simülasyon kısıtında 3000 N birimi kullanılmaktadır. Kaynak içindeki bu boyutsal uyuşmazlık N·m olarak sessizce düzeltilmemiştir.

Konum hatası notu: Teorik ve anlatısal bölümlerde hataların sıfıra yakınsadığı belirtilirken, son altı saniyeyi raporlayan Tablo 3'te yaklaşık 0,0094–0,0099 m ortalama değerler vardır. Bu değerler küçük sonlu-zaman artık hatası olarak aktarılmıştır.

Gerçek zamanlılık sınırı: Yedi araç için maksimum çözüm süreleri 0,3 s örnekleme periyodunun altında kalmaktadır; ancak kullanılan bilgisayar donanımı belirtilmemiş ve gerçek otomotiv sınıfı kontrolcü üzerinde worst-case execution time doğrulaması yapılmamıştır.

Ölçeklenebilirlik sınırı: 3 ve 12 araçlı ilave simülasyonlar yöntemin farklı konvoy boyutlarında çalışabildiğini göstermektedir; çok büyük filolarda hesaplama ve iletişim karmaşıklığı ölçülmemiştir.

Karma topoloji sınırı: Şekil 2'de yedi farklı iletişim topolojisi ve bunların bazıları için ayrı simülasyonlar bulunmaktadır. Bu sonuçlar, tek bir test sırasında sürekli ve hızlı topology switching altında deneysel garanti anlamına gelmez.