Removing timed delays in stochastic automata

被引：0
|
作者：
Dankar, Fida Kamal [1 ]
Bocmann, Gregor v. [1 ]
机构：
[1] Univ Ottawa, Ottawa, ON K1N 6N5, Canada
来源：
CIC 2006: 15TH INTERNATIONAL CONFERENCE ON COMPUTING, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a method to remove timed delays (transitions corresponding to timed internal actions) from a subset of stochastic automata. After removing the internal actions, the steady state probability of a subset of the states of the automata is preserved. The stochastic automata considered in this paper have the property of being Markov regenerative processes.
引用
收藏
页码：247 / +
页数：2
相关论文
共 50 条
  • [1] Removing ε-transitions in timed automata
    Diekert, V
    Gastin, P
    Petit, A
    [J]. STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1997, 1200 : 583 - 594
  • [2] STOCHASTIC TIMED AUTOMATA
    Bertrand, Nathalie
    Bouyer, Patricia
    Brihaye, Thomas
    Menet, Quentin
    Baier, Christel
    Groesser, Marcus
    Jurdzinski, Marcin
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (04)
  • [3] On discretization of delays in timed automata and digital circuits
    Asarin, E
    Maler, O
    Pnueli, A
    [J]. CONCUR'98: CONCURRENCY THEORY, 1998, 1466 : 470 - 484
  • [4] Compositional Design of Stochastic Timed Automata
    Bouyer, Patricia
    Brihaye, Thomas
    Carlier, Pierre
    Menet, Quentin
    [J]. COMPUTER SCIENCE - THEORY AND APPLICATIONS, CSR 2016, 2016, 9691 : 117 - 130
  • [5] Importance Sampling for Stochastic Timed Automata
    Jegourel, Cyrille
    Larsen, Kim G.
    Legay, Axel
    Mikucionis, Marius
    Poulsen, Danny Bogsted
    Sedwards, Sean
    [J]. DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, 2016, 9984 : 163 - 178
  • [6] Removing All Silent Transitions from Timed Automata
    Dima, Catalin
    Lanotte, Ruggero
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 118 - +
  • [7] Removing irrelevant atomic formulas for checking timed automata efficiently
    Zhao, JH
    Li, XD
    Zheng, T
    Zheng, GL
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 34 - 45
  • [8] Stochastic Games for Verification of Probabilistic Timed Automata
    Kwiatkowska, Marta
    Norman, Gethin
    Parker, David
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 212 - 227
  • [9] Diagnosis of discrete event system by stochastic timed automata
    Zemouri, Ryad
    Faure, Jean Marc
    [J]. Proceedings of the 2006 IEEE International Conference on Control Applications, Vols 1-4, 2006, : 1185 - 1190
  • [10] Synthesising Optimal Timing Delays for Timed I/O Automata
    Diciolla, Marco
    Kim, Chang Hwan Peter
    Kwiatkowska, Marta
    Mereacre, Alexandru
    [J]. 2014 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2014,
12345