장벽 인증서

Barrier certificate

장벽 인증이란 일반적인 미분방정식이나 하이브리드 동력학 시스템의 안전성을 증명하는 역할을 할 수 있는 물체를 말한다.장벽 인증서는 안정성을 위한 랴푸노프 기능의 역할에 안전을 위한 유사한 역할을 한다.특정 유형의 안전 특성을 강력하게 충족하는 모든 일반적인 미분방정식에 대해 상응하는 장벽 인증서가 있다.[2]


참조

  1. ^ Prajna, Stephen, 그리고 Ali Jadbabaie."방호벽 인증서를 이용한 하이브리드 시스템의 안전성 검증"하이브리드 시스템에 관한 국제 워크숍: 계산 및 제어.2004년 베를린 하이델베르크 스프링거
  2. ^ Stefan Ratschan: "안전 및 장벽 인증서에 대한 이론 반대".IEEE 트랜스.자동제어, 제63권, 제8호, 2018년호에 관하여