Online Induction of Probabilistic Real Time Automata

被引:2
|
作者
Schmidt, Jana [1 ]
Kramer, Stefan [2 ]
机构
[1] Tech Univ Munich, Boltzmannstr 3, D-85748 Garching, Germany
[2] Johannes Gutenberg Univ Mainz, D-55128 Mainz, Germany
关键词
Probabilistic real time automata; online induction; maximum frequent pattern based clustering; GENE-EXPRESSION;
D O I
10.1109/ICDM.2012.121
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Probabilistic real time automata (PRTAs) are a representation of dynamic processes arising in the sciences and industry. Currently, the induction of automata is divided into two steps: the creation of the prefix tree acceptor (PTA) and the merge procedure based on clustering of the states. These two steps can be very time intensive when a PRTA is to be induced for massive or even unbounded data sets. The latter one can be efficiently processed, as there exist scalable online clustering algorithms. However, the creation of the PTA still can be very time consuming. To overcome this problem, we propose a genuine online PRTA induction approach that incorporates new instances by first collapsing them and then using a maximum frequent pattern based clustering. The approach is tested against a predefined synthetic automaton and real-world data sets, for which the approach is scalable and stable. Moreover, we present a broad evaluation on a real world disease group data set that shows the applicability of such a model to the analysis of medical processes.
引用
收藏
页码:625 / 634
页数:10
相关论文
共 50 条
  • [21] Time-abstracting bisimulation for probabilistic timed automata
    Chen, Taolue
    Han, Tingting
    Katoen, Joost-Pieter
    TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 177 - +
  • [22] Time series analysis algorithm with probabilistic finite automata
    Liu, Zongjun
    He, Yong
    MANUFACTURE ENGINEERING AND ENVIRONMENT ENGINEERING, VOLS 1 AND 2, 2014, 84 : 263 - 269
  • [23] PROBABILISTIC AUTOMATA
    RABIN, MO
    INFORMATION AND CONTROL, 1963, 6 (03): : 230 - &
  • [24] Probabilistic ω-Automata
    Baier, Christel
    Groesser, Marcus
    Bertrand, Nathalie
    JOURNAL OF THE ACM, 2012, 59 (01)
  • [25] Probabilistic Automata and Probabilistic Logic
    Weidner, Thomas
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2012, 2012, 7464 : 813 - 824
  • [27] ON REAL-TIME AND LINEAR TIME CELLULAR AUTOMATA
    BUCHER, W
    CULIK, K
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1984, 18 (04): : 307 - 325
  • [28] A Probabilistic Calculus for Probabilistic Real-Time Systems
    Santinelli, Luca
    Cucu-Grosjean, Liliana
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (03)
  • [29] A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data
    Verwer, Sicco
    de Weerdt, Mathijs
    Witteveen, Cees
    GRAMMATICAL INFERENCE: THEORETICAL RESULTS AND APPLICATIONS, ICGI 2010, 2010, 6339 : 203 - 216
  • [30] A Probabilistic and Energy-Efficient Scheduling Approach for Online Application in Real-Time Systems
    Zitterell, Thorsten
    Scholl, Christoph
    PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 42 - 47