[논문 리뷰] Phenomenon-Signal Model: Formalisation, Graph and Application

Hans Nikolaus Beck, Nayel Fabian Salem외 3명|arXiv (Cornell University)|2022. 07. 20.

Advanced Research in Systems and Signal Processing인용 수 4

한 줄 요약

이 논문은 개방된 교통 환경에서 자율주행 시스템의 신호 흐름, 지식, 의사결정을 모델링하기 위한 공식적 프레임워크인 현상-신호 모델(PSM)을 소개한다. 히ュ스슬러의 현상학과 규칙 기반 논리의 통합을 통해 PSM은 지표, 사실, 행동의 그래프를 통해 목표 행동을 체계화하며, L4/L5 자율주행차의 투명하고 안전성에 기반한 추론을 가능하게 하고, 복잡한 행동 시나리오의 검증 및 검증을 지원한다.

ABSTRACT

Considering information as the basis of action, it may be of interest to examine the flow and acquisition of information between the actors in traffic. The central question is: Which signals does an automated driving system (which will be referred to as an automaton in the remainder of this paper) in traffic have to receive, decode or send in road traffic in order to act safely and in a manner that is compliant with valid standards. The phenomenon-signal model (PSM) is a method for structuring the problem area and for analysing and describing this very signal flow. The aim of this paper is to explain the basics, the structure and the application of this method.

연구 동기 및 목표

• 개방적이고 역동적인 교통 환경에서 L4/L5 자율주행차의 안전하고 사회적으로 준수 가능한 행동을 정의하고 검증하는 데 도전 과제를 해결하기 위해.
• 도로 사용자와 자율 시스템 간의 정보, 지식, 의도의 흐름을 현상학적 원리로 공식화하기 위해.
• 자율주행의 행동 결정에 대한 투명한 정당화를 지원하는 체계적이고 그래프 기반의 모델링 접근법을 개발하기 위해.
• 목표 행동과 그들이 신호 및 규칙에 의존하는 방식을 공식화하여 자율주행차 행동의 체계적 검증 및 검증을 가능하게 하기 위해.
• 복잡한 교통 시나리오 전반에서 PSM 그래프를 생성하고 평가하기 위한 컴퓨터 지원 방법의 개발을 지원하기 위해.

제안 방법

• PSM는 히ュ스슬러의 현상학에 기반한 의사소통 이벤트로 교통 이벤트를 모델링하며, 신호의 의도성과 주관적 해석을 강조한다.
• 세 가지 핵심 구성요소인 지표(수신된 신호), 사실(해석된 신호 상태), 행동(행동 반응)을 규칙 기반 논리로 공식화한다.
• 노드가 지표, 사실, 행동을 나타내고, 간선이 논리적 의존성과 규칙 전이를 나타내는 방향성 있는 그래프를 구성한다.
• 규칙는 노드 간 전이를 지배하며, 고수준 규칙가 저수준 규칙를 취소하거나 수정할 수 있어 계층적 의사결정을 가능하게 한다.
• 목표 행동은 그래프를 따라 이동하는 특정 경로로 식별되며, 각 경로는 유효하고 안전한 행동 순서에 해당한다.
• 모든 구성요소(지표, 사실, 행동)가 논리적이고 현상학적 기반에서 유도되기 때문에 추적 가능하고 정당화된 추론이 가능하다.

실험 결과

연구 질문

• RQ1 개방적이고 예측 불가능한 교통 환경에서 L4/L5 자율주행차의 행동을 어떻게 공식적으로 기술하고 검증할 수 있는가?
• RQ2 자동화된 시스템이 교통 신호를 인지하고 반응하는 과정에서 주관적 해석과 의도성의 역할은 무엇인가?
• RQ3 신호 흐름과 의사결정 과정을 어떻게 모델링할 수 있는가? 이는 안전성 정당화와 검증을 지원해야 한다.
• RQ4 규칙 기반 논리와 그래프 구조는 자율주행에서 복잡하고 맥락에 따라 달라지는 행동을 어떻게 표현할 수 있는가?
• RQ5 대규모 실생활 교통 시나리오에 대해 PSM을 어떻게 체계적으로 생성하고 평가할 수 있는가?

주요 결과

• PSM는 지표에서 행동에 이르는 해석 가능한 규칙 기반 논리로 연결된 공식적이고 그래프 기반의 자율주행차 행동 표현을 제공한다.
• 모델은 목표 행동을 그래프를 따라 이동하는 특정이고 추적 가능한 경로로 식별함으로써 안전성 및 법적 기준과의 일치를 보장한다.
• 지표, 사실, 행동를 공식화함으로써 PSM은 동적인 교통 맥락에서 안전 핵심 결정에 대한 투명하고 정당화된 추론을 지원한다.
• 프레임워크는 위험 분석과 시나리오 정의에서 행동 요구사항을 체계적으로 유도할 수 있다.
• 규칙 계층과 그래프 분석을 통해 행동 완전성 평가 및 위험 최소화 평가를 가능하게 하여 PSM은 검증 및 검증을 지원한다.
• 모델는 컴퓨터 지원 생성 및 평가를 위해 설계되어 복잡한 실생활 교통 시나리오에 대해 확장 가능한 구조를 갖추고 있다.