Learning of Event-Recording Automata

Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of deterministic event-recording automata. We present two algorithms that learn a description by asking a sequence of membership queries (does the system accept a given timed word?) and equivalence queries (is a hypothesized description equivalent to the correct one?). In the constructed description, states are identified by sequences of symbols; timing constraints on transitions are learned by adapting algorithms for learning hypercubes. The number of membership queries is polynomially in the minimal zone graph and in the biggest constant of the automaton to learn for the first algorithm. The second algorithm learns a (usually) smaller representation of the underlying system.

• Type: Conference
• Year: 2004
• Where: FORMATS
• Authors: Olga Grinchtein, Bengt Jonsson, Martin Leucker
• Keywords: Algorithm, Deterministic Event-recording Automata, FORMATS 2004, Membership Queries