Bilim insanları, rastgele davranış gösteren sistemlerin güvenlik sınırları içinde kalarak tekrarlayan görevleri yerine getirme olasılığını hesaplayan yenilikçi bir matematiksel model geliştirdi. Bu çalışma, özellikle otonom sistemler ve robotik uygulamalar için kritik önem taşıyor.
Araştırma ekibi, stokastik (rastgele) ayrık zamanlı sistemlerde 'kısıtlı işgal süresi' problemini ele alarak, sistemlerin belirli hedef bölgeleri en az k kez ziyaret etme olasılığını güvenlik koşullarını koruyarak hesaplama yöntemi sunuyor. Bu tür kümülatif özellikler, gözetleme sistemleri ve periyodik şarj işlemleri gibi tekrarlayan davranışların sertifikasyonu için hayati öneme sahip.
Çalışmanın temel yeniliği, 'çarpımsal stokastik bariyer fonksiyonları' kavramının tanıtılması. Bu fonksiyonlar, ziyaret sayılarını skaler bir bariyerin cebirsel yapısı içinde dolaylı olarak kodlayarak, karmaşık hesaplamaları basitleştiriyor. Araştırmacılar, güvenlik koşullarını ele almak için 'anahtarlı sistem' yaklaşımını benimseyerek, hem sonlu hem de sonsuz zaman ufukları için kesin olasılık sınırları türetmiş.
Model, iki farklı bariyer türü kullanıyor: dağıtıcı bariyerler sık ziyaretlerin üstel azalışını sağlayan üst sınırlar belirlerken, çekici bariyerler submartingale analizi yoluyla alt sınırlar sağlıyor. Bu yaklaşım, güvenlik kritik sistemlerin performans garantilerini matematiksel kesinlikle doğrulamaya olanak tanıyor.