HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Passive Learning of Timed Automata from Logs (Student Abstract)

Lénaïg Cornanguer 1, 2, 3, 4, 5
1 LACODAM - Large Scale Collaborative Data Mining
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
2 Inria - Institut National de Recherche en Informatique et en Automatique
3 UNIV-RENNES - Université de Rennes
4 CNRS - Centre National de la Recherche Scientifique
5 IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
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 Connect in order to contact the contributor
Submitted on : Monday, April 19, 2021 - 10:08:49 AM
Last modification on : Monday, April 4, 2022 - 9:28:27 AM
Long-term archiving on: : Tuesday, July 20, 2021 - 6:20:39 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-MATH-NUM | UR1-MATH-STIC | UR1-UFR-ISTIC | INRIA2 | INSA-GROUPE | INSTITUT-TELECOM

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.15773-15774. ⟨hal-03201649⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

88

Files downloads

90

 

Contact                    Legal Notice                    Personal Data