Automatic Generation of Challenging Road Networks for ALKS Testing based on Bezier Curves and Search

Klück, Florian; Klampfl, Lorenz; Wotawa, Franz

doi:10.48550/arxiv.2103.01288

Cited by 2 publications

(2 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We apply Bézier curves [16] to construct the lane curve in this paper. Bézier curves are straightforward to construct and able to control the gradient at its start and end points, which is essential in smoothing the linkage between roads and ramps [3], [11], [15] As shown in Fig. 3 can be formulated as…”

Section: Coverage-guided Interchange Samplingmentioning

confidence: 99%

FLYOVER: A Model-Driven Method to Generate Diverse Highway Interchanges for Autonomous Vehicle Testing

Zhou¹,

Lin²,

Tang³

et al. 2023

Preprint

View full text Add to dashboard Cite

It has become a consensus that autonomous vehicles (AVs) will first be widely deployed on highways. However, the complexity of highway interchanges becomes the bottleneck for deploying AVs. An AV should be sufficiently tested under different highway interchanges, which is still challenging due to the lack of available datasets containing diverse highway interchanges. In this paper, we propose a model-driven method, FLYOVER, to generate a dataset consisting of diverse interchanges with measurable diversity coverage. First, FLYOVER proposes a labeled digraph to model the topology of an interchange. Second, FLYOVER takes real-world interchanges as input to guarantee topology practicality and extracts different topology equivalence classes by classifying the corresponding topology models. Third, for each topology class, FLYOVER identifies the corresponding geometrical features for the ramps and generates concrete interchanges using k-way combinatorial coverage and differential evolution. To illustrate the diversity and applicability of the generated interchange dataset, we test the built-in traffic flow control algorithm in SUMO and the fuel-optimization trajectory tracking algorithm deployed to Alibaba's autonomous trucks on the dataset. The results show that except for the geometrical difference, the interchanges are diverse in throughput and fuel consumption under the traffic flow control and trajectory tracking algorithms, respectively.

show abstract

Section: Coverage-guided Interchange Samplingmentioning

confidence: 99%

FLYOVER: A Model-Driven Method to Generate Diverse Highway Interchanges for Autonomous Vehicle Testing

Zhou¹,

Lin²,

Tang³

et al. 2023

Preprint

View full text Add to dashboard Cite

show abstract

“…Then we compared the outputs of our model with the simulated car path using such metric as a "Hausdorff distance". A similar metric, Frechet distance, was used in [26] to compare the similarity between roads. The goal was to minimize the Hausdorff distance.…”

Section: Fitness Function Definitionmentioning

confidence: 99%

A Search-Based Framework for Automatic Generation of Testing Environments for Cyber-Physical Systems

Humeniuk¹,

Khomh²,

Antoniol³

2022

Preprint

View full text Add to dashboard Cite

Background. Many modern cyber-physical systems incorporate computer vision technologies, complex sensors and advanced control software, allowing them to interact with the environment autonomously. Examples include drone swarms, self-driving vehicles, autonomous robots, etc. Testing such systems poses numerous challenges: not only should the system inputs be varied, but also the surrounding environment should be accounted for. A number of tools have been developed to test the system model for the possible inputs falsifying its requirements. However, they are not directly applicable to autonomous cyber-physical systems, as the inputs to their models are generated while operating in a virtual environment. Aims. In this paper, we aim to design a search-based framework, named AmbieGen, for generating diverse fault-revealing test scenarios for autonomous cyber-physical systems. The scenarios represent an environment in which an autonomous agent operates. The framework should be applicable to generating different types of environments. Method. To generate the test scenarios, we leverage the NSGA-II algorithm with two objectives. The first objective evaluates the deviation of the observed system's behaviour from its expected behaviour. The second objective is the test case diversity, calculated as a Jaccard distance with a reference test case. To guide the first objective we are using a simplified system model rather than the full model. The full model is used to run the system in the simulation environment and can take substantial time to execute (several minutes for one scenario). The simplified system model is derived from the full model and can be used to get an approximation of the results obtained from the full model without running the simulation. Results. We evaluate AmbieGen on three scenario generation case studies, namely a smart-thermostat, a robot obstacle avoidance system, and a vehicle lane-keeping assist system. For all the case studies, our approach outperforms the available baselines in fault revealing and several other metrics such as the diversity of the revealed faults and the proportion of valid test scenarios. Conclusions. AmbieGen could find scenarios, revealing failures for all the three autonomous agents considered in our case studies. We compared three configurations of AmbieGen: based on a single objective genetic algorithm, multi-objective, and random search. Both single and multi objective configurations outperform the random search. Multi objective configuration can find the individuals of the same quality as the single objective, producing more unique test scenarios in the same time budget. Our framework can be used to generate virtual environments of different types and complexity and reveal the system's faults early in the design stage.

show abstract

Automatic Generation of Challenging Road Networks for ALKS Testing based on Bezier Curves and Search

Cited by 2 publications

References 3 publications

FLYOVER: A Model-Driven Method to Generate Diverse Highway Interchanges for Autonomous Vehicle Testing

FLYOVER: A Model-Driven Method to Generate Diverse Highway Interchanges for Autonomous Vehicle Testing

A Search-Based Framework for Automatic Generation of Testing Environments for Cyber-Physical Systems

Contact Info

Product

Resources

About