-
State Matching and Multiple References in Adaptive Active Automata Learning
Authors:
Loes Kruger,
Sebastian Junges,
Jurriaan Rot
Abstract:
Active automata learning (AAL) is a method to infer state machines by interacting with black-box systems. Adaptive AAL aims to reduce the sample complexity of AAL by incorporating domain specific knowledge in the form of (similar) reference models. Such reference models appear naturally when learning multiple versions or variants of a software system. In this paper, we present state matching, whic…
▽ More
Active automata learning (AAL) is a method to infer state machines by interacting with black-box systems. Adaptive AAL aims to reduce the sample complexity of AAL by incorporating domain specific knowledge in the form of (similar) reference models. Such reference models appear naturally when learning multiple versions or variants of a software system. In this paper, we present state matching, which allows flexible use of the structure of these reference models by the learner. State matching is the main ingredient of adaptive L#, a novel framework for adaptive learning, built on top of L#. Our empirical evaluation shows that adaptive L# improves the state of the art by up to two orders of magnitude.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
Small Test Suites for Active Automata Learning
Authors:
Loes Kruger,
Sebastian Junges,
Jurriaan Rot
Abstract:
A bottleneck in modern active automata learning is to test whether a hypothesized Mealy machine correctly describes the system under learning. The search space for possible counterexamples is given by so-called test suites, consisting of input sequences that have to be checked to decide whether a counterexample exists. This paper shows that significantly smaller test suites suffice under reasonabl…
▽ More
A bottleneck in modern active automata learning is to test whether a hypothesized Mealy machine correctly describes the system under learning. The search space for possible counterexamples is given by so-called test suites, consisting of input sequences that have to be checked to decide whether a counterexample exists. This paper shows that significantly smaller test suites suffice under reasonable assumptions on the structure of the black box. These smaller test suites help to refute false hypotheses during active automata learning, even when the assumptions do not hold. We combine multiple test suites using a multi-armed bandit setup that adaptively selects a test suite. An extensive empirical evaluation shows the efficacy of our approach. For small to medium-sized models, the performance gain is limited. However, the approach allows learning models from large, industrial case studies that were beyond the reach of known methods.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Sensor Object Plausibilization with Boids Flocking Algorithm
Authors:
Christopher Knievel,
Lars Krueger
Abstract:
Driver assistance systems are increasingly becoming part of the standard equipment of vehicles and thus contribute to road safety. However, as they become more widespread, the requirements for cost efficiency are also increasing, and so few and inexpensive sensors are used in these systems. Especially in challenging situations, this leads to the fact that target discrimination cannot be ensured wh…
▽ More
Driver assistance systems are increasingly becoming part of the standard equipment of vehicles and thus contribute to road safety. However, as they become more widespread, the requirements for cost efficiency are also increasing, and so few and inexpensive sensors are used in these systems. Especially in challenging situations, this leads to the fact that target discrimination cannot be ensured which in turn leads to a false reaction of the driver assistance system. Typically, the interaction between moving traffic participants is not modeled directly in the environmental model so that tracked objects can split, merge or disappear. The Boids flocking algorithm is used to model the interaction between road users on already tracked objects by applying the movement rules (separation, cohesion, alignment) on the boids. This facilitates the creation of semantic neighborhood information between road users. We show in a comprehensive simulation that with only 7 boids per traffic participant, the estimated median separatation between objects can improve from 2.4 m to 3 m for a ground truth of 3.7 m. The bottom percentile improves from 1.85 m to 2.8 m.
△ Less
Submitted 15 March, 2022;
originally announced March 2022.
-
Design and Development of the Telescope-deployment High-vacuum teleOperated Rover (THOR) in an Airless Body Environment
Authors:
Chris Womack,
Miles Crist,
Laura Kruger,
Kelsey DeGeorge,
Karynna Tuan,
Jack Burns
Abstract:
The harsh environment on the lunar surface presents unique technological challenges for space exploration. This paper presents research on the design and development of the Tele- scope-deployment High-vacuum teleOperated Rover (THOR), currently being built and tested in the Lunar and Airless Bodies Simulator (LABS) facility at the University of Colorado Boulder. This rover is fabricated entirely o…
▽ More
The harsh environment on the lunar surface presents unique technological challenges for space exploration. This paper presents research on the design and development of the Tele- scope-deployment High-vacuum teleOperated Rover (THOR), currently being built and tested in the Lunar and Airless Bodies Simulator (LABS) facility at the University of Colorado Boulder. This rover is fabricated entirely out of cost-effective commercial off-the-shelf (COTS) components and materials. THOR can potentially survive for more than one simulated year in conditions similar to that of the lunar environment, demonstrating the successful initial results of a first phase research study on material and electronic survivability in an extreme environment such as the Moon.
△ Less
Submitted 10 December, 2014;
originally announced December 2014.