Akademik arama
“Etkin Küme İnvaryans Filtreleme” için 1 doğrulanmış makale incelemesi bulundu.
Mühendislik ve Teknoloji · Bilgisayar ve Elektrik Mühendisliği
Emniyet kritik siber-fiziksel sistemlerde yapay zekâ, makine öğrenmesi ve karmaşık otonom kontrol algoritmalarının kullanımı yaygınlaşırken, bu sistemlerin geleneksel çevrimdışı doğrulama ve sertifikasyon yöntemleriyle emniyet güvencesine alınması ciddi bir teknik engel oluşturmaktadır. Ticari havacılık gibi alanlarda aşırı düşük hata olasılığı gereksinimleri, performans odaklı birincil denetleyicilerin doğrudan doğrulanmasını zorlaştırır. Bu durum, karmaşık denetleyici yapısından bağımsız çalışan ve emniyet ihlallerini anlık olarak engelleyen çalışma zamanı güvencesi (RTA) sistemlerinin geliştirilmesini ve kuramsal olarak incelenmesini gerekli kılmıştır.