Teknoloji & Yapay Zeka

Güvenlik Kritik Sistemlerde Yeni Kontrol Yaklaşımı: MCI-MPC

Araştırmacılar, güvenlik açısından kritik sistemlerin kontrolü için yeni bir Model Öngörülü Kontrol (MPC) yaklaşımı geliştirdi. Maximal Controlled Invariant-MPC (MCI-MPC) adı verilen bu yöntem, Kontrol Engel Fonksiyonlarını (CBF) terminal kısıt olarak kullanarak hem güvenliği garanti ediyor hem de sistemin performansını artırıyor. Geleneksel yöntemlerde güvenlik kısıtları genellikle aşırı muhafazakâr olur, bu da sistem performansını düşürür. Yeni yaklaşım, öngörü ufkunun artmasıyla birlikte fizibiliteyi ve erişilebilir kümeleri iyileştiriyor. Nonholonomik sistemler üzerinde yapılan simülasyonlarda, çözümsüz nokta sayısının 1,7 ila 2,7 kat azaldığı gözlemlendi.

Güvenlik açısından kritik sistemlerde optimal kontrol, genellikle kısıtların ne kadar muhafazakâr olduğuna bağlıdır. Araştırmacılar bu soruna yönelik yeni bir çözüm geliştirerek, Model Öngörülü Kontrol (MPC) yaklaşımında önemli bir ilerleme kaydetti.

Kontrol Engel Fonksiyonları (CBF), güvenlik kısıtlarını temsil etmek için yaygın olarak kullanılıyor ancak minimal muhafazakâr bir CBF oluşturmak hesaplama açısından oldukça zor. Bu nedenle güvenliği garanti ederken muhafazakârlığı azaltan yaklaşımlar, sistem performansını önemli ölçüde artırabilir.

Yeni geliştirilen Maximal Controlled Invariant-MPC (MCI-MPC) formülasyonu, CBF'yi terminal kısıt olarak kullanarak öngörü ufkunun artmasıyla birlikte fizibiliteyi ve erişilebilir kümeleri iyileştirdiği matematiksel olarak kanıtlandı. İspatların yapıcı doğası, doğrusal olmayan optimizasyon probleminin sıcak başlatılmasına olanak tanıyarak hesaplama süresini önemli ölçüde azaltıyor.

Basit nonholonomik sistemler üzerinde yapılan simülasyonlar sonuçları sayısal olarak doğruladı. Test sonuçlarında, fizibil olmayan nokta sayısının 1,7 ila 2,7 faktör arasında azaldığı gözlemlendi. Bu gelişme, otonom araçlardan robotik sistemlere kadar geniş bir uygulama alanında güvenlik ve performans dengesini optimize edebilir.

Özgün Kaynak
arXiv — Bilgisayar Sistemleri
Maximal Controlled Invariant-MPC: Enhancing Feasibility and Reducing Conservatism through Terminal CBF Constraint in Safety-Critical Control
Orijinal makaleyi oku

Bu içerik, özgün kaynaktaki bilgiler temel alınarak BilimKapsül editörleri tarafından yeniden kaleme alınmıştır. Orijinal metnin birebir çevirisi değildir. Telif hakkı özgün yayıncıya aittir.