Filters








7,960 Hits in 3.2 sec

Learning of event-recording automata

Olga Grinchtein, Bengt Jonsson, Martin Leucker
2010 Theoretical Computer Science  
Finally, TL * s is a learning algorithm for a full class of deterministic event-recording automata, which infers a so called simple DERA, which is similar in spirit to the region graph.  ...  In TL * sg and TL * nsg , we further restrict event-recording automata to be event-deterministic in the sense that each state has at most one outgoing transition per action; learning such an automaton  ...  Event-recording automata In this section, we introduce event-recording automata, which are the subject of the learning algorithms in this paper.  ... 
doi:10.1016/j.tcs.2010.07.008 fatcat:5bpietfzznhv5ahhoaayu6jfl4

Learning of Event-Recording Automata [chapter]

Olga Grinchtein, Bengt Jonsson, Martin Leucker
2004 Lecture Notes in Computer Science  
Finally, TL * s is a learning algorithm for a full class of deterministic event-recording automata, which infers a so called simple DERA, which is similar in spirit to the region graph.  ...  In TL * sg and TL * nsg , we further restrict event-recording automata to be event-deterministic in the sense that each state has at most one outgoing transition per action; learning such an automaton  ...  Event-recording automata In this section, we introduce event-recording automata, which are the subject of the learning algorithms in this paper.  ... 
doi:10.1007/978-3-540-30206-3_26 fatcat:ztpcqrszbfagvmh3ckolkgzcjq

Enable learning of Hybrid Timed Automata in Absence of Discrete Events through Self-Organizing Maps [chapter]

Alexander von Birgelen, Oliver Niggemann
2018 IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency  
However, binary signals or expert knowledge to generate the much needed discrete events are not always available from the plant and automata can not be learned.  ...  of automata was not possible before.  ...  Enable learning of HTA in Absence of Discrete Events through SOMs  ... 
doi:10.1007/978-3-662-57805-6_3 fatcat:odtvcdf2qbgvtamqlcoqf32vvm

Page 7897 of Mathematical Reviews Vol. , Issue 99k [page]

1999 Mathematical Reviews  
Summary: “We introduce event-recording automata. An event- recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a.  ...  The class of event-recording automata is, on one hand, ex- pressive enough to model (finite) timed transition systems and, on the other hand, determinizable and closed under all Boolean For the web version  ... 

An Efficient Algorithm for Learning Event-Recording Automata [chapter]

Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu
2011 Lecture Notes in Computer Science  
In this work, we propose an efficient polynomial time learning algorithm, TL * , for timed regular language accepted by event-recording automata.  ...  Given an unknown timed regular language, TL * first learns a DFA accepting the untimed version of the timed language, and then passively refines the DFA by adding time constraints.  ...  This work benefited from the discussions via e-mails with Olga Grinchtein, one of the authors of [7, 8] .  ... 
doi:10.1007/978-3-642-24372-1_35 fatcat:vplzk3wufjcx5a4w6t5mnvuj6u

Inference of Timed Transition Systems

Olga Grinchtein, Bengt Jonsson, Martin Leucker
2005 Electronical Notes in Theoretical Computer Science  
More specifically, we describe a procedure for inferring systems that can be described by event-recording automata by asking a sequence of membership queries (does the system accept a given timed word?  ...  We extend Angluin's algorithm for on-line learning of regular languages to the setting of timed transition systems.  ...  In [14] , we extended the learning algorithm of Angluin and others to the setting of timed systems. We studied (a subclass of) event-recording automata (ERAs).  ... 
doi:10.1016/j.entcs.2005.02.062 fatcat:c6ibadx2undxbme4hpt2tqun3y

Learning Automata Based SVM for Intrusion Detection [chapter]

Chong Di, Yu Su, Zhuoran Han, Shenghong Li
2018 Lecture Notes in Electrical Engineering  
This is the first application of learning automata for solving dimension reduction problems.  ...  As an indispensable defensive measure of network security, the intrusion detection is a process of monitoring the events occurring in a computer system or network and analyzing them for signs of possible  ...  Specifically, the intrusion detection system is a classifier to judge the event is normal or malicious. The computer system would record and store all the network logs whenever an event occurs.  ... 
doi:10.1007/978-981-10-6571-2_252 fatcat:s7xaafo4fvcttcsoslwx5ifls4

Memory in astrocytes: a hypothesis

Robert M Caudle
2006 Theoretical Biology and Medical Modelling  
The length of time information is stored in this class of cellular automata is exponentially related to the number of units.  ...  Further analysis of two dimensional cellular automata also demonstrates that these systems have both associative and temporal memory capabilities.  ...  Acknowledgements This work was supported by the University of Florida College of Dentistry and the McKnight Brain Institute.  ... 
doi:10.1186/1742-4682-3-2 pmid:16420689 pmcid:PMC1360660 fatcat:wxcyrs6aubcztah7djt7s2es3u

Machine learning approach of Japanese composition scoring and writing aided system's design [article]

Wanhong Huang
2020 arXiv   pre-print
feature of an article.  ...  And Bow technique are used to extract the theme features. 2) We designed a Turing-complete automata model and create 300+ automatons for the grammars that appear in the JLPT examination.  ...  A simple event driven automata graph. We added a key-value storage structure (④) to the automata object.  ... 
arXiv:2008.11488v1 fatcat:mj4ulq3bojfybndhtsrra5dfva

