Back to Search Start Over

Identifying an automaton model for timed data

Authors :
Verwer, S.
Witteveen, C.
Mathijs de Weerdt
Source :
Scopus-Elsevier, Benelearn 2006: Proceedings of the 15th Annual Machine Learning Conference of Belgium and the Netherlands, Ghent, Belgium, 11-12 May 2006

Abstract

A model for discrete event systems (DES) can be learned from observations. We propose a simple type of timed automaton to model DES where the timing of the events is important. Learning such an automaton is proven to be NP-complete by a reduction from the problem of learning deterministic finite state automata (DFA) without time. Based on this reduction, we show how the currently best learning algorithm for DFAs (state merging) can be adapted to deal with time information.

Details

Database :
OpenAIRE
Journal :
Scopus-Elsevier, Benelearn 2006: Proceedings of the 15th Annual Machine Learning Conference of Belgium and the Netherlands, Ghent, Belgium, 11-12 May 2006
Accession number :
edsair.dedup.wf.001..345edb4307fd892e38c52417f276c013