MULTIGAIN 2.0은 기존 MULTIGAIN 도구의 주요 확장 버전으로, PRISM 확률 모델 검사기 위에 구축되었다. 이 새로운 버전은 MULTIGAIN의 다중 목적 기능을 확장하여 다차원 장기 평균 보상 구조, 정상 상태 제약 및 선형 시간 논리 속성에 대한 공식 검증 및 제어기 합성을 허용한다. 또한 MULTIGAIN 2.0은 무제한 메모리 및 기타 직관적이지 않은 솔루션을 방지하기 위해 기본 선형 프로그램을 수정할 수 있으며, 2차원 및 3차원 경우에 Pareto 곡선을 시각화하여 다중 목적 시나리오에서 트레이드오프 분석을 용이하게 한다.
Vers une autre langue
à partir du contenu source
arxiv.org
Questions plus approfondies