PanelShield: 로봇 산업용 패널 조작을 위한 검증 가능한 폐루프 안전 계획
PanelShield: Verifiable Closed-Loop Safe Planning for Robotic Industrial Panel Operation
Guipeng Xin, Jiahe Xu, Chenhui Wan, Jie Liu, Youmin Hu 외 1명
PanelShield는 매뉴얼 기반 산업용 패널 조작을 위한 검증 가능한 폐루프(closed-loop) 안전 계획 프레임워크다. 작업 관련 매뉴얼 근거로부터 매개변수화된 행동 기본(action primitive) 시퀀스를 생성하고, 선형 시제 논리(LTL)와 안전 유한상태기계(Safety FSM)를 이용한 이중 형식 검증으로 단계 간 시제적 정확성과 상태 전이 적법성을 보장한다. 위반 발생 시에는 가장 이른 위반 단계와 원인이 담긴 구조화된 반례(counterexample)를 출력해 목표 지향적 수정 및 재검증을 지원한다. 세 종류의 산업용 장치 패널을 포함한 다층 장기 계획 벤치마크 평가에서, 기반 모델 단독 계획 기준선 대비 복잡한 안전 제약 과제 성능이 향상되었으며 위반율은 2.7%, 전체 지연은 4.1초로 나타났다. 실세계 로봇 실험을 통해 엔드-투-엔드 실행 가능성이 확인되었다.










