Passive Learning of Timed Automata from Logs (Student Abstract)

Lénaïg Cornanguer (1, 2, 3, 4)

1 LACODAM - Large Scale Collaborative Data Mining
2 UR - Université de Rennes
3 CNRS - Centre National de la Recherche Scientifique
4 IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires

We propose a novel algorithm to passively learn deterministic Timed Automata from events sequences associated with the delay occurring between them. This algorithm produces models that are more specific than State-of-the-Art algorithms and that has a better identification of the temporal constraints applying on the systems.

Mots clés: Timed Automata; Log Analysis; Automata Learning

Domaines: Informatique [cs]

Lénaïg Cornanguer. Passive Learning of Timed Automata from Logs (Student Abstract). AAAI 2021 - 35th AAAI Conference on Artificial Intelligence, Feb 2021, Vancouver (virtual), Canada. pp.15773-15774. ⟨hal-03201649⟩