Bariyer sertifikası - Barrier certificate
 | Bu makale çoğu okuyucunun anlayamayacağı kadar teknik olabilir. Lütfen geliştirmeye yardım et -e uzman olmayanlar için anlaşılır hale getirinteknik detayları kaldırmadan. (Eylül 2018) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin) |
Bir bariyer sertifikası [1] bir güvenlik kanıtı olarak hizmet edebilecek bir nesnedir adi diferansiyel denklem veya hibrit dinamik sistem. Bariyer sertifikaları, güvenlik için analog rol oynar. Lyapunov fonksiyonları istikrar için. Belirli bir tipteki bir güvenlik özelliğini sağlam bir şekilde yerine getiren her sıradan diferansiyel denklem için karşılık gelen bir bariyer sertifikası vardır.[2]
Referanslar
- ^ Prajna, Stephen ve Ali Jadbabaie. "Bariyer sertifikaları kullanarak hibrit sistemlerin güvenlik doğrulaması." Uluslararası Hibrit Sistemler Çalıştayı: Hesaplama ve Kontrol. Springer, Berlin, Heidelberg, 2004.
- ^ Stefan Ratschan: "Converse Theorems for Safety and Barrier Certificates" .IEEE Trans. Otomatik Kontrol, Cilt 63, Sayı 8, 2018