To'siq sertifikati - Barrier certificate
 | Bu maqola aksariyat o'quvchilar tushunishi uchun juda texnik bo'lishi mumkin. Iltimos uni yaxshilashga yordam bering ga buni mutaxassis bo'lmaganlarga tushunarli qilish, texnik ma'lumotlarni olib tashlamasdan. (2018 yil sentyabr) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) |
A to'siq sertifikati [1] xavfsizligining isboti sifatida xizmat qilishi mumkin bo'lgan ob'ekt oddiy differentsial tenglama yoki gibrid dinamik tizim. To'siq sertifikatlari xavfsizlik rolida o'xshash rol o'ynaydi Lyapunov vazifalari barqarorlik uchun. Muayyan turdagi xavfsizlik xususiyatini qat'iy bajaradigan har bir oddiy differentsial tenglama uchun tegishli to'siq sertifikati mavjud.[2]
Adabiyotlar
- ^ Prajna, Stiven va Ali Jadbabai. "To'siq sertifikatlari yordamida gibrid tizimlarning xavfsizligini tekshirish". Gibrid tizimlar bo'yicha xalqaro seminar: hisoblash va boshqarish. Springer, Berlin, Heidelberg, 2004 yil.
- ^ Stefan Ratschan: "Xavfsizlik va to'siq sertifikatlari uchun suhbat teoremalari" .IEEE Trans. Avtomatik boshqarish to'g'risida, 63-jild, 8-son, 2018 yil