"M-Auto" The Augmented Reality-Based (AR) Learning Media Application for the Finite-State Automata (FA) Reduction Subject of Language and Automata Theory Courses

Fajar Ananda Saputra, F Ti Ayyu Sayyidul Laily, Dimas Prasetyo Buseri, Imro'aturrozaniyah Imro'aturrozaniyah, Kartika Candra Kirana
2020 Journal of Disruptive Learning Innovation (JODLI)  
The result of the current research is the AR-based learning media application for the finite-state automata reduction subject of language and automata theory.  ...  Less interesting and tedious classroom learning activity indicates the factor of the students' learning interest degradation, for example as in the language and automata theory and finite-state automata  ...  However, the amount of data that have been recorded is only 22 students.  ... 
doi:10.17977/um072v1i22020p45-58 fatcat:rczop37vwjaqtnpw6mvq46uqfq

Traffic Signal Control with Adaptive Fuzzy Coloured Petri Net Based on Learning Automata

S. Barzegar, M. Davoudpour, M. R. Meybodi, A. Sadeghian, M. Tirandazian
2010 2010 Annual Meeting of the North American Fuzzy Information Processing Society  
Hence, in this paper we study a hybrid adaptive model, based on combination of Coloured Petri Nets, Fuzzy Logic and Learning Automata to efficiently control traffic signals.  ...  Increasing number of vehicles, as the natural consequence of population growth, has caused a significant bottle-neck in transportation network and consequently major delays at intersections.  ...  However, there are no records for adapting coloured Petri Nets and using learning automata in Petri Net.  ... 
doi:10.1109/nafips.2010.5548184 fatcat:e5aaxomcbfay7mlnqzyvzbyndu

Automatic steering of behavioral model inference

David Lo, Leonardo Mariani, Mauro Pezzè
2009 Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09  
In this paper, we increase the precision of automata inferred from execution traces, by leveraging two learning techniques.  ...  Thus, mined properties steer the learning of behavioral models.  ...  LEARNING AUTOMATA In this section, we present the kTail algorithm that we use to learn automata.  ... 
doi:10.1145/1595696.1595761 dblp:conf/sigsoft/LoMP09 fatcat:jvjfb4okbjdl3p72wpph6lyo6q

Automatic Compositional Verification of Timed Systems [chapter]

Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André
2012 Lecture Notes in Computer Science  
In this work, we present a self-contained toolkit to analyze real-time systems specified using event-recording automata (ERAs), which supports system modeling, animated simulation and automatic compositional  ...  verification based on learning techniques.  ...  We focus on timed systems that are modeled by event-recording automata (ERAs) [3] , which is a determinizable class of timed automata.  ... 
doi:10.1007/978-3-642-32759-9_24 fatcat:c2zo2u4cevbobocs3563uvhiom

Formal Analysis of Log Files

Howard Barringer, Alex Groce, Klaus Havelund, Margaret Smith
2010 Journal of Aerospace Computing Information and Communication  
A log is a recorded sequence of events. We argue that systematizing logging can be of additional benefit.  ...  The specification language allows for descriptions of relationships between data-rich events (records) common in logs, and is translated into a form of automata supporting data-parameterized states.  ...  Britain's Royal Academy of Engineering, furthermore, provided an award to support this work.  ... 
doi:10.2514/1.49356 fatcat:y5gj6s5xnncvdbaepgjndg6aum

Student Action Prediction for Automatic Tutoring for Procedural Training in 3D Virtual Environments [chapter]

Diego Riofrío-Luzcando, Jaime Ramírez
2016 Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering  
States of this extended automata represent the effect of a student correct or failed action. The most common behaviors can be predicted considering the sequences of more frequent actions.  ...  For each cluster an extended automata is created, which allows us to generate more reliable predictions according to each student type.  ...  I would like to acknowledge Secretariat of Higher Education, Science, Technology and Innovation from Ecuador (SENESCYT) for their economic support.  ... 
doi:10.1007/978-3-319-28883-3_25 fatcat:htrrmi6wdfhlvfzayrvm37gsqm
« Previous Showing results 1 — 15 out of 7,960 results