CONTINUOUS-TIME PROBABILISTIC AUTOMATA

被引：9
|
作者：
KNAST, R
机构：
来源：
INFORMATION AND CONTROL | 1969年 / 15卷 / 04期
关键词：
D O I：
10.1016/S0019-9958(69)90468-9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：335 / &
相关论文
共 50 条
  • [1] 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
  • [2] Continuous-Time Probabilistic KLAIM
    Di Pierro, Alessandra
    Hankin, Chris
    Wiklicky, Herbert
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (05) : 27 - 38
  • [3] CHARACTERIZATION OF CLASS OF STRUCTURALLY STABLE PROBABILISTIC AUTOMATA .2. CONTINUOUS-TIME CASE
    KOMOTA, Y
    KIMURA, M
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1978, 9 (04) : 395 - 424
  • [4] Lumpable continuous-time stochastic automata networks
    Gusak, O
    Dayar, T
    Fourneau, JM
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2003, 148 (02) : 436 - 451
  • [5] Language Emptiness of Continuous-Time Parametric Timed Automata
    Benes, Nikola
    Bezdek, Peter
    Larsen, Kim G.
    Srba, Jiri
    AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2015, 9135 : 69 - 81
  • [6] Translating a continuous-time temporal logic into timed automata
    Li, GY
    Tang, ZS
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 322 - 338
  • [7] A Probabilistic Logic for Verifying Continuous-time Markov Chains
    Guan, Ji
    Yu, Nengkun
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT II, 2022, 13244 : 3 - 21
  • [8] Quantum simulators, continuous-time automata, and translationally invariant systems
    Vollbrecht, K. G. H.
    Cirac, J. I.
    PHYSICAL REVIEW LETTERS, 2008, 100 (01)
  • [9] Continuous-time identification of continuous-time systems
    Kowalczuk, Z
    Kozlowski, J
    (SYSID'97): SYSTEM IDENTIFICATION, VOLS 1-3, 1998, : 1293 - 1298
  • [10] Asymptotical Controllability of Continuous-Time Probabilistic Logic Control Systems
    Li, Zhitao
    Guo, Yuqian
    Gui, Weihua
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (04) : 2769 - 2776
12345