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 条
  • [1] Online Induction of Probabilistic Real-Time Automata
    Jana Schmidt
    Stefan Kramer
    Journal of Computer Science and Technology, 2014, 29 : 345 - 360
  • [2] Online Induction of Probabilistic Real-Time Automata
    Schmidt, Jana
    Kramer, Stefan
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2014, 29 (03) : 345 - 360
  • [3] Online Induction of Probabilistic Real-Time Automata
    Jana Schmidt
    Stefan Kramer
    Journal of Computer Science & Technology, 2014, 29 (03) : 345 - 360
  • [4] VERIFYING AUTOMATA SPECIFICATIONS OF PROBABILISTIC REAL-TIME SYSTEMS
    ALUR, R
    COURCOUBETIS, C
    DILL, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 28 - 44
  • [5] Verifying Automata Specification ofDistributed Probabilistic Real-Time Systems
    罗铁庚
    陈火旺
    王兵山
    王戟
    龚正虎
    齐治昌
    Journal of Computer Science & Technology, 1998, (06) : 588 - 596
  • [6] A note on the verification of automata specifications of probabilistic real-time systems
    Moura, AV
    Pinto, GA
    INFORMATION PROCESSING LETTERS, 2002, 82 (05) : 223 - 228
  • [7] Verifying automata specification of distributed probabilistic real-time systems
    Luo Tiegeng
    Chen Huowang
    Wang Bingshan
    Wang Ji
    Gong Zhenghu
    Qi Zhichang
    Journal of Computer Science and Technology, 1998, 13 (6) : 588 - 596
  • [8] On Probabilistic Automata in Continuous Time
    Eisentraut, Christian
    Hermanns, Holger
    Zhang, Lijun
    25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 342 - 351
  • [9] CONTINUOUS-TIME PROBABILISTIC AUTOMATA
    KNAST, R
    INFORMATION AND CONTROL, 1969, 15 (04): : 335 - &
  • [10] Parallel Real Time Investigation of Communication Security Changes Based on Probabilistic Timed Automata
    Piech, Henryk
    Grodzki, Grzegorz
    BUSINESS INFORMATION SYSTEMS (BIS 2016), 2016, 255 : 158 - 168