RI Seminar: Chuchu Fan : Neural Certificates for Safe Robotic System Planning and Control
0:00 · Watch on YouTube
MIT AeroAstro 교수 Chuchu Fan은 "신경 인증서(neural certificates)"가 엄격한 제어 수학과 데이터 기반 학습을 결합할 수 있다고 주장합니다. 수학 도구는 저수준 안전 제어용 제어 배리어 함수(CBF)와 고수준 계획용 신호 시간 논리(STL)입니다. 그녀의 연구실은 그래프 신경망을 사용하여 이들을 정책과 함께 학습하므로, 학습된 컨트롤러와 계획자는 수천...