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 条
  • [31] Asymptotical stability of continuous-time probabilistic logic networks based on transition rate
    Zhitao LI
    Yuqian GUO
    Weihua GUI
    ScienceChina(InformationSciences), 2023, 66 (03) : 204 - 213
  • [32] Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
    Chen, Taolue
    Han, Tingting
    Katoen, Joost-Pieter
    Mereacre, Alexandru
    24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 309 - 318
  • [33] Asymptotical stability of continuous-time probabilistic logic networks based on transition rate
    Li, Zhitao
    Guo, Yuqian
    Gui, Weihua
    SCIENCE CHINA-INFORMATION SCIENCES, 2023, 66 (03)
  • [34] Asymptotical stability of continuous-time probabilistic logic networks based on transition rate
    Zhitao Li
    Yuqian Guo
    Weihua Gui
    Science China Information Sciences, 2023, 66
  • [35] An Imprecise Probabilistic Estimator for the Transition Rate Matrix of a Continuous-Time Markov Chain
    Krak, Thomas
    Erreygers, Alexander
    De Bock, Jasper
    UNCERTAINTY MODELLING IN DATA SCIENCE, 2019, 832 : 124 - 132
  • [36] ADPULS IN CONTINUOUS-TIME
    LUHMER, A
    STEINDL, A
    FEICHTINGER, G
    HARTL, R
    SORGER, G
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1988, 34 (02) : 171 - 177
  • [37] ON CONTINUOUS-TIME AGENTS
    KASANGIAN, S
    LABELLA, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 598 : 403 - 425
  • [38] Continuous-time systems
    不详
    LINEAR TIME VARYING SYSTEMS AND SAMPLED-DATA SYSTEMS, 2001, 265 : 7 - 94
  • [39] ON AMARTS WITH CONTINUOUS-TIME
    DZHVARSHEISHVILI, IA
    THEORY OF PROBABILITY AND ITS APPLICATIONS, 1995, 39 (03) : 512 - 519
  • [40] Event-based model predictive control and verification of integral continuous-time hybrid automata
    Bemporad, Alberto
    Di Cairano, Stefano
    Julvez, Jorge
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 93 - 107