מושגי ליבה
데이터 기반 심층 커널 학습(DKL)은 신경망의 표현력과 가우시안 프로세스의 불확실성 정량화를 결합하여, 복잡한 동적 시스템을 학습하고 제어하는 데 유망한 도구가 될 수 있다.
תקציר
이 논문에서는 DKL을 활용하여 복잡한 사양에 대한 확률적 보장을 가진 확률적 동적 시스템의 제어 합성을 위한 확장 가능한 추상화 기반 프레임워크를 개발한다. 구체적으로 다음과 같은 내용을 다룬다:
- DKL을 사용하여 알려지지 않은 시스템을 데이터에서 학습하고, 이를 구간 마르코프 의사결정 프로세스(IMDP)로 공식화하여 정확성 보장 하에 제어 합성을 수행한다.
- DKL 모델의 정확한 학습과 효율적인 추상화 계산을 가능하게 하는 심층 구조를 식별한다.
- 다양한 벤치마크에 대한 실험을 통해 DKL 기반 제어 합성이 기존 최첨단 방법들을 크게 능가할 수 있음을 보여준다.
סטטיסטיקה
2차원 비선형 시스템에서 DKL 모델의 예측 평균 오차는 0.1716, 예측 분산 오차는 0.1276으로 가장 낮았다.
3차원 더빈 자동차 시스템에서 DKLS 모델은 상태 공간의 13.27%만 불확실 영역(Q?)으로 남겼다.
5차원 시스템에서 DKLS 모델은 상태 공간의 44.36%를 만족 영역(Qyes)으로 합성할 수 있었다.
ציטוטים
"DKL은 신경망의 표현력과 가우시안 프로세스의 불확실성 정량화를 결합하여, 복잡한 동적 시스템을 학습하고 제어하는 데 유망한 도구가 될 수 있다."
"우리의 추상화 절차는 특히 DKL 모델에 효과적이다. 이는 NN 선형 완화가 이산 영역 q 내부의 모든 x에 대해 성립하기 때문에, 영역 q를 세분화하면 선형 완화를 재사용할 수 있다."