Open Systems Laboratory, Department of Computer Science, University of Illinois at Urbana Champaign;
机译:简介-具有不确定转移概率矩阵的离散时间Markov跳跃线性系统的H 2 sub>控制:改进的线性矩阵不等式松弛和多简单模型
机译:离散时间马尔可夫链的L-1-Poincare不等式
机译:时间非均质马尔可夫链中马尔可夫矩分布的渐近行为及其在离散Cramér-Lundberg模型中的应用
机译:线性不等式LTL(ILTL):用于离散时间马尔可夫链的模型检查器
机译:马尔可夫链和时滞简化的非线性系统建模。
机译:使用简单的重新参数化来提高多层模型的马尔可夫链蒙特卡罗估计的效率并将其应用于离散时间生存模型
机译:线性不等式LTL(iLTL):离散时间马尔可夫链的模型检验器
机译:离散时间马尔可夫链的多时间尺度分解