장벽 인증서
Barrier certificate이 글은 대부분의 독자들이 이해하기에는 너무 기술적인 것일 수도 있다.(2018년 9월)(이를 과 시기 |
장벽 인증이란 일반적인 미분방정식이나 하이브리드 동력학 시스템의 안전성을 증명하는 역할을 할 수 있는 물체를 말한다.장벽 인증서는 안정성을 위한 랴푸노프 기능의 역할에 안전을 위한 유사한 역할을 한다.특정 유형의 안전 특성을 강력하게 충족하는 모든 일반적인 미분방정식에 대해 상응하는 장벽 인증서가 있다.[2]