Sciweavers

Share
CONCUR
2006
Springer

Inference of Event-Recording Automata Using Timed Decision Trees

9 years 1 months ago
Inference of Event-Recording Automata Using Timed Decision Trees
In regular inference, the problem is to infer a regular language, typically represented by a deterministic finite automaton (DFA) from answers to a finite set of membership queries, each of which asks whether the language contains a certain word. There are many algorithms for learning DFAs, the most well-known being the ģ algorithm due to Dana Angluin. However, there are almost no extensions of these algorithms to the setting of timed systems. We present an algorithm for inferring a model of a timed system using Angluin's setup. One of the most popular model for timed system is timed automata. Since timed automata can freely use an arbitrary number of clocks, we restrict our attention to systems that can be described by event-recording automata (DERAs). In previous work, we have presented an algorithm for inferring a DERA in the form of a region graph. In this paper, we present a novel inference algorithm for DERAs, which avoids constructing a (usually prohibitively large) regio...
Olga Grinchtein, Bengt Jonsson, Paul Pettersson
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2006
Where CONCUR
Authors Olga Grinchtein, Bengt Jonsson, Paul Pettersson
Comments (0)
books