Кедергі туралы куәлік - Barrier certificate

A тосқауыл сертификаты [1] қауіпсіздігінің дәлелі бола алатын объект болып табылады қарапайым дифференциалдық теңдеу немесе гибридті динамикалық жүйе. Кедергі сертификаттары қауіпсіздік рөліне ұқсас рөл атқарады Ляпуновтың функциялары тұрақтылық үшін. Белгілі бір типтегі қауіпсіздік қасиетін сенімді түрде орындайтын әрбір қарапайым дифференциалдық теңдеу үшін тиісті тосқауыл сертификаты бар.[2]


Әдебиеттер тізімі

  1. ^ Праджна, Стивен және Али Джадбабай. «Тосқауыл сертификаттарын қолдана отырып, гибридті жүйелердің қауіпсіздігін тексеру». Гибридті жүйелер бойынша халықаралық семинар: есептеу және басқару. Шпрингер, Берлин, Гейдельберг, 2004 ж.
  2. ^ Стефан Ратчан: «Қауіпсіздік және тосқауыл сертификаттарына арналған теоремалар» .IEEE Транс. Автоматты басқару туралы, 63 том, 8 шығарылым, 2018 ж