On Scenario Formalisms for Automated Driving

要約

シナリオの概念とその多くの資格、特に論理的および抽象的なシナリオは、自動化された運転システムの保護における基本的な要素として浮上しています。
ただし、さまざまなシナリオの資格の元の言語定義は、しばしば曖昧に適用され、実際に提案または標準化されたシナリオの説明言語とその用語の基礎との間の相違をもたらしました。
これにより、ユニークな機能と、論理的および抽象的なシナリオの長所と短所に関する混乱が生じました。
これを軽減するために、シナリオの資格の具体的、論理的、抽象的なシナリオの明確な言語定義を提供し、それぞれ曲線、曲線のセットへのマッピング、および時間論的論理を使用して、一般的な統一形式主義を提案します。
これらの形式主義により、表現力、仕様の複雑さ、サンプリング、および論理的および抽象的なシナリオの監視を比較することにより、正確に強みと短所を特定できることが実証されています。
したがって、私たちの仕事により、開業医はさまざまなシナリオの資格を理解し、適切な形式主義を特定することができます。

要約(オリジナル)

The concept of scenario and its many qualifications — specifically logical and abstract scenarios — have emerged as a foundational element in safeguarding automated driving systems. However, the original linguistic definitions of the different scenario qualifications were often applied ambiguously, leading to a divergence between scenario description languages proposed or standardized in practice and their terminological foundation. This resulted in confusion about the unique features as well as strengths and weaknesses of logical and abstract scenarios. To alleviate this, we give clear linguistic definitions for the scenario qualifications concrete, logical, and abstract scenario and propose generic, unifying formalisms using curves, mappings to sets of curves, and temporal logics, respectively. We demonstrate that these formalisms allow pinpointing strengths and weaknesses precisely by comparing expressiveness, specification complexity, sampling, and monitoring of logical and abstract scenarios. Our work hence enables the practitioner to comprehend the different scenario qualifications and identify a suitable formalism.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google