游客,欢迎访问首都图书馆! 注册 帮助中心 您的建议
数字资源平台 > 理学> 数学> 运筹学与控制论> 实时随机系统模型检测
实时随机系统模型检测
建议阅读终端:
扫描用手机阅读此书支持Android/iPhone
暂无推荐
简介
本书以实时随机系统为研究对象,以描述实时随机系统的典型模型-离散(连续)时间Markov决策过程、概率时间自动机及其扩展模型为基础,就实时随机系统的模型检测、反例生成、模型修复与控制器合成问题,展开了一系列研究。
目录
展开 ∨
评论(0)
评分:
评价:
请输入评论信息
0/255 我要评论
最新上架