Timed Automata for Behavioral Pattern Recognition

Timed Automata for Behavioral Pattern Recognition

Verwer, S.E.
De Weerdt, M.M.
Witeveen, C.

Electrical Engineering, Mathematics and Computer Science

Software Computer Technology

2005-10-17

We argue that timed models are a suitable framework for the detection of behavior in real-world event systems. A timed model which detects behavior is constructible by a domain expert. The inference of these timed models from data is a hard problem. We prove the inference of a class of timed automata (event recording automata) to be harder than the inference of finite automata.

http://resolver.tudelft.nl/uuid:55002a65-c3c2-4880-a42f-d68b1b1706ef

BNAIC 2005: The 17th Belgium-Dutch Conference on Artificial Intelligence, Brussels, Belgium, 17-18 October 2005

Institutional Repository

conference paper

(c) 2005 The Author(s)