Safety-critical control전문가
유한 데이터와 비대칭 구동기 제한 아래 출력 안전을 인증하는 Finite-Data Safety Informativity 프레임워크
이 arXiv 프리프린트는 유한 측정 데이터와 비대칭 입력 제한 아래에서 출력 안전 부등식을 보장하는 명령을 인증하는 Finite-Data Safety Informativity 프레임워크를 제안한다. 측정된 회귀벡터의 선형 생성 범위에 속하는 질의에 대해 최악 모델 기여도를 유한하게 계산하고, 구동기 추적 오차를 여유로 반영해 필요충분 아핀 부등식과 명령 투영, 허용 게이트를 도출했다. 차량 시뮬레이션에서 40개 샘플 기록 선택에 따라 안전 인증 커버리지가 1.03%에서 76.27%로 올랐으며, 닫힌 루프 추적에서 출력, 입력 제약을 유지했다.