Online Induction of Probabilistic Real-Time Automata

被引:0
|
作者
Jana Schmidt [1 ]
Stefan Kramer [2 ]
机构
[1] Technische Universitt Mnchen,Institut fr Informatik/I12,Boltzmannstr. 3,85748 Garching b. Mnchen,Germany
[2] Johannes Gutenberg-Universitt Mainz,Institute for Computer Science,Staudingerweg 9,55128 Mainz,Germany
关键词
probabilistic real-time automata; online induction; maximum frequent pattern based clustering;
D O I
暂无
中图分类号
TP301.1 [自动机理论];
学科分类号
081202 ;
摘要
The probabilistic real-time automaton(PRTA) is 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 datasets. 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 datasets, for which the approach is scalable and stable. Moreover, we present a broad evaluation on a real world disease group dataset that shows the applicability of such a model to the analysis of medical processes.
引用
收藏
页码:345 / 360
页数:16
相关论文
共 50 条
  • [1] Online Induction of Probabilistic Real-Time Automata
    Schmidt, Jana
    Kramer, Stefan
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2014, 29 (03) : 345 - 360
  • [2] Online Induction of Probabilistic Real-Time Automata
    Jana Schmidt
    Stefan Kramer
    Journal of Computer Science and Technology, 2014, 29 : 345 - 360
  • [3] Online Induction of Probabilistic Real Time Automata
    Schmidt, Jana
    Kramer, Stefan
    12TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING (ICDM 2012), 2012, : 625 - 634
  • [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] 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
  • [7] 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
  • [8] ESSM GIVES ONLINE REAL-TIME PROBABILISTIC RELIABILITY ASSESSMENT
    PULLEN, R
    NUCLEAR ENGINEERING INTERNATIONAL, 1989, 34 (418): : 24 - 25
  • [9] ON REAL-TIME CELLULAR AUTOMATA AND TRELLIS AUTOMATA
    CHOFFRUT, C
    CULIK, K
    ACTA INFORMATICA, 1984, 21 (04) : 393 - 407
  • [10] Learning real-time automata
    Jie AN
    Lingtai WANG
    Bohua ZHAN
    Naijun ZHAN
    Miaomiao ZHANG
    Science China(Information Sciences), 2021, 64 (09) : 57 - 73