본 연구는 사이버-물리 시스템의 시간 예측 분석을 위해 전이 학습과 프롬프트 튜닝 기법을 제안한다. 이를 통해 데이터 부족 문제를 해결하고 성능을 향상시킬 수 있다.
사이버-물리 시스템의 강건성은 시스템 요구사항(Signal Temporal Logic으로 명시)을 시스템 편차에도 불구하고 만족시킬 수 있는 능력으로 정의된다. 이를 위해 시스템 편차를 찾아내는 강건성 위반 문제를 제안하고, 두 단계의 시뮬레이션 기반 분석 프레임워크를 제시한다.