Core Concepts
본 논문은 자동차 군집 주행 시스템의 안전성 검증을 위해 가정-보장 계약(assume-guarantee contract)과 합-제곱(sum-of-squares) 기법을 활용한 방법을 제안한다. 이를 통해 대규모 시스템의 안전성 검증 문제를 효율적으로 다룰 수 있다.
Abstract
본 논문은 자동차 군집 주행 시스템의 안전성 검증을 위한 방법을 제안한다. 주요 내용은 다음과 같다:
가정-보장 계약(AGC)과 합-제곱(SOS) 기법을 활용하여 상호 연결된 비선형 시스템의 안전성 검증 체계를 제안한다. 이를 통해 대규모 시스템의 안전성 검증 문제를 효율적으로 다룰 수 있다.
각 하위 시스템에 대한 국소적 계약을 구성하고, 하위 시스템 간 계약 협상 체계를 제안한다. 이를 통해 순환 추론 문제를 해결할 수 있다.
제안된 방법론을 차량 군집 주행 및 실내 온도 조절 시스템에 적용하여 그 효과를 보여준다.
Stats
차량 간 상대 거리 di = p̃i - p̃i-1 - l
차량 간 상대 속도 ṽi = v0 - vi
Quotes
"본 논문은 가정-보장 계약(AGC)과 합-제곱(SOS) 기법을 활용하여 상호 연결된 비선형 시스템의 안전성 검증 체계를 제안한다."
"제안된 방법론을 차량 군집 주행 및 실내 온도 조절 시스템에 적용하여 그 효과를 보여준다."