finite state machines; stochastic processes; safety systems; closed loop systems; system recovery; Markov processes; stability; discrete time systems; nonlinear dynamical systems; software fault tolerance; safety-critical software; rollback recovery algo;
机译:口语机器翻译的随机有限状态模型
机译:在可恢复错误的计算机中实现的数字控制系统的稳定性
机译:在可恢复错误的计算机中实现的数字控制系统的稳定性
机译:可恢复计算机控制系统的随机稳定性,其为有限状态机
机译:具有马尔可夫输入的有限状态机驱动的跳跃线性系统的稳定性分析。
机译:使用有限状态机建模自动分类系统疾病和从电子医疗系统数据的持续时间:前瞻性验证研究
机译:使用有限状态机建模自动分类系统疾病和从电子医疗系统数据的持续时间:前瞻性验证研究
机译:有限状态,有限记忆随机系统的控制