Skip to Main content Skip to Navigation
Conference papers

Passive Learning of Timed Automata from Logs (Student Abstract)

Lénaïg Cornanguer 1
1 LACODAM - Large Scale Collaborative Data Mining
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : 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.
Keywords : Timed Automata Log Analysis Automata Learning
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-03201649
Contributor : Lénaïg Cornanguer <>
Submitted on : Monday, April 19, 2021 - 10:08:49 AM
Last modification on : Thursday, April 29, 2021 - 3:49:18 PM

File

Vignette du document
AAAI_2021_Lenaig.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03201649, version 1

Collections

UNIV-RENNES1 | INSA-RENNES | UNIV-RENNES | IRISA | CNRS | CENTRALESUPELEC | INRIA | UR1-UFR-ISTIC

Citation

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.1-2. ⟨hal-03201649⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

22

Files downloads

108

 

Contact                    Legal Notice                    Personal Data