Bariérový certifikát - Barrier certificate

A bariérový certifikát [1] je objekt, který může sloužit jako důkaz bezpečnosti obyčejná diferenciální rovnice nebo hybridní dynamický systém. Bariérové ​​certifikáty hrají z hlediska bezpečnosti obdobnou roli jako role Lyapunovovy funkce pro stabilitu. Pro každou běžnou diferenciální rovnici, která robustně splňuje bezpečnostní vlastnosti určitého typu, existuje odpovídající bariérový certifikát.[2]


Reference

  1. ^ Prajna, Stephen a Ali Jadbabaie. „Bezpečnostní ověření hybridních systémů pomocí bariérových certifikátů.“ Mezinárodní workshop o hybridních systémech: Výpočet a řízení. Springer, Berlín, Heidelberg, 2004.
  2. ^ Stefan Ratschan: „Konverzní věty o bezpečnostních a bariérových certifikátech“. IEEE Trans. o automatickém řízení, svazek 63, vydání 8, 2018