Active learning of timed automata with unobservable resets

07/03/2020
by   Léo Henry, et al.
0

Active learning of timed languages is concerned with the inference of timed automata from observed timed words. The agent can query for the membership of words in the target language, or propose a candidate model and verify its equivalence to the target. The major difficulty of this framework is the inference of clock resets, central to the dynamics of timed automata, but not directly observable. Interesting first steps have already been made by restricting to the subclass of event-recording automata, where clock resets are tied to observations. In order to advance towards learning of general timed automata, we generalize this method to a new class, called reset-free event-recording automata, where some transitions may reset no clocks. This offers the same challenges as generic timed automata while keeping the simpler framework of event-recording automata for the sake of readability. Central to our contribution is the notion of invalidity, and the algorithm and data structures to deal with it, allowing on-the-fly detection and pruning of reset hypotheses that contradict observations, a key to any efficient active-learning procedure for generic timed automata.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/31/2022

Active Learning of One-Clock Timed Automata using Constraint Solving

Active automata learning in the framework of Angluin's L^* algorithm has...
research
05/24/2022

Register Set Automata (Technical Report)

We present register set automata (RsAs), a register automaton model over...
research
11/03/2019

Automata Learning: An Algebraic Approach

We propose a generic categorical framework for learning unknown formal l...
research
10/23/2019

Complexity Results on Register Pushdown Automata

Register pushdown automata (RPDA) is an extension of classical pushdown ...
research
08/28/2023

Conflict-Aware Active Automata Learning

Active automata learning algorithms cannot easily handle conflict in the...
research
02/04/2019

Active Automata Learning with Adaptive Distinguishing Sequences

This document investigates the integration of adaptive distinguishing se...
research
10/06/2021

Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)

Cyber-physical systems (CPSs) are naturally modelled as reactive systems...

Please sign up or login with your details

Forgot password? Click here to reset