[논문 리뷰] Co-simulation of Continuous Systems: A Tutorial

Cláudio Gomes, Casper Thule외 3명|arXiv (Cornell University)|2018. 09. 22.

Simulation Techniques and Applications참고 문헌 16인용 수 6

한 줄 요약

이 튜토리얼은 연속 시스템의 공동 시뮬레이션에 대한 종합적인 소개를 제공하며, 기계, 전기 및 제어 시스템 등 다양한 도메인의 이질적인 모델이 오케스트레이터 알고리즘을 사용하여 어떻게 통합되고 함께 시뮬레이션될 수 있는지 설명한다. 수치적 방법, 통신 전략, 안정성 분석을 상세히 기술하여, 수렴성, 일致성, 다양한 시뮬레이션 단위 간의 수치 정확성에 대한 핵심 통찰을 제공함으로써 실무자들이 공동 시뮬레이션 설정을 디버깅하고 최적화할 수 있는 기초를 마련한다.

ABSTRACT

Co-simulation consists of the theory and techniques to enable global simulation of a coupled system via the composition of simulators. Despite the large number of applications and growing interest in the challenges, the field remains fragmented into multiple application domains, with limited sharing of knowledge. This tutorial aims at introducing co-simulation of continuous systems, targeted at researchers new to the field.

연구 동기 및 목표

• 연구자와 실무자들이 복잡한 다도메인 공학 시스템의 맥락에서 연속 시스템을 위한 공동 시뮬레이션에 대한 기초적 이해를 제공하기 위해.
• 도구 이질성, 지적 재산권 제약, 다른 수치적 특성으로 인해 독립적으로 개발된 모델를 통합하는 데 발생하는 과제를 설명하기 위해.
• 공동 시뮬레이션을 통해 부분적 해결책을 조기에 자주 통합함으로써 개발 비용을 줄이고 시스템 검증을 향상시킬 수 있음을 보여주기 위해.
• 다양한 오케스트레이션 전략 간의 상호 교환 관계를 이해함으로써 공동 시뮬레이션 성능을 분석하고 향상시킬 수 있는 능력을 독자들에게 제공하기 위해.
• 모델링 도구와 통합적 시스템 시뮬레이션 사이의 격차를 메우기 위해 공동 시뮬레이션을 정의된 입력/출력 행동을 가진 블랙박스 시뮬레이션 단위의 조합으로 형식화하기 위해.

제안 방법

• 각 부분 시스템을 자체 모델, 솔버, 입력 근사화, 입력/출력 반응성을 가진 블랙박스 시뮬레이션 단위로 모델링하기.
• 시간을 이산적 통신 단계로 진행하면서, 입력 설정, 출력 수신, 시뮬레이션 단위 간의 조율을 위한 오케스트레이터를 사용하기.
• 비동기 시뮬레이션을 가능하게 하기 위해 통신 단계 간의 입력을 예측하기 위해 입력 근사화 함수(예: 일정, 선형, 외삽)를 사용하기.
• 인터페이스 값의 반복적 수정과 공동 시뮬레이션 내 일치성을 향상시키기 위해 자코비 및 가우스-세이델 오케스트레이션 알고리즘을 적용하기.
• 시스템 행렬과 결합 항목(예: $C_1, C_2, D_1, D_2$)을 포함하여 상태 전이를 나타내는 행렬 방정식을 사용하여 공동 시뮬레이션 단계를 형식화하기.
• 고정점 반복과 행렬 기반 오차 전파 모델을 사용하여 안정성과 수렴성을 분석하며, 이론적 기초는 [17, 14, 13, 21, 3]에 기반한다.

실험 결과

연구 질문

• RQ1 다른 도구, 솔버, 수치적 방법을 사용하는 서로 다른 도메인의 이질적 모델을 어떻게 공동 시뮬레이션할 수 있는가?
• RQ2 수렴성과 안정성 측면에서 자코비 및 가우스-세이델과 같은 다양한 공동 시뮬레이션 오케스트레이션 알고리즘 간의 주요 상호 교환 관계는 무엇인가?
• RQ3 입력 근사화 함수와 통신 단계 크기가 공동 시뮬레이션 결과의 정확성과 일치성에 어떻게 영향을 미치는가?
• RQ4 다양한 시뮬레이션 단위 간의 공동 시뮬레이션 수렴성과 안정성 분석을 가능하게 하는 수학적 프레임워크는 무엇인가?
• RQ5 공동 시뮬레이션을 어떻게 사용하여 물리적 프로토타입, 소프트웨어 구성 요소, 인간 운영자들을 하나의 시뮬레이션 환경에 통합할 수 있는가?

주요 결과

• 자코비 및 가우스-세이델 오케스트레이션 알고리즘은 상태 전이와 시뮬레이션 단위 간 반복적 수정을 기술하는 행렬 방정식을 사용하여 형식화할 수 있다.
• 입력 근사화 함수의 사용은 시간이 지남에 따라 누적되는 오차를 유발하며, 이는 공동 시뮬레이션의 일치성과 정확성 분석에서 고려되어야 한다.
• 공동 시뮬레이션 수렴성은 내부 솔버 단계, 통신 단계 크기, 입력 근사화의 선택 간 상호 작용에 의해 영향을 받으며, 복잡하지만 분석 가능한 시스템이다.
• 공동 시뮬레이션 방법의 이론적 안정성과 수렴성은 고정점 반복과 행렬 기반 오차 전파에 기반하며, [17, 14, 13, 21, 3]에 의해 형식화되어 있다.
• 이 프레임워크는 공동 시뮬레이션을 동적 시스템으로 간주할 수 있게 하여 실무자가 수치적 행동을 평가하고 파rameter 조정을 통해 성능을 향상시킬 수 있도록 한다.