A Generative Verification Framework on Statistical Stability for Data-Driven Controllers

시스템의 안정성을 보장하기 위한 수학적 형태를 고려하여 설계되는 전통적인 제어기 구조를 갖지 않는, 일반적인 구조를 갖는 심층신경망 기반 제어기의 안정성을 보장하기 위해 고안된 새로운 형태의 안정성 분석 방법론. 다양한 구조의 심층신경망을 사용해서 제어기를 설계할 수 있어 이를 통해 성능 개선을 도모할 수 있고, 실제 하드웨어 시험으로부터 얻은 데이터를 제어기 학습에 활용할 수도 있게 한다는 장점이 있다. 적절한 손실함수를 설계함으로써 최적의 성능을 달성할 수도 있다.