University of Wisconsin;
University of Wisconsin;
Soft. Eng. Inst., Carnegie Mellon University;
University of Wisconsin;
University of Wisconsin GrammaTech Inc.;
机译:具有反馈控制和无穷成本的分段确定性马尔可夫控制过程
机译:具有反馈控制和无穷大成本的分段确定性马尔可夫控制过程
机译:控制Lyapunov阻挡功能的模型预测控制的控制Lyapunov阻挡功能的界限和无界的不安全集合
机译:验证信息流控制对无限流程
机译:信任,转换和控制流程:验证源和二进制控制流量等的图形 - 理论方法
机译:生态位空间的维度允许有界和无界的过程共同影响多元化
机译:验证无界进程的信息流控制
机译:无界成本半马尔可夫决策过程理论及其在排队系统最优控制中的应用。