Bariérový certifikát - Barrier certificate
![]() | tento článek může být pro většinu čtenářů příliš technická na to, aby je pochopili. Prosím pomozte to vylepšit na aby to bylo srozumitelné pro neodborníky, aniž by byly odstraněny technické podrobnosti. (Září 2018) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
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
- ^ 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.
- ^ 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