• 阅读次数: 43 下载次数: 0
  • 荐购次数: 0 收藏次数: 0
实时随机系统模型检测
建议阅读终端:
扫描用手机阅读此书支持Android/iPhone
内容简介
本书以实时随机系统为研究对象,以描述实时随机系统的典型模型-离散(连续)时间Markov决策过程、概率时间自动机及其扩展模型为基础,就实时随机系统的模型检测、反例生成、模型修复与控制器合成问题,展开了一系列研究。
目录
发表评论
评分
评价:
请输入评论信息
0/255
最新上